2.41/1.88
2.41/1.88 AbsCon 2
2.64/1.90
2.96/2.04 Instance
2.96/2.04 name=instance-4390680-1568385978, framework=CSP
2.96/2.04
2.96/2.04 Loading variables...
3.24/2.11 Loading constraints...
3.50/2.27
3.50/2.27 Domains
3.50/2.27 nTypes=1, nValues=27000, sizes=[30#900]
3.50/2.27 Variables
3.50/2.27 count=900, degrees=[2#374,3#526]
3.50/2.27 Constraints
3.50/2.27 count=586, nSpecific=60, arities=[1#526,30#60]
3.50/2.27 distribution=[AllDifferent#60,CtrIntension#526]
3.50/2.27 nIntStructures=(30,shared:496)
3.50/2.27 wck=0.414, cpu=2.233, mem=37M82
3.50/2.29 Solver SolverBacktrack being built...
3.50/2.29
3.79/2.32
3.79/2.32 Solver
3.79/2.32 guaranteedGAC=true
3.79/2.32 wck=0.47, cpu=2.287, mem=50M366
4.36/2.50
4.36/2.50 Preprocessing
4.36/2.50 filters=1594, revisions=(526,useless=0), ccks=8156, nACremovedValues=24609, nTotalRemovedValues=24609, inconcistency=false
4.36/2.50 wck=0.175, cpu=2.464, mem=50M366
4.36/2.50
4.36/2.53 num=0, depth=31..40, filters=2533, revisions=(526,useless=0), ccks=8156, wck=0.203, mem=50M366
4.36/2.53 decisions=67, wrong=16, backtracks=10, failedAssignments=10, nogoods=3
4.36/2.53
4.36/2.55 num=1, depth=39..47, filters=3506, revisions=(526,useless=0), ccks=8156, wck=0.226, mem=50M366
4.36/2.55 decisions=139, wrong=32, backtracks=20, failedAssignments=21, nogoods=6
4.36/2.55
4.36/2.59 num=2, depth=37..49, filters=4805, revisions=(526,useless=0), ccks=8156, wck=0.263, mem=50M366
4.36/2.59 decisions=223, wrong=52, backtracks=29, failedAssignments=33, nogoods=12
4.36/2.59
4.61/2.61 num=3, depth=44..54, filters=6293, revisions=(526,useless=0), ccks=8156, wck=0.287, mem=50M366
4.61/2.61 decisions=318, wrong=77, backtracks=48, failedAssignments=46, nogoods=14
4.61/2.61
4.61/2.64 num=4, depth=38..46, filters=7936, revisions=(526,useless=0), ccks=8156, wck=0.313, mem=50M366
4.61/2.64 decisions=415, wrong=106, backtracks=74, failedAssignments=60, nogoods=16
4.61/2.64
4.61/2.66 num=5, depth=12..62, filters=9274, revisions=(526,useless=0), ccks=8156, wck=0.336, mem=50M366
4.61/2.66 decisions=522, wrong=131, backtracks=87, failedAssignments=76, nogoods=24
4.61/2.66
4.61/2.68 num=6, depth=46..61, filters=10772, revisions=(526,useless=0), ccks=8156, wck=0.359, mem=50M366
4.61/2.68 decisions=627, wrong=158, backtracks=104, failedAssignments=93, nogoods=33
4.61/2.68
4.75/2.71 num=7, depth=39..49, filters=13028, revisions=(526,useless=0), ccks=8156, wck=0.392, mem=50M366
4.75/2.71 decisions=748, wrong=198, backtracks=136, failedAssignments=112, nogoods=36
4.75/2.71
4.75/2.74 num=8, depth=44..57, filters=15036, revisions=(526,useless=0), ccks=8156, wck=0.421, mem=50M366
4.75/2.74 decisions=868, wrong=236, backtracks=165, failedAssignments=133, nogoods=38
4.75/2.74
4.75/2.77 num=9, depth=34..42, filters=16909, revisions=(526,useless=0), ccks=8156, wck=0.447, mem=50M366
4.75/2.77 decisions=978, wrong=274, backtracks=192, failedAssignments=156, nogoods=41
4.75/2.77
4.86/2.81 num=10, depth=32..43, filters=19825, revisions=(526,useless=0), ccks=8156, wck=0.487, mem=50M366
4.86/2.81 decisions=1097, wrong=317, backtracks=225, failedAssignments=181, nogoods=46
4.86/2.81
4.86/2.84 num=11, depth=28..40, filters=22099, revisions=(526,useless=0), ccks=8156, wck=0.52, mem=50M366
4.86/2.84 decisions=1224, wrong=365, backtracks=258, failedAssignments=209, nogoods=48
4.86/2.84
4.86/2.89 num=12, depth=30..41, filters=25454, revisions=(526,useless=0), ccks=8156, wck=0.564, mem=50M366
4.86/2.89 decisions=1359, wrong=416, backtracks=299, failedAssignments=240, nogoods=52
4.86/2.89
4.98/2.93 num=13, depth=29..47, filters=28423, revisions=(526,useless=0), ccks=8156, wck=0.606, mem=50M366
4.98/2.93 decisions=1535, wrong=482, backtracks=344, failedAssignments=274, nogoods=56
4.98/2.93
4.98/2.98 num=14, depth=33..59, filters=32393, revisions=(526,useless=0), ccks=8156, wck=0.661, mem=50M366
4.98/2.98 decisions=1733, wrong=556, backtracks=403, failedAssignments=311, nogoods=61
4.98/2.98
5.09/3.03 num=15, depth=48..60, filters=35805, revisions=(526,useless=0), ccks=8156, wck=0.708, mem=53M10
5.09/3.03 decisions=1934, wrong=631, backtracks=459, failedAssignments=352, nogoods=71
5.09/3.03
5.09/3.08 num=16, depth=45..55, filters=39417, revisions=(526,useless=0), ccks=8156, wck=0.756, mem=53M10
5.09/3.08 decisions=2143, wrong=712, backtracks=516, failedAssignments=397, nogoods=78
5.09/3.08
5.20/3.14 num=17, depth=41..58, filters=44043, revisions=(526,useless=0), ccks=8156, wck=0.816, mem=53M10
5.20/3.14 decisions=2351, wrong=795, backtracks=571, failedAssignments=447, nogoods=83
5.20/3.14
5.29/3.20 num=18, depth=38..53, filters=49397, revisions=(526,useless=0), ccks=8156, wck=0.882, mem=53M10
5.29/3.20 decisions=2591, wrong=895, backtracks=645, failedAssignments=502, nogoods=90
5.29/3.20
5.29/3.28 num=19, depth=41..53, filters=55577, revisions=(526,useless=0), ccks=8156, wck=0.96, mem=53M10
5.29/3.28 decisions=2854, wrong=1005, backtracks=722, failedAssignments=563, nogoods=95
5.29/3.28
5.39/3.35 num=20, depth=18..62, filters=60821, revisions=(526,useless=0), ccks=8156, wck=1.023, mem=53M10
5.39/3.35 decisions=3107, wrong=1108, backtracks=789, failedAssignments=630, nogoods=103
5.39/3.35
5.50/3.44 num=21, depth=35..46, filters=68531, revisions=(526,useless=0), ccks=8156, wck=1.12, mem=53M10
5.50/3.44 decisions=3431, wrong=1251, backtracks=891, failedAssignments=704, nogoods=114
5.50/3.44
5.60/3.53 num=22, depth=39..51, filters=75963, revisions=(526,useless=0), ccks=8156, wck=1.211, mem=53M10
5.60/3.53 decisions=3776, wrong=1403, backtracks=1007, failedAssignments=785, nogoods=120
5.60/3.53
5.70/3.63 num=23, depth=30..47, filters=83858, revisions=(526,useless=0), ccks=8156, wck=1.306, mem=53M10
5.70/3.63 decisions=4101, wrong=1545, backtracks=1102, failedAssignments=874, nogoods=135
5.70/3.63
5.80/3.74 num=24, depth=39..60, filters=92727, revisions=(526,useless=0), ccks=8156, wck=1.415, mem=53M10
5.80/3.74 decisions=4480, wrong=1713, backtracks=1232, failedAssignments=972, nogoods=138
5.80/3.74
5.91/3.87 num=25, depth=46..63, filters=103340, revisions=(526,useless=0), ccks=8156, wck=1.545, mem=53M10
5.91/3.87 decisions=4924, wrong=1911, backtracks=1383, failedAssignments=1080, nogoods=142
5.91/3.87
6.01/4.00 num=26, depth=34..53, filters=114721, revisions=(526,useless=0), ccks=8156, wck=1.68, mem=53M10
6.01/4.00 decisions=5402, wrong=2128, backtracks=1553, failedAssignments=1199, nogoods=147
6.01/4.00
6.22/4.16 num=27, depth=42..60, filters=127511, revisions=(526,useless=0), ccks=8156, wck=1.833, mem=53M10
6.22/4.16 decisions=5925, wrong=2365, backtracks=1703, failedAssignments=1330, nogoods=161
6.22/4.16
6.31/4.29 num=28, depth=38..63, filters=139020, revisions=(526,useless=0), ccks=8156, wck=1.968, mem=53M10
6.31/4.29 decisions=6503, wrong=2630, backtracks=1885, failedAssignments=1474, nogoods=170
6.31/4.29
6.53/4.46 num=29, depth=36..59, filters=152701, revisions=(526,useless=0), ccks=8156, wck=2.136, mem=53M10
6.53/4.46 decisions=7111, wrong=2915, backtracks=2097, failedAssignments=1632, nogoods=175
6.53/4.46
6.75/4.64 num=30, depth=43..64, filters=167880, revisions=(526,useless=0), ccks=8156, wck=2.32, mem=53M10
6.75/4.64 decisions=7757, wrong=3215, backtracks=2321, failedAssignments=1806, nogoods=187
6.75/4.64
6.98/4.84 num=31, depth=49..66, filters=184752, revisions=(526,useless=0), ccks=8156, wck=2.521, mem=53M10
6.98/4.84 decisions=8512, wrong=3567, backtracks=2572, failedAssignments=1997, nogoods=197
6.98/4.84
7.19/5.08 num=32, depth=37..59, filters=205574, revisions=(526,useless=0), ccks=8156, wck=2.761, mem=53M10
7.19/5.08 decisions=9339, wrong=3960, backtracks=2874, failedAssignments=2208, nogoods=209
7.19/5.08
7.48/5.33 num=33, depth=43..61, filters=226396, revisions=(526,useless=0), ccks=8156, wck=3.008, mem=53M10
7.48/5.33 decisions=10201, wrong=4365, backtracks=3176, failedAssignments=2440, nogoods=221
7.48/5.33
7.78/5.64 num=34, depth=33..56, filters=252836, revisions=(526,useless=0), ccks=8156, wck=3.317, mem=53M10
7.78/5.64 decisions=11242, wrong=4867, backtracks=3555, failedAssignments=2695, nogoods=230
7.78/5.64
8.13/5.96 num=35, depth=40..61, filters=281069, revisions=(526,useless=0), ccks=8156, wck=3.64, mem=53M10
8.13/5.96 decisions=12321, wrong=5383, backtracks=3950, failedAssignments=2976, nogoods=239
8.13/5.96
8.53/6.34 num=36, depth=43..65, filters=312144, revisions=(526,useless=0), ccks=8156, wck=4.013, mem=53M10
8.53/6.34 decisions=13611, wrong=6004, backtracks=4421, failedAssignments=3285, nogoods=247
8.53/6.34
8.92/6.71 num=37, depth=44..63, filters=347235, revisions=(526,useless=0), ccks=8156, wck=4.389, mem=53M10
8.92/6.71 decisions=14975, wrong=6662, backtracks=4897, failedAssignments=3625, nogoods=251
8.92/6.71
9.42/7.21 num=38, depth=40..59, filters=388534, revisions=(526,useless=0), ccks=8156, wck=4.883, mem=53M10
9.42/7.21 decisions=16571, wrong=7436, backtracks=5499, failedAssignments=3999, nogoods=259
9.42/7.21
9.93/7.70 num=39, depth=32..56, filters=430377, revisions=(526,useless=0), ccks=8156, wck=5.378, mem=53M10
9.93/7.70 decisions=18165, wrong=8213, backtracks=6100, failedAssignments=4410, nogoods=268
9.93/7.70
10.34/8.14 num=40, depth=51..75, filters=470910, revisions=(526,useless=0), ccks=8156, wck=5.815, mem=53M10
10.34/8.14 decisions=19797, wrong=9003, backtracks=6699, failedAssignments=4862, nogoods=271
10.34/8.14
10.83/8.64 num=41, depth=48..65, filters=513548, revisions=(526,useless=0), ccks=8156, wck=6.318, mem=53M10
10.83/8.64 decisions=21672, wrong=9914, backtracks=7370, failedAssignments=5359, nogoods=283
10.83/8.64
11.34/9.16 num=42, depth=48..67, filters=561822, revisions=(526,useless=0), ccks=8156, wck=6.839, mem=53M10
11.34/9.16 decisions=23698, wrong=10902, backtracks=8119, failedAssignments=5906, nogoods=289
11.34/9.16
11.93/9.74 num=43, depth=48..70, filters=614133, revisions=(526,useless=0), ccks=8156, wck=7.422, mem=53M10
11.93/9.74 decisions=25894, wrong=11971, backtracks=8872, failedAssignments=6508, nogoods=297
11.93/9.74
12.74/10.53 num=44, depth=40..65, filters=681086, revisions=(526,useless=0), ccks=8156, wck=8.205, mem=53M10
12.74/10.53 decisions=28482, wrong=13241, backtracks=9816, failedAssignments=7170, nogoods=316
12.74/10.53
13.54/11.34 num=45, depth=40..58, filters=750296, revisions=(526,useless=0), ccks=8156, wck=9.013, mem=53M10
13.54/11.34 decisions=31227, wrong=14590, backtracks=10842, failedAssignments=7898, nogoods=331
13.54/11.34
14.35/12.19 num=46, depth=43..67, filters=828007, revisions=(526,useless=0), ccks=8156, wck=9.871, mem=53M10
14.35/12.19 decisions=34252, wrong=16078, backtracks=11885, failedAssignments=8699, nogoods=341
14.35/12.19
15.45/13.25 num=47, depth=43..66, filters=923159, revisions=(526,useless=0), ccks=8156, wck=10.926, mem=53M10
15.45/13.25 decisions=37666, wrong=17760, backtracks=13170, failedAssignments=9580, nogoods=358
15.45/13.25
16.67/14.40 num=48, depth=44..69, filters=1021861, revisions=(526,useless=0), ccks=8156, wck=12.081, mem=53M10
16.67/14.40 decisions=41586, wrong=19695, backtracks=14635, failedAssignments=10550, nogoods=377
16.67/14.40
17.68/15.50 num=49, depth=42..62, filters=1118514, revisions=(526,useless=0), ccks=8156, wck=13.174, mem=53M10
17.68/15.50 decisions=45369, wrong=21564, backtracks=16019, failedAssignments=11617, nogoods=384
17.68/15.50
18.98/16.73 num=50, depth=37..67, filters=1226654, revisions=(526,useless=0), ccks=8156, wck=14.41, mem=53M10
18.98/16.73 decisions=49744, wrong=23730, backtracks=17644, failedAssignments=12790, nogoods=394
18.98/16.73
20.48/18.23 num=51, depth=42..65, filters=1359220, revisions=(526,useless=0), ccks=8156, wck=15.91, mem=53M10
20.48/18.23 decisions=54741, wrong=26206, backtracks=19458, failedAssignments=14081, nogoods=411
20.48/18.23
21.98/19.80 num=52, depth=49..74, filters=1497718, revisions=(526,useless=0), ccks=8156, wck=17.473, mem=53M10
21.98/19.80 decisions=60170, wrong=28895, backtracks=21648, failedAssignments=15501, nogoods=425
21.98/19.80
23.78/21.50 num=53, depth=45..75, filters=1645098, revisions=(526,useless=0), ccks=8156, wck=19.178, mem=53M10
23.78/21.50 decisions=65938, wrong=31752, backtracks=23769, failedAssignments=17063, nogoods=437
23.78/21.50
25.39/23.19 num=54, depth=54..76, filters=1797953, revisions=(526,useless=0), ccks=8156, wck=20.867, mem=53M10
25.39/23.19 decisions=72487, wrong=34996, backtracks=26169, failedAssignments=18781, nogoods=447
25.39/23.19
27.48/25.22 num=55, depth=41..64, filters=1983192, revisions=(526,useless=0), ccks=8156, wck=22.9, mem=53M10
27.48/25.22 decisions=79450, wrong=38450, backtracks=28789, failedAssignments=20671, nogoods=460
27.48/25.22
29.68/27.41 num=56, depth=44..80, filters=2170669, revisions=(526,useless=0), ccks=8156, wck=25.092, mem=53M10
29.68/27.41 decisions=87071, wrong=42236, backtracks=31633, failedAssignments=22750, nogoods=475
29.68/27.41
32.23/29.94 num=57, depth=39..66, filters=2394882, revisions=(526,useless=0), ccks=8156, wck=27.618, mem=53M10
32.23/29.94 decisions=95708, wrong=46530, backtracks=34890, failedAssignments=25037, nogoods=480
32.23/29.94
34.73/32.50 num=58, depth=42..75, filters=2616701, revisions=(526,useless=0), ccks=8156, wck=30.173, mem=55M652
34.73/32.50 decisions=104550, wrong=50929, backtracks=38044, failedAssignments=27553, nogoods=489
34.73/32.50
37.74/35.40 num=59, depth=47..75, filters=2884202, revisions=(526,useless=0), ccks=8156, wck=33.079, mem=55M652
37.74/35.40 decisions=115017, wrong=56135, backtracks=42124, failedAssignments=30321, nogoods=505
37.74/35.40
41.14/38.83 num=60, depth=36..71, filters=3173243, revisions=(526,useless=0), ccks=8156, wck=36.509, mem=55M652
41.14/38.83 decisions=126789, wrong=62000, backtracks=46425, failedAssignments=33365, nogoods=524
41.14/38.83
44.94/42.67 num=61, depth=43..72, filters=3503266, revisions=(526,useless=0), ccks=8156, wck=40.349, mem=55M652
44.94/42.67 decisions=139221, wrong=68191, backtracks=51006, failedAssignments=36714, nogoods=536
44.94/42.67
48.84/46.51 num=62, depth=42..67, filters=3819654, revisions=(526,useless=0), ccks=8156, wck=44.183, mem=55M652
48.84/46.51 decisions=152508, wrong=74811, backtracks=55892, failedAssignments=40398, nogoods=545
48.84/46.51
52.76/50.49 num=63, depth=36..66, filters=4164790, revisions=(526,useless=0), ccks=8156, wck=48.168, mem=55M652
52.76/50.49 decisions=167104, wrong=82088, backtracks=61286, failedAssignments=44450, nogoods=557
52.76/50.49
57.77/55.44 num=64, depth=43..68, filters=4611186, revisions=(526,useless=0), ccks=8156, wck=53.121, mem=55M652
57.77/55.44 decisions=184416, wrong=90719, backtracks=67757, failedAssignments=48907, nogoods=565
57.77/55.44
62.87/60.51 num=65, depth=36..67, filters=5032618, revisions=(526,useless=0), ccks=8156, wck=58.182, mem=55M652
62.87/60.51 decisions=202320, wrong=99650, backtracks=74317, failedAssignments=53810, nogoods=584
62.87/60.51
67.68/65.38 num=66, depth=38..69, filters=5492715, revisions=(526,useless=0), ccks=8156, wck=63.061, mem=55M652
67.68/65.38 decisions=221306, wrong=109122, backtracks=81410, failedAssignments=59204, nogoods=596
67.68/65.38
73.58/71.22 num=67, depth=39..67, filters=6010093, revisions=(526,useless=0), ccks=8156, wck=68.9, mem=55M652
73.58/71.22 decisions=243376, wrong=120132, backtracks=89640, failedAssignments=65137, nogoods=609
73.58/71.22
80.58/78.22 num=68, depth=30..60, filters=6622323, revisions=(526,useless=0), ccks=8156, wck=75.895, mem=58M294
80.58/78.22 decisions=267570, wrong=132211, backtracks=98709, failedAssignments=71663, nogoods=616
80.58/78.22
87.49/85.19 num=69, depth=47..82, filters=7275134, revisions=(526,useless=0), ccks=8156, wck=82.866, mem=58M294
87.49/85.19 decisions=293302, wrong=145050, backtracks=108416, failedAssignments=78842, nogoods=631
87.49/85.19
96.10/93.79 num=70, depth=42..67, filters=8035099, revisions=(526,useless=0), ccks=8156, wck=91.47, mem=58M294
96.10/93.79 decisions=323134, wrong=159940, backtracks=119853, failedAssignments=86739, nogoods=648
96.10/93.79
104.60/102.26 num=71, depth=51..80, filters=8807126, revisions=(526,useless=0), ccks=8156, wck=99.939, mem=58M294
104.60/102.26 decisions=354138, wrong=175414, backtracks=131913, failedAssignments=95426, nogoods=657
104.60/102.26
114.80/112.44 num=72, depth=41..69, filters=9700463, revisions=(526,useless=0), ccks=8156, wck=110.115, mem=58M294
114.80/112.44 decisions=390092, wrong=193367, backtracks=145098, failedAssignments=104981, nogoods=673
114.80/112.44
125.91/123.55 num=73, depth=30..68, filters=10671432, revisions=(526,useless=0), ccks=8156, wck=121.23, mem=60M937
125.91/123.55 decisions=429364, wrong=212984, backtracks=160263, failedAssignments=115492, nogoods=702
125.91/123.55
138.81/136.48 num=74, depth=31..60, filters=11795165, revisions=(526,useless=0), ccks=8156, wck=134.157, mem=60M937
138.81/136.48 decisions=472291, wrong=234430, backtracks=176231, failedAssignments=127054, nogoods=717
138.81/136.48
152.81/150.45 num=75, depth=42..71, filters=12995080, revisions=(526,useless=0), ccks=8156, wck=148.125, mem=60M937
152.81/150.45 decisions=518668, wrong=257595, backtracks=193587, failedAssignments=139772, nogoods=727
152.81/150.45
156.21/153.88 num=76, depth=40..899, filters=13298708, revisions=(526,useless=0), ccks=8742, wck=151.56, mem=63M580
156.21/153.88 decisions=531387, wrong=263925, backtracks=198398, failedAssignments=143174, nogoods=727, foundSolutions=1
156.21/153.88
156.21/153.88 Global
156.21/153.88 filters=13298708, revisions=(526,useless=0), ccks=8742, nogoods=727
156.21/153.88 Stop=REACHED_GOAL, wrong=263925, foundSolutions=1, firstSolCpu=153.828
156.21/153.88 wck=152.031, cpu=153.842, mem=63M580
156.21/153.88
156.21/153.88 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 9 25 15 8 14 13 12 3 29 10 22 18 20 2 0 4 19 16 1 7 28 5 24 27 17 26 6 23 21 11 12 15 9 21 26 17 29 19 20 4 11 22 27 8 23 25 7 18 2 5 6 3 0 13 24 10 14 1 28 16 10 9 8 1 0 4 26 29 16 3 12 6 14 22 2 5 28 11 13 25 27 18 7 17 21 24 15 19 20 23 17 16 4 25 24 2 14 22 19 5 9 10 18 6 12 8 15 1 28 13 3 26 29 7 23 20 21 27 11 0 6 23 10 3 2 29 1 15 17 13 27 20 5 7 25 26 16 14 19 0 18 11 22 4 9 28 8 21 12 24 29 11 16 14 6 7 18 23 26 8 0 21 3 1 22 28 24 19 15 12 10 4 5 9 20 17 25 2 13 27 19 14 11 28 8 25 7 1 5 24 2 0 17 18 20 6 22 10 27 21 26 15 13 3 12 9 23 16 29 4 14 6 21 4 11 18 9 27 24 0 10 1 19 20 8 13 17 12 16 23 7 29 26 5 28 2 3 15 25 22 24 20 6 23 19 8 28 5 25 1 14 11 0 4 13 7 3 22 26 17 21 12 15 2 29 27 16 9 18 10 21 26 13 10 15 1 16 12 9 27 5 24 23 17 18 2 6 28 14 29 19 8 20 11 4 25 22 3 0 7 22 17 12 0 10 14 27 16 8 28 26 2 7 29 3 18 25 5 6 11 1 9 23 21 13 15 19 4 24 20 13 7 17 24 16 22 5 20 1 21 19 3 9 11 6 15 2 27 12 18 29 10 4 0 8 14 28 25 23 26 25 1 23 11 28 26 21 24 3 18 4 12 6 27 5 16 29 13 8 10 15 7 17 20 0 19 9 22 14 2 26 22 27 19 1 20 17 25 6 12 21 13 8 28 16 10 0 2 3 15 11 24 14 23 5 29 4 18 7 9 15 3 5 29 20 10 13 2 0 19 25 17 16 9 27 12 18 4 11 14 24 23 28 22 1 7 26 6 8 21 2 5 26 22 12 0 11 21 18 25 29 28 24 23 19 20 27 6 17 8 9 13 3 1 16 4 10 7 15 14 3 2 24 26 7 11 6 28 10 9 20 4 29 12 15 0 23 21 18 27 17 25 8 19 22 5 13 14 16 1 16 12 18 6 13 15 25 0 23 7 1 8 28 24 10 11 21 26 5 22 14 2 9 29 27 3 20 17 4 19 8 21 7 27 25 12 20 4 15 17 3 23 2 5 11 19 14 0 9 28 16 22 18 26 10 13 1 24 6 29 28 19 0 13 27 3 4 18 21 20 7 26 22 16 24 29 5 15 23 9 25 6 2 14 11 1 17 12 10 8 5 8 20 17 29 16 23 11 4 26 28 19 13 3 1 27 9 25 24 2 12 14 10 18 15 21 7 0 22 6 23 27 14 5 21 19 2 8 12 16 6 25 15 13 28 9 4 7 20 26 22 1 11 24 18 0 29 10 17 3 7 10 1 12 18 5 19 9 11 29 8 14 26 0 17 21 20 3 22 16 4 28 27 6 25 23 24 13 2 15 4 13 29 18 17 9 10 26 2 6 15 16 1 19 21 14 11 20 7 24 23 0 25 28 3 22 12 8 27 5 11 4 28 2 3 23 8 7 22 14 18 5 21 10 9 24 1 17 25 20 0 16 12 15 26 6 27 29 19 13 20 28 25 7 5 24 0 6 27 22 23 29 11 15 14 1 13 9 4 19 8 17 21 10 2 16 18 26 3 12 18 24 19 20 9 28 22 14 13 15 16 7 25 21 4 23 10 29 0 3 2 27 1 12 6 8 5 11 26 17 27 18 2 9 22 21 3 10 14 11 24 15 4 25 26 17 8 23 29 6 13 20 19 16 7 12 0 5 1 28 0 29 3 15 4 6 24 13 28 23 17 27 12 14 7 22 26 8 10 1 5 21 16 25 19 11 2 20 9 18 1 0 22 16 23 27 15 17 7 2 13 9 10 26 29 3 12 24 21 4 20 19 6 8 14 18 11 28 5 25 </values> </instantiation>
156.21/153.88 s SATISFIABLE
156.21/153.88
156.21/153.88 d WRONG_DECISIONS 263925
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 (9373 MiB free)
memory of node 1: 16384 MiB (13764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390680-1568385978/watcher-4390680-1568385978 -o /tmp/evaluation-result-4390680-1568385978/solver-4390680-1568385978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390680-1568385978.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12534, runsolver pid=12531
[startup+0.103776 s]*
/proc/loadavg: 1.75 1.82 1.78 6/228 12549
/proc/meminfo: memFree=23678660/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10659884 memory=29596 CPUtime=0.15 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 5866 0 0 0 14 1 0 0 20 0 15 0 414512696 10915721216 7399 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2664971 7399 2923 1 0 2627468 0
[pid=12534/tid=12536] ppid=12531 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) R 12531 12534 10765 0 -1 4202560 3243 0 0 0 9 0 0 0 20 0 15 0 414512696 10915721216 7465 33554432000 4194304 4196468 140727529776480 140292269669992 140292249523550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512698 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291823486240 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291822433904 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512701 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 15 0 414512701 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) R 12531 12534 10765 0 -1 4202560 183 0 0 0 0 0 0 0 20 0 15 0 414512701 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291751255496 140292249846287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0.02 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) R 12531 12534 10765 0 -1 4202560 669 0 0 0 2 0 0 0 20 0 15 0 414512701 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291750218104 140292244154996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 7465 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29596 KiB
[startup+0.210489 s]*
/proc/loadavg: 1.75 1.82 1.78 3/228 12549
/proc/meminfo: memFree=23671124/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10659884 memory=34972 CPUtime=0.33 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 6952 0 0 0 32 1 0 0 20 0 15 0 414512696 10915721216 8743 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2664971 8743 2988 1 0 2627468 0
[pid=12534/tid=12536] ppid=12531 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) R 12531 12534 10765 0 -1 4202560 3864 0 0 0 19 1 0 0 20 0 15 0 414512696 10915721216 8743 33554432000 4194304 4196468 140727529776480 140292269681232 140292265464989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10659884 memory=140651956284420 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512698 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291823486240 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291822433904 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512701 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 15 0 414512701 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 414512701 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291751274480 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0.05 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 414512701 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 8743 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34972 KiB
[startup+0.310156 s]*
/proc/loadavg: 1.75 1.82 1.78 3/228 12549
/proc/meminfo: memFree=23663516/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10659884 memory=40356 CPUtime=0.47 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 9471 0 0 0 44 3 0 0 20 0 15 0 414512696 10915721216 10089 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2664971 10089 3001 1 0 2627468 0
[pid=12534/tid=12536] ppid=12531 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) R 12531 12534 10765 0 -1 4202560 6308 0 0 0 28 2 0 0 20 0 15 0 414512696 10915721216 10089 33554432000 4194304 4196468 140727529776480 140292269674864 140292265464989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10659884 memory=140651956281636 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512697 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512698 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291823486240 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414512699 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291822433904 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512701 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) R 12531 12534 10765 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 414512701 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 479 0 0 0 4 0 0 0 20 0 15 0 414512701 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291751274480 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0.08 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 414512701 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10659884 memory=140651953223296 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512702 10915721216 10089 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40356 KiB
[startup+0.705927 s]
/proc/loadavg: 1.75 1.82 1.78 3/228 12549
/proc/meminfo: memFree=23654088/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10661932 memory=64404 CPUtime=1.11 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 13247 0 0 0 106 5 0 0 20 0 15 0 414512696 10917818368 16101 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2665483 16101 3073 1 0 2627980 0
[pid=12534/tid=12536] ppid=12531 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) R 12531 12534 10765 0 -1 4202560 8879 0 0 0 64 4 0 0 20 0 15 0 414512696 10917818368 16101 33554432000 4194304 4196468 140727529776480 140292269666000 140292248629901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512697 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512698 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414512699 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291823486240 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414512699 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291822433904 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512701 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10661932 memory=7086240636179272035 CPUtime=0.09 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 951 0 0 0 9 0 0 0 20 0 15 0 414512701 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10661932 memory=7453282923444726100 CPUtime=0.12 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) R 12531 12534 10765 0 -1 4202560 834 0 0 0 12 0 0 0 20 0 15 0 414512701 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291751261024 140292245136140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 1225 0 0 0 18 0 0 0 20 0 15 0 414512701 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414512702 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10661932 memory=7955161671362897768 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512702 10917818368 16101 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64404 KiB
[startup+1.50082 s]
/proc/loadavg: 1.75 1.82 1.78 3/228 12549
/proc/meminfo: memFree=23637556/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10663980 memory=76192 CPUtime=2 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 18828 0 0 0 194 6 0 0 20 0 15 0 414512696 10919915520 19048 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2665995 19048 3096 1 0 2628492 0
[pid=12534/tid=12536] ppid=12531 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) R 12531 12534 10765 0 -1 4202560 13110 0 0 0 143 5 0 0 20 0 15 0 414512696 10919915520 19048 33554432000 4194304 4196468 140727529776480 140292269674112 140292247006623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10919915520 19048 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10919915520 19048 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414512697 10919915520 19048 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414512697 10919915520 19048 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 414512698 10919915520 19048 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
################
# More data... #
################
[pid=12534/tid=12550] ppid=12531 vsize=10748324 memory=211788 CPUtime=150.07 cores=0,2,4,6
/proc/12534/task/12550/stat : 12550 (java) R 12531 12534 10765 0 -1 4202560 7849 0 0 0 15005 2 0 0 20 0 16 0 414512884 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291731447296 140291908644359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 154.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 156932 KiB
[startup+152.801 s]
/proc/loadavg: 1.98 1.90 1.82 3/229 12560
/proc/meminfo: memFree=23547844/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10748324 memory=156932 CPUtime=155.21 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 41118 0 0 0 15504 17 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2687081 39233 3359 1 0 2647217 0
[pid=12534/tid=12536] ppid=12531 vsize=10748324 memory=14008 CPUtime=1.86 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12531 12534 10765 0 -1 1077944384 15372 0 0 0 180 6 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140292269685936 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10748324 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10748324 memory=520 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10748324 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 1359 0 0 0 1 0 0 0 20 0 16 0 414512698 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10748324 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291823486304 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10748324 memory=156932 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291822433920 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10748324 memory=4164 CPUtime=0.79 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 3872 0 0 0 78 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10748324 memory=1548 CPUtime=0.86 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 4361 0 0 0 85 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291751274480 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10748324 memory=1728 CPUtime=0.65 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 6373 0 0 0 64 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10748324 memory=7984 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10748324 memory=9580 CPUtime=0.04 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 304 0 0 0 2 2 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12550] ppid=12531 vsize=10748324 memory=1052 CPUtime=150.86 cores=0,2,4,6
/proc/12534/task/12550/stat : 12550 (java) R 12531 12534 10765 0 -1 4202560 7849 0 0 0 15084 2 0 0 20 0 16 0 414512884 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291731447296 140291908644803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 155.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 156932 KiB
[startup+153.601 s]
/proc/loadavg: 1.98 1.90 1.82 3/229 12560
/proc/meminfo: memFree=23547844/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10748324 memory=156932 CPUtime=156.01 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 41118 0 0 0 15584 17 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2687081 39233 3359 1 0 2647217 0
[pid=12534/tid=12536] ppid=12531 vsize=10748324 memory=1436 CPUtime=1.86 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12531 12534 10765 0 -1 1077944384 15372 0 0 0 180 6 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140292269685936 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10748324 memory=4164 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10748324 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10748324 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10748324 memory=39596 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 1359 0 0 0 1 0 0 0 20 0 16 0 414512698 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291823486304 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10748324 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291822433920 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10748324 memory=281303581718112 CPUtime=0.79 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 3872 0 0 0 78 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10748324 memory=5859296744211238992 CPUtime=0.86 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 4361 0 0 0 85 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291751274480 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10748324 memory=5859295636109676624 CPUtime=0.65 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 6373 0 0 0 64 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10748324 memory=2008 CPUtime=0.04 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 304 0 0 0 2 2 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12550] ppid=12531 vsize=10748324 memory=1436 CPUtime=151.66 cores=0,2,4,6
/proc/12534/task/12550/stat : 12550 (java) R 12531 12534 10765 0 -1 4202560 7849 0 0 0 15164 2 0 0 20 0 16 0 414512884 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291731447296 140291908642704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 156.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 156932 KiB
[startup+153.801 s]
/proc/loadavg: 1.98 1.90 1.82 3/229 12560
/proc/meminfo: memFree=23547844/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10748324 memory=156932 CPUtime=156.21 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 41118 0 0 0 15604 17 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2687081 39233 3359 1 0 2647217 0
[pid=12534/tid=12536] ppid=12531 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12531 12534 10765 0 -1 1077944384 15372 0 0 0 180 6 0 0 20 0 16 0 414512696 11006283776 39233 33554432000 4194304 4196468 140727529776480 140292269685936 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 16 0 414512697 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12541] ppid=12531 vsize=10748324 memory=288230596050944315 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12531 12534 10765 0 -1 1077944384 1359 0 0 0 1 0 0 0 20 0 16 0 414512698 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291824540272 140292265454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10748324 memory=156932 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291823486304 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10748324 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414512699 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291822433920 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291821382224 140292265461659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.79 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 3872 0 0 0 78 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.86 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 4361 0 0 0 85 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291751274480 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10748324 memory=3688 CPUtime=0.65 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 6373 0 0 0 64 1 0 0 20 0 16 0 414512701 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10748324 memory=13681 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12549] ppid=12531 vsize=10748324 memory=186 CPUtime=0.04 cores=0,2,4,6
/proc/12534/task/12549/stat : 12549 (java) S 12531 12534 10765 0 -1 1077944384 304 0 0 0 2 2 0 0 20 0 16 0 414512702 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291748117424 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12550] ppid=12531 vsize=10748324 memory=86 CPUtime=151.86 cores=0,2,4,6
/proc/12534/task/12550/stat : 12550 (java) R 12531 12534 10765 0 -1 4202560 7849 0 0 0 15184 2 0 0 20 0 16 0 414512884 11006283776 39233 33554432000 4194304 4196468 140727529776480 140291731447296 140291908643109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 156.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 156932 KiB
[startup+153.901 s]
/proc/loadavg: 1.98 1.90 1.82 3/229 12560
/proc/meminfo: memFree=23547844/32770624 swapFree=66939836/67108860
[pid=12534] ppid=12531 vsize=10748324 memory=157092 CPUtime=156.36 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12531 12534 10765 0 -1 1077944320 44547 0 0 0 15618 18 0 0 20 0 14 0 414512696 11006283776 39273 33554432000 4194304 4196468 140727529776480 140727529759024 140292265443063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
/proc/12534/statm: 2687081 39273 3360 1 0 2647217 0
[pid=12534/tid=12536] ppid=12531 vsize=10748324 memory=4164 CPUtime=1.86 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12531 12534 10765 0 -1 1077944384 15535 0 0 0 180 6 0 0 20 0 14 0 414512696 11006283776 39273 33554432000 4194304 4196468 140727529776480 140292269685904 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12537] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.01 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12531 12534 10765 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 14 0 414512697 11006283776 39273 33554432000 4194304 4196468 140727529776480 140291871791504 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12538] ppid=12531 vsize=10748324 memory=156932 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12531 12534 10765 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 13 0 414512697 11006283776 39273 33554432000 4194304 4196468 140727529776480 140291870738704 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12539] ppid=12531 vsize=10748324 memory=156932 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12531 12534 10765 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 13 0 414512697 11006283776 39273 33554432000 4194304 4196468 140727529776480 140291869686416 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12540] ppid=12531 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12531 12534 10765 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 13 0 414512697 11006283776 39273 33554432000 4194304 4196468 140727529776480 140291868633616 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12542] ppid=12531 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12531 12534 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 12 0 414512699 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291823486304 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12543] ppid=12531 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12531 12534 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 12 0 414512699 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291822433920 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12544] ppid=12531 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12531 12534 10765 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 12 0 414512701 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291821380992 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12545] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.81 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12531 12534 10765 0 -1 1077944384 4476 0 0 0 80 1 0 0 20 0 12 0 414512701 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291820329072 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12546] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.88 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12531 12534 10765 0 -1 1077944384 4764 0 0 0 87 1 0 0 20 0 12 0 414512701 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291751254880 140292265453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12547] ppid=12531 vsize=10748324 memory=156932 CPUtime=0.67 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12531 12534 10765 0 -1 1077944384 7224 0 0 0 66 1 0 0 20 0 12 0 414512701 11006283776 39245 33554432000 4194304 4196468 140727529776480 140291750222192 140292265454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
[pid=12534/tid=12548] ppid=12531 vsize=10748324 memory=156932 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) R 12531 12534 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 414512702 11006283776 39261 33554432000 4194304 4196468 140727529776480 140291749169632 140292265453269 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19767296 140727529780235 140727529780338 140727529780338 140727529783247 0
Current children cumulated CPU time: 156.36 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 157092 KiB
Child status: 0
Real time (s): 153.907
CPU time (s): 156.374
CPU user time (s): 156.189
CPU system time (s): 0.185128
CPU usage (%): 101.603
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 157092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.189
system time used= 0.185128
maximum resident set size= 157592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6213
involuntary context switches= 209
# summary of solver processes directly reported to runsolver:
# pid: 12534
# total CPU time (s): 156.374
# total CPU user time (s): 156.189
# total CPU system time (s): 0.185128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04973 second user time and 1.23371 second system time
The end