2.40/1.88
2.40/1.88 AbsCon 2
2.65/1.90
4.56/2.53 Instance
4.56/2.53 name=instance-4390589-1568381336, framework=CSP
4.56/2.53
4.56/2.53 Loading variables...
4.56/2.58 Loading constraints...
10.24/4.40
10.24/4.40 Domains
10.24/4.40 nTypes=1, nValues=1920, sizes=[8#240]
10.24/4.40 Variables
10.24/4.40 count=240, degrees=[198#2,199#48,200#190]
10.24/4.40 Constraints
10.24/4.40 count=11790, nSpecific=50, arities=[1#40,4#11700,12#39,40#6,80#5]
10.24/4.40 distribution=[CardinalityConstant#6,CtrIntension#11740,LexicographicLe#44]
10.24/4.40 nIntStructures=(9,shared:11731), nCftStructures=(1,shared:11699,unbuilt:90)
10.24/4.40 wck=2.546, cpu=4.256, mem=220M29
10.24/4.42 Solver SolverBacktrack being built...
10.24/4.42
10.24/4.46
10.24/4.46 Solver
10.24/4.46 guaranteedGAC=true
10.24/4.46 wck=2.606, cpu=4.314, mem=245M80
10.58/4.52
10.58/4.52 Preprocessing
10.58/4.52 filters=43, revisions=(7840,useless=7804), ccks=62783, nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
10.58/4.52 wck=0.059, cpu=4.374, mem=245M80
10.58/4.52
10.58/4.59 num=0, depth=23..26, filters=203, revisions=(31825,useless=31673), ccks=137212, wck=0.13, mem=245M80
10.58/4.59 decisions=56, wrong=16, backtracks=6, failedAssignments=10, nogoods=5
10.58/4.59
10.93/4.63 num=1, depth=0..26, filters=396, revisions=(45574,useless=45259), ccks=190897, wck=0.174, mem=249M331
10.93/4.63 decisions=107, wrong=30, backtracks=9, failedAssignments=21, nogoods=13
10.93/4.63
11.21/4.74 num=2, depth=0..63, filters=858, revisions=(100138,useless=99414), ccks=317136, wck=0.282, mem=249M331
11.21/4.74 decisions=204, wrong=48, backtracks=15, failedAssignments=33, nogoods=19
11.21/4.74
11.52/4.82 num=3, depth=0..70, filters=1450, revisions=(145402,useless=144125), ccks=442500, wck=0.359, mem=251M460
11.52/4.82 decisions=305, wrong=64, backtracks=18, failedAssignments=46, nogoods=29
11.52/4.82
11.82/4.95 num=4, depth=0..96, filters=2158, revisions=(232249,useless=230335), ccks=621394, wck=0.488, mem=251M460
11.82/4.95 decisions=440, wrong=84, backtracks=24, failedAssignments=60, nogoods=37
11.82/4.95
12.15/5.02 num=5, depth=0..58, filters=2581, revisions=(280966,useless=278687), ccks=731180, wck=0.56, mem=251M460
12.15/5.02 decisions=534, wrong=105, backtracks=31, failedAssignments=76, nogoods=38
12.15/5.02
12.15/5.05 num=6, depth=0..21, filters=2791, revisions=(308939,useless=306520), ccks=802754, wck=0.593, mem=251M460
12.15/5.05 decisions=599, wrong=131, backtracks=40, failedAssignments=93, nogoods=42
12.15/5.05
12.15/5.09 num=7, depth=0..22, filters=3017, revisions=(339515,useless=336950), ccks=883393, wck=0.629, mem=251M460
12.15/5.09 decisions=668, wrong=157, backtracks=47, failedAssignments=112, nogoods=55
12.15/5.09
12.47/5.12 num=8, depth=0..14, filters=3279, revisions=(370553,useless=367826), ccks=954514, wck=0.664, mem=251M460
12.47/5.12 decisions=735, wrong=185, backtracks=55, failedAssignments=133, nogoods=64
12.47/5.12
12.47/5.16 num=9, depth=5..19, filters=3509, revisions=(401507,useless=398636), ccks=1041511, wck=0.697, mem=251M460
12.47/5.16 decisions=805, wrong=213, backtracks=60, failedAssignments=156, nogoods=83
12.47/5.16
12.73/5.20 num=10, depth=0..15, filters=3845, revisions=(441139,useless=438053), ccks=1145102, wck=0.739, mem=251M460
12.73/5.20 decisions=890, wrong=251, backtracks=75, failedAssignments=181, nogoods=88
12.73/5.20
12.73/5.24 num=11, depth=0..15, filters=4168, revisions=(477685,useless=474409), ccks=1249806, wck=0.777, mem=251M460
12.73/5.24 decisions=974, wrong=289, backtracks=86, failedAssignments=209, nogoods=92
12.73/5.24
12.73/5.28 num=12, depth=2..16, filters=4514, revisions=(512973,useless=509484), ccks=1347843, wck=0.816, mem=251M460
12.73/5.28 decisions=1062, wrong=328, backtracks=95, failedAssignments=240, nogoods=101
12.73/5.28
13.00/5.32 num=13, depth=0..14, filters=4892, revisions=(557385,useless=553653), ccks=1464426, wck=0.858, mem=251M460
13.00/5.32 decisions=1162, wrong=373, backtracks=108, failedAssignments=274, nogoods=115
13.00/5.32
13.00/5.36 num=14, depth=0..15, filters=5278, revisions=(599173,useless=595200), ccks=1583247, wck=0.896, mem=251M460
13.00/5.36 decisions=1260, wrong=419, backtracks=122, failedAssignments=311, nogoods=126
13.00/5.36
13.18/5.40 num=15, depth=0..11, filters=5717, revisions=(647211,useless=642964), ccks=1701542, wck=0.94, mem=251M460
13.18/5.40 decisions=1366, wrong=469, backtracks=137, failedAssignments=352, nogoods=135
13.18/5.40
13.18/5.45 num=16, depth=0..13, filters=6224, revisions=(707485,useless=702910), ccks=1874798, wck=0.994, mem=251M460
13.18/5.45 decisions=1491, wrong=528, backtracks=159, failedAssignments=397, nogoods=146
13.18/5.45
13.30/5.51 num=17, depth=0..13, filters=6699, revisions=(768577,useless=763702), ccks=2054623, wck=1.048, mem=251M460
13.30/5.51 decisions=1624, wrong=591, backtracks=183, failedAssignments=447, nogoods=156
13.30/5.51
13.30/5.57 num=18, depth=1..18, filters=7308, revisions=(843993,useless=838756), ccks=2261735, wck=1.114, mem=251M460
13.30/5.57 decisions=1782, wrong=666, backtracks=212, failedAssignments=502, nogoods=167
13.30/5.57
13.44/5.65 num=19, depth=1..18, filters=8013, revisions=(928166,useless=922512), ccks=2509887, wck=1.193, mem=251M460
13.44/5.65 decisions=1965, wrong=753, backtracks=247, failedAssignments=563, nogoods=183
13.44/5.65
13.59/5.72 num=20, depth=0..15, filters=8737, revisions=(1009219,useless=1003122), ccks=2738611, wck=1.265, mem=251M460
13.59/5.72 decisions=2161, wrong=846, backtracks=278, failedAssignments=630, nogoods=194
13.59/5.72
13.69/5.82 num=21, depth=6..16, filters=9557, revisions=(1118669,useless=1112084), ccks=3058613, wck=1.361, mem=251M460
13.69/5.82 decisions=2374, wrong=949, backtracks=329, failedAssignments=704, nogoods=197
13.69/5.82
13.81/5.91 num=22, depth=6..15, filters=10499, revisions=(1228419,useless=1221244), ccks=3377194, wck=1.455, mem=251M460
13.81/5.91 decisions=2613, wrong=1065, backtracks=375, failedAssignments=785, nogoods=204
13.81/5.91
13.92/6.02 num=23, depth=0..16, filters=11519, revisions=(1349852,useless=1342036), ccks=3711751, wck=1.558, mem=251M460
13.92/6.02 decisions=2870, wrong=1190, backtracks=420, failedAssignments=874, nogoods=224
13.92/6.02
14.02/6.13 num=24, depth=1..13, filters=12638, revisions=(1488335,useless=1479815), ccks=4097324, wck=1.674, mem=251M460
14.02/6.13 decisions=3170, wrong=1336, backtracks=473, failedAssignments=972, nogoods=241
14.02/6.13
14.12/6.27 num=25, depth=0..16, filters=13905, revisions=(1644627,useless=1635340), ccks=4536439, wck=1.808, mem=251M460
14.12/6.27 decisions=3492, wrong=1493, backtracks=531, failedAssignments=1080, nogoods=254
14.12/6.27
14.23/6.39 num=26, depth=4..15, filters=15133, revisions=(1788862,useless=1778809), ccks=4955918, wck=1.93, mem=251M460
14.23/6.39 decisions=3824, wrong=1655, backtracks=591, failedAssignments=1199, nogoods=268
14.23/6.39
14.49/6.55 num=27, depth=0..14, filters=16552, revisions=(1977269,useless=1966361), ccks=5504456, wck=2.094, mem=251M460
14.49/6.55 decisions=4220, wrong=1849, backtracks=674, failedAssignments=1330, nogoods=280
14.49/6.55
14.70/6.72 num=28, depth=0..15, filters=18245, revisions=(2178367,useless=2166392), ccks=6067258, wck=2.263, mem=251M460
14.70/6.72 decisions=4644, wrong=2058, backtracks=760, failedAssignments=1474, nogoods=288
14.70/6.72
14.94/6.93 num=29, depth=3..13, filters=20142, revisions=(2425911,useless=2412730), ccks=6788696, wck=2.47, mem=251M460
14.94/6.93 decisions=5144, wrong=2304, backtracks=876, failedAssignments=1632, nogoods=303
14.94/6.93
15.15/7.12 num=30, depth=3..18, filters=22049, revisions=(2659581,useless=2645216), ccks=7500480, wck=2.665, mem=251M460
15.15/7.12 decisions=5663, wrong=2560, backtracks=981, failedAssignments=1806, nogoods=307
15.15/7.12
15.34/7.36 num=31, depth=2..15, filters=24336, revisions=(2935164,useless=2919413), ccks=8310688, wck=2.896, mem=251M460
15.34/7.36 decisions=6262, wrong=2855, backtracks=1115, failedAssignments=1997, nogoods=331
15.34/7.36
15.55/7.58 num=32, depth=5..17, filters=26584, revisions=(3208172,useless=3191033), ccks=9107919, wck=3.124, mem=251M460
15.55/7.58 decisions=6886, wrong=3163, backtracks=1227, failedAssignments=2208, nogoods=341
15.55/7.58
16.02/7.84 num=33, depth=4..15, filters=29043, revisions=(3509516,useless=3490810), ccks=10009201, wck=3.377, mem=251M460
16.02/7.84 decisions=7549, wrong=3490, backtracks=1361, failedAssignments=2440, nogoods=357
16.02/7.84
16.33/8.13 num=34, depth=4..16, filters=32017, revisions=(3859690,useless=3839161), ccks=11032398, wck=3.668, mem=251M460
16.33/8.13 decisions=8326, wrong=3875, backtracks=1524, failedAssignments=2695, nogoods=372
16.33/8.13
16.62/8.44 num=35, depth=2..16, filters=35016, revisions=(4232540,useless=4210112), ccks=12164374, wck=3.976, mem=251M460
16.62/8.44 decisions=9159, wrong=4288, backtracks=1710, failedAssignments=2976, nogoods=389
16.62/8.44
16.95/8.79 num=36, depth=0..19, filters=38452, revisions=(4664978,useless=4640392), ccks=13475325, wck=4.328, mem=251M460
16.95/8.79 decisions=10112, wrong=4758, backtracks=1908, failedAssignments=3285, nogoods=407
16.95/8.79
17.36/9.14 num=37, depth=0..15, filters=42071, revisions=(5086301,useless=5059426), ccks=14762630, wck=4.682, mem=251M460
17.36/9.14 decisions=11121, wrong=5259, backtracks=2105, failedAssignments=3625, nogoods=427
17.36/9.14
18.04/9.73 num=38, depth=0..123, filters=47746, revisions=(5874778,useless=5843706), ccks=16471736, wck=5.275, mem=251M460
18.04/9.73 decisions=12385, wrong=5834, backtracks=2379, failedAssignments=3999, nogoods=452
18.04/9.73
18.72/10.28 num=39, depth=4..15, filters=53102, revisions=(6529752,useless=6495171), ccks=18329498, wck=5.822, mem=251M460
18.72/10.28 decisions=13711, wrong=6495, backtracks=2693, failedAssignments=4410, nogoods=453
18.72/10.28
19.32/10.84 num=40, depth=3..15, filters=58522, revisions=(7198110,useless=7160295), ccks=20286092, wck=6.376, mem=255M711
19.32/10.84 decisions=15128, wrong=7200, backtracks=2999, failedAssignments=4862, nogoods=466
19.32/10.84
20.00/11.47 num=41, depth=4..45, filters=64827, revisions=(8030706,useless=7988388), ccks=22589860, wck=7.013, mem=255M711
20.00/11.47 decisions=16720, wrong=7977, backtracks=3351, failedAssignments=5359, nogoods=494
20.00/11.47
21.10/12.58 num=42, depth=5..117, filters=81730, revisions=(10289754,useless=10232246), ccks=25238407, wck=8.126, mem=255M711
21.10/12.58 decisions=18667, wrong=8901, backtracks=3875, failedAssignments=5906, nogoods=538
21.10/12.58
21.80/13.28 num=43, depth=4..15, filters=88756, revisions=(11135174,useless=11072981), ccks=27703574, wck=8.816, mem=255M711
21.80/13.28 decisions=20424, wrong=9775, backtracks=4283, failedAssignments=6508, nogoods=551
21.80/13.28
22.71/14.11 num=44, depth=0..18, filters=96509, revisions=(12121918,useless=12055140), ccks=30731784, wck=9.648, mem=255M711
22.71/14.11 decisions=22514, wrong=10816, backtracks=4788, failedAssignments=7170, nogoods=560
22.71/14.11
23.72/15.13 num=45, depth=5..104, filters=107494, revisions=(13640218,useless=13565254), ccks=34191626, wck=10.669, mem=255M711
23.72/15.13 decisions=25001, wrong=12012, backtracks=5365, failedAssignments=7898, nogoods=594
23.72/15.13
24.72/16.12 num=46, depth=6..17, filters=117453, revisions=(14825856,useless=14744609), ccks=37632459, wck=11.659, mem=255M711
24.72/16.12 decisions=27501, wrong=13257, backtracks=5918, failedAssignments=8699, nogoods=605
24.72/16.12
25.72/17.12 num=47, depth=4..16, filters=127914, revisions=(16053990,useless=15966326), ccks=41103376, wck=12.656, mem=255M711
25.72/17.12 decisions=30198, wrong=14602, backtracks=6489, failedAssignments=9580, nogoods=624
25.72/17.12
26.81/18.26 num=48, depth=0..54, filters=139000, revisions=(17482140,useless=17387337), ccks=45473304, wck=13.8, mem=255M711
26.81/18.26 decisions=33306, wrong=16132, backtracks=7178, failedAssignments=10550, nogoods=651
26.81/18.26
28.21/19.69 num=49, depth=5..17, filters=152685, revisions=(19175523,useless=19072276), ccks=50494449, wck=15.228, mem=255M711
28.21/19.69 decisions=36772, wrong=17862, backtracks=7996, failedAssignments=11617, nogoods=664
28.21/19.69
29.62/21.07 num=50, depth=4..15, filters=166716, revisions=(20876039,useless=20763949), ccks=55578196, wck=16.612, mem=259M962
29.62/21.07 decisions=40435, wrong=19690, backtracks=8836, failedAssignments=12790, nogoods=679
29.62/21.07
31.42/22.83 num=51, depth=6..73, filters=185611, revisions=(23230876,useless=23105533), ccks=61761470, wck=18.37, mem=259M962
31.42/22.83 decisions=44700, wrong=21791, backtracks=9839, failedAssignments=14081, nogoods=709
31.42/22.83
33.12/24.51 num=52, depth=4..17, filters=202406, revisions=(25305075,useless=25168592), ccks=67907162, wck=20.046, mem=259M962
33.12/24.51 decisions=49037, wrong=23957, backtracks=10886, failedAssignments=15501, nogoods=720
33.12/24.51
35.02/26.41 num=53, depth=0..50, filters=220788, revisions=(27590470,useless=27442568), ccks=74794342, wck=21.952, mem=259M962
35.02/26.41 decisions=53914, wrong=26376, backtracks=12030, failedAssignments=17063, nogoods=752
35.02/26.41
37.02/28.46 num=54, depth=2..19, filters=242289, revisions=(30048280,useless=29886991), ccks=81974413, wck=24.002, mem=259M962
37.02/28.46 decisions=59215, wrong=29021, backtracks=13218, failedAssignments=18781, nogoods=770
37.02/28.46
39.63/31.10 num=55, depth=4..48, filters=268617, revisions=(33482468,useless=33303180), ccks=91911739, wck=26.643, mem=261M463
39.63/31.10 decisions=65654, wrong=32220, backtracks=14802, failedAssignments=20671, nogoods=802
39.63/31.10
42.22/33.65 num=56, depth=3..18, filters=294214, revisions=(36518133,useless=36322865), ccks=100784874, wck=29.187, mem=261M463
42.22/33.65 decisions=72080, wrong=35429, backtracks=16318, failedAssignments=22750, nogoods=824
42.22/33.65
47.06/38.37 num=57, depth=4..121, filters=384135, revisions=(47653698,useless=47374756), ccks=109962824, wck=33.907, mem=87M136
47.06/38.37 decisions=80256, wrong=39464, backtracks=18545, failedAssignments=25037, nogoods=869
47.06/38.37
50.26/41.57 num=58, depth=3..17, filters=415866, revisions=(51444447,useless=51145755), ccks=121136773, wck=37.11, mem=87M136
50.26/41.57 decisions=88219, wrong=43442, backtracks=20455, failedAssignments=27553, nogoods=887
50.26/41.57
57.06/48.37 num=59, depth=0..112, filters=558511, revisions=(67451211,useless=67016499), ccks=133791801, wck=43.91, mem=94M426
57.06/48.37 decisions=98082, wrong=48326, backtracks=23068, failedAssignments=30321, nogoods=933
57.06/48.37
63.44/54.65 num=60, depth=4..121, filters=677722, revisions=(82820081,useless=82274352), ccks=145988087, wck=50.195, mem=94M426
63.44/54.65 decisions=108484, wrong=53476, backtracks=26008, failedAssignments=33365, nogoods=982
63.44/54.65
67.67/58.87 num=61, depth=4..44, filters=717929, revisions=(87979750,useless=87407529), ccks=161641677, wck=54.41, mem=101M716
67.67/58.87 decisions=119432, wrong=58933, backtracks=28711, failedAssignments=36714, nogoods=1013
67.67/58.87
73.77/64.95 num=62, depth=5..43, filters=781343, revisions=(96750454,useless=96127826), ccks=184850634, wck=60.489, mem=101M716
73.77/64.95 decisions=132495, wrong=65446, backtracks=32282, failedAssignments=40398, nogoods=1038
73.77/64.95
80.07/71.28 num=63, depth=4..46, filters=844264, revisions=(105671936,useless=105001327), ccks=209011350, wck=66.817, mem=101M716
80.07/71.28 decisions=146748, wrong=72553, backtracks=36034, failedAssignments=44450, nogoods=1065
80.07/71.28
88.68/79.82 num=64, depth=4..46, filters=941653, revisions=(119211040,useless=118457637), ccks=241097630, wck=75.359, mem=109M7
88.68/79.82 decisions=163422, wrong=80872, backtracks=40817, failedAssignments=48907, nogoods=1095
88.68/79.82
100.10/91.27 num=65, depth=6..120, filters=1169768, revisions=(145081513,useless=144111789), ccks=265366224, wck=86.814, mem=116M297
100.10/91.27 decisions=181391, wrong=89805, backtracks=45902, failedAssignments=53810, nogoods=1134
100.10/91.27
109.32/100.43 num=66, depth=6..52, filters=1258414, revisions=(158729609,useless=157688005), ccks=302350442, wck=95.966, mem=116M297
109.32/100.43 decisions=200038, wrong=99107, backtracks=50908, failedAssignments=59204, nogoods=1169
109.32/100.43
120.05/111.13 num=67, depth=5..50, filters=1359466, revisions=(174468085,useless=173347728), ccks=344560418, wck=106.675, mem=123M587
120.05/111.13 decisions=221168, wrong=109653, backtracks=56728, failedAssignments=65137, nogoods=1201
120.05/111.13
130.64/121.75 num=68, depth=5..48, filters=1491015, revisions=(190758853,useless=189523869), ccks=384691291, wck=117.294, mem=123M587
130.64/121.75 decisions=244360, wrong=121231, backtracks=62940, failedAssignments=71663, nogoods=1243
130.64/121.75
146.84/137.93 num=69, depth=4..115, filters=1817695, revisions=(227445885,useless=225908495), ccks=416227237, wck=133.469, mem=138M168
146.84/137.93 decisions=269127, wrong=133568, backtracks=69438, failedAssignments=78842, nogoods=1294
146.84/137.93
160.25/151.30 num=70, depth=4..52, filters=1964051, revisions=(247723018,useless=246061123), ccks=468312914, wck=146.838, mem=145M458
160.25/151.30 decisions=297510, wrong=147738, backtracks=77285, failedAssignments=86739, nogoods=1327
160.25/151.30
176.66/167.79 num=71, depth=5..47, filters=2134024, revisions=(274147143,useless=272333087), ccks=534858830, wck=163.335, mem=145M458
176.66/167.79 decisions=329015, wrong=163474, backtracks=86484, failedAssignments=95426, nogoods=1366
176.66/167.79
195.26/186.27 num=72, depth=17..47, filters=2317349, revisions=(301598505,useless=299629384), ccks=605726524, wck=181.81, mem=152M748
195.26/186.27 decisions=363756, wrong=180826, backtracks=96104, failedAssignments=104981, nogoods=1407
195.26/186.27
210.86/201.82 num=73, depth=27..36, filters=2437219, revisions=(322649729,useless=320567855), ccks=673223445, wck=197.358, mem=160M39
210.86/201.82 decisions=405167, wrong=201517, backtracks=107973, failedAssignments=115492, nogoods=1433
210.86/201.82
228.57/219.59 num=74, depth=22..31, filters=2569090, revisions=(345723896,useless=343527207), ccks=751418277, wck=215.133, mem=167M329
228.57/219.59 decisions=450685, wrong=224263, backtracks=121011, failedAssignments=127054, nogoods=1459
228.57/219.59
247.48/238.45 num=75, depth=22..32, filters=2705120, revisions=(371269192,useless=368942877), ccks=834842386, wck=233.992, mem=174M619
247.48/238.45 decisions=501017, wrong=249416, backtracks=135510, failedAssignments=139772, nogoods=1471
247.48/238.45
268.89/259.87 num=76, depth=22..31, filters=2865610, revisions=(399249155,useless=396783425), ccks=929629862, wck=255.409, mem=174M619
268.89/259.87 decisions=556032, wrong=276911, backtracks=151282, failedAssignments=153762, nogoods=1497
268.89/259.87
291.69/282.66 num=77, depth=21..31, filters=3030776, revisions=(430080878,useless=427458036), ccks=1030653160, wck=278.197, mem=181M909
291.69/282.66 decisions=616870, wrong=307317, backtracks=168855, failedAssignments=169151, nogoods=1513
291.69/282.66
318.11/309.02 num=78, depth=21..31, filters=3226429, revisions=(464593881,useless=461798032), ccks=1145675563, wck=304.561, mem=196M490
318.11/309.02 decisions=683510, wrong=340624, backtracks=188009, failedAssignments=186079, nogoods=1532
318.11/309.02
344.92/335.88 num=79, depth=21..31, filters=3424057, revisions=(500780160,useless=497795193), ccks=1266303444, wck=331.425, mem=203M780
344.92/335.88 decisions=757279, wrong=377496, backtracks=209282, failedAssignments=204700, nogoods=1555
344.92/335.88
376.03/366.94 num=80, depth=21..31, filters=3658461, revisions=(541079120,useless=537885919), ccks=1402200371, wck=362.482, mem=211M71
376.03/366.94 decisions=838120, wrong=417904, backtracks=232542, failedAssignments=225184, nogoods=1568
376.03/366.94
409.94/400.84 num=81, depth=21..32, filters=3895897, revisions=(587014493,useless=583597445), ccks=1555679428, wck=396.377, mem=218M361
409.94/400.84 decisions=926722, wrong=462193, backtracks=257991, failedAssignments=247716, nogoods=1590
409.94/400.84
448.35/439.27 num=82, depth=21..31, filters=4178761, revisions=(637634988,useless=633967185), ccks=1724512809, wck=434.814, mem=232M941
448.35/439.27 decisions=1024392, wrong=511016, backtracks=286069, failedAssignments=272501, nogoods=1615
448.35/439.27
488.77/479.69 num=83, depth=21..31, filters=4471239, revisions=(692542011,useless=688596247), ccks=1903978586, wck=475.231, mem=247M522
488.77/479.69 decisions=1131946, wrong=564780, backtracks=317017, failedAssignments=299765, nogoods=1634
488.77/479.69
534.58/525.41 num=84, depth=21..31, filters=4827745, revisions=(751777718,useless=747523737), ccks=2102015775, wck=520.952, mem=262M103
534.58/525.41 decisions=1250171, wrong=623880, backtracks=350974, failedAssignments=329755, nogoods=1658
534.58/525.41
584.89/575.79 num=85, depth=21..31, filters=5182787, revisions=(820091178,useless=815501689), ccks=2327959379, wck=571.326, mem=276M683
584.89/575.79 decisions=1380263, wrong=688912, backtracks=388635, failedAssignments=362744, nogoods=1683
584.89/575.79
638.11/628.96 num=86, depth=21..31, filters=5566945, revisions=(891164009,useless=886208879), ccks=2566709828, wck=624.499, mem=291M264
638.11/628.96 decisions=1523399, wrong=760468, backtracks=429801, failedAssignments=399032, nogoods=1702
638.11/628.96
700.64/691.49 num=87, depth=21..31, filters=6029464, revisions=(974111872,useless=968751414), ccks=2839882452, wck=687.033, mem=305M844
700.64/691.49 decisions=1680233, wrong=838873, backtracks=474515, failedAssignments=438949, nogoods=1725
700.64/691.49
766.15/756.91 num=88, depth=21..31, filters=6495658, revisions=(1061068168,useless=1055266055), ccks=3136453851, wck=752.453, mem=327M715
766.15/756.91 decisions=1853145, wrong=925316, backtracks=524146, failedAssignments=482858, nogoods=1754
766.15/756.91
839.18/829.92 num=89, depth=21..31, filters=7014828, revisions=(1158465896,useless=1152170794), ccks=3461247868, wck=825.462, mem=349M586
839.18/829.92 decisions=2043792, wrong=1020627, backtracks=579212, failedAssignments=531158, nogoods=1778
839.18/829.92
921.11/911.84 num=90, depth=21..31, filters=7628770, revisions=(1264645810,useless=1257818897), ccks=3821687494, wck=907.38, mem=378M747
921.11/911.84 decisions=2253052, wrong=1125244, backtracks=639485, failedAssignments=584288, nogoods=1801
921.11/911.84
1009.73/1000.49 num=91, depth=21..31, filters=8257887, revisions=(1382840458,useless=1375417923), ccks=4215677188, wck=996.028, mem=400M618
1009.73/1000.49 decisions=2483459, wrong=1240434, backtracks=705928, failedAssignments=642731, nogoods=1833
1009.73/1000.49
1107.97/1098.64 num=92, depth=21..31, filters=8980152, revisions=(1512239172,useless=1504172665), ccks=4645318705, wck=1094.178, mem=429M779
1107.97/1098.64 decisions=2736530, wrong=1366957, backtracks=778121, failedAssignments=707018, nogoods=1852
1107.97/1098.64
1215.51/1206.11 num=93, depth=21..31, filters=9737203, revisions=(1655582817,useless=1646802247), ccks=5128502710, wck=1201.646, mem=94M768
1215.51/1206.11 decisions=3014559, wrong=1505959, backtracks=858250, failedAssignments=777734, nogoods=1883
1215.51/1206.11
1335.95/1326.47 num=94, depth=21..31, filters=10632387, revisions=(1812110539,useless=1802543834), ccks=5651360558, wck=1322.014, mem=131M398
1335.95/1326.47 decisions=3320869, wrong=1659100, backtracks=946031, failedAssignments=855521, nogoods=1907
1335.95/1326.47
1463.88/1454.34 num=95, depth=21..31, filters=11535803, revisions=(1983359851,useless=1972936643), ccks=6229370904, wck=1449.885, mem=168M28
1463.88/1454.34 decisions=3657673, wrong=1827489, backtracks=1043116, failedAssignments=941087, nogoods=1929
1463.88/1454.34
1611.03/1601.45 num=96, depth=21..32, filters=12639442, revisions=(2172351703,useless=2160964971), ccks=6869739995, wck=1596.986, mem=211M985
1611.03/1601.45 decisions=4027859, wrong=2012569, backtracks=1149494, failedAssignments=1035210, nogoods=1953
1611.03/1601.45
1765.70/1756.08 num=97, depth=21..31, filters=13734964, revisions=(2380400377,useless=2367973214), ccks=7567129891, wck=1751.623, mem=255M941
1765.70/1756.08 decisions=4435857, wrong=2216555, backtracks=1266986, failedAssignments=1138745, nogoods=1978
1765.70/1756.08
1944.86/1935.18 num=98, depth=21..31, filters=15057542, revisions=(2615964932,useless=2602379076), ccks=8345192826, wck=1930.719, mem=314M549
1944.86/1935.18 decisions=4884832, wrong=2441031, backtracks=1396308, failedAssignments=1252634, nogoods=1999
1944.86/1935.18
2133.60/2123.84 num=99, depth=21..32, filters=16383224, revisions=(2868148075,useless=2853306296), ccks=9183845332, wck=2119.379, mem=373M158
2133.60/2123.84 decisions=5377841, wrong=2687524, backtracks=1537811, failedAssignments=1377912, nogoods=2024
2133.60/2123.84
2349.77/2340.00 num=100, depth=21..31, filters=18009725, revisions=(3147429059,useless=3131178952), ccks=10127245156, wck=2335.543, mem=439M92
2349.77/2340.00 decisions=5919801, wrong=2958490, backtracks=1693290, failedAssignments=1515718, nogoods=2057
2349.77/2340.00
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 (15208 MiB free)
memory of node 1: 16384 MiB (14827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390589-1568381336/watcher-4390589-1568381336 -o /tmp/evaluation-result-4390589-1568381336/solver-4390589-1568381336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10474 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390589-1568381336.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10987, runsolver pid=10984
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.79 1.77 1.14 4/231 11002
/proc/meminfo: memFree=30741940/32770624 swapFree=66967112/67108860
[pid=10987] ppid=10984 vsize=10659884 memory=27704 CPUtime=0.13 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 5408 0 0 0 12 1 0 0 20 0 15 0 414383150 10915721216 6926 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2664971 6926 2906 1 0 2627468 0
[pid=10987/tid=10989] ppid=10984 vsize=10659884 memory=-8269626465541330300 CPUtime=0.09 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) R 10984 10987 10443 0 -1 4202560 3201 0 0 0 9 0 0 0 20 0 15 0 414383151 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712997354400 139712993144214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712551228320 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414383154 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712550175728 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0.02 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) R 10984 10987 10443 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712545966832 139712977212766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 6926 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27704 KiB
[startup+0.211747 s]*
/proc/loadavg: 1.79 1.77 1.14 3/231 11002
/proc/meminfo: memFree=30733856/32770624 swapFree=66967112/67108860
[pid=10987] ppid=10984 vsize=10659884 memory=34884 CPUtime=0.33 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 6911 0 0 0 31 2 0 0 20 0 15 0 414383150 10915721216 8721 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2664971 8721 2989 1 0 2627468 0
[pid=10987/tid=10989] ppid=10984 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) R 10984 10987 10443 0 -1 4202560 3866 0 0 0 19 1 0 0 20 0 15 0 414383151 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712997364368 139712993154205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10659884 memory=139695664767423 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712551228320 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414383154 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712550175728 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0.05 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 763 0 0 0 5 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 8721 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34884 KiB
[startup+0.310314 s]*
/proc/loadavg: 1.79 1.77 1.14 4/231 11002
/proc/meminfo: memFree=30727800/32770624 swapFree=66967112/67108860
[pid=10987] ppid=10984 vsize=10659884 memory=40016 CPUtime=0.47 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 9442 0 0 0 44 3 0 0 20 0 15 0 414383150 10915721216 10004 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2664971 10004 3001 1 0 2627468 0
[pid=10987/tid=10989] ppid=10984 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) R 10984 10987 10443 0 -1 4202560 6321 0 0 0 28 2 0 0 20 0 15 0 414383151 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712997364688 139712977212766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10659884 memory=139695664767377 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414383153 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712551228320 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414383154 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712550175728 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0.08 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10659884 memory=139695664756352 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383156 10915721216 10004 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40016 KiB
[startup+0.700797 s]
/proc/loadavg: 1.79 1.77 1.14 4/231 11002
/proc/meminfo: memFree=30719524/32770624 swapFree=66967112/67108860
[pid=10987] ppid=10984 vsize=10661932 memory=62448 CPUtime=1.1 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 12858 0 0 0 106 4 0 0 20 0 15 0 414383150 10917818368 15612 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2665483 15612 3070 1 0 2627980 0
[pid=10987/tid=10989] ppid=10984 vsize=10661932 memory=1240 CPUtime=0.67 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) R 10984 10987 10443 0 -1 4202560 8858 0 0 0 64 3 0 0 20 0 15 0 414383151 10917818368 15612 33554432000 4194304 4196468 140732107042944 139712997364304 139712993154205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10661932 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383151 10917818368 15612 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10917818368 15612 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10917818368 15612 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10661932 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10917818368 15612 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383153 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10661932 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414383153 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712551228320 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10661932 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414383154 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712550175728 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10661932 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10661932 memory=4639098309541126757 CPUtime=0.09 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 847 0 0 0 9 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10661932 memory=7955443078088779376 CPUtime=0.12 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) R 10984 10987 10443 0 -1 4202560 744 0 0 0 12 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712547019376 139712976618397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10661932 memory=5865188000529146989 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 1050 0 0 0 19 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383156 10917818368 15676 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62448 KiB
[startup+1.50081 s]
/proc/loadavg: 1.79 1.77 1.14 3/231 11002
/proc/meminfo: memFree=30703508/32770624 swapFree=66967112/67108860
[pid=10987] ppid=10984 vsize=10663980 memory=75420 CPUtime=2.01 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 18478 0 0 0 195 6 0 0 20 0 15 0 414383150 10919915520 18855 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2665995 18855 3097 1 0 2628492 0
[pid=10987/tid=10989] ppid=10984 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) R 10984 10987 10443 0 -1 4202560 13140 0 0 0 143 5 0 0 20 0 15 0 414383151 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712997358256 139712974695839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414383151 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414383151 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414383153 10919915520 18855 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
################
# More data... #
################
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 752 0 0 0 11 5 0 0 20 0 16 0 414383151 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10748324 memory=602080 CPUtime=0.05 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2327 0 0 0 3 2 0 0 20 0 16 0 414383153 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10748324 memory=602080 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414383153 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712551228384 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10748324 memory=602080 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414383154 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712550175744 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10748324 memory=602080 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10748324 memory=6153985703205688935 CPUtime=3.81 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 12615 0 0 0 380 1 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10748324 memory=2048 CPUtime=3.88 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 9472 0 0 0 386 2 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10748324 memory=602080 CPUtime=0.94 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 9806 0 0 0 93 1 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10748324 memory=22028 CPUtime=0.89 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1304 0 0 0 39 50 0 0 20 0 16 0 414383156 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11003] ppid=10984 vsize=10748324 memory=602080 CPUtime=2380.01 cores=0,2,4,6
/proc/10987/task/11003/stat : 11003 (java) R 10984 10987 10443 0 -1 4202560 19258 0 0 0 237994 7 0 0 20 0 16 0 414383339 11006283776 150520 33554432000 4194304 4196468 140732107042944 139712536100048 139712620209935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 2392.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 602080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.84 1.89 1.86 3/233 11331
/proc/meminfo: memFree=30175056/32770624 swapFree=66967132/67108860
[pid=10987] ppid=10984 vsize=10748324 memory=639408 CPUtime=2452.29 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 75024 0 0 0 245147 82 0 0 20 0 16 0 414383150 11006283776 159852 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2687081 159852 3388 1 0 2647217 0
[pid=10987/tid=10989] ppid=10984 vsize=10748324 memory=639408 CPUtime=1.86 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) S 10984 10987 10443 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712997375152 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10748324 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 1306 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10748324 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 560 0 0 0 14 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.17 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 444 0 0 0 12 5 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 790 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.05 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2515 0 0 0 3 2 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712551228384 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414383154 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712550175744 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10748324 memory=639408 CPUtime=3.81 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 12623 0 0 0 380 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10748324 memory=639408 CPUtime=3.88 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 9474 0 0 0 386 2 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.94 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 9808 0 0 0 93 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10748324 memory=2404 CPUtime=0.9 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1335 0 0 0 39 51 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11003] ppid=10984 vsize=10748324 memory=639408 CPUtime=2439.97 cores=0,2,4,6
/proc/10987/task/11003/stat : 11003 (java) R 10984 10987 10443 0 -1 4202560 19368 0 0 0 243990 7 0 0 20 0 16 0 414383339 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712536108272 139712624656226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 2452.29 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 639408 KiB
[startup+2502.3 s]
/proc/loadavg: 1.82 1.88 1.86 3/233 11335
/proc/meminfo: memFree=30175736/32770624 swapFree=66967132/67108860
[pid=10987] ppid=10984 vsize=10748324 memory=639408 CPUtime=2512.31 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 75195 0 0 0 251148 83 0 0 20 0 16 0 414383150 11006283776 159852 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2687081 159852 3388 1 0 2647217 0
[pid=10987/tid=10989] ppid=10984 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) S 10984 10987 10443 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712997375152 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10748324 memory=1716 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 1306 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.2 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 560 0 0 0 14 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.17 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 444 0 0 0 12 5 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 790 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.05 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2521 0 0 0 3 2 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712551228384 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414383154 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712550175744 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10748324 memory=279391114157440 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10748324 memory=639408 CPUtime=3.81 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 12631 0 0 0 380 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10748324 memory=639408 CPUtime=3.88 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 9476 0 0 0 386 2 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.94 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 9810 0 0 0 93 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10748324 memory=639408 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10748324 memory=639408 CPUtime=0.92 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1366 0 0 0 41 51 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11003] ppid=10984 vsize=10748324 memory=3624 CPUtime=2499.97 cores=0,2,4,6
/proc/10987/task/11003/stat : 11003 (java) R 10984 10987 10443 0 -1 4202560 19490 0 0 0 249990 7 0 0 20 0 16 0 414383339 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712536108272 139712624656579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 2512.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 639408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510 s]*
/proc/loadavg: 1.85 1.88 1.86 3/234 11345
/proc/meminfo: memFree=30174280/32770624 swapFree=66967136/67108860
[pid=10987] ppid=10984 vsize=10748324 memory=639408 CPUtime=2520.02 cores=0,2,4,6
/proc/10987/stat : 10987 (java) S 10984 10987 10443 0 -1 1077944320 75197 0 0 0 251919 83 0 0 20 0 16 0 414383150 11006283776 159852 33554432000 4194304 4196468 140732107042944 140732107025488 139712993132279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
/proc/10987/statm: 2687081 159852 3388 1 0 2647217 0
[pid=10987/tid=10989] ppid=10984 vsize=10748324 memory=639408 CPUtime=1.86 cores=0,2,4,6
/proc/10987/task/10989/stat : 10989 (java) S 10984 10987 10443 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712997375152 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10990] ppid=10984 vsize=10748324 memory=924 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10990/stat : 10990 (java) S 10984 10987 10443 0 -1 1077944384 1306 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712945752848 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10991] ppid=10984 vsize=10748324 memory=4126316290023845779 CPUtime=0.2 cores=0,2,4,6
/proc/10987/task/10991/stat : 10991 (java) S 10984 10987 10443 0 -1 1077944384 560 0 0 0 14 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712944700304 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10992] ppid=10984 vsize=10748324 memory=1942 CPUtime=0.17 cores=0,2,4,6
/proc/10987/task/10992/stat : 10992 (java) S 10984 10987 10443 0 -1 1077944384 444 0 0 0 12 5 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712943647760 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10993] ppid=10984 vsize=10748324 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/10987/task/10993/stat : 10993 (java) S 10984 10987 10443 0 -1 1077944384 790 0 0 0 13 6 0 0 20 0 16 0 414383151 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712942595216 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10994] ppid=10984 vsize=10748324 memory=20 CPUtime=0.05 cores=0,2,4,6
/proc/10987/task/10994/stat : 10994 (java) S 10984 10987 10443 0 -1 1077944384 2521 0 0 0 3 2 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712552282096 139712993143426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10995] ppid=10984 vsize=10748324 memory=17 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10995/stat : 10995 (java) S 10984 10987 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414383153 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712551228384 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10996] ppid=10984 vsize=10748324 memory=19 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10996/stat : 10996 (java) S 10984 10987 10443 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414383154 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712550175744 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10997] ppid=10984 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6
/proc/10987/task/10997/stat : 10997 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712549124304 139712993150875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10998] ppid=10984 vsize=10748324 memory=8084289420853334112 CPUtime=3.81 cores=0,2,4,6
/proc/10987/task/10998/stat : 10998 (java) S 10984 10987 10443 0 -1 1077944384 12631 0 0 0 380 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712548071920 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=10999] ppid=10984 vsize=10748324 memory=8546823402028195750 CPUtime=3.88 cores=0,2,4,6
/proc/10987/task/10999/stat : 10999 (java) S 10984 10987 10443 0 -1 1077944384 9476 0 0 0 386 2 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712547019376 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11000] ppid=10984 vsize=10748324 memory=-7091624348563251104 CPUtime=0.94 cores=0,2,4,6
/proc/10987/task/11000/stat : 11000 (java) S 10984 10987 10443 0 -1 1077944384 9810 0 0 0 93 1 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712545966832 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11001] ppid=10984 vsize=10748324 memory=-7882018838379555936 CPUtime=0 cores=0,2,4,6
/proc/10987/task/11001/stat : 11001 (java) S 10984 10987 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712544914528 139712993142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11002] ppid=10984 vsize=10748324 memory=8475934422144292502 CPUtime=0.93 cores=0,2,4,6
/proc/10987/task/11002/stat : 11002 (java) S 10984 10987 10443 0 -1 1077944384 1366 0 0 0 41 52 0 0 20 0 16 0 414383156 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712543861040 139712993143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
[pid=10987/tid=11003] ppid=10984 vsize=10748324 memory=800 CPUtime=2507.68 cores=0,2,4,6
/proc/10987/task/11003/stat : 11003 (java) R 10984 10987 10443 0 -1 4202560 19492 0 0 0 250761 7 0 0 20 0 16 0 414383339 11006283776 159852 33554432000 4194304 4196468 140732107042944 139712536108272 139712627972249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36446208 140732107047947 140732107048050 140732107048050 140732107050959 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 639408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.02 s]
# the end of solver process 10987 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.2 s, system=0.844076 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2510.02
CPU time (s): 2520.05
CPU user time (s): 2519.2
CPU system time (s): 0.844076
CPU usage (%): 100.399
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 639408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.844076
maximum resident set size= 640992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57989
involuntary context switches= 3224
# summary of solver processes directly reported to runsolver:
# pid: 10987
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.2
# total CPU system time (s): 0.844076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2723 second user time and 23.7418 second system time
The end