2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
4.60/2.57 Instance
4.60/2.57 name=instance-4390738-1568381502, framework=CSP
4.60/2.57
4.60/2.57 Loading variables...
4.92/2.63 Loading constraints...
11.50/4.72
11.50/4.72 Domains
11.50/4.72 nTypes=1, nValues=2048, sizes=[8#256]
11.50/4.72 Variables
11.50/4.72 count=256, degrees=[220#2,221#44,222#210]
11.50/4.72 Constraints
11.50/4.72 count=13966, nSpecific=46, arities=[1#32,4#13888,16#31,32#8,64#7]
11.50/4.72 distribution=[CardinalityConstant#8,CtrIntension#13920,LexicographicLe#38]
11.50/4.72 nIntStructures=(9,shared:13911), nCftStructures=(1,shared:13887,unbuilt:78)
11.50/4.72 wck=2.873, cpu=4.541, mem=152M20
11.50/4.74 Solver SolverBacktrack being built...
11.50/4.74
11.50/4.78
11.50/4.78 Solver
11.50/4.78 guaranteedGAC=true
11.50/4.78 wck=2.938, cpu=4.604, mem=175M828
11.83/4.85
11.83/4.85 Preprocessing
11.83/4.85 filters=36, revisions=(6976,useless=6947), ccks=56327, nACremovedValues=224, nTotalRemovedValues=224, inconcistency=false
11.83/4.85 wck=0.059, cpu=4.665, mem=175M828
11.83/4.85
12.49/5.03 num=0, depth=93..95, filters=633, revisions=(110474,useless=109888), ccks=363916, wck=0.241, mem=186M322
12.49/5.03 decisions=127, wrong=16, backtracks=7, failedAssignments=10, nogoods=3
12.49/5.03
12.49/5.09 num=1, depth=43..46, filters=897, revisions=(146590,useless=145812), ccks=475509, wck=0.303, mem=186M322
12.49/5.09 decisions=199, wrong=30, backtracks=11, failedAssignments=21, nogoods=10
12.49/5.09
12.72/5.12 num=2, depth=0..29, filters=1079, revisions=(171058,useless=170138), ccks=547633, wck=0.337, mem=186M322
12.72/5.12 decisions=259, wrong=48, backtracks=18, failedAssignments=33, nogoods=15
12.72/5.12
12.91/5.21 num=3, depth=29..82, filters=1592, revisions=(243239,useless=241908), ccks=736352, wck=0.429, mem=186M322
12.91/5.21 decisions=373, wrong=67, backtracks=25, failedAssignments=46, nogoods=18
12.91/5.21
12.91/5.26 num=4, depth=0..44, filters=1838, revisions=(279346,useless=277839), ccks=838096, wck=0.475, mem=186M322
12.91/5.26 decisions=443, wrong=83, backtracks=30, failedAssignments=60, nogoods=26
12.91/5.26
12.91/5.27 num=5, depth=0..8, filters=1970, revisions=(286956,useless=285357), ccks=858216, wck=0.487, mem=186M322
12.91/5.27 decisions=493, wrong=106, backtracks=38, failedAssignments=76, nogoods=28
12.91/5.27
13.29/5.44 num=6, depth=0..137, filters=3028, revisions=(452840,useless=450275), ccks=1163141, wck=0.651, mem=186M322
13.29/5.44 decisions=665, wrong=127, backtracks=42, failedAssignments=93, nogoods=43
13.29/5.44
13.40/5.51 num=7, depth=2..45, filters=3459, revisions=(521617,useless=518695), ccks=1345866, wck=0.723, mem=186M322
13.40/5.51 decisions=767, wrong=157, backtracks=56, failedAssignments=112, nogoods=53
13.40/5.51
13.40/5.58 num=8, depth=2..43, filters=3897, revisions=(583230,useless=579956), ccks=1515584, wck=0.794, mem=186M322
13.40/5.58 decisions=873, wrong=191, backtracks=69, failedAssignments=133, nogoods=63
13.40/5.58
13.60/5.65 num=9, depth=2..45, filters=4357, revisions=(646583,useless=642976), ccks=1718291, wck=0.866, mem=186M322
13.60/5.65 decisions=986, wrong=228, backtracks=83, failedAssignments=156, nogoods=74
13.60/5.65
13.74/5.72 num=10, depth=0..45, filters=4836, revisions=(701608,useless=697664), ccks=1859225, wck=0.931, mem=186M322
13.74/5.72 decisions=1090, wrong=260, backtracks=90, failedAssignments=181, nogoods=91
13.74/5.72
13.74/5.79 num=11, depth=0..43, filters=5426, revisions=(772775,useless=768428), ccks=2028241, wck=1.004, mem=186M322
13.74/5.79 decisions=1216, wrong=304, backtracks=108, failedAssignments=209, nogoods=101
13.74/5.79
13.89/5.85 num=12, depth=0..45, filters=5963, revisions=(840618,useless=835894), ccks=2191684, wck=1.068, mem=186M322
13.89/5.85 decisions=1344, wrong=348, backtracks=124, failedAssignments=240, nogoods=116
13.89/5.85
14.01/5.92 num=13, depth=0..41, filters=6571, revisions=(908024,useless=902862), ccks=2350045, wck=1.134, mem=186M322
14.01/5.92 decisions=1467, wrong=392, backtracks=140, failedAssignments=274, nogoods=127
14.01/5.92
14.22/6.15 num=14, depth=0..130, filters=8742, revisions=(1222875,useless=1215809), ccks=2714912, wck=1.361, mem=186M322
14.22/6.15 decisions=1703, wrong=449, backtracks=164, failedAssignments=311, nogoods=140
14.22/6.15
14.42/6.35 num=15, depth=4..116, filters=10596, revisions=(1489973,useless=1481258), ccks=3064565, wck=1.563, mem=186M322
14.42/6.35 decisions=1920, wrong=507, backtracks=188, failedAssignments=352, nogoods=161
14.42/6.35
14.64/6.52 num=16, depth=4..117, filters=11924, revisions=(1686343,useless=1676466), ccks=3453180, wck=1.731, mem=186M322
14.64/6.52 decisions=2155, wrong=572, backtracks=209, failedAssignments=397, nogoods=188
14.64/6.52
14.95/6.73 num=17, depth=8..126, filters=14234, revisions=(2002113,useless=1990130), ccks=3865161, wck=1.949, mem=186M322
14.95/6.73 decisions=2437, wrong=656, backtracks=248, failedAssignments=447, nogoods=205
14.95/6.73
15.18/6.94 num=18, depth=9..106, filters=15974, revisions=(2287986,useless=2274475), ccks=4266905, wck=2.151, mem=186M322
15.18/6.94 decisions=2702, wrong=738, backtracks=281, failedAssignments=502, nogoods=224
15.18/6.94
15.39/7.18 num=19, depth=12..129, filters=19159, revisions=(2660967,useless=2644499), ccks=4757101, wck=2.391, mem=186M322
15.39/7.18 decisions=3030, wrong=844, backtracks=329, failedAssignments=563, nogoods=247
15.39/7.18
15.59/7.33 num=20, depth=36..65, filters=20552, revisions=(2811706,useless=2794195), ccks=5142755, wck=2.54, mem=186M322
15.59/7.33 decisions=3293, wrong=945, backtracks=367, failedAssignments=630, nogoods=261
15.59/7.33
15.69/7.48 num=21, depth=0..49, filters=22082, revisions=(2978250,useless=2959610), ccks=5576718, wck=2.694, mem=186M322
15.69/7.48 decisions=3569, wrong=1063, backtracks=421, failedAssignments=704, nogoods=274
15.69/7.48
16.00/7.74 num=22, depth=4..111, filters=25331, revisions=(3428849,useless=3407203), ccks=6079104, wck=2.954, mem=186M322
16.00/7.74 decisions=3922, wrong=1190, backtracks=485, failedAssignments=785, nogoods=294
16.00/7.74
16.20/7.92 num=23, depth=26..34, filters=26668, revisions=(3613830,useless=3591123), ccks=6780204, wck=3.137, mem=186M322
16.20/7.92 decisions=4304, wrong=1368, backtracks=592, failedAssignments=874, nogoods=306
16.20/7.92
16.50/8.23 num=24, depth=25..127, filters=29973, revisions=(4077057,useless=4051407), ccks=7628278, wck=3.443, mem=186M322
16.50/8.23 decisions=4786, wrong=1550, backtracks=688, failedAssignments=972, nogoods=325
16.50/8.23
16.81/8.57 num=25, depth=38..136, filters=34891, revisions=(4649919,useless=4619735), ccks=8414584, wck=3.78, mem=186M322
16.81/8.57 decisions=5291, wrong=1742, backtracks=784, failedAssignments=1080, nogoods=345
16.81/8.57
17.12/8.88 num=26, depth=28..103, filters=38093, revisions=(5055804,useless=5022924), ccks=9394192, wck=4.098, mem=186M322
17.12/8.88 decisions=5840, wrong=1969, backtracks=911, failedAssignments=1199, nogoods=358
17.12/8.88
17.52/9.25 num=27, depth=41..130, filters=43532, revisions=(5749189,useless=5711245), ccks=10167393, wck=4.464, mem=186M322
17.52/9.25 decisions=6425, wrong=2202, backtracks=1027, failedAssignments=1330, nogoods=374
17.52/9.25
17.92/9.67 num=28, depth=55..105, filters=48918, revisions=(6418713,useless=6376119), ccks=11297026, wck=4.888, mem=186M322
17.92/9.67 decisions=7066, wrong=2476, backtracks=1177, failedAssignments=1474, nogoods=383
17.92/9.67
18.33/10.01 num=29, depth=50..75, filters=53126, revisions=(6907177,useless=6861358), ccks=12212730, wck=5.229, mem=186M322
18.33/10.01 decisions=7645, wrong=2732, backtracks=1321, failedAssignments=1632, nogoods=392
18.33/10.01
18.77/10.40 num=30, depth=2..127, filters=58623, revisions=(7638278,useless=7587396), ccks=13117466, wck=5.618, mem=186M322
18.77/10.40 decisions=8304, wrong=3008, backtracks=1452, failedAssignments=1806, nogoods=435
18.77/10.40
19.27/10.92 num=31, depth=48..121, filters=68895, revisions=(8802997,useless=8742179), ccks=14145539, wck=6.133, mem=186M322
19.27/10.92 decisions=9132, wrong=3368, backtracks=1648, failedAssignments=1997, nogoods=458
19.27/10.92
19.78/11.43 num=32, depth=8..122, filters=77560, revisions=(9838391,useless=9769476), ccks=15389129, wck=6.65, mem=186M322
19.78/11.43 decisions=9948, wrong=3722, backtracks=1827, failedAssignments=2208, nogoods=483
19.78/11.43
20.18/11.85 num=33, depth=29..72, filters=82385, revisions=(10399387,useless=10326877), ccks=16417395, wck=7.067, mem=186M322
20.18/11.85 decisions=10754, wrong=4096, backtracks=1993, failedAssignments=2440, nogoods=496
20.18/11.85
20.78/12.44 num=34, depth=1..107, filters=90951, revisions=(11521102,useless=11440733), ccks=17908132, wck=7.654, mem=186M322
20.78/12.44 decisions=11805, wrong=4575, backtracks=2264, failedAssignments=2695, nogoods=524
20.78/12.44
21.39/13.10 num=35, depth=30..123, filters=101121, revisions=(12972144,useless=12882331), ccks=19372160, wck=8.312, mem=186M322
21.39/13.10 decisions=12855, wrong=5045, backtracks=2526, failedAssignments=2976, nogoods=555
21.39/13.10
22.28/13.90 num=36, depth=31..120, filters=114762, revisions=(14688429,useless=14585858), ccks=21140361, wck=9.116, mem=186M322
22.28/13.90 decisions=14047, wrong=5587, backtracks=2838, failedAssignments=3285, nogoods=580
22.28/13.90
23.11/14.76 num=37, depth=32..124, filters=128881, revisions=(16307565,useless=16193042), ccks=23137192, wck=9.978, mem=186M322
23.11/14.76 decisions=15434, wrong=6223, backtracks=3202, failedAssignments=3625, nogoods=599
23.11/14.76
24.01/15.69 num=38, depth=0..118, filters=144904, revisions=(18401504,useless=18271796), ccks=24807554, wck=10.905, mem=186M322
24.01/15.69 decisions=16774, wrong=6843, backtracks=3575, failedAssignments=3999, nogoods=623
24.01/15.69
25.42/17.07 num=39, depth=24..131, filters=170690, revisions=(21249179,useless=21096968), ccks=27314718, wck=12.286, mem=186M322
25.42/17.07 decisions=18306, wrong=7552, backtracks=3954, failedAssignments=4410, nogoods=641
25.42/17.07
26.52/18.13 num=40, depth=4..109, filters=189840, revisions=(23448842,useless=23278827), ccks=29610216, wck=13.343, mem=186M322
26.52/18.13 decisions=20032, wrong=8369, backtracks=4368, failedAssignments=4862, nogoods=674
26.52/18.13
28.01/19.61 num=41, depth=12..109, filters=210280, revisions=(26448832,useless=26260518), ccks=32468960, wck=14.823, mem=186M322
28.01/19.61 decisions=22064, wrong=9335, backtracks=4975, failedAssignments=5359, nogoods=691
28.01/19.61
29.02/20.69 num=42, depth=15..113, filters=226605, revisions=(28558121,useless=28355096), ccks=35000637, wck=15.9, mem=186M322
29.02/20.69 decisions=23954, wrong=10229, backtracks=5493, failedAssignments=5906, nogoods=731
29.02/20.69
30.43/22.02 num=43, depth=15..113, filters=249129, revisions=(31358128,useless=31133821), ccks=37959727, wck=17.235, mem=186M322
30.43/22.02 decisions=26086, wrong=11247, backtracks=6092, failedAssignments=6508, nogoods=765
30.43/22.02
31.62/23.21 num=44, depth=26..124, filters=264118, revisions=(33166873,useless=32930476), ccks=41258956, wck=18.427, mem=186M322
31.62/23.21 decisions=28249, wrong=12278, backtracks=6603, failedAssignments=7170, nogoods=807
31.62/23.21
33.02/24.66 num=45, depth=28..121, filters=287508, revisions=(36341768,useless=36084142), ccks=44418663, wck=19.872, mem=186M322
33.02/24.66 decisions=30849, wrong=13524, backtracks=7294, failedAssignments=7898, nogoods=846
33.02/24.66
34.92/26.55 num=46, depth=32..128, filters=324280, revisions=(40778949,useless=40486791), ccks=48371899, wck=21.766, mem=186M322
34.92/26.55 decisions=33840, wrong=14966, backtracks=8148, failedAssignments=8699, nogoods=876
34.92/26.55
37.54/29.15 num=47, depth=22..124, filters=365142, revisions=(45660391,useless=45333735), ccks=54559943, wck=24.361, mem=186M322
37.54/29.15 decisions=37003, wrong=16494, backtracks=9036, failedAssignments=9580, nogoods=888
37.54/29.15
39.63/31.26 num=48, depth=0..110, filters=398226, revisions=(49578498,useless=49219439), ccks=60764143, wck=26.472, mem=186M322
39.63/31.26 decisions=40374, wrong=18131, backtracks=10010, failedAssignments=10550, nogoods=907
39.63/31.26
42.34/33.93 num=49, depth=17..126, filters=461836, revisions=(55904292,useless=55483533), ccks=66575214, wck=29.143, mem=186M322
42.34/33.93 decisions=44519, wrong=20151, backtracks=11088, failedAssignments=11617, nogoods=947
42.34/33.93
45.04/36.61 num=50, depth=25..124, filters=505176, revisions=(61354577,useless=60893769), ccks=73517041, wck=31.827, mem=186M322
45.04/36.61 decisions=48823, wrong=22249, backtracks=12358, failedAssignments=12790, nogoods=972
45.04/36.61
48.04/39.62 num=51, depth=52..129, filters=561628, revisions=(68268229,useless=67754252), ccks=79547584, wck=34.835, mem=186M322
48.04/39.62 decisions=53442, wrong=24505, backtracks=13729, failedAssignments=14081, nogoods=1008
48.04/39.62
51.25/42.88 num=52, depth=73..81, filters=591569, revisions=(72388617,useless=71853931), ccks=89962159, wck=38.097, mem=186M322
51.25/42.88 decisions=58953, wrong=27222, backtracks=15253, failedAssignments=15501, nogoods=1018
51.25/42.88
54.75/46.34 num=53, depth=64..125, filters=668545, revisions=(80792045,useless=80183437), ccks=97316066, wck=41.553, mem=186M322
54.75/46.34 decisions=64822, wrong=30102, backtracks=16843, failedAssignments=17063, nogoods=1040
54.75/46.34
59.49/50.90 num=54, depth=43..101, filters=744786, revisions=(89774002,useless=89100873), ccks=106292688, wck=46.119, mem=186M322
59.49/50.90 decisions=70842, wrong=33069, backtracks=18534, failedAssignments=18781, nogoods=1061
59.49/50.90
64.29/55.80 num=55, depth=0..123, filters=845362, revisions=(102494135,useless=101723842), ccks=114623999, wck=51.01, mem=186M322
64.29/55.80 decisions=77936, wrong=36569, backtracks=20483, failedAssignments=20671, nogoods=1107
64.29/55.80
69.09/60.59 num=56, depth=37..122, filters=938850, revisions=(114141921,useless=113283295), ccks=124317190, wck=55.801, mem=186M322
69.09/60.59 decisions=85560, wrong=40329, backtracks=22704, failedAssignments=22750, nogoods=1149
69.09/60.59
75.79/67.25 num=57, depth=38..132, filters=1099491, revisions=(131054322,useless=130040006), ccks=136025297, wck=62.467, mem=186M322
75.79/67.25 decisions=94264, wrong=44622, backtracks=25106, failedAssignments=25037, nogoods=1181
75.79/67.25
83.62/75.07 num=58, depth=46..116, filters=1292899, revisions=(151260264,useless=150056373), ccks=148652487, wck=70.283, mem=186M322
83.62/75.07 decisions=103761, wrong=49318, backtracks=27583, failedAssignments=27553, nogoods=1214
83.62/75.07
90.56/81.98 num=59, depth=17..116, filters=1407984, revisions=(166960865,useless=165648469), ccks=161656942, wck=77.191, mem=186M322
90.56/81.98 decisions=113482, wrong=54129, backtracks=30505, failedAssignments=30321, nogoods=1250
90.56/81.98
97.78/89.17 num=60, depth=15..124, filters=1530844, revisions=(180450536,useless=179027792), ccks=179021254, wck=84.387, mem=194M227
97.78/89.17 decisions=124233, wrong=59452, backtracks=33356, failedAssignments=33365, nogoods=1293
97.78/89.17
105.07/96.41 num=61, depth=2..128, filters=1685428, revisions=(198669089,useless=197098078), ccks=193572637, wck=91.622, mem=194M227
105.07/96.41 decisions=135618, wrong=65095, backtracks=36678, failedAssignments=36714, nogoods=1343
105.07/96.41
114.69/106.04 num=62, depth=19..119, filters=1867305, revisions=(217709781,useless=215966029), ccks=219094334, wck=101.253, mem=194M227
114.69/106.04 decisions=149783, wrong=72123, backtracks=40556, failedAssignments=40398, nogoods=1383
114.69/106.04
123.66/114.91 num=63, depth=37..115, filters=2063115, revisions=(234738749,useless=232806655), ccks=240412534, wck=110.129, mem=194M227
123.66/114.91 decisions=164834, wrong=79598, backtracks=44401, failedAssignments=44450, nogoods=1415
123.66/114.91
135.48/126.77 num=64, depth=43..136, filters=2385477, revisions=(265349940,useless=263098463), ccks=261146225, wck=121.989, mem=194M227
135.48/126.77 decisions=181430, wrong=87835, backtracks=48390, failedAssignments=48907, nogoods=1460
135.48/126.77
147.37/138.56 num=65, depth=52..122, filters=2638296, revisions=(292747909,useless=290252684), ccks=284772533, wck=133.776, mem=194M227
147.37/138.56 decisions=198345, wrong=96241, backtracks=53111, failedAssignments=53810, nogoods=1501
147.37/138.56
161.08/152.27 num=66, depth=50..112, filters=2879311, revisions=(318119593,useless=315415525), ccks=316015089, wck=147.482, mem=194M227
161.08/152.27 decisions=217555, wrong=105799, backtracks=58294, failedAssignments=59204, nogoods=1529
161.08/152.27
177.30/168.44 num=67, depth=19..122, filters=3186155, revisions=(355090241,useless=352097218), ccks=344367689, wck=163.658, mem=194M227
177.30/168.44 decisions=239425, wrong=116683, backtracks=64682, failedAssignments=65137, nogoods=1559
177.30/168.44
194.31/185.43 num=68, depth=30..125, filters=3510210, revisions=(395191731,useless=391887744), ccks=373504312, wck=180.649, mem=194M227
194.31/185.43 decisions=261972, wrong=127903, backtracks=71775, failedAssignments=71663, nogoods=1597
194.31/185.43
212.62/203.71 num=69, depth=35..132, filters=3891213, revisions=(442297010,useless=438627890), ccks=404052278, wck=198.929, mem=194M227
212.62/203.71 decisions=288082, wrong=140903, backtracks=79706, failedAssignments=78842, nogoods=1630
212.62/203.71
234.95/226.04 num=70, depth=32..134, filters=4260553, revisions=(490527115,useless=486529331), ccks=441713540, wck=221.252, mem=202M131
234.95/226.04 decisions=316360, wrong=154983, backtracks=88905, failedAssignments=86739, nogoods=1641
234.95/226.04
254.55/245.61 num=71, depth=50..131, filters=4649790, revisions=(539095960,useless=534725748), ccks=476763190, wck=240.823, mem=202M131
254.55/245.61 decisions=345998, wrong=169743, backtracks=98258, failedAssignments=95426, nogoods=1670
254.55/245.61
281.08/272.13 num=72, depth=23..129, filters=5299752, revisions=(605114626,useless=600110683), ccks=527571343, wck=267.34, mem=202M131
281.08/272.13 decisions=382433, wrong=187902, backtracks=109009, failedAssignments=104981, nogoods=1694
281.08/272.13
314.58/305.60 num=73, depth=25..136, filters=6232762, revisions=(685791606,useless=679866311), ccks=592990867, wck=300.816, mem=202M131
314.58/305.60 decisions=423522, wrong=208388, backtracks=120515, failedAssignments=115492, nogoods=1724
314.58/305.60
345.51/336.56 num=74, depth=51..136, filters=6940805, revisions=(760565347,useless=753960465), ccks=651146602, wck=331.779, mem=202M131
345.51/336.56 decisions=468352, wrong=230742, backtracks=133766, failedAssignments=127054, nogoods=1755
345.51/336.56
375.92/366.90 num=75, depth=63..133, filters=7803921, revisions=(826523101,useless=819060345), ccks=713996435, wck=362.114, mem=202M131
375.92/366.90 decisions=519113, wrong=256062, backtracks=146880, failedAssignments=139772, nogoods=1787
375.92/366.90
415.25/406.24 num=76, depth=59..138, filters=8760673, revisions=(922894011,useless=914504857), ccks=788469312, wck=401.456, mem=210M35
415.25/406.24 decisions=570308, wrong=281598, backtracks=161617, failedAssignments=153762, nogoods=1812
415.25/406.24
459.67/450.69 num=77, depth=66..140, filters=9782285, revisions=(1026079852,useless=1016771980), ccks=864479266, wck=445.902, mem=210M35
459.67/450.69 decisions=627368, wrong=310068, backtracks=177805, failedAssignments=169151, nogoods=1837
459.67/450.69
504.01/494.99 num=78, depth=61..131, filters=10842152, revisions=(1135170318,useless=1124833492), ccks=946980144, wck=490.208, mem=210M35
504.01/494.99 decisions=689035, wrong=340843, backtracks=195926, failedAssignments=186079, nogoods=1858
504.01/494.99
547.93/538.86 num=79, depth=31..138, filters=11761130, revisions=(1227067182,useless=1215839656), ccks=1040427968, wck=534.079, mem=217M939
547.93/538.86 decisions=760028, wrong=376282, backtracks=216507, failedAssignments=204700, nogoods=1892
547.93/538.86
588.27/579.12 num=80, depth=27..135, filters=12567081, revisions=(1316088118,useless=1304099734), ccks=1131502976, wck=574.336, mem=217M939
588.27/579.12 decisions=835520, wrong=413973, backtracks=238607, failedAssignments=225184, nogoods=1929
588.27/579.12
653.32/644.11 num=81, depth=22..126, filters=13831857, revisions=(1469416376,useless=1456305604), ccks=1235091328, wck=639.328, mem=217M939
653.32/644.11 decisions=917180, wrong=454750, backtracks=261926, failedAssignments=247716, nogoods=1978
653.32/644.11
752.58/743.35 num=82, depth=33..118, filters=15124697, revisions=(1678728480,useless=1664452269), ccks=1392647034, wck=738.569, mem=225M843
752.58/743.35 decisions=1009405, wrong=500812, backtracks=294903, failedAssignments=272501, nogoods=2002
752.58/743.35
822.23/812.99 num=83, depth=33..125, filters=16519789, revisions=(1837977239,useless=1822358366), ccks=1524273960, wck=808.205, mem=225M843
822.23/812.99 decisions=1111724, wrong=551917, backtracks=325462, failedAssignments=299765, nogoods=2033
822.23/812.99
912.59/903.24 num=84, depth=28..128, filters=18508862, revisions=(2054937470,useless=2037514350), ccks=1670230277, wck=898.457, mem=233M747
912.59/903.24 decisions=1221497, wrong=606748, backtracks=356357, failedAssignments=329755, nogoods=2054
912.59/903.24
1015.07/1005.62 num=85, depth=23..130, filters=20116587, revisions=(2268549630,useless=2249674592), ccks=1850914807, wck=1000.833, mem=233M747
1015.07/1005.62 decisions=1341542, wrong=666716, backtracks=396942, failedAssignments=362744, nogoods=2083
1015.07/1005.62
1129.34/1119.85 num=86, depth=44..130, filters=21825870, revisions=(2511275820,useless=2490876825), ccks=2046950049, wck=1115.062, mem=241M651
1129.34/1119.85 decisions=1472747, wrong=732262, backtracks=441353, failedAssignments=399032, nogoods=2098
1129.34/1119.85
1222.63/1213.07 num=87, depth=66..117, filters=23546207, revisions=(2720637573,useless=2698606403), ccks=2213677913, wck=1208.284, mem=241M651
1222.63/1213.07 decisions=1610831, wrong=801251, backtracks=480977, failedAssignments=438949, nogoods=2118
1222.63/1213.07
1382.32/1372.63 num=88, depth=26..131, filters=27557019, revisions=(3080692822,useless=3054984030), ccks=2523288513, wck=1367.847, mem=257M459
1382.32/1372.63 decisions=1784874, wrong=888216, backtracks=528334, failedAssignments=482858, nogoods=2161
1382.32/1372.63
1501.81/1492.10 num=89, depth=28..124, filters=29670272, revisions=(3315999242,useless=3288330713), ccks=2765033972, wck=1487.313, mem=265M364
1501.81/1492.10 decisions=1959491, wrong=975478, backtracks=582443, failedAssignments=531158, nogoods=2170
1501.81/1492.10
1681.13/1671.24 num=90, depth=20..136, filters=32721930, revisions=(3653990203,useless=3623518477), ccks=3146246516, wck=1666.451, mem=265M364
1681.13/1671.24 decisions=2155585, wrong=1073467, backtracks=648174, failedAssignments=584288, nogoods=2190
1681.13/1671.24
1825.52/1815.51 num=91, depth=65..131, filters=35599258, revisions=(4012130274,useless=3978936880), ccks=3408250538, wck=1810.726, mem=273M268
1825.52/1815.51 decisions=2363155, wrong=1177196, backtracks=711243, failedAssignments=642731, nogoods=2210
1825.52/1815.51
1956.90/1946.86 num=92, depth=41..129, filters=38648451, revisions=(4291815950,useless=4255665974), ccks=3693754709, wck=1942.078, mem=289M76
1956.90/1946.86 decisions=2576282, wrong=1283704, backtracks=768646, failedAssignments=707018, nogoods=2244
1956.90/1946.86
2137.91/2127.77 num=93, depth=68..131, filters=42523472, revisions=(4709822240,useless=4669951952), ccks=4070527374, wck=2122.981, mem=296M980
2137.91/2127.77 decisions=2840827, wrong=1415922, backtracks=848648, failedAssignments=777734, nogoods=2283
2137.91/2127.77
2326.24/2315.96 num=94, depth=34..133, filters=46541337, revisions=(5110851005,useless=5067420071), ccks=4415003499, wck=2311.174, mem=312M788
2326.24/2315.96 decisions=3127892, wrong=1559396, backtracks=930709, failedAssignments=855521, nogoods=2315
2326.24/2315.96
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 (15017 MiB free)
memory of node 1: 16384 MiB (15566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390738-1568381502/watcher-4390738-1568381502 -o /tmp/evaluation-result-4390738-1568381502/solver-4390738-1568381502 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390738-1568381502.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=7000, runsolver pid=6997
Current StackSize limit: 8192 KiB
[startup+0.105511 s]*
/proc/loadavg: 1.64 1.65 1.18 4/233 7015
/proc/meminfo: memFree=31302012/32770624 swapFree=67004012/67108860
[pid=7000] ppid=6997 vsize=10659884 memory=28100 CPUtime=0.14 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 5530 0 0 0 13 1 0 0 20 0 15 0 414389816 10915721216 7025 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2664971 7025 2873 1 0 2627468 0
[pid=7000/tid=7002] ppid=6997 vsize=10659884 memory=-8970433174032970944 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6997 7000 6511 0 -1 4202560 3244 0 0 0 9 1 0 0 20 0 15 0 414389816 10915721216 7157 33554432000 4194304 4196468 140735396544144 140190995748440 140190983756606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 7157 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 7157 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 7157 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190481892384 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414389819 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190480839536 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) R 6997 7000 6511 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0.03 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) R 6997 7000 6511 0 -1 4202560 577 0 0 0 3 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190476626696 140190970461030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 7223 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28100 KiB
[startup+0.210798 s]*
/proc/loadavg: 1.64 1.65 1.18 3/233 7015
/proc/meminfo: memFree=31294748/32770624 swapFree=67004012/67108860
[pid=7000] ppid=6997 vsize=10659884 memory=35120 CPUtime=0.32 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 6901 0 0 0 31 1 0 0 20 0 15 0 414389816 10915721216 8780 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2664971 8780 2990 1 0 2627468 0
[pid=7000/tid=7002] ppid=6997 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6997 7000 6511 0 -1 4202560 3898 0 0 0 19 1 0 0 20 0 15 0 414389816 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190995745840 140190991541405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10659884 memory=140425983775445 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190481892384 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414389819 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190480839536 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 527 0 0 0 3 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0.05 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 751 0 0 0 5 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 8780 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35120 KiB
[startup+0.310324 s]*
/proc/loadavg: 1.64 1.65 1.18 3/233 7015
/proc/meminfo: memFree=31286792/32770624 swapFree=67004012/67108860
[pid=7000] ppid=6997 vsize=10659884 memory=40228 CPUtime=0.47 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 9427 0 0 0 44 3 0 0 20 0 15 0 414389816 10915721216 10057 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2664971 10057 3002 1 0 2627468 0
[pid=7000/tid=7002] ppid=6997 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6997 7000 6511 0 -1 4202560 6341 0 0 0 27 2 0 0 20 0 15 0 414389816 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190995758464 140190991541405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10659884 memory=16247413243459224 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389817 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414389818 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190481892384 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414389819 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190480839536 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 535 0 0 0 4 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 407 0 0 0 4 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0.08 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) R 6997 7000 6511 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190476630640 140190975599966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10659884 memory=140425983768192 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389821 10915721216 10057 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40228 KiB
[startup+0.70074 s]
/proc/loadavg: 1.75 1.68 1.19 3/233 7015
/proc/meminfo: memFree=31279756/32770624 swapFree=67004012/67108860
[pid=7000] ppid=6997 vsize=10661932 memory=62176 CPUtime=1.09 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 12687 0 0 0 104 5 0 0 20 0 15 0 414389816 10917818368 15544 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2665483 15544 3073 1 0 2627980 0
[pid=7000/tid=7002] ppid=6997 vsize=10661932 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6997 7000 6511 0 -1 4202560 8912 0 0 0 64 4 0 0 20 0 15 0 414389816 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190995742416 140190974722364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389817 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389818 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414389818 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190481892384 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414389819 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190480839536 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10661932 memory=7236533984234661184 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 728 0 0 0 10 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10661932 memory=7380106142448642414 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) R 6997 7000 6511 0 -1 4202560 559 0 0 0 10 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190477683440 140190969347072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10661932 memory=5859271421084194152 CPUtime=0.19 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 1131 0 0 0 19 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389821 10917818368 15544 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62176 KiB
[startup+1.50074 s]
/proc/loadavg: 1.75 1.68 1.19 3/233 7015
/proc/meminfo: memFree=31263444/32770624 swapFree=67004012/67108860
[pid=7000] ppid=6997 vsize=10663980 memory=74788 CPUtime=1.99 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 18190 0 0 0 193 6 0 0 20 0 15 0 414389816 10919915520 18697 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2665995 18697 3096 1 0 2628492 0
[pid=7000/tid=7002] ppid=6997 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6997 7000 6511 0 -1 4202560 13086 0 0 0 143 5 0 0 20 0 15 0 414389816 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190995751504 140190971044767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414389817 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414389817 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 414389818 10919915520 18697 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
################
# More data... #
################
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 99 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.07 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 1791 0 0 0 4 3 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10748324 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190481892448 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10748324 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414389819 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190480839552 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10748324 memory=441288 CPUtime=3.62 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 9903 0 0 0 360 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10748324 memory=1540 CPUtime=3.87 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 12072 0 0 0 386 1 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.03 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 9798 0 0 0 101 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.35 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1036 0 0 0 66 69 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7018] ppid=6997 vsize=10748324 memory=441288 CPUtime=2380.38 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) R 6997 7000 6511 0 -1 4202560 18758 0 0 0 238024 14 0 0 20 0 16 0 414390003 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190457860560 140190638098661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 2392.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 441288 KiB
[startup+2442.3 s]
/proc/loadavg: 1.81 1.88 1.90 3/234 7809
/proc/meminfo: memFree=30876908/32770624 swapFree=67004028/67108860
[pid=7000] ppid=6997 vsize=10748324 memory=441288 CPUtime=2452.73 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 70771 0 0 0 245176 97 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2687081 110322 3394 1 0 2647217 0
[pid=7000/tid=7002] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.86 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) S 6997 7000 6511 0 -1 1077944384 15333 0 0 0 180 6 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190995762352 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.12 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 209 0 0 0 9 3 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 105 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 99 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.07 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 1797 0 0 0 4 3 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190481892448 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414389819 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190480839552 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10748324 memory=39156 CPUtime=3.62 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 9911 0 0 0 360 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10748324 memory=441288 CPUtime=3.87 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 12074 0 0 0 386 1 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.03 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 9800 0 0 0 101 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1067 0 0 0 68 71 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7018] ppid=6997 vsize=10748324 memory=3280 CPUtime=2440.38 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) R 6997 7000 6511 0 -1 4202560 18870 0 0 0 244024 14 0 0 20 0 16 0 414390003 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190457860560 140190631130708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 2452.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 441288 KiB
[startup+2502.3 s]
/proc/loadavg: 1.63 1.83 1.88 3/234 7813
/proc/meminfo: memFree=30876748/32770624 swapFree=67004028/67108860
[pid=7000] ppid=6997 vsize=10748324 memory=441288 CPUtime=2512.77 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 70881 0 0 0 251179 98 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2687081 110322 3394 1 0 2647217 0
[pid=7000/tid=7002] ppid=6997 vsize=10748324 memory=441288 CPUtime=1.86 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) S 6997 7000 6511 0 -1 1077944384 15333 0 0 0 180 6 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190995762352 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.12 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 209 0 0 0 9 3 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10748324 memory=3472328296227679313 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 105 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 99 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10748324 memory=441288 CPUtime=0.07 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 1797 0 0 0 4 3 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190481892448 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10748324 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414389819 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190480839552 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10748324 memory=441288 CPUtime=3.62 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 9911 0 0 0 360 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10748324 memory=1616 CPUtime=3.87 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 12074 0 0 0 386 1 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10748324 memory=784 CPUtime=1.03 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 9800 0 0 0 101 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10748324 memory=441288 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10748324 memory=3280 CPUtime=1.42 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1071 0 0 0 70 72 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7018] ppid=6997 vsize=10748324 memory=441288 CPUtime=2500.39 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) R 6997 7000 6511 0 -1 4202560 18976 0 0 0 250025 14 0 0 20 0 16 0 414390003 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190457860560 140190638495429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 2512.77 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 441288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.6 s]
/proc/loadavg: 1.58 1.81 1.88 3/234 7813
/proc/meminfo: memFree=30876840/32770624 swapFree=67004028/67108860
[pid=7000] ppid=6997 vsize=10748324 memory=441288 CPUtime=2520.08 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6997 7000 6511 0 -1 1077944320 70893 0 0 0 251910 98 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140735396526688 140190991519479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
/proc/7000/statm: 2687081 110322 3394 1 0 2647217 0
[pid=7000/tid=7002] ppid=6997 vsize=10748324 memory=784 CPUtime=1.86 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) S 6997 7000 6511 0 -1 1077944384 15333 0 0 0 180 6 0 0 20 0 16 0 414389816 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190995762352 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7003] ppid=6997 vsize=10748324 memory=8252 CPUtime=0.12 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6997 7000 6511 0 -1 1077944384 209 0 0 0 9 3 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190597962896 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7004] ppid=6997 vsize=10748324 memory=988 CPUtime=0.1 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6997 7000 6511 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190596910096 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7005] ppid=6997 vsize=10748324 memory=2052 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6997 7000 6511 0 -1 1077944384 105 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190595857296 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7006] ppid=6997 vsize=10748324 memory=1220 CPUtime=0.09 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6997 7000 6511 0 -1 1077944384 99 0 0 0 7 2 0 0 20 0 16 0 414389817 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190594804496 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7007] ppid=6997 vsize=10748324 memory=5920 CPUtime=0.07 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6997 7000 6511 0 -1 1077944384 1797 0 0 0 4 3 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190482946416 140190991530626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7008] ppid=6997 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6997 7000 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414389818 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190481892448 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7009] ppid=6997 vsize=10748324 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6997 7000 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414389819 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190480839552 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7010] ppid=6997 vsize=10748324 memory=728 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190479787856 140190991538075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7011] ppid=6997 vsize=10748324 memory=4000 CPUtime=3.62 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6997 7000 6511 0 -1 1077944384 9911 0 0 0 360 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190478736240 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7012] ppid=6997 vsize=10748324 memory=2832 CPUtime=3.87 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6997 7000 6511 0 -1 1077944384 12074 0 0 0 386 1 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190477683440 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7013] ppid=6997 vsize=10748324 memory=1212 CPUtime=1.03 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6997 7000 6511 0 -1 1077944384 9800 0 0 0 101 2 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190476630640 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7014] ppid=6997 vsize=10748324 memory=1036 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6997 7000 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190475578080 140190991529685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7015] ppid=6997 vsize=10748324 memory=14008 CPUtime=1.43 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6997 7000 6511 0 -1 1077944384 1071 0 0 0 71 72 0 0 20 0 16 0 414389821 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190474525360 140190991530626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
[pid=7000/tid=7018] ppid=6997 vsize=10748324 memory=8112282956445269571 CPUtime=2507.69 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) R 6997 7000 6511 0 -1 4202560 18988 0 0 0 250755 14 0 0 20 0 16 0 414390003 11006283776 110322 33554432000 4194304 4196468 140735396544144 140190457860560 140190631129966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39022592 140735396549643 140735396549746 140735396549746 140735396552655 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 441288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.61 s]
# the end of solver process 7000 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.11 s, system=0.994229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2509.61
CPU time (s): 2520.1
CPU user time (s): 2519.11
CPU system time (s): 0.994229
CPU usage (%): 100.418
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 441288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.11
system time used= 0.994229
maximum resident set size= 443988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57808
involuntary context switches= 2080
# summary of solver processes directly reported to runsolver:
# pid: 7000
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.11
# total CPU system time (s): 0.994229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8041 second user time and 24.7464 second system time
The end