2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.93/2.05 Instance
2.93/2.05 name=instance-4390553-1568383705, framework=CSP
2.93/2.05
2.93/2.05 Loading variables...
2.93/2.10 Loading constraints...
3.41/2.21
3.41/2.21 Domains
3.41/2.21 nTypes=2, nValues=11025, sizes=[14#196,91#91]
3.41/2.21 Variables
3.41/2.21 count=287, degrees=[3#98,4#189]
3.41/2.21 Constraints
3.41/2.21 count=147, nSpecific=140, arities=[1#7,2#7,3#91,7#13,14#14,26#7,28#7,91#1]
3.41/2.21 distribution=[AllDifferent#15,CardinalityConstant#14,CtrExtensionCT-Table#91,CtrIntension#7,Exactly1#13,LT#7]
3.41/2.21 tables=[91#91], nTotalTuples=8281
3.41/2.21 nExtStructures=(1,shared:90), nIntStructures=(7,shared:0)
3.41/2.21 wck=0.363, cpu=2.163, mem=26M512
3.41/2.22 Solver SolverBacktrack being built...
3.41/2.22
3.41/2.25
3.41/2.25 Solver
3.41/2.25 guaranteedGAC=true
3.41/2.25 wck=0.408, cpu=2.205, mem=39M797
3.73/2.30
3.73/2.30 Preprocessing
3.73/2.30 filters=229, revisions=(7,useless=1), ccks=252, nACremovedValues=1750, nTotalRemovedValues=1750, inconcistency=false
3.73/2.30 wck=0.052, cpu=2.26, mem=39M797
3.73/2.30
3.73/2.39 num=0, depth=45..51, filters=1230, revisions=(7,useless=1), ccks=252, wck=0.143, mem=39M797
3.73/2.39 decisions=84, wrong=17, backtracks=7, failedAssignments=10, nogoods=6
3.73/2.39 nFilterCalls=1134, avgTableProportion=0.9890109890110009, avgTableSize=90.0
3.73/2.39
4.05/2.44 num=1, depth=3..32, filters=2250, revisions=(7,useless=1), ccks=252, wck=0.194, mem=39M797
4.05/2.44 decisions=144, wrong=32, backtracks=11, failedAssignments=21, nogoods=13
4.05/2.44 nFilterCalls=2997, avgTableProportion=0.9890109890110219, avgTableSize=90.0
4.05/2.44
4.05/2.49 num=2, depth=0..23, filters=2852, revisions=(7,useless=1), ccks=252, wck=0.24, mem=39M797
4.05/2.49 decisions=191, wrong=44, backtracks=11, failedAssignments=33, nogoods=17
4.05/2.49 nFilterCalls=4379, avgTableProportion=0.9890109890110619, avgTableSize=90.0
4.05/2.49
4.36/2.53 num=3, depth=0..29, filters=3553, revisions=(7,useless=1), ccks=252, wck=0.277, mem=39M797
4.36/2.53 decisions=246, wrong=57, backtracks=11, failedAssignments=46, nogoods=24
4.36/2.53 nFilterCalls=6084, avgTableProportion=0.9890109890110863, avgTableSize=90.0
4.36/2.53
4.36/2.57 num=4, depth=0..41, filters=4533, revisions=(7,useless=1), ccks=252, wck=0.32, mem=42M439
4.36/2.57 decisions=315, wrong=71, backtracks=11, failedAssignments=60, nogoods=37
4.36/2.57 nFilterCalls=8128, avgTableProportion=0.9890109890111021, avgTableSize=90.0
4.36/2.57
4.65/2.61 num=5, depth=0..39, filters=5453, revisions=(7,useless=1), ccks=252, wck=0.363, mem=42M439
4.65/2.61 decisions=387, wrong=88, backtracks=12, failedAssignments=76, nogoods=47
4.65/2.61 nFilterCalls=10062, avgTableProportion=0.989010989011111, avgTableSize=90.0
4.65/2.61
4.65/2.67 num=6, depth=6..56, filters=7047, revisions=(7,useless=1), ccks=252, wck=0.42, mem=42M439
4.65/2.67 decisions=479, wrong=108, backtracks=16, failedAssignments=93, nogoods=58
4.65/2.67 nFilterCalls=12388, avgTableProportion=0.9890109890111181, avgTableSize=90.0
4.65/2.67
4.96/2.73 num=7, depth=1..72, filters=8867, revisions=(7,useless=1), ccks=252, wck=0.484, mem=42M439
4.96/2.73 decisions=598, wrong=135, backtracks=25, failedAssignments=112, nogoods=69
4.96/2.73 nFilterCalls=14764, avgTableProportion=0.989010989011123, avgTableSize=90.0
4.96/2.73
4.96/2.79 num=8, depth=18..61, filters=10781, revisions=(7,useless=1), ccks=252, wck=0.543, mem=42M439
4.96/2.79 decisions=712, wrong=164, backtracks=35, failedAssignments=133, nogoods=84
4.96/2.79 nFilterCalls=17015, avgTableProportion=0.9890109890111265, avgTableSize=90.0
4.96/2.79
5.19/2.86 num=9, depth=2..67, filters=12875, revisions=(7,useless=1), ccks=252, wck=0.61, mem=42M439
5.19/2.86 decisions=836, wrong=195, backtracks=45, failedAssignments=156, nogoods=102
5.19/2.86 nFilterCalls=19492, avgTableProportion=0.9890109890111293, avgTableSize=90.0
5.19/2.86
5.37/2.91 num=10, depth=2..69, filters=14354, revisions=(7,useless=1), ccks=252, wck=0.664, mem=45M82
5.37/2.91 decisions=959, wrong=224, backtracks=49, failedAssignments=181, nogoods=124
5.37/2.91 nFilterCalls=21892, avgTableProportion=0.9890109890111315, avgTableSize=90.0
5.37/2.91
5.37/2.98 num=11, depth=3..64, filters=16123, revisions=(7,useless=1), ccks=252, wck=0.729, mem=45M82
5.37/2.98 decisions=1089, wrong=259, backtracks=57, failedAssignments=209, nogoods=142
5.37/2.98 nFilterCalls=24303, avgTableProportion=0.9890109890111332, avgTableSize=90.0
5.37/2.98
5.66/3.05 num=12, depth=1..66, filters=18017, revisions=(7,useless=1), ccks=252, wck=0.803, mem=45M82
5.66/3.05 decisions=1231, wrong=300, backtracks=68, failedAssignments=240, nogoods=167
5.66/3.05 nFilterCalls=27048, avgTableProportion=0.9890109890111348, avgTableSize=90.0
5.66/3.05
5.89/3.12 num=13, depth=3..69, filters=20171, revisions=(7,useless=1), ccks=252, wck=0.872, mem=45M82
5.89/3.12 decisions=1377, wrong=342, backtracks=80, failedAssignments=274, nogoods=185
5.89/3.12 nFilterCalls=29681, avgTableProportion=0.989010989011136, avgTableSize=90.0
5.89/3.12
5.89/3.18 num=14, depth=3..76, filters=22178, revisions=(7,useless=1), ccks=252, wck=0.937, mem=45M82
5.89/3.18 decisions=1533, wrong=387, backtracks=90, failedAssignments=311, nogoods=202
5.89/3.18 nFilterCalls=32263, avgTableProportion=0.989010989011137, avgTableSize=90.0
5.89/3.18
6.07/3.25 num=15, depth=0..72, filters=24377, revisions=(7,useless=1), ccks=252, wck=1.005, mem=47M725
6.07/3.25 decisions=1693, wrong=435, backtracks=102, failedAssignments=352, nogoods=211
6.07/3.25 nFilterCalls=35018, avgTableProportion=0.9890109890111379, avgTableSize=90.0
6.07/3.25
6.21/3.34 num=16, depth=4..68, filters=27720, revisions=(7,useless=1), ccks=252, wck=1.091, mem=47M725
6.21/3.34 decisions=1889, wrong=503, backtracks=134, failedAssignments=397, nogoods=228
6.21/3.34 nFilterCalls=38399, avgTableProportion=0.9890109890111389, avgTableSize=90.0
6.21/3.34
6.31/3.43 num=17, depth=1..74, filters=31459, revisions=(7,useless=1), ccks=252, wck=1.183, mem=47M725
6.31/3.43 decisions=2120, wrong=589, backtracks=180, failedAssignments=447, nogoods=239
6.31/3.43 nFilterCalls=42081, avgTableProportion=0.9890109890111397, avgTableSize=90.0
6.31/3.43
6.41/3.53 num=18, depth=38..73, filters=35476, revisions=(7,useless=1), ccks=252, wck=1.28, mem=47M725
6.41/3.53 decisions=2342, wrong=667, backtracks=210, failedAssignments=502, nogoods=261
6.41/3.53 nFilterCalls=45582, avgTableProportion=0.9890109890111405, avgTableSize=90.0
6.41/3.53
6.52/3.65 num=19, depth=48..64, filters=39835, revisions=(7,useless=1), ccks=252, wck=1.405, mem=50M367
6.52/3.65 decisions=2593, wrong=765, backtracks=254, failedAssignments=563, nogoods=267
6.52/3.65 nFilterCalls=49812, avgTableProportion=0.9890109890111412, avgTableSize=90.0
6.52/3.65
6.72/3.80 num=20, depth=1..77, filters=46731, revisions=(7,useless=1), ccks=252, wck=1.555, mem=50M367
6.72/3.80 decisions=2915, wrong=891, backtracks=335, failedAssignments=630, nogoods=275
6.72/3.80 nFilterCalls=54993, avgTableProportion=0.9890109890111419, avgTableSize=90.0
6.72/3.80
6.82/3.92 num=21, depth=2..77, filters=51193, revisions=(7,useless=1), ccks=252, wck=1.67, mem=50M367
6.82/3.92 decisions=3204, wrong=1000, backtracks=377, failedAssignments=704, nogoods=286
6.82/3.92 nFilterCalls=59189, avgTableProportion=0.9890109890111424, avgTableSize=90.0
6.82/3.92
6.93/4.03 num=22, depth=1..69, filters=55464, revisions=(7,useless=1), ccks=252, wck=1.779, mem=53M10
6.93/4.03 decisions=3492, wrong=1115, backtracks=430, failedAssignments=785, nogoods=303
6.93/4.03 nFilterCalls=63324, avgTableProportion=0.9890109890111428, avgTableSize=90.0
6.93/4.03
7.04/4.16 num=23, depth=2..70, filters=61204, revisions=(7,useless=1), ccks=252, wck=1.911, mem=53M10
7.04/4.16 decisions=3832, wrong=1254, backtracks=496, failedAssignments=874, nogoods=317
7.04/4.16 nFilterCalls=67952, avgTableProportion=0.9890109890111431, avgTableSize=90.0
7.04/4.16
7.23/4.31 num=24, depth=0..69, filters=68559, revisions=(7,useless=1), ccks=252, wck=2.067, mem=53M10
7.23/4.31 decisions=4202, wrong=1410, backtracks=584, failedAssignments=972, nogoods=321
7.23/4.31 nFilterCalls=73330, avgTableProportion=0.9890109890111436, avgTableSize=90.0
7.23/4.31
7.44/4.51 num=25, depth=2..74, filters=77037, revisions=(7,useless=1), ccks=252, wck=2.264, mem=55M652
7.44/4.51 decisions=4658, wrong=1605, backtracks=698, failedAssignments=1080, nogoods=330
7.44/4.51 nFilterCalls=79771, avgTableProportion=0.989010989011144, avgTableSize=90.0
7.44/4.51
7.54/4.65 num=26, depth=0..71, filters=82719, revisions=(7,useless=1), ccks=252, wck=2.4, mem=55M652
7.54/4.65 decisions=5044, wrong=1767, backtracks=764, failedAssignments=1199, nogoods=347
7.54/4.65 nFilterCalls=84798, avgTableProportion=0.9890109890111443, avgTableSize=90.0
7.54/4.65
7.67/4.79 num=27, depth=3..88, filters=89097, revisions=(7,useless=1), ccks=252, wck=2.544, mem=58M295
7.67/4.79 decisions=5482, wrong=1949, backtracks=838, failedAssignments=1330, nogoods=365
7.67/4.79 nFilterCalls=89984, avgTableProportion=0.9890109890111446, avgTableSize=90.0
7.67/4.79
7.88/4.97 num=28, depth=0..77, filters=96958, revisions=(7,useless=1), ccks=252, wck=2.721, mem=58M295
7.88/4.97 decisions=5969, wrong=2160, backtracks=931, failedAssignments=1474, nogoods=379
7.88/4.97 nFilterCalls=96025, avgTableProportion=0.9890109890111448, avgTableSize=90.0
7.88/4.97
8.18/5.20 num=29, depth=4..78, filters=108280, revisions=(7,useless=1), ccks=252, wck=2.951, mem=60M937
8.18/5.20 decisions=6540, wrong=2409, backtracks=1063, failedAssignments=1632, nogoods=411
8.18/5.20 nFilterCalls=104101, avgTableProportion=0.9890109890111451, avgTableSize=90.0
8.18/5.20
8.39/5.41 num=30, depth=0..78, filters=118067, revisions=(7,useless=1), ccks=252, wck=3.162, mem=60M937
8.39/5.41 decisions=7116, wrong=2663, backtracks=1175, failedAssignments=1806, nogoods=425
8.39/5.41 nFilterCalls=110836, avgTableProportion=0.9890109890111454, avgTableSize=90.0
8.39/5.41
8.59/5.60 num=31, depth=0..75, filters=125967, revisions=(7,useless=1), ccks=252, wck=3.356, mem=63M579
8.59/5.60 decisions=7763, wrong=2954, backtracks=1301, failedAssignments=1997, nogoods=443
8.59/5.60 nFilterCalls=117426, avgTableProportion=0.9890109890111456, avgTableSize=90.0
8.59/5.60
8.86/5.84 num=32, depth=1..77, filters=136516, revisions=(7,useless=1), ccks=252, wck=3.593, mem=66M222
8.86/5.84 decisions=8453, wrong=3268, backtracks=1441, failedAssignments=2208, nogoods=452
8.86/5.84 nFilterCalls=124982, avgTableProportion=0.9890109890111458, avgTableSize=90.0
8.86/5.84
9.07/6.04 num=33, depth=9..65, filters=143515, revisions=(7,useless=1), ccks=252, wck=3.788, mem=66M222
9.07/6.04 decisions=9125, wrong=3577, backtracks=1552, failedAssignments=2440, nogoods=462
9.07/6.04 nFilterCalls=131333, avgTableProportion=0.9890109890111459, avgTableSize=90.0
9.07/6.04
9.39/6.37 num=34, depth=0..73, filters=159639, revisions=(7,useless=1), ccks=252, wck=4.12, mem=68M864
9.39/6.37 decisions=10001, wrong=3985, backtracks=1783, failedAssignments=2695, nogoods=476
9.39/6.37 nFilterCalls=141669, avgTableProportion=0.9890109890102073, avgTableSize=90.0
9.39/6.37
9.81/6.72 num=35, depth=0..76, filters=175620, revisions=(7,useless=1), ccks=252, wck=4.468, mem=71M507
9.81/6.72 decisions=10972, wrong=4438, backtracks=2022, failedAssignments=2976, nogoods=500
9.81/6.72 nFilterCalls=152531, avgTableProportion=0.9890109890092381, avgTableSize=90.0
9.81/6.72
10.23/7.12 num=36, depth=1..71, filters=195947, revisions=(7,useless=1), ccks=252, wck=4.872, mem=74M149
10.23/7.12 decisions=12051, wrong=4947, backtracks=2296, failedAssignments=3285, nogoods=515
10.23/7.12 nFilterCalls=165564, avgTableProportion=0.989010989008243, avgTableSize=90.0
10.23/7.12
10.62/7.54 num=37, depth=7..80, filters=213605, revisions=(7,useless=1), ccks=252, wck=5.294, mem=76M792
10.62/7.54 decisions=13169, wrong=5472, backtracks=2538, failedAssignments=3625, nogoods=543
10.62/7.54 nFilterCalls=178576, avgTableProportion=0.9890109890073944, avgTableSize=90.0
10.62/7.54
11.02/7.98 num=38, depth=0..83, filters=235299, revisions=(7,useless=1), ccks=252, wck=5.73, mem=79M434
11.02/7.98 decisions=14423, wrong=6065, backtracks=2869, failedAssignments=3999, nogoods=562
11.02/7.98 nFilterCalls=192238, avgTableProportion=0.9890109890066271, avgTableSize=90.0
11.02/7.98
11.62/8.54 num=39, depth=11..81, filters=262078, revisions=(7,useless=1), ccks=252, wck=6.291, mem=84M719
11.62/8.54 decisions=15894, wrong=6767, backtracks=3274, failedAssignments=4410, nogoods=576
11.62/8.54 nFilterCalls=208979, avgTableProportion=0.9890109890058235, avgTableSize=90.0
11.62/8.54
12.23/9.15 num=40, depth=1..76, filters=291795, revisions=(7,useless=1), ccks=252, wck=6.899, mem=87M361
12.23/9.15 decisions=17468, wrong=7523, backtracks=3730, failedAssignments=4862, nogoods=595
12.23/9.15 nFilterCalls=227784, avgTableProportion=0.9890109890050619, avgTableSize=90.0
12.23/9.15
12.82/9.71 num=41, depth=1..82, filters=319362, revisions=(7,useless=1), ccks=252, wck=7.464, mem=92M646
12.82/9.71 decisions=19101, wrong=8306, backtracks=4154, failedAssignments=5359, nogoods=618
12.82/9.71 nFilterCalls=244568, avgTableProportion=0.9890109890044809, avgTableSize=90.0
12.82/9.71
13.33/10.24 num=42, depth=1..80, filters=343891, revisions=(7,useless=1), ccks=252, wck=7.991, mem=95M289
13.33/10.24 decisions=20685, wrong=9066, backtracks=4487, failedAssignments=5906, nogoods=632
13.33/10.24 nFilterCalls=260738, avgTableProportion=0.989010989003992, avgTableSize=90.0
13.33/10.24
14.03/10.91 num=43, depth=1..80, filters=378565, revisions=(7,useless=1), ccks=252, wck=8.658, mem=100M574
14.03/10.91 decisions=22554, wrong=9970, backtracks=4908, failedAssignments=6508, nogoods=652
14.03/10.91 nFilterCalls=281479, avgTableProportion=0.9890109890051451, avgTableSize=90.0
14.03/10.91
14.73/11.68 num=44, depth=1..80, filters=417095, revisions=(7,useless=1), ccks=252, wck=9.428, mem=105M858
14.73/11.68 decisions=24774, wrong=11048, backtracks=5512, failedAssignments=7170, nogoods=677
14.73/11.68 nFilterCalls=304499, avgTableProportion=0.989010989006699, avgTableSize=90.0
14.73/11.68
15.74/12.64 num=45, depth=1..77, filters=465527, revisions=(7,useless=1), ccks=252, wck=10.393, mem=111M143
15.74/12.64 decisions=27097, wrong=12176, backtracks=6133, failedAssignments=7898, nogoods=719
15.74/12.64 nFilterCalls=332113, avgTableProportion=0.989010989008279, avgTableSize=90.0
15.74/12.64
16.64/13.50 num=46, depth=1..82, filters=504647, revisions=(7,useless=1), ccks=252, wck=11.252, mem=116M428
16.64/13.50 decisions=29664, wrong=13428, backtracks=6794, failedAssignments=8699, nogoods=736
16.64/13.50 nFilterCalls=357344, avgTableProportion=0.9890109890095091, avgTableSize=90.0
16.64/13.50
17.67/14.47 num=47, depth=22..82, filters=554702, revisions=(7,useless=1), ccks=252, wck=12.22, mem=124M356
17.67/14.47 decisions=32493, wrong=14807, backtracks=7567, failedAssignments=9580, nogoods=750
17.67/14.47 nFilterCalls=386503, avgTableProportion=0.9890109890107307, avgTableSize=90.0
17.67/14.47
18.77/15.59 num=48, depth=0..84, filters=610754, revisions=(7,useless=1), ccks=252, wck=13.34, mem=132M283
18.77/15.59 decisions=35468, wrong=16258, backtracks=8306, failedAssignments=10550, nogoods=770
18.77/15.59 nFilterCalls=419505, avgTableProportion=0.9890109890119083, avgTableSize=90.0
18.77/15.59
19.87/16.64 num=49, depth=0..67, filters=653074, revisions=(7,useless=1), ccks=252, wck=14.393, mem=137M568
19.87/16.64 decisions=38711, wrong=17851, backtracks=9006, failedAssignments=11617, nogoods=795
19.87/16.64 nFilterCalls=450282, avgTableProportion=0.9890109890128511, avgTableSize=90.0
19.87/16.64
21.12/17.80 num=50, depth=12..80, filters=709139, revisions=(7,useless=1), ccks=252, wck=15.551, mem=25M598
21.12/17.80 decisions=42227, wrong=19575, backtracks=9825, failedAssignments=12790, nogoods=826
21.12/17.80 nFilterCalls=484535, avgTableProportion=0.9890109890137595, avgTableSize=90.0
21.12/17.80
22.52/19.25 num=51, depth=0..76, filters=783710, revisions=(7,useless=1), ccks=252, wck=17.001, mem=36M62
22.52/19.25 decisions=46083, wrong=21469, backtracks=10758, failedAssignments=14081, nogoods=845
22.52/19.25 nFilterCalls=528876, avgTableProportion=0.9890109890147606, avgTableSize=90.0
22.52/19.25
24.22/20.91 num=52, depth=34..75, filters=847704, revisions=(7,useless=1), ccks=252, wck=18.658, mem=46M526
24.22/20.91 decisions=50841, wrong=23816, backtracks=11851, failedAssignments=15501, nogoods=860
24.22/20.91 nFilterCalls=585862, avgTableProportion=0.9890109890102858, avgTableSize=90.0
24.22/20.91
25.72/22.48 num=53, depth=0..76, filters=921550, revisions=(7,useless=1), ccks=252, wck=20.228, mem=59M606
25.72/22.48 decisions=55455, wrong=26090, backtracks=12879, failedAssignments=17063, nogoods=879
25.72/22.48 nFilterCalls=629699, avgTableProportion=0.9890109890073069, avgTableSize=90.0
25.72/22.48
27.52/24.21 num=54, depth=0..76, filters=1014055, revisions=(7,useless=1), ccks=252, wck=21.96, mem=70M70
27.52/24.21 decisions=60733, wrong=28696, backtracks=14107, failedAssignments=18781, nogoods=907
27.52/24.21 nFilterCalls=681712, avgTableProportion=0.9890109890042692, avgTableSize=90.0
27.52/24.21
29.43/26.13 num=55, depth=0..84, filters=1110900, revisions=(7,useless=1), ccks=252, wck=23.882, mem=83M150
29.43/26.13 decisions=66658, wrong=31625, backtracks=15634, failedAssignments=20671, nogoods=942
29.43/26.13 nFilterCalls=739482, avgTableProportion=0.9890109890013962, avgTableSize=90.0
29.43/26.13
31.53/28.27 num=56, depth=1..83, filters=1219914, revisions=(7,useless=1), ccks=252, wck=26.027, mem=98M846
31.53/28.27 decisions=72717, wrong=34621, backtracks=17093, failedAssignments=22750, nogoods=981
31.53/28.27 nFilterCalls=803186, avgTableProportion=0.9890109889987071, avgTableSize=90.0
31.53/28.27
34.13/30.87 num=57, depth=0..80, filters=1356369, revisions=(7,useless=1), ccks=252, wck=28.625, mem=117M158
34.13/30.87 decisions=79819, wrong=38138, backtracks=18843, failedAssignments=25037, nogoods=1009
34.13/30.87 nFilterCalls=877745, avgTableProportion=0.9890109889960557, avgTableSize=90.0
34.13/30.87
36.93/33.65 num=58, depth=13..77, filters=1501609, revisions=(7,useless=1), ccks=252, wck=31.4, mem=138M86
36.93/33.65 decisions=87624, wrong=42010, backtracks=20732, failedAssignments=27553, nogoods=1030
36.93/33.65 nFilterCalls=958147, avgTableProportion=0.9890109889936589, avgTableSize=90.0
36.93/33.65
40.36/37.03 num=59, depth=1..80, filters=1686084, revisions=(7,useless=1), ccks=252, wck=34.78, mem=30M899
40.36/37.03 decisions=96394, wrong=46363, backtracks=22937, failedAssignments=30321, nogoods=1051
40.36/37.03 nFilterCalls=1058321, avgTableProportion=0.9890109889911822, avgTableSize=90.0
40.36/37.03
43.80/40.42 num=60, depth=0..78, filters=1876259, revisions=(7,useless=1), ccks=252, wck=38.175, mem=54M526
43.80/40.42 decisions=105826, wrong=51049, backtracks=25292, failedAssignments=33365, nogoods=1078
43.80/40.42 nFilterCalls=1165131, avgTableProportion=0.9890109889890107, avgTableSize=90.0
43.80/40.42
47.10/43.72 num=61, depth=1..78, filters=2021567, revisions=(7,useless=1), ccks=252, wck=41.471, mem=78M153
47.10/43.72 decisions=115920, wrong=56068, backtracks=27378, failedAssignments=36714, nogoods=1114
47.10/43.72 nFilterCalls=1270989, avgTableProportion=0.9890109889872185, avgTableSize=90.0
47.10/43.72
51.42/48.03 num=62, depth=0..81, filters=2254042, revisions=(7,useless=1), ccks=252, wck=45.778, mem=107M31
51.42/48.03 decisions=127300, wrong=61726, backtracks=30415, failedAssignments=40398, nogoods=1142
51.42/48.03 nFilterCalls=1403859, avgTableProportion=0.9890109889853517, avgTableSize=90.0
51.42/48.03
55.91/52.51 num=63, depth=0..86, filters=2493995, revisions=(7,useless=1), ccks=252, wck=50.258, mem=141M159
55.91/52.51 decisions=140020, wrong=68049, backtracks=33773, failedAssignments=44450, nogoods=1172
55.91/52.51 nFilterCalls=1539415, avgTableProportion=0.989010988983779, avgTableSize=90.0
55.91/52.51
60.95/57.50 num=64, depth=32..79, filters=2741930, revisions=(7,useless=1), ccks=252, wck=55.255, mem=46M778
60.95/57.50 decisions=154487, wrong=75249, backtracks=37669, failedAssignments=48907, nogoods=1183
60.95/57.50 nFilterCalls=1687684, avgTableProportion=0.9890109889823483, avgTableSize=90.0
60.95/57.50
66.67/63.29 num=65, depth=1..78, filters=3048394, revisions=(7,useless=1), ccks=252, wck=61.04, mem=83M615
66.67/63.29 decisions=170485, wrong=83217, backtracks=42387, failedAssignments=53810, nogoods=1227
66.67/63.29 nFilterCalls=1863393, avgTableProportion=0.9890109889809475, avgTableSize=90.0
66.67/63.29
72.69/69.24 num=66, depth=15..76, filters=3354837, revisions=(7,useless=1), ccks=252, wck=66.99, mem=128M347
72.69/69.24 decisions=187613, wrong=91749, backtracks=47106, failedAssignments=59204, nogoods=1259
72.69/69.24 nFilterCalls=2037723, avgTableProportion=0.9890109889797964, avgTableSize=90.0
72.69/69.24
78.62/75.12 num=67, depth=1..79, filters=3635900, revisions=(7,useless=1), ccks=252, wck=72.875, mem=36M72
78.62/75.12 decisions=205423, wrong=100623, backtracks=51337, failedAssignments=65137, nogoods=1287
78.62/75.12 nFilterCalls=2205555, avgTableProportion=0.989010988987844, avgTableSize=90.0
78.62/75.12
86.32/82.81 num=68, depth=13..86, filters=4034176, revisions=(7,useless=1), ccks=252, wck=80.566, mem=87M938
86.32/82.81 decisions=226327, wrong=111041, backtracks=57175, failedAssignments=71663, nogoods=1304
86.32/82.81 nFilterCalls=2424574, avgTableProportion=0.989010989007038, avgTableSize=90.0
86.32/82.81
94.42/90.93 num=69, depth=1..86, filters=4473393, revisions=(7,useless=1), ccks=252, wck=88.68, mem=147M585
94.42/90.93 decisions=248854, wrong=122272, backtracks=63145, failedAssignments=78842, nogoods=1334
94.42/90.93 nFilterCalls=2660458, avgTableProportion=0.9890109890241753, avgTableSize=90.0
94.42/90.93
102.45/99.00 num=70, depth=2..75, filters=4847007, revisions=(7,useless=1), ccks=252, wck=96.75, mem=76M746
102.45/99.00 decisions=273608, wrong=134617, backtracks=69234, failedAssignments=86739, nogoods=1365
102.45/99.00 nFilterCalls=2896042, avgTableProportion=0.9890109890385044, avgTableSize=90.0
102.45/99.00
112.95/109.40 num=71, depth=19..79, filters=5325513, revisions=(7,useless=1), ccks=252, wck=107.152, mem=140M595
112.95/109.40 decisions=301595, wrong=148578, backtracks=76839, failedAssignments=95426, nogoods=1382
112.95/109.40 nFilterCalls=3197718, avgTableProportion=0.9890109890537706, avgTableSize=90.0
112.95/109.40
125.89/122.32 num=72, depth=44..80, filters=6047595, revisions=(7,useless=1), ccks=252, wck=120.07, mem=108M684
125.89/122.32 decisions=333396, wrong=164444, backtracks=86027, failedAssignments=104981, nogoods=1415
125.89/122.32 nFilterCalls=3568417, avgTableProportion=0.989010989068995, avgTableSize=90.0
125.89/122.32
138.93/135.32 num=73, depth=1..84, filters=6725930, revisions=(7,useless=1), ccks=252, wck=133.076, mem=70M137
138.93/135.32 decisions=367879, wrong=181651, backtracks=96119, failedAssignments=115492, nogoods=1446
138.93/135.32 nFilterCalls=3938315, avgTableProportion=0.9890109890813298, avgTableSize=90.0
138.93/135.32
154.14/150.52 num=74, depth=35..85, filters=7457446, revisions=(7,useless=1), ccks=252, wck=148.268, mem=49M966
154.14/150.52 decisions=406133, wrong=200743, backtracks=107889, failedAssignments=127054, nogoods=1474
154.14/150.52 nFilterCalls=4360620, avgTableProportion=0.98901098908007, avgTableSize=90.0
154.14/150.52
170.25/166.69 num=75, depth=1..80, filters=8275449, revisions=(7,useless=1), ccks=252, wck=164.445, mem=32M747
170.25/166.69 decisions=449121, wrong=222205, backtracks=121865, failedAssignments=139772, nogoods=1500
170.25/166.69 nFilterCalls=4823543, avgTableProportion=0.9890109890469208, avgTableSize=90.0
170.25/166.69
189.67/186.04 num=76, depth=1..286, filters=9260252, revisions=(7,useless=1), ccks=399, wck=183.795, mem=53M884
189.67/186.04 decisions=495819, wrong=245519, backtracks=135821, failedAssignments=153592, nogoods=1500, foundSolutions=1
189.67/186.04 nFilterCalls=5408246, avgTableProportion=0.9890109890131614, avgTableSize=90.0
189.67/186.04
189.67/186.04 Global
189.67/186.04 filters=9260252, revisions=(7,useless=1), ccks=399, nogoods=1500
189.67/186.04 Stop=REACHED_GOAL, wrong=245519, foundSolutions=1, firstSolCpu=185.884
189.67/186.04 wck=184.204, cpu=185.895, mem=53M884
189.67/186.04
189.67/186.04 v <instantiation id='sol1' type='solution'> <list> h[][] a[][] m[][] hd[] ad[] </list> <values> 0 3 6 2 4 5 3 4 1 2 0 5 6 2 7 4 11 0 0 2 1 11 4 5 1 3 4 8 7 1 3 3 0 2 2 0 4 9 1 6 0 2 9 9 1 8 3 5 1 7 3 4 8 5 5 0 8 10 1 6 3 6 1 2 0 10 4 1 6 1 7 5 0 4 3 2 0 7 12 1 0 3 10 2 9 5 0 7 8 6 2 1 11 8 7 7 9 12 13 10 13 11 8 10 3 10 10 12 5 6 6 9 13 8 12 7 9 5 12 9 5 6 13 7 11 8 10 6 13 12 7 2 12 10 12 8 13 10 6 11 13 4 11 9 13 11 4 11 12 4 12 7 9 3 10 13 11 9 13 13 2 11 10 8 12 5 9 12 8 13 6 3 8 13 4 11 7 9 12 10 11 5 0 43 64 29 48 58 44 54 21 35 10 57 66 25 72 51 88 4 5 28 20 89 49 61 18 41 46 79 71 16 38 45 6 33 30 9 47 84 23 63 1 34 81 83 19 80 42 55 22 75 36 52 76 62 60 3 78 86 15 68 39 65 14 32 12 85 50 24 69 13 73 59 7 53 37 31 11 70 90 17 2 40 87 26 82 56 8 74 77 67 27 9 8 10 0 2 3 1 12 13 11 5 7 6 4 </values> </instantiation>
189.67/186.04 s SATISFIABLE
189.67/186.04
189.67/186.04 d WRONG_DECISIONS 245519
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 (11487 MiB free)
memory of node 1: 16384 MiB (14347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390553-1568383705/watcher-4390553-1568383705 -o /tmp/evaluation-result-4390553-1568383705/solver-4390553-1568383705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390553-1568383705.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1657, runsolver pid=1654
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.98 1.96 1.90 4/228 1672
/proc/meminfo: memFree=26438360/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10659884 memory=30272 CPUtime=0.13 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 5750 0 0 0 12 1 0 0 20 0 15 0 414284384 10915721216 7568 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2664971 7568 2901 1 0 2627468 0
[pid=1657/tid=1659] ppid=1654 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) R 1654 1657 32084 0 -1 4202560 3200 0 0 0 9 0 0 0 20 0 15 0 414284384 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666745706696 139666741499037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284386 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666299557024 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 7568 33554432000 4194304 4196468 140724991958176 139666298503920 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) R 1654 1657 32084 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) R 1654 1657 32084 0 -1 4202560 563 0 0 0 2 0 0 0 20 0 15 0 414284389 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665770260952 139666720875679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284390 10915721216 7568 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30272 KiB
[startup+0.21071 s]*
/proc/loadavg: 1.98 1.96 1.90 3/228 1672
/proc/meminfo: memFree=26431556/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10659884 memory=36092 CPUtime=0.33 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 6833 0 0 0 31 2 0 0 20 0 15 0 414284384 10915721216 9023 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2664971 9023 2988 1 0 2627468 0
[pid=1657/tid=1659] ppid=1654 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) R 1654 1657 32084 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 414284384 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666745703512 139666741499037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10659884 memory=4121274951880242848 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284386 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666299557024 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 9023 33554432000 4194304 4196468 140724991958176 139666298503920 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 707 0 0 0 3 0 0 0 20 0 15 0 414284389 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 15 0 414284389 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0.05 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 625 0 0 0 5 0 0 0 20 0 15 0 414284389 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10659884 memory=140198596146816 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284390 10915721216 9023 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36092 KiB
[startup+0.314136 s]*
/proc/loadavg: 1.98 1.96 1.90 4/228 1672
/proc/meminfo: memFree=26422952/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10659884 memory=41516 CPUtime=0.48 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 9430 0 0 0 45 3 0 0 20 0 15 0 414284384 10915721216 10379 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2664971 10379 3034 1 0 2627468 0
[pid=1657/tid=1659] ppid=1654 vsize=10659884 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) R 1654 1657 32084 0 -1 4202560 6365 0 0 0 28 2 0 0 20 0 15 0 414284384 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666745708912 139666741499037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10659884 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10659884 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284385 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284386 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666299557024 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414284387 10915721216 10379 33554432000 4194304 4196468 140724991958176 139666298503920 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 715 0 0 0 4 0 0 0 20 0 15 0 414284389 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10659884 memory=140198470059471 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 15 0 414284389 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10659884 memory=140198596148434 CPUtime=0.08 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 660 0 0 0 8 0 0 0 20 0 15 0 414284389 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10659884 memory=140198470101583 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10659884 memory=280397066246112 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284390 10915721216 10379 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 41516 KiB
[startup+0.70072 s]
/proc/loadavg: 1.98 1.96 1.90 3/228 1672
/proc/meminfo: memFree=26414444/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10661932 memory=65008 CPUtime=1.11 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 13037 0 0 0 106 5 0 0 20 0 15 0 414284384 10917818368 16252 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2665483 16252 3072 1 0 2627980 0
[pid=1657/tid=1659] ppid=1654 vsize=10661932 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) R 1654 1657 32084 0 -1 4202560 8902 0 0 0 64 4 0 0 20 0 15 0 414284384 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666745709136 139666724663920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10661932 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284385 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10661932 memory=6296404258939031632 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284386 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10661932 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414284387 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666299557024 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10661932 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414284387 10917818368 16252 33554432000 4194304 4196468 140724991958176 139666298503920 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10661932 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10661932 memory=4196912344889787449 CPUtime=0.1 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 955 0 0 0 10 0 0 0 20 0 15 0 414284389 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) R 1654 1657 32084 0 -1 4202560 673 0 0 0 11 0 0 0 20 0 15 0 414284389 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665771318128 139666721170211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10661932 memory=-1161699032756150920 CPUtime=0.18 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 1147 0 0 0 18 0 0 0 20 0 15 0 414284389 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10661932 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414284389 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284390 10917818368 16252 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 65008 KiB
[startup+1.50074 s]
/proc/loadavg: 1.98 1.96 1.90 3/228 1672
/proc/meminfo: memFree=26398264/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10663980 memory=76876 CPUtime=2 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 16749 0 0 0 194 6 0 0 20 0 15 0 414284384 10919915520 19219 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2665995 19219 3093 1 0 2628492 0
[pid=1657/tid=1659] ppid=1654 vsize=10663980 memory=3512 CPUtime=1.48 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) R 1654 1657 32084 0 -1 4202560 11588 0 0 0 143 5 0 0 20 0 15 0 414284384 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666745709136 139666726642664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414284385 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414284385 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 414284386 10919915520 19219 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
################
# More data... #
################
[startup+184.001 s]*
/proc/loadavg: 2.00 1.99 1.92 3/229 1696
/proc/meminfo: memFree=26208744/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10748324 memory=257356 CPUtime=187.67 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 56515 0 0 0 18749 18 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2687081 64339 3369 1 0 2647217 0
[pid=1657/tid=1659] ppid=1654 vsize=10748324 memory=6935054825532540783 CPUtime=1.85 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) S 1654 1657 32084 0 -1 1077944384 13136 0 0 0 180 5 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666745719984 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10748324 memory=4126316290023845779 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1463 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10748324 memory=3240 CPUtime=0.08 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10748324 memory=184832 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 3298 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10748324 memory=1768 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2712 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10748324 memory=1404 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 1911 0 0 0 2 0 0 0 20 0 16 0 414284386 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10748324 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666299557088 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666298503936 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10748324 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10748324 memory=916 CPUtime=1.52 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 8859 0 0 0 151 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10748324 memory=3848 CPUtime=1.2 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 6429 0 0 0 120 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10748324 memory=2708 CPUtime=0.62 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 5247 0 0 0 61 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10748324 memory=2616 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10748324 memory=6935054825532540783 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 978 0 0 0 2 1 0 0 20 0 16 0 414284390 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1673] ppid=1654 vsize=10748324 memory=1096 CPUtime=181.98 cores=1,3,5,7
/proc/1657/task/1673/stat : 1673 (java) R 1654 1657 32084 0 -1 4202560 10694 0 0 0 18196 2 0 0 20 0 16 0 414284571 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665443073392 139666384048376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 187.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 257356 KiB
[startup+184.801 s]
/proc/loadavg: 2.00 1.99 1.92 3/229 1696
/proc/meminfo: memFree=26208744/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10748324 memory=257356 CPUtime=188.47 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 56517 0 0 0 18829 18 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2687081 64339 3369 1 0 2647217 0
[pid=1657/tid=1659] ppid=1654 vsize=10748324 memory=1096 CPUtime=1.85 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) S 1654 1657 32084 0 -1 1077944384 13136 0 0 0 180 5 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666745719984 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10748324 memory=2828 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1463 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10748324 memory=257356 CPUtime=0.08 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10748324 memory=257356 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 3298 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10748324 memory=257356 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2712 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 1911 0 0 0 2 0 0 0 20 0 16 0 414284386 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10748324 memory=39576 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666299557088 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666298503936 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10748324 memory=1368 CPUtime=1.52 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 8859 0 0 0 151 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10748324 memory=1056 CPUtime=1.2 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 6429 0 0 0 120 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10748324 memory=1712 CPUtime=0.62 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 5247 0 0 0 61 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10748324 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10748324 memory=11624 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 980 0 0 0 2 1 0 0 20 0 16 0 414284390 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1673] ppid=1654 vsize=10748324 memory=732 CPUtime=182.77 cores=1,3,5,7
/proc/1657/task/1673/stat : 1673 (java) R 1654 1657 32084 0 -1 4202560 10694 0 0 0 18275 2 0 0 20 0 16 0 414284571 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665443073280 139666384048910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 188.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 257356 KiB
[startup+185.601 s]
/proc/loadavg: 1.92 1.97 1.92 3/229 1696
/proc/meminfo: memFree=26208744/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10748324 memory=257356 CPUtime=189.27 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 56517 0 0 0 18909 18 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2687081 64339 3369 1 0 2647217 0
[pid=1657/tid=1659] ppid=1654 vsize=10748324 memory=257356 CPUtime=1.85 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) S 1654 1657 32084 0 -1 1077944384 13136 0 0 0 180 5 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666745719984 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10748324 memory=3512 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1463 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10748324 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10748324 memory=301741416391115062 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 3298 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10748324 memory=14973373507700446 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2712 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10748324 memory=1368 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 1911 0 0 0 2 0 0 0 20 0 16 0 414284386 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666299557088 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10748324 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666298503936 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10748324 memory=3124 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10748324 memory=257356 CPUtime=1.52 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 8859 0 0 0 151 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10748324 memory=1436 CPUtime=1.2 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 6429 0 0 0 120 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10748324 memory=8112282956445269571 CPUtime=0.62 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 5247 0 0 0 61 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10748324 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10748324 memory=732 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 980 0 0 0 2 1 0 0 20 0 16 0 414284390 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1673] ppid=1654 vsize=10748324 memory=776 CPUtime=183.57 cores=1,3,5,7
/proc/1657/task/1673/stat : 1673 (java) R 1654 1657 32084 0 -1 4202560 10694 0 0 0 18355 2 0 0 20 0 16 0 414284571 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665443073280 139666384266816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 189.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 257356 KiB
[startup+186.001 s]*
/proc/loadavg: 1.92 1.97 1.92 3/229 1696
/proc/meminfo: memFree=26208736/32770624 swapFree=66957012/67108860
[pid=1657] ppid=1654 vsize=10748324 memory=257356 CPUtime=189.67 cores=1,3,5,7
/proc/1657/stat : 1657 (java) S 1654 1657 32084 0 -1 1077944320 56517 0 0 0 18949 18 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 140724991940720 139666741477111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
/proc/1657/statm: 2687081 64339 3369 1 0 2647217 0
[pid=1657/tid=1659] ppid=1654 vsize=10748324 memory=6935054825532540783 CPUtime=1.85 cores=1,3,5,7
/proc/1657/task/1659/stat : 1659 (java) S 1654 1657 32084 0 -1 1077944384 13136 0 0 0 180 5 0 0 20 0 16 0 414284384 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666745719984 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1660] ppid=1654 vsize=10748324 memory=4126316290023845779 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1660/stat : 1660 (java) S 1654 1657 32084 0 -1 1077944384 1463 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666347863056 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1661] ppid=1654 vsize=10748324 memory=1804 CPUtime=0.08 cores=1,3,5,7
/proc/1657/task/1661/stat : 1661 (java) S 1654 1657 32084 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666346810512 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1662] ppid=1654 vsize=10748324 memory=916 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1662/stat : 1662 (java) S 1654 1657 32084 0 -1 1077944384 3298 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666345757456 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1663] ppid=1654 vsize=10748324 memory=3848 CPUtime=0.09 cores=1,3,5,7
/proc/1657/task/1663/stat : 1663 (java) S 1654 1657 32084 0 -1 1077944384 2712 0 0 0 8 1 0 0 20 0 16 0 414284385 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666344704912 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1664] ppid=1654 vsize=10748324 memory=2708 CPUtime=0.02 cores=1,3,5,7
/proc/1657/task/1664/stat : 1664 (java) S 1654 1657 32084 0 -1 1077944384 1911 0 0 0 2 0 0 0 20 0 16 0 414284386 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666300610800 139666741488258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1665] ppid=1654 vsize=10748324 memory=2616 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1665/stat : 1665 (java) S 1654 1657 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666299557088 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1666] ppid=1654 vsize=10748324 memory=7955444280630995264 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1666/stat : 1666 (java) S 1654 1657 32084 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414284387 11006283776 64339 33554432000 4194304 4196468 140724991958176 139666298503936 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1667] ppid=1654 vsize=10748324 memory=7378980217041348928 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1667/stat : 1667 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665773422544 139666741495707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1668] ppid=1654 vsize=10748324 memory=257356 CPUtime=1.52 cores=1,3,5,7
/proc/1657/task/1668/stat : 1668 (java) S 1654 1657 32084 0 -1 1077944384 8859 0 0 0 151 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665772370672 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1669] ppid=1654 vsize=10748324 memory=257356 CPUtime=1.2 cores=1,3,5,7
/proc/1657/task/1669/stat : 1669 (java) S 1654 1657 32084 0 -1 1077944384 6429 0 0 0 120 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665771318128 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1670] ppid=1654 vsize=10748324 memory=4126316290023845779 CPUtime=0.62 cores=1,3,5,7
/proc/1657/task/1670/stat : 1670 (java) S 1654 1657 32084 0 -1 1077944384 5247 0 0 0 61 1 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665770265072 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1671] ppid=1654 vsize=10748324 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/1657/task/1671/stat : 1671 (java) S 1654 1657 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414284389 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665769212768 139666741487317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1672] ppid=1654 vsize=10748324 memory=732 CPUtime=0.03 cores=1,3,5,7
/proc/1657/task/1672/stat : 1672 (java) S 1654 1657 32084 0 -1 1077944384 980 0 0 0 2 1 0 0 20 0 16 0 414284390 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665768159792 139666741488258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
[pid=1657/tid=1673] ppid=1654 vsize=10748324 memory=776 CPUtime=183.98 cores=1,3,5,7
/proc/1657/task/1673/stat : 1673 (java) R 1654 1657 32084 0 -1 4202560 10694 0 0 0 18396 2 0 0 20 0 16 0 414284571 11006283776 64339 33554432000 4194304 4196468 140724991958176 139665443073280 139666384266816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22695936 140724991964171 140724991964274 140724991964274 140724991967183 0
Current children cumulated CPU time: 189.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 257356 KiB
Child status: 0
Real time (s): 186.066
CPU time (s): 189.757
CPU user time (s): 189.565
CPU system time (s): 0.19212
CPU usage (%): 101.984
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 257868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.565
system time used= 0.19212
maximum resident set size= 257868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7104
involuntary context switches= 135
# summary of solver processes directly reported to runsolver:
# pid: 1657
# total CPU time (s): 189.757
# total CPU user time (s): 189.565
# total CPU system time (s): 0.19212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04678 second user time and 1.65751 second system time
The end