2.39/1.89
2.39/1.89 AbsCon 2
2.63/1.91
19.82/14.08 Instance
19.82/14.08 name=instance-4390723-1568380526, framework=CSP
19.82/14.08
19.82/14.08 Loading variables...
20.22/14.21 Loading constraints...
31.34/20.47
31.34/20.47 Domains
31.34/20.47 nTypes=1, nValues=144, sizes=[12#12]
31.34/20.47 Variables
31.34/20.47 count=12, degrees=[28#1,34#1,35#1,37#2...44#1,45#1,47#1,48#1]
31.34/20.47 Constraints
31.34/20.47 count=95, nSpecific=95, arities=[5#95]
31.34/20.47 distribution=[CtrExtensionCT-Table#95]
31.34/20.47 tables=[99536#95], nTotalTuples=9455920
31.34/20.47 nExtStructures=(95,shared:0)
31.34/20.47 wck=18.607, cpu=15.664, mem=3028M840
31.47/20.58 Solver SolverBacktrack being built...
31.47/20.58
31.60/20.60
31.60/20.60 Solver
31.60/20.60 guaranteedGAC=true
31.60/20.60 wck=18.74, cpu=15.794, mem=3065M802
31.60/20.63
31.60/20.63 Preprocessing
31.60/20.63 filters=7, nACremovedValues=28, nTotalRemovedValues=28, inconcistency=false
31.60/20.63 wck=0.032, cpu=15.828, mem=3065M802
31.60/20.63
31.60/20.66 num=0, depth=4..6, filters=229, wck=0.058, mem=3065M802
31.60/20.66 decisions=29, wrong=12, backtracks=2, failedAssignments=10, nogoods=2
31.60/20.66 nFilterCalls=1909, avgTableProportion=0.9999899533836621, avgTableSize=99535.0
31.60/20.66
31.91/20.70 num=1, depth=4..6, filters=449, wck=0.099, mem=3065M802
31.91/20.70 decisions=62, wrong=26, backtracks=6, failedAssignments=21, nogoods=11
31.91/20.70 nFilterCalls=4259, avgTableProportion=0.9999899533836711, avgTableSize=99535.0
31.91/20.70
31.91/20.72 num=2, depth=5..6, filters=595, wck=0.117, mem=3065M802
31.91/20.72 decisions=94, wrong=39, backtracks=7, failedAssignments=33, nogoods=15
31.91/20.72 nFilterCalls=5807, avgTableProportion=0.9999899533837859, avgTableSize=99535.0
31.91/20.72
31.91/20.75 num=3, depth=3..5, filters=952, wck=0.149, mem=3065M802
31.91/20.75 decisions=134, wrong=57, backtracks=12, failedAssignments=46, nogoods=21
31.91/20.75 nFilterCalls=8381, avgTableProportion=0.9999899533838624, avgTableSize=99535.0
31.91/20.75
31.91/20.77 num=4, depth=3..5, filters=1323, wck=0.165, mem=3065M802
31.91/20.77 decisions=173, wrong=75, backtracks=16, failedAssignments=60, nogoods=22
31.91/20.77 nFilterCalls=11135, avgTableProportion=0.9999899533836967, avgTableSize=99535.0
31.91/20.77
31.91/20.79 num=5, depth=4..5, filters=1773, wck=0.194, mem=3065M802
31.91/20.79 decisions=219, wrong=96, backtracks=21, failedAssignments=76, nogoods=27
31.91/20.79 nFilterCalls=14497, avgTableProportion=0.9999899533835797, avgTableSize=99535.0
31.91/20.79
32.13/20.81 num=6, depth=3..5, filters=2185, wck=0.214, mem=3065M802
32.13/20.81 decisions=275, wrong=122, backtracks=31, failedAssignments=93, nogoods=30
32.13/20.81 nFilterCalls=17846, avgTableProportion=0.9999899533835069, avgTableSize=99535.0
32.13/20.81
32.13/20.82 num=7, depth=4..6, filters=2479, wck=0.225, mem=3065M802
32.13/20.82 decisions=325, wrong=145, backtracks=35, failedAssignments=112, nogoods=33
32.13/20.82 nFilterCalls=20444, avgTableProportion=0.999989953383467, avgTableSize=99535.0
32.13/20.82
34.04/21.32 num=8, depth=3..6, filters=3069, wck=0.721, mem=1736M934
34.04/21.32 decisions=384, wrong=172, backtracks=41, failedAssignments=133, nogoods=39
34.04/21.32 nFilterCalls=24934, avgTableProportion=0.9999899533834175, avgTableSize=99535.0
34.04/21.32
34.04/21.34 num=9, depth=4..6, filters=3635, wck=0.737, mem=1736M934
34.04/21.34 decisions=453, wrong=204, backtracks=50, failedAssignments=156, nogoods=48
34.04/21.34 nFilterCalls=29308, avgTableProportion=0.9999899533833838, avgTableSize=99535.0
34.04/21.34
34.04/21.36 num=10, depth=3..6, filters=4333, wck=0.763, mem=1736M934
34.04/21.36 decisions=525, wrong=238, backtracks=59, failedAssignments=181, nogoods=53
34.04/21.36 nFilterCalls=34068, avgTableProportion=0.9999899533834958, avgTableSize=99535.0
34.04/21.36
34.04/21.38 num=11, depth=4..6, filters=4945, wck=0.776, mem=1736M934
34.04/21.38 decisions=599, wrong=273, backtracks=66, failedAssignments=209, nogoods=56
34.04/21.38 nFilterCalls=38434, avgTableProportion=0.9999899533838746, avgTableSize=99535.0
34.04/21.38
34.20/21.40 num=12, depth=4..6, filters=5701, wck=0.8, mem=1736M934
34.20/21.40 decisions=683, wrong=313, backtracks=75, failedAssignments=240, nogoods=65
34.20/21.40 nFilterCalls=44063, avgTableProportion=0.9999899533842522, avgTableSize=99535.0
34.20/21.40
34.20/21.44 num=13, depth=3..6, filters=6707, wck=0.841, mem=1736M934
34.20/21.44 decisions=792, wrong=365, backtracks=94, failedAssignments=274, nogoods=75
34.20/21.44 nFilterCalls=52464, avgTableProportion=0.999989953384665, avgTableSize=99535.0
34.20/21.44
34.20/21.47 num=14, depth=3..6, filters=7691, wck=0.872, mem=1737M795
34.20/21.47 decisions=905, wrong=419, backtracks=113, failedAssignments=311, nogoods=81
34.20/21.47 nFilterCalls=60182, avgTableProportion=0.9999899533849427, avgTableSize=99535.0
34.20/21.47
34.20/21.49 num=15, depth=3..6, filters=8430, wck=0.894, mem=1737M795
34.20/21.49 decisions=1016, wrong=472, backtracks=126, failedAssignments=352, nogoods=86
34.20/21.49 nFilterCalls=66664, avgTableProportion=0.9999899533851262, avgTableSize=99535.0
34.20/21.49
34.35/21.52 num=16, depth=3..6, filters=9550, wck=0.923, mem=1737M795
34.35/21.52 decisions=1141, wrong=532, backtracks=142, failedAssignments=397, nogoods=93
34.35/21.52 nFilterCalls=74692, avgTableProportion=0.9999899533853094, avgTableSize=99535.0
34.35/21.52
34.35/21.55 num=17, depth=3..6, filters=10750, wck=0.951, mem=1737M795
34.35/21.55 decisions=1276, wrong=597, backtracks=158, failedAssignments=447, nogoods=101
34.35/21.55 nFilterCalls=83672, avgTableProportion=0.9999899533854726, avgTableSize=99535.0
34.35/21.55
34.35/21.57 num=18, depth=3..6, filters=12160, wck=0.975, mem=1737M795
34.35/21.57 decisions=1429, wrong=671, backtracks=179, failedAssignments=502, nogoods=109
34.35/21.57 nFilterCalls=94594, avgTableProportion=0.9999899533856293, avgTableSize=99535.0
34.35/21.57
34.47/21.63 num=19, depth=3..6, filters=13856, wck=1.026, mem=1737M795
34.47/21.63 decisions=1604, wrong=757, backtracks=205, failedAssignments=563, nogoods=116
34.47/21.63 nFilterCalls=107416, avgTableProportion=0.9999899533857727, avgTableSize=99535.0
34.47/21.63
34.47/21.67 num=20, depth=3..6, filters=15490, wck=1.068, mem=1737M795
34.47/21.67 decisions=1784, wrong=845, backtracks=227, failedAssignments=630, nogoods=129
34.47/21.67 nFilterCalls=119158, avgTableProportion=0.9999899533858769, avgTableSize=99535.0
34.47/21.67
34.59/21.73 num=21, depth=3..6, filters=17511, wck=1.131, mem=1737M795
34.59/21.73 decisions=1992, wrong=947, backtracks=258, failedAssignments=704, nogoods=141
34.59/21.73 nFilterCalls=134608, avgTableProportion=0.9999899533859863, avgTableSize=99535.0
34.59/21.73
34.59/21.79 num=22, depth=2..6, filters=19959, wck=1.185, mem=1737M795
34.59/21.79 decisions=2240, wrong=1069, backtracks=308, failedAssignments=785, nogoods=145
34.59/21.79 nFilterCalls=151678, avgTableProportion=0.9999899533860812, avgTableSize=99535.0
34.59/21.79
34.70/21.82 num=23, depth=3..6, filters=21983, wck=1.219, mem=1737M795
34.70/21.82 decisions=2461, wrong=1177, backtracks=328, failedAssignments=874, nogoods=156
34.70/21.82 nFilterCalls=165814, avgTableProportion=0.9999899533861452, avgTableSize=99535.0
34.70/21.82
34.70/21.88 num=24, depth=3..6, filters=24446, wck=1.282, mem=1737M795
34.70/21.88 decisions=2727, wrong=1308, backtracks=362, failedAssignments=972, nogoods=163
34.70/21.88 nFilterCalls=185234, avgTableProportion=0.9999899533862169, avgTableSize=99535.0
34.70/21.88
34.86/21.93 num=25, depth=3..6, filters=27237, wck=1.331, mem=1737M795
34.86/21.93 decisions=3020, wrong=1452, backtracks=399, failedAssignments=1080, nogoods=172
34.86/21.93 nFilterCalls=205810, avgTableProportion=0.9999899533862783, avgTableSize=99535.0
34.86/21.93
34.86/21.99 num=26, depth=3..6, filters=30529, wck=1.392, mem=1737M795
34.86/21.99 decisions=3346, wrong=1613, backtracks=444, failedAssignments=1199, nogoods=181
34.86/21.99 nFilterCalls=227521, avgTableProportion=0.9999899533863309, avgTableSize=99535.0
34.86/21.99
34.97/22.04 num=27, depth=3..6, filters=33507, wck=1.439, mem=1737M795
34.97/22.04 decisions=3685, wrong=1780, backtracks=482, failedAssignments=1330, nogoods=199
34.97/22.04 nFilterCalls=248802, avgTableProportion=0.9999899533863736, avgTableSize=99535.0
34.97/22.04
35.08/22.15 num=28, depth=3..6, filters=37977, wck=1.549, mem=1737M795
35.08/22.15 decisions=4122, wrong=1997, backtracks=561, failedAssignments=1474, nogoods=227
35.08/22.15 nFilterCalls=282100, avgTableProportion=0.999989953384369, avgTableSize=99535.0
35.08/22.15
35.19/22.22 num=29, depth=2..6, filters=42402, wck=1.618, mem=1737M795
35.19/22.22 decisions=4558, wrong=2213, backtracks=626, failedAssignments=1632, nogoods=240
35.19/22.22 nFilterCalls=313124, avgTableProportion=0.9999899533817292, avgTableSize=99535.0
35.19/22.22
35.29/22.30 num=30, depth=3..6, filters=45934, wck=1.698, mem=1737M795
35.29/22.30 decisions=5014, wrong=2439, backtracks=681, failedAssignments=1806, nogoods=252
35.29/22.30 nFilterCalls=342038, avgTableProportion=0.9999899533797002, avgTableSize=99535.0
35.29/22.30
35.39/22.40 num=31, depth=2..6, filters=50679, wck=1.798, mem=1737M795
35.39/22.40 decisions=5531, wrong=2696, backtracks=759, failedAssignments=1997, nogoods=256
35.39/22.40 nFilterCalls=376062, avgTableProportion=0.9999899533777121, avgTableSize=99535.0
35.39/22.40
35.39/22.49 num=32, depth=3..6, filters=56188, wck=1.894, mem=1737M795
35.39/22.49 decisions=6118, wrong=2987, backtracks=849, failedAssignments=2208, nogoods=275
35.39/22.49 nFilterCalls=415561, avgTableProportion=0.9999899533758124, avgTableSize=99535.0
35.39/22.49
35.68/22.65 num=33, depth=3..6, filters=61546, wck=2.053, mem=1737M795
35.68/22.65 decisions=6740, wrong=3296, backtracks=933, failedAssignments=2440, nogoods=289
35.68/22.65 nFilterCalls=456114, avgTableProportion=0.9999899533742044, avgTableSize=99535.0
35.68/22.65
35.78/22.78 num=34, depth=2..6, filters=68132, wck=2.176, mem=1737M795
35.78/22.78 decisions=7440, wrong=3644, backtracks=1039, failedAssignments=2695, nogoods=299
35.78/22.78 nFilterCalls=506320, avgTableProportion=0.9999899533725705, avgTableSize=99535.0
35.78/22.78
35.98/22.95 num=35, depth=2..6, filters=75016, wck=2.355, mem=1737M795
35.98/22.95 decisions=8213, wrong=4029, backtracks=1152, failedAssignments=2976, nogoods=312
35.98/22.95 nFilterCalls=560035, avgTableProportion=0.9999899533711467, avgTableSize=99535.0
35.98/22.95
36.19/23.18 num=36, depth=2..6, filters=83686, wck=2.581, mem=1737M795
36.19/23.18 decisions=9097, wrong=4469, backtracks=1295, failedAssignments=3285, nogoods=321
36.19/23.18 nFilterCalls=625879, avgTableProportion=0.9999899533697348, avgTableSize=99535.0
36.19/23.18
36.39/23.36 num=37, depth=2..6, filters=91856, wck=2.757, mem=1737M795
36.39/23.36 decisions=10051, wrong=4944, backtracks=1438, failedAssignments=3625, nogoods=338
36.39/23.36 nFilterCalls=688169, avgTableProportion=0.9999899533686479, avgTableSize=99535.0
36.39/23.36
36.64/23.54 num=38, depth=2..6, filters=101253, wck=2.94, mem=1737M795
36.64/23.54 decisions=11071, wrong=5452, backtracks=1583, failedAssignments=3999, nogoods=350
36.64/23.54 nFilterCalls=755460, avgTableProportion=0.999989953367675, avgTableSize=99535.0
36.64/23.54
36.95/23.82 num=39, depth=2..6, filters=111771, wck=3.219, mem=1737M795
36.95/23.82 decisions=12235, wrong=6032, backtracks=1777, failedAssignments=4410, nogoods=359
36.95/23.82 nFilterCalls=838912, avgTableProportion=0.9999899533666854, avgTableSize=99535.0
36.95/23.82
37.17/24.05 num=40, depth=2..6, filters=123706, wck=3.454, mem=1737M795
37.17/24.05 decisions=13523, wrong=6674, backtracks=1991, failedAssignments=4862, nogoods=374
37.17/24.05 nFilterCalls=925603, avgTableProportion=0.9999899533658463, avgTableSize=99535.0
37.17/24.05
37.46/24.34 num=41, depth=2..7, filters=136387, wck=3.738, mem=1737M795
37.46/24.34 decisions=14926, wrong=7374, backtracks=2216, failedAssignments=5359, nogoods=385
37.46/24.34 nFilterCalls=1022331, avgTableProportion=0.999989953365078, avgTableSize=99535.0
37.46/24.34
37.76/24.60 num=42, depth=2..6, filters=148706, wck=4.004, mem=1737M795
37.76/24.60 decisions=16417, wrong=8117, backtracks=2428, failedAssignments=5906, nogoods=399
37.76/24.60 nFilterCalls=1115878, avgTableProportion=0.9999899533644618, avgTableSize=99535.0
37.76/24.60
38.06/24.96 num=43, depth=2..6, filters=164295, wck=4.362, mem=1737M795
38.06/24.96 decisions=18059, wrong=8936, backtracks=2673, failedAssignments=6508, nogoods=407
38.06/24.96 nFilterCalls=1227033, avgTableProportion=0.9999899533638517, avgTableSize=99535.0
38.06/24.96
38.47/25.35 num=44, depth=1..6, filters=180526, wck=4.746, mem=1737M795
38.47/25.35 decisions=19965, wrong=9887, backtracks=2999, failedAssignments=7170, nogoods=421
38.47/25.35 nFilterCalls=1355744, avgTableProportion=0.9999899533632701, avgTableSize=99535.0
38.47/25.35
38.87/25.79 num=45, depth=1..6, filters=199822, wck=5.191, mem=1737M795
38.87/25.79 decisions=22026, wrong=10916, backtracks=3342, failedAssignments=7898, nogoods=428
38.87/25.79 nFilterCalls=1498365, avgTableProportion=0.9999899533627424, avgTableSize=99535.0
38.87/25.79
39.28/26.11 num=46, depth=2..6, filters=219833, wck=5.511, mem=1737M795
39.28/26.11 decisions=24244, wrong=12023, backtracks=3678, failedAssignments=8699, nogoods=444
39.28/26.11 nFilterCalls=1649027, avgTableProportion=0.9999899533622841, avgTableSize=99535.0
39.28/26.11
39.67/26.51 num=47, depth=2..6, filters=242306, wck=5.914, mem=1737M795
39.67/26.51 decisions=26711, wrong=13254, backtracks=4069, failedAssignments=9580, nogoods=458
39.67/26.51 nFilterCalls=1808211, avgTableProportion=0.9999899533618829, avgTableSize=99535.0
39.67/26.51
40.07/26.91 num=48, depth=1..6, filters=267966, wck=6.312, mem=1737M795
40.07/26.91 decisions=29514, wrong=14653, backtracks=4546, failedAssignments=10550, nogoods=472
40.07/26.91 nFilterCalls=2001759, avgTableProportion=0.999989953361481, avgTableSize=99535.0
40.07/26.91
40.57/27.47 num=49, depth=1..6, filters=295944, wck=6.872, mem=1737M795
40.57/27.47 decisions=32556, wrong=16172, backtracks=5058, failedAssignments=11617, nogoods=489
40.57/27.47 nFilterCalls=2209907, avgTableProportion=0.9999899533611275, avgTableSize=99535.0
40.57/27.47
41.07/27.97 num=50, depth=2..6, filters=326686, wck=7.369, mem=1737M795
41.07/27.97 decisions=35841, wrong=17812, backtracks=5568, failedAssignments=12790, nogoods=513
41.07/27.97 nFilterCalls=2429671, avgTableProportion=0.9999899533608199, avgTableSize=99535.0
41.07/27.97
41.77/28.69 num=51, depth=2..6, filters=357904, wck=8.089, mem=1737M795
41.77/28.69 decisions=39488, wrong=19634, backtracks=6156, failedAssignments=14081, nogoods=538
41.77/28.69 nFilterCalls=2677565, avgTableProportion=0.9999899533605334, avgTableSize=99535.0
41.77/28.69
42.77/29.60 num=52, depth=1..6, filters=394154, wck=8.998, mem=1737M795
42.77/29.60 decisions=43394, wrong=21585, backtracks=6753, failedAssignments=15501, nogoods=551
42.77/29.60 nFilterCalls=2947047, avgTableProportion=0.9999899533602767, avgTableSize=99535.0
42.77/29.60
43.37/30.26 num=53, depth=2..6, filters=433671, wck=9.66, mem=1737M795
43.37/30.26 decisions=47701, wrong=23737, backtracks=7389, failedAssignments=17063, nogoods=571
43.37/30.26 nFilterCalls=3238414, avgTableProportion=0.9999899533600473, avgTableSize=99535.0
43.37/30.26
44.29/31.13 num=54, depth=1..6, filters=476477, wck=10.526, mem=1737M795
44.29/31.13 decisions=52467, wrong=26118, backtracks=8122, failedAssignments=18781, nogoods=582
44.29/31.13 nFilterCalls=3548659, avgTableProportion=0.9999899533598444, avgTableSize=99535.0
44.29/31.13
45.11/31.96 num=55, depth=1..6, filters=521819, wck=11.365, mem=1737M795
45.11/31.96 decisions=57540, wrong=28652, backtracks=8846, failedAssignments=20671, nogoods=595
45.11/31.96 nFilterCalls=3882713, avgTableProportion=0.9999899533596621, avgTableSize=99535.0
45.11/31.96
46.21/33.01 num=56, depth=1..6, filters=574782, wck=12.41, mem=1737M795
46.21/33.01 decisions=63428, wrong=31594, backtracks=9831, failedAssignments=22750, nogoods=614
46.21/33.01 nFilterCalls=4277735, avgTableProportion=0.9999899533685608, avgTableSize=99535.0
46.21/33.01
47.22/34.03 num=57, depth=1..6, filters=630418, wck=13.432, mem=1772M678
47.22/34.03 decisions=69723, wrong=34740, backtracks=10789, failedAssignments=25037, nogoods=628
47.22/34.03 nFilterCalls=4678335, avgTableProportion=0.9999899534075071, avgTableSize=99535.0
47.22/34.03
48.41/35.24 num=58, depth=1..6, filters=691917, wck=14.638, mem=1772M678
48.41/35.24 decisions=76662, wrong=38208, backtracks=11853, failedAssignments=27553, nogoods=648
48.41/35.24 nFilterCalls=5138000, avgTableProportion=0.9999899534447133, avgTableSize=99535.0
48.41/35.24
49.61/36.46 num=59, depth=1..6, filters=758316, wck=15.861, mem=1772M678
49.61/36.46 decisions=84370, wrong=42060, backtracks=13083, failedAssignments=30321, nogoods=663
49.61/36.46 nFilterCalls=5623126, avgTableProportion=0.9999899534773828, avgTableSize=99535.0
49.61/36.46
51.11/37.91 num=60, depth=1..6, filters=832425, wck=17.308, mem=1772M678
51.11/37.91 decisions=92770, wrong=46259, backtracks=14385, failedAssignments=33365, nogoods=678
51.11/37.91 nFilterCalls=6171583, avgTableProportion=0.9999899535081316, avgTableSize=99535.0
51.11/37.91
52.71/39.54 num=61, depth=1..6, filters=915199, wck=18.945, mem=1772M678
52.71/39.54 decisions=101982, wrong=50863, backtracks=15803, failedAssignments=36714, nogoods=689
52.71/39.54 nFilterCalls=6780830, avgTableProportion=0.9999899535364568, avgTableSize=99535.0
52.71/39.54
54.51/41.30 num=62, depth=1..6, filters=1006559, wck=20.699, mem=1772M678
54.51/41.30 decisions=112309, wrong=56024, backtracks=17488, failedAssignments=40398, nogoods=702
54.51/41.30 nFilterCalls=7453830, avgTableProportion=0.9999899535623636, avgTableSize=99535.0
54.51/41.30
56.37/43.16 num=63, depth=0..6, filters=1103563, wck=22.565, mem=1772M678
56.37/43.16 decisions=123612, wrong=61674, backtracks=19318, failedAssignments=44450, nogoods=709
56.37/43.16 nFilterCalls=8184211, avgTableProportion=0.9999899535856581, avgTableSize=99535.0
56.37/43.16
58.47/45.21 num=64, depth=1..6, filters=1213375, wck=24.615, mem=1772M678
58.47/45.21 decisions=136253, wrong=67993, backtracks=21479, failedAssignments=48907, nogoods=723
58.47/45.21 nFilterCalls=8992478, avgTableProportion=0.9999899535444937, avgTableSize=99535.0
58.47/45.21
60.77/47.59 num=65, depth=0..6, filters=1341959, wck=26.988, mem=1807M562
60.77/47.59 decisions=150297, wrong=75013, backtracks=23965, failedAssignments=53810, nogoods=731
60.77/47.59 nFilterCalls=9923540, avgTableProportion=0.9999899534832806, avgTableSize=99535.0
60.77/47.59
63.97/50.73 num=66, depth=0..6, filters=1482756, wck=30.135, mem=1807M562
63.97/50.73 decisions=166196, wrong=82961, backtracks=26941, failedAssignments=59204, nogoods=745
63.97/50.73 nFilterCalls=11009234, avgTableProportion=0.9999899534249768, avgTableSize=99535.0
63.97/50.73
66.77/53.55 num=67, depth=1..6, filters=1634225, wck=32.949, mem=1807M562
66.77/53.55 decisions=182749, wrong=91236, backtracks=29601, failedAssignments=65137, nogoods=769
66.77/53.55 nFilterCalls=12100883, avgTableProportion=0.9999899533769016, avgTableSize=99535.0
66.77/53.55
70.09/56.81 num=68, depth=0..6, filters=1796047, wck=36.21, mem=1825M136
70.09/56.81 decisions=201521, wrong=100620, backtracks=32888, failedAssignments=71663, nogoods=780
70.09/56.81 nFilterCalls=13338283, avgTableProportion=0.9999899533319231, avgTableSize=99535.0
70.09/56.81
73.91/60.61 num=69, depth=0..6, filters=1982694, wck=40.011, mem=1860M19
73.91/60.61 decisions=222310, wrong=111013, backtracks=36566, failedAssignments=78842, nogoods=788
73.91/60.61 nFilterCalls=14758945, avgTableProportion=0.9999899532895833, avgTableSize=99535.0
73.91/60.61
77.71/64.40 num=70, depth=0..6, filters=2178831, wck=43.802, mem=1860M19
77.71/64.40 decisions=244439, wrong=122076, backtracks=40254, failedAssignments=86739, nogoods=796
77.71/64.40 nFilterCalls=16217343, avgTableProportion=0.9999899532538352, avgTableSize=99535.0
77.71/64.40
82.01/68.72 num=71, depth=0..6, filters=2394224, wck=48.116, mem=1860M19
82.01/68.72 decisions=269488, wrong=134599, backtracks=44839, failedAssignments=95426, nogoods=818
82.01/68.72 nFilterCalls=17857361, avgTableProportion=0.9999899532206104, avgTableSize=99535.0
82.01/68.72
86.33/73.10 num=72, depth=0..6, filters=2629642, wck=52.503, mem=1894M903
86.33/73.10 decisions=296830, wrong=148268, backtracks=49773, failedAssignments=104981, nogoods=829
86.33/73.10 nFilterCalls=19630335, avgTableProportion=0.9999899531909368, avgTableSize=99535.0
86.33/73.10
91.13/77.87 num=73, depth=0..6, filters=2889976, wck=57.267, mem=1894M903
91.13/77.87 decisions=327525, wrong=163614, backtracks=55489, failedAssignments=115492, nogoods=844
91.13/77.87 nFilterCalls=21600430, avgTableProportion=0.9999899531636778, avgTableSize=99535.0
91.13/77.87
93.03/79.75 num=74, depth=0..6, filters=3003172, wck=59.151, mem=1894M903
93.03/79.75 decisions=340495, wrong=170100, backtracks=58269, failedAssignments=119765, nogoods=844
93.03/79.75 nFilterCalls=22445239, avgTableProportion=0.9999899531534546, avgTableSize=99535.0
93.03/79.75
93.03/79.75 Global
93.03/79.75 filters=3003172, nogoods=844
93.03/79.75 Stop=FULL_EXPLORATION, wrong=170100, wck=77.891, cpu=74.47, mem=1894M903
93.03/79.75
93.03/79.75 s UNSATISFIABLE
93.03/79.75
93.03/79.75 d WRONG_DECISIONS 170100
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 (13589 MiB free)
memory of node 1: 16384 MiB (12715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390723-1568380526/watcher-4390723-1568380526 -o /tmp/evaluation-result-4390723-1568380526/solver-4390723-1568380526 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20883 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390723-1568380526.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=21085, runsolver pid=21082
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 0.54 0.13 0.08 3/229 21100
/proc/meminfo: memFree=26918700/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10659884 memory=29276 CPUtime=0.14 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 5868 0 0 0 13 1 0 0 20 0 15 0 414320540 10915721216 7319 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2664971 7319 2910 1 0 2627468 0
[pid=21085/tid=21087] ppid=21082 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) R 21082 21085 20852 0 -1 4202560 3207 0 0 0 8 1 0 0 20 0 15 0 414320540 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651520351496 139651146940948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320542 10915721216 7319 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651074225824 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651073172720 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0.02 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) R 21082 21085 20852 0 -1 4202560 597 0 0 0 2 0 0 0 20 0 15 0 414320545 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651068958744 139651495077100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320546 10915721216 7385 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29276 KiB
[startup+0.211421 s]*
/proc/loadavg: 0.54 0.13 0.08 3/229 21100
/proc/meminfo: memFree=26910892/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10659884 memory=34984 CPUtime=0.33 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 6860 0 0 0 32 1 0 0 20 0 15 0 414320540 10915721216 8746 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2664971 8746 2988 1 0 2627468 0
[pid=21085/tid=21087] ppid=21082 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) R 21082 21085 20852 0 -1 4202560 3843 0 0 0 19 1 0 0 20 0 15 0 414320540 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651520352912 139651516142749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10659884 memory=140186703394911 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320542 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651074225824 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651073172720 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 414320545 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 15 0 414320545 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0.05 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 645 0 0 0 5 0 0 0 20 0 15 0 414320545 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320546 10915721216 8746 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34984 KiB
[startup+0.311119 s]*
/proc/loadavg: 0.54 0.13 0.08 4/229 21100
/proc/meminfo: memFree=26903060/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10659884 memory=40332 CPUtime=0.47 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 9377 0 0 0 44 3 0 0 20 0 15 0 414320540 10915721216 10083 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2664971 10083 3001 1 0 2627468 0
[pid=21085/tid=21087] ppid=21082 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) R 21082 21085 20852 0 -1 4202560 6290 0 0 0 27 2 0 0 20 0 15 0 414320540 10915721216 10083 33554432000 4194304 4196468 140723897528624 139651520341712 139651516142749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 10083 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10659884 memory=140186703394548 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320541 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320542 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651074225824 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320543 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651073172720 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 414320545 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 496 0 0 0 5 0 0 0 20 0 15 0 414320545 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0.07 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) R 21082 21085 20852 0 -1 4202560 669 0 0 0 7 0 0 0 20 0 15 0 414320545 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651068962800 139651516142170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10659884 memory=140186703373952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320546 10915721216 10098 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40332 KiB
[startup+0.70083 s]
/proc/loadavg: 0.54 0.13 0.08 3/229 21100
/proc/meminfo: memFree=26893832/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10661932 memory=61748 CPUtime=1.1 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 13058 0 0 0 105 5 0 0 20 0 15 0 414320540 10917818368 15437 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2665483 15437 3070 1 0 2627980 0
[pid=21085/tid=21087] ppid=21082 vsize=10661932 memory=1276 CPUtime=0.68 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) R 21082 21085 20852 0 -1 4202560 8823 0 0 0 64 4 0 0 20 0 15 0 414320540 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651520352848 139651516142749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10661932 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10661932 memory=9584 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320541 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10661932 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320542 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414320543 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651074225824 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414320543 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651073172720 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10661932 memory=7594592247738553961 CPUtime=0.09 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 909 0 0 0 9 0 0 0 20 0 15 0 414320545 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10661932 memory=5787213857196369745 CPUtime=0.13 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 800 0 0 0 13 0 0 0 20 0 15 0 414320545 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 1168 0 0 0 19 0 0 0 20 0 15 0 414320545 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414320545 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320546 10917818368 15437 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61748 KiB
[startup+1.50082 s]
/proc/loadavg: 0.54 0.13 0.08 4/229 21100
/proc/meminfo: memFree=26868748/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10663980 memory=75904 CPUtime=2 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 18665 0 0 0 194 6 0 0 20 0 15 0 414320540 10919915520 18976 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2665995 18976 3095 1 0 2628492 0
[pid=21085/tid=21087] ppid=21082 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) R 21082 21085 20852 0 -1 4202560 13126 0 0 0 142 5 0 0 20 0 15 0 414320540 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651520351568 139651516142749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414320541 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414320541 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414320542 10919915520 18976 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
################
# More data... #
################
[startup+78.4008 s]
/proc/loadavg: 1.61 0.55 0.23 3/229 21415
/proc/meminfo: memFree=24176396/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10746276 memory=3863440 CPUtime=91.73 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 71079 0 0 0 8891 282 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2686569 965860 3374 1 0 2646705 0
[pid=21085/tid=21087] ppid=21082 vsize=10746276 memory=1764 CPUtime=1.87 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) S 21082 21085 20852 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651520363696 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10746276 memory=111628 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 2911 0 0 0 282 58 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10746276 memory=6791534058613427641 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 4184 0 0 0 279 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10746276 memory=-8634980985311628903 CPUtime=3.42 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 3543 0 0 0 282 60 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10746276 memory=3863428 CPUtime=3.37 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 3229 0 0 0 276 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10746276 memory=5960 CPUtime=1.81 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 11979 0 0 0 180 1 0 0 20 0 16 0 414320542 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10746276 memory=772 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651074225888 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10746276 memory=952 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651073172736 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10746276 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10746276 memory=2116 CPUtime=1.3 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 6235 0 0 0 129 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10746276 memory=12028 CPUtime=1.16 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 4148 0 0 0 115 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10746276 memory=496 CPUtime=0.65 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 4744 0 0 0 64 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10746276 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10746276 memory=3863440 CPUtime=0.04 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 16 0 414320546 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21118] ppid=21082 vsize=10746276 memory=952 CPUtime=71.22 cores=0,2,4,6
/proc/21085/task/21118/stat : 21118 (java) R 21082 21085 20852 0 -1 4202560 12965 0 0 0 7096 26 0 0 20 0 16 0 414320729 11004186624 965860 33554432000 4194304 4196468 140723897528624 139650982322128 139651152838840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 91.73 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3863440 KiB
[startup+79.2008 s]
/proc/loadavg: 1.64 0.57 0.24 3/229 21415
/proc/meminfo: memFree=24176400/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10746276 memory=3863440 CPUtime=92.53 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 71083 0 0 0 8971 282 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2686569 965860 3374 1 0 2646705 0
[pid=21085/tid=21087] ppid=21082 vsize=10746276 memory=3863440 CPUtime=1.87 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) S 21082 21085 20852 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651520363696 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10746276 memory=21732 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 2911 0 0 0 282 58 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10746276 memory=1228 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 4184 0 0 0 279 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10746276 memory=9584 CPUtime=3.42 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 3543 0 0 0 282 60 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10746276 memory=4140 CPUtime=3.37 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 3229 0 0 0 276 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10746276 memory=6791534058613427641 CPUtime=1.81 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 11979 0 0 0 180 1 0 0 20 0 16 0 414320542 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10746276 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651074225888 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10746276 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651073172736 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10746276 memory=2472 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10746276 memory=1440 CPUtime=1.3 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 6235 0 0 0 129 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10746276 memory=9584 CPUtime=1.16 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 4148 0 0 0 115 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10746276 memory=4140 CPUtime=0.65 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 4744 0 0 0 64 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10746276 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10746276 memory=1540 CPUtime=0.04 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 16 0 414320546 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21118] ppid=21082 vsize=10746276 memory=1720 CPUtime=72.02 cores=0,2,4,6
/proc/21085/task/21118/stat : 21118 (java) R 21082 21085 20852 0 -1 4202560 12969 0 0 0 7176 26 0 0 20 0 16 0 414320729 11004186624 965860 33554432000 4194304 4196468 140723897528624 139650982322128 139651152864771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 92.53 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3863440 KiB
[startup+79.6008 s]
/proc/loadavg: 1.64 0.57 0.24 3/229 21415
/proc/meminfo: memFree=24176400/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10746276 memory=3863440 CPUtime=92.93 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 71083 0 0 0 9011 282 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2686569 965860 3374 1 0 2646705 0
[pid=21085/tid=21087] ppid=21082 vsize=10746276 memory=2004 CPUtime=1.87 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) S 21082 21085 20852 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651520363696 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10746276 memory=3863428 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 2911 0 0 0 282 58 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10746276 memory=1060 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 4184 0 0 0 279 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10746276 memory=752 CPUtime=3.42 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 3543 0 0 0 282 60 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10746276 memory=1228 CPUtime=3.37 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 3229 0 0 0 276 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10746276 memory=9584 CPUtime=1.81 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 11979 0 0 0 180 1 0 0 20 0 16 0 414320542 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10746276 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651074225888 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10746276 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651073172736 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10746276 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10746276 memory=804 CPUtime=1.3 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 6235 0 0 0 129 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10746276 memory=4108 CPUtime=1.16 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 4148 0 0 0 115 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10746276 memory=1804 CPUtime=0.65 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 4744 0 0 0 64 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10746276 memory=920 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10746276 memory=3804 CPUtime=0.04 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 16 0 414320546 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21118] ppid=21082 vsize=10746276 memory=2616 CPUtime=72.42 cores=0,2,4,6
/proc/21085/task/21118/stat : 21118 (java) R 21082 21085 20852 0 -1 4202560 12969 0 0 0 7216 26 0 0 20 0 16 0 414320729 11004186624 965860 33554432000 4194304 4196468 140723897528624 139650982322128 139651152865430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 92.93 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3863440 KiB
[startup+79.7008 s]
/proc/loadavg: 1.64 0.57 0.24 3/229 21415
/proc/meminfo: memFree=24176400/32770624 swapFree=67004752/67108860
[pid=21085] ppid=21082 vsize=10746276 memory=3863440 CPUtime=93.03 cores=0,2,4,6
/proc/21085/stat : 21085 (java) S 21082 21085 20852 0 -1 1077944320 71083 0 0 0 9021 282 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 140723897511168 139651516120823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
/proc/21085/statm: 2686569 965860 3374 1 0 2646705 0
[pid=21085/tid=21087] ppid=21082 vsize=10746276 memory=3863440 CPUtime=1.87 cores=0,2,4,6
/proc/21085/task/21087/stat : 21087 (java) S 21082 21085 20852 0 -1 1077944384 15391 0 0 0 180 7 0 0 20 0 16 0 414320540 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651520363696 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21088] ppid=21082 vsize=10746276 memory=3863440 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21088/stat : 21088 (java) S 21082 21085 20852 0 -1 1077944384 2911 0 0 0 282 58 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651468741136 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21089] ppid=21082 vsize=10746276 memory=3863428 CPUtime=3.4 cores=0,2,4,6
/proc/21085/task/21089/stat : 21089 (java) S 21082 21085 20852 0 -1 1077944384 4184 0 0 0 279 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651467688592 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21090] ppid=21082 vsize=10746276 memory=3863408 CPUtime=3.42 cores=0,2,4,6
/proc/21085/task/21090/stat : 21090 (java) S 21082 21085 20852 0 -1 1077944384 3543 0 0 0 282 60 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651120290064 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21091] ppid=21082 vsize=10746276 memory=3863408 CPUtime=3.37 cores=0,2,4,6
/proc/21085/task/21091/stat : 21091 (java) S 21082 21085 20852 0 -1 1077944384 3229 0 0 0 276 61 0 0 20 0 16 0 414320541 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651119237520 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21092] ppid=21082 vsize=10746276 memory=3863408 CPUtime=1.81 cores=0,2,4,6
/proc/21085/task/21092/stat : 21092 (java) S 21082 21085 20852 0 -1 1077944384 11979 0 0 0 180 1 0 0 20 0 16 0 414320542 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651075279600 139651516131970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21093] ppid=21082 vsize=10746276 memory=3863440 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21093/stat : 21093 (java) S 21082 21085 20852 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651074225888 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21094] ppid=21082 vsize=10746276 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21094/stat : 21094 (java) S 21082 21085 20852 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 414320543 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651073172736 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21095] ppid=21082 vsize=10746276 memory=3863440 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21095/stat : 21095 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651072121296 139651516139419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21096] ppid=21082 vsize=10746276 memory=3863332 CPUtime=1.3 cores=0,2,4,6
/proc/21085/task/21096/stat : 21096 (java) S 21082 21085 20852 0 -1 1077944384 6235 0 0 0 129 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651071068400 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21097] ppid=21082 vsize=10746276 memory=3863408 CPUtime=1.16 cores=0,2,4,6
/proc/21085/task/21097/stat : 21097 (java) S 21082 21085 20852 0 -1 1077944384 4148 0 0 0 115 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651070015856 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21098] ppid=21082 vsize=10746276 memory=181 CPUtime=0.65 cores=0,2,4,6
/proc/21085/task/21098/stat : 21098 (java) S 21082 21085 20852 0 -1 1077944384 4744 0 0 0 64 1 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651068962800 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21099] ppid=21082 vsize=10746276 memory=3863440 CPUtime=0 cores=0,2,4,6
/proc/21085/task/21099/stat : 21099 (java) S 21082 21085 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414320545 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651067910496 139651516131029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21100] ppid=21082 vsize=10746276 memory=3620 CPUtime=0.04 cores=0,2,4,6
/proc/21085/task/21100/stat : 21100 (java) S 21082 21085 20852 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 16 0 414320546 11004186624 965860 33554432000 4194304 4196468 140723897528624 139651066858544 139651516131970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
[pid=21085/tid=21118] ppid=21082 vsize=10746276 memory=39608 CPUtime=72.52 cores=0,2,4,6
/proc/21085/task/21118/stat : 21118 (java) R 21082 21085 20852 0 -1 4202560 12969 0 0 0 7226 26 0 0 20 0 16 0 414320729 11004186624 965860 33554432000 4194304 4196468 140723897528624 139650982322128 139651152864816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21790720 140723897537547 140723897537650 140723897537650 140723897540559 0
Current children cumulated CPU time: 93.03 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 3863440 KiB
Child status: 0
Real time (s): 79.7803
CPU time (s): 93.1208
CPU user time (s): 90.2729
CPU system time (s): 2.84786
CPU usage (%): 116.721
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 3863440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.2729
system time used= 2.84786
maximum resident set size= 3863492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5327
involuntary context switches= 222
# summary of solver processes directly reported to runsolver:
# pid: 21085
# total CPU time (s): 93.1208
# total CPU user time (s): 90.2729
# total CPU system time (s): 2.84786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.527477 second user time and 0.804858 second system time
The end