2.60/1.91
2.60/1.91 AbsCon 2
2.60/1.93
2.85/2.07 Instance
2.85/2.07 name=instance-4390462-1568387404, framework=CSP
2.85/2.07
2.85/2.07 Loading variables...
2.85/2.11 Loading constraints...
3.41/2.26
3.41/2.26 Domains
3.41/2.26 nTypes=15, nValues=840, sizes=[21#2,22#2,23#2,24#2...32#2,33#2,34#2,35#2]
3.41/2.26 Variables
3.41/2.26 count=30, degrees=[14#30]
3.41/2.26 Constraints
3.41/2.26 count=105, arities=[4#105]
3.41/2.26 distribution=[CtrIntension#105]
3.41/2.26 nIntStructures=(105,shared:0)
3.41/2.26 wck=0.377, cpu=2.229, mem=37M87
3.41/2.26 Solver SolverBacktrack being built...
3.41/2.26
3.41/2.29
3.41/2.29 Solver
3.41/2.29 guaranteedGAC=false
3.41/2.29 wck=0.406, cpu=2.256, mem=47M729
3.74/2.32
3.74/2.32 Preprocessing
3.74/2.32 filters=0, revisions=(384,useless=384), ccks=64188, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.74/2.32 wck=0.03, cpu=2.288, mem=47M729
3.74/2.32
3.74/2.34 num=0, depth=18..18, filters=258, revisions=(2054,useless=1785), ccks=97008, wck=0.054, mem=50M372
3.74/2.34 decisions=38, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.74/2.34
3.74/2.37 num=1, depth=13..14, filters=387, revisions=(3412,useless=3002), ccks=155181, wck=0.078, mem=50M372
3.74/2.37 decisions=75, wrong=22, backtracks=1, failedAssignments=21, nogoods=17
3.74/2.37
4.02/2.42 num=2, depth=6..7, filters=497, revisions=(5546,useless=5015), ccks=294444, wck=0.128, mem=50M372
4.02/2.42 decisions=112, wrong=37, backtracks=4, failedAssignments=33, nogoods=22
4.02/2.42
4.12/2.50 num=3, depth=11..15, filters=610, revisions=(7645,useless=6989), ccks=551222, wck=0.212, mem=50M372
4.12/2.50 decisions=157, wrong=54, backtracks=8, failedAssignments=46, nogoods=24
4.12/2.50
4.12/2.57 num=4, depth=6..7, filters=669, revisions=(9460,useless=8741), ccks=758199, wck=0.281, mem=53M14
4.12/2.57 decisions=192, wrong=68, backtracks=8, failedAssignments=60, nogoods=38
4.12/2.57
4.27/2.68 num=5, depth=6..8, filters=742, revisions=(11378,useless=10580), ccks=1055268, wck=0.389, mem=53M14
4.27/2.68 decisions=232, wrong=84, backtracks=8, failedAssignments=76, nogoods=54
4.27/2.68
4.37/2.79 num=6, depth=5..7, filters=865, revisions=(14876,useless=13944), ccks=1398451, wck=0.503, mem=53M14
4.37/2.79 decisions=275, wrong=103, backtracks=10, failedAssignments=93, nogoods=58
4.37/2.79
4.47/2.85 num=7, depth=4..7, filters=916, revisions=(17112,useless=16114), ccks=1579197, wck=0.563, mem=55M657
4.47/2.85 decisions=320, wrong=122, backtracks=10, failedAssignments=112, nogoods=77
4.47/2.85
4.58/2.97 num=8, depth=5..8, filters=1008, revisions=(20132,useless=19014), ccks=1936034, wck=0.68, mem=55M657
4.58/2.97 decisions=373, wrong=146, backtracks=13, failedAssignments=133, nogoods=93
4.58/2.97
4.70/3.08 num=9, depth=4..6, filters=1076, revisions=(22669,useless=21469), ccks=2263034, wck=0.787, mem=55M657
4.70/3.08 decisions=426, wrong=170, backtracks=14, failedAssignments=156, nogoods=116
4.70/3.08
4.89/3.21 num=10, depth=3..7, filters=1163, revisions=(25699,useless=24410), ccks=2671664, wck=0.921, mem=55M657
4.89/3.21 decisions=486, wrong=197, backtracks=16, failedAssignments=181, nogoods=130
4.89/3.21
4.99/3.36 num=11, depth=3..6, filters=1274, revisions=(28982,useless=27580), ccks=3136083, wck=1.071, mem=58M299
4.99/3.36 decisions=550, wrong=226, backtracks=17, failedAssignments=209, nogoods=147
4.99/3.36
5.09/3.43 num=12, depth=3..6, filters=1344, revisions=(32043,useless=30569), ccks=3362092, wck=1.14, mem=58M299
5.09/3.43 decisions=619, wrong=258, backtracks=18, failedAssignments=240, nogoods=169
5.09/3.43
5.31/3.67 num=13, depth=3..7, filters=1461, revisions=(36132,useless=34529), ccks=4202098, wck=1.382, mem=58M299
5.31/3.67 decisions=704, wrong=299, backtracks=25, failedAssignments=274, nogoods=190
5.31/3.67
5.63/3.95 num=14, depth=3..7, filters=1624, revisions=(41520,useless=39750), ccks=5165526, wck=1.658, mem=60M942
5.63/3.95 decisions=792, wrong=341, backtracks=30, failedAssignments=311, nogoods=193
5.63/3.95
5.85/4.12 num=15, depth=4..8, filters=1746, revisions=(46176,useless=44274), ccks=5756999, wck=1.831, mem=60M942
5.85/4.12 decisions=890, wrong=388, backtracks=36, failedAssignments=352, nogoods=217
5.85/4.12
6.04/4.32 num=16, depth=3..8, filters=1907, revisions=(51085,useless=49019), ccks=6440388, wck=2.03, mem=60M942
6.04/4.32 decisions=993, wrong=438, backtracks=41, failedAssignments=397, nogoods=237
6.04/4.32
6.24/4.52 num=17, depth=4..7, filters=2111, revisions=(57278,useless=55007), ccks=7150331, wck=2.235, mem=63M584
6.24/4.52 decisions=1103, wrong=491, backtracks=44, failedAssignments=447, nogoods=245
6.24/4.52
6.44/4.79 num=18, depth=3..5, filters=2388, revisions=(65163,useless=62576), ccks=8028546, wck=2.503, mem=66M226
6.44/4.79 decisions=1225, wrong=550, backtracks=48, failedAssignments=502, nogoods=268
6.44/4.79
6.86/5.19 num=19, depth=3..8, filters=2617, revisions=(73363,useless=70527), ccks=9408164, wck=2.906, mem=66M226
6.86/5.19 decisions=1373, wrong=621, backtracks=58, failedAssignments=563, nogoods=285
6.86/5.19
7.15/5.44 num=20, depth=3..7, filters=2934, revisions=(81187,useless=78030), ccks=10227488, wck=3.152, mem=68M869
7.15/5.44 decisions=1527, wrong=696, backtracks=66, failedAssignments=630, nogoods=310
7.15/5.44
7.45/5.79 num=21, depth=2..8, filters=3207, revisions=(89493,useless=86056), ccks=11446976, wck=3.506, mem=68M869
7.45/5.79 decisions=1695, wrong=777, backtracks=73, failedAssignments=704, nogoods=342
7.45/5.79
7.86/6.12 num=22, depth=4..8, filters=3465, revisions=(99181,useless=95479), ccks=12528850, wck=3.827, mem=71M511
7.86/6.12 decisions=1884, wrong=869, backtracks=84, failedAssignments=785, nogoods=377
7.86/6.12
8.16/6.41 num=23, depth=4..7, filters=3938, revisions=(113904,useless=109715), ccks=13518469, wck=4.124, mem=74M154
8.16/6.41 decisions=2097, wrong=973, backtracks=99, failedAssignments=874, nogoods=408
8.16/6.41
8.39/6.69 num=24, depth=4..7, filters=4335, revisions=(127771,useless=123176), ccks=14429483, wck=4.405, mem=76M796
8.39/6.69 decisions=2322, wrong=1083, backtracks=111, failedAssignments=972, nogoods=430
8.39/6.69
8.99/7.24 num=25, depth=3..8, filters=4740, revisions=(141768,useless=136753), ccks=16281302, wck=4.952, mem=82M81
8.99/7.24 decisions=2573, wrong=1206, backtracks=126, failedAssignments=1080, nogoods=451
8.99/7.24
9.59/7.88 num=26, depth=3..8, filters=5302, revisions=(160430,useless=154833), ccks=18490427, wck=5.595, mem=84M723
9.59/7.88 decisions=2857, wrong=1346, backtracks=147, failedAssignments=1199, nogoods=486
9.59/7.88
10.10/8.36 num=27, depth=3..8, filters=5883, revisions=(176206,useless=170017), ccks=20073433, wck=6.069, mem=87M366
10.10/8.36 decisions=3155, wrong=1493, backtracks=163, failedAssignments=1330, nogoods=501
10.10/8.36
11.11/9.35 num=28, depth=3..8, filters=6603, revisions=(195237,useless=188301), ccks=23454486, wck=7.058, mem=92M651
11.11/9.35 decisions=3491, wrong=1659, backtracks=185, failedAssignments=1474, nogoods=522
11.11/9.35
11.61/9.84 num=29, depth=3..7, filters=7437, revisions=(215433,useless=207646), ccks=25090824, wck=7.555, mem=95M293
11.61/9.84 decisions=3843, wrong=1833, backtracks=201, failedAssignments=1632, nogoods=544
11.61/9.84
12.21/10.41 num=30, depth=3..8, filters=8025, revisions=(236022,useless=227631), ccks=26971571, wck=8.117, mem=100M578
12.21/10.41 decisions=4248, wrong=2033, backtracks=227, failedAssignments=1806, nogoods=568
12.21/10.41
13.01/11.21 num=31, depth=3..6, filters=8981, revisions=(261114,useless=251734), ccks=29699707, wck=8.923, mem=105M863
13.01/11.21 decisions=4680, wrong=2247, backtracks=250, failedAssignments=1997, nogoods=594
13.01/11.21
13.77/11.94 num=32, depth=2..8, filters=10058, revisions=(289131,useless=278651), ccks=32146875, wck=9.647, mem=111M148
13.77/11.94 decisions=5174, wrong=2492, backtracks=284, failedAssignments=2208, nogoods=619
13.77/11.94
14.78/13.00 num=33, depth=3..8, filters=11295, revisions=(319302,useless=307580), ccks=35714649, wck=10.707, mem=119M75
14.78/13.00 decisions=5718, wrong=2762, backtracks=323, failedAssignments=2440, nogoods=645
14.78/13.00
16.08/14.26 num=34, depth=2..8, filters=12145, revisions=(349321,useless=336684), ccks=40065158, wck=11.97, mem=124M360
16.08/14.26 decisions=6305, wrong=3054, backtracks=360, failedAssignments=2695, nogoods=665
16.08/14.26
17.09/15.29 num=35, depth=2..8, filters=13228, revisions=(385570,useless=371786), ccks=43547066, wck=13.006, mem=132M287
17.09/15.29 decisions=6971, wrong=3385, backtracks=413, failedAssignments=2976, nogoods=669
17.09/15.29
18.49/16.64 num=36, depth=2..8, filters=14443, revisions=(424113,useless=409073), ccks=48179081, wck=14.35, mem=140M214
18.49/16.64 decisions=7671, wrong=3733, backtracks=453, failedAssignments=3285, nogoods=680
18.49/16.64
19.83/18.00 num=37, depth=3..8, filters=15497, revisions=(463576,useless=447463), ccks=52842747, wck=15.708, mem=28M190
19.83/18.00 decisions=8485, wrong=4138, backtracks=520, failedAssignments=3625, nogoods=716
19.83/18.00
21.33/19.49 num=38, depth=2..8, filters=16764, revisions=(507999,useless=490545), ccks=57971882, wck=17.203, mem=35M879
21.33/19.49 decisions=9359, wrong=4573, backtracks=583, failedAssignments=3999, nogoods=752
21.33/19.49
23.54/21.63 num=39, depth=2..8, filters=18364, revisions=(559752,useless=540612), ccks=65437792, wck=19.338, mem=48M695
23.54/21.63 decisions=10304, wrong=5044, backtracks=645, failedAssignments=4410, nogoods=755
23.54/21.63
25.55/23.59 num=40, depth=2..8, filters=20055, revisions=(614759,useless=593877), ccks=72270021, wck=21.299, mem=61M511
25.55/23.59 decisions=11404, wrong=5592, backtracks=743, failedAssignments=4862, nogoods=767
25.55/23.59
27.85/25.84 num=41, depth=2..8, filters=21884, revisions=(673037,useless=650255), ccks=80026737, wck=23.549, mem=74M326
27.85/25.84 decisions=12562, wrong=6169, backtracks=825, failedAssignments=5359, nogoods=774
27.85/25.84
30.85/28.81 num=42, depth=2..8, filters=25139, revisions=(752717,useless=726483), ccks=90371772, wck=26.521, mem=89M705
30.85/28.81 decisions=13806, wrong=6789, backtracks=900, failedAssignments=5906, nogoods=790
30.85/28.81
34.06/32.03 num=43, depth=2..7, filters=28278, revisions=(834461,useless=804993), ccks=101638672, wck=29.743, mem=110M210
34.06/32.03 decisions=15137, wrong=7453, backtracks=964, failedAssignments=6508, nogoods=808
34.06/32.03
37.66/35.62 num=44, depth=2..7, filters=32260, revisions=(933578,useless=900004), ccks=114193773, wck=33.331, mem=130M715
37.66/35.62 decisions=16615, wrong=8190, backtracks=1041, failedAssignments=7170, nogoods=841
37.66/35.62
40.36/38.38 num=45, depth=2..8, filters=34818, revisions=(1017249,useless=981047), ccks=123730383, wck=36.088, mem=148M657
40.36/38.38 decisions=18298, wrong=9030, backtracks=1155, failedAssignments=7898, nogoods=875
40.36/38.38
43.99/41.99 num=46, depth=2..8, filters=38747, revisions=(1125781,useless=1085518), ccks=136273374, wck=39.702, mem=38M612
43.99/41.99 decisions=20178, wrong=9968, backtracks=1296, failedAssignments=8699, nogoods=895
43.99/41.99
48.20/46.20 num=47, depth=2..8, filters=43293, revisions=(1247225,useless=1202214), ccks=150770820, wck=43.907, mem=64M521
48.20/46.20 decisions=22202, wrong=10978, backtracks=1426, failedAssignments=9580, nogoods=918
48.20/46.20
52.89/50.81 num=48, depth=2..8, filters=47764, revisions=(1375610,useless=1325988), ccks=166723290, wck=48.524, mem=95M611
52.89/50.81 decisions=24406, wrong=12077, backtracks=1562, failedAssignments=10550, nogoods=939
52.89/50.81
58.29/56.23 num=49, depth=1..7, filters=53497, revisions=(1522642,useless=1467049), ccks=185598130, wck=53.94, mem=128M23
58.29/56.23 decisions=26821, wrong=13283, backtracks=1703, failedAssignments=11617, nogoods=947
58.29/56.23
62.72/60.68 num=50, depth=2..8, filters=57562, revisions=(1660987,useless=1601107), ccks=200872265, wck=58.389, mem=25M741
62.72/60.68 decisions=29599, wrong=14670, backtracks=1925, failedAssignments=12790, nogoods=990
62.72/60.68
68.82/66.71 num=51, depth=2..7, filters=64223, revisions=(1838275,useless=1771428), ccks=221778414, wck=64.426, mem=64M736
68.82/66.71 decisions=32620, wrong=16179, backtracks=2148, failedAssignments=14081, nogoods=1016
68.82/66.71
73.93/71.88 num=52, depth=2..8, filters=71071, revisions=(2021063,useless=1947222), ccks=239415656, wck=69.587, mem=106M330
73.93/71.88 decisions=35856, wrong=17795, backtracks=2350, failedAssignments=15501, nogoods=1053
73.93/71.88
81.14/79.05 num=53, depth=2..7, filters=79948, revisions=(2247825,useless=2164761), ccks=264249559, wck=76.76, mem=150M524
81.14/79.05 decisions=39418, wrong=19574, backtracks=2573, failedAssignments=17063, nogoods=1069
81.14/79.05
88.26/86.19 num=54, depth=2..8, filters=86793, revisions=(2462392,useless=2372141), ccks=289022048, wck=83.905, mem=61M744
88.26/86.19 decisions=43326, wrong=21526, backtracks=2820, failedAssignments=18781, nogoods=1086
88.26/86.19
96.56/94.45 num=55, depth=2..8, filters=97060, revisions=(2723882,useless=2623069), ccks=317662339, wck=92.16, mem=118M353
96.56/94.45 decisions=47713, wrong=23718, backtracks=3131, failedAssignments=20671, nogoods=1126
96.56/94.45
105.49/103.31 num=56, depth=2..8, filters=107196, revisions=(3009247,useless=2897732), ccks=348325459, wck=101.025, mem=45M985
105.49/103.31 decisions=52464, wrong=26092, backtracks=3438, failedAssignments=22750, nogoods=1157
105.49/103.31
116.50/114.31 num=57, depth=1..8, filters=119274, revisions=(3336389,useless=3212248), ccks=386603585, wck=112.026, mem=117M133
116.50/114.31 decisions=57634, wrong=28675, backtracks=3744, failedAssignments=25037, nogoods=1164
116.50/114.31
126.42/124.29 num=58, depth=2..7, filters=132500, revisions=(3677916,useless=3540101), ccks=420855140, wck=121.998, mem=60M628
126.42/124.29 decisions=63392, wrong=31552, backtracks=4115, failedAssignments=27553, nogoods=1205
126.42/124.29
138.72/136.51 num=59, depth=2..8, filters=145492, revisions=(4035520,useless=3884144), ccks=463303285, wck=134.218, mem=138M295
138.72/136.51 decisions=69810, wrong=34759, backtracks=4565, failedAssignments=30321, nogoods=1234
138.72/136.51
153.16/151.00 num=60, depth=2..8, filters=163149, revisions=(4480830,useless=4311365), ccks=513476932, wck=148.71, mem=111M830
153.16/151.00 decisions=76820, wrong=38262, backtracks=5041, failedAssignments=33365, nogoods=1281
153.16/151.00
169.79/167.59 num=61, depth=2..7, filters=181621, revisions=(4960596,useless=4771765), ccks=570738320, wck=165.304, mem=93M442
169.79/167.59 decisions=84680, wrong=42190, backtracks=5639, failedAssignments=36714, nogoods=1309
169.79/167.59
186.12/183.82 num=62, depth=1..8, filters=201471, revisions=(5480316,useless=5271016), ccks=626091680, wck=181.534, mem=80M295
186.12/183.82 decisions=93120, wrong=46408, backtracks=6191, failedAssignments=40398, nogoods=1322
186.12/183.82
204.94/202.64 num=63, depth=2..8, filters=224549, revisions=(6061883,useless=5828599), ccks=691542461, wck=200.348, mem=79M575
204.94/202.64 decisions=102435, wrong=51064, backtracks=6821, failedAssignments=44450, nogoods=1356
204.94/202.64
233.05/230.73 num=64, depth=1..8, filters=249939, revisions=(6724464,useless=6464424), ccks=790124641, wck=228.443, mem=109M27
233.05/230.73 decisions=113069, wrong=56379, backtracks=7721, failedAssignments=48907, nogoods=1365
233.05/230.73
258.12/255.77 num=65, depth=1..7, filters=278101, revisions=(7437436,useless=7147974), ccks=877561508, wck=253.485, mem=22M912
258.12/255.77 decisions=124261, wrong=61974, backtracks=8448, failedAssignments=53810, nogoods=1378
258.12/255.77
280.93/278.54 num=66, depth=2..8, filters=310522, revisions=(8254018,useless=7930815), ccks=955819184, wck=276.255, mem=71M986
280.93/278.54 decisions=137047, wrong=68366, backtracks=9490, failedAssignments=59204, nogoods=1442
280.93/278.54
307.37/304.96 num=67, depth=1..7, filters=345057, revisions=(9118577,useless=8759328), ccks=1047023669, wck=302.67, mem=25M50
307.37/304.96 decisions=150782, wrong=75232, backtracks=10461, failedAssignments=65137, nogoods=1489
307.37/304.96
333.98/331.59 num=68, depth=1..8, filters=381976, revisions=(10070507,useless=9672920), ccks=1137798724, wck=329.297, mem=119M96
333.98/331.59 decisions=165825, wrong=82751, backtracks=11491, failedAssignments=71663, nogoods=1529
333.98/331.59
369.29/366.86 num=69, depth=1..8, filters=420232, revisions=(11096847,useless=10658648), ccks=1258974448, wck=364.575, mem=116M244
369.29/366.86 decisions=182784, wrong=91229, backtracks=12854, failedAssignments=78842, nogoods=1576
369.29/366.86
403.42/400.97 num=70, depth=1..8, filters=464359, revisions=(12237679,useless=11753654), ccks=1376482994, wck=398.676, mem=38M722
403.42/400.97 decisions=201145, wrong=100408, backtracks=14183, failedAssignments=86739, nogoods=1604
403.42/400.97
442.05/439.55 num=71, depth=1..8, filters=510177, revisions=(13440668,useless=12908558), ccks=1509025788, wck=437.265, mem=83M251
442.05/439.55 decisions=221378, wrong=110522, backtracks=15670, failedAssignments=95426, nogoods=1642
442.05/439.55
489.48/486.92 num=72, depth=1..8, filters=562152, revisions=(14828069,useless=14240785), ccks=1673539906, wck=484.632, mem=85M87
489.48/486.92 decisions=243460, wrong=121560, backtracks=17226, failedAssignments=104981, nogoods=1672
489.48/486.92
538.40/535.89 num=73, depth=1..8, filters=620039, revisions=(16357609,useless=15709808), ccks=1843199959, wck=533.597, mem=28M186
538.40/535.89 decisions=267880, wrong=133768, backtracks=19000, failedAssignments=115492, nogoods=1726
538.40/535.89
589.13/586.59 num=74, depth=1..8, filters=686947, revisions=(18078991,useless=17361498), ccks=2018028102, wck=584.305, mem=106M320
589.13/586.59 decisions=295034, wrong=147343, backtracks=21100, failedAssignments=127054, nogoods=1740
589.13/586.59
650.17/647.55 num=75, depth=1..8, filters=761377, revisions=(20011148,useless=19215958), ccks=2227346692, wck=645.262, mem=75M34
650.17/647.55 decisions=325320, wrong=162484, backtracks=23638, failedAssignments=139772, nogoods=1771
650.17/647.55
711.00/708.39 num=76, depth=1..8, filters=839803, revisions=(22100497,useless=21222838), ccks=2434096366, wck=706.097, mem=94M526
711.00/708.39 decisions=358443, wrong=179044, backtracks=26331, failedAssignments=153762, nogoods=1812
711.00/708.39
778.35/775.66 num=77, depth=1..8, filters=924592, revisions=(24328400,useless=23362666), ccks=2663837410, wck=773.375, mem=93M101
778.35/775.66 decisions=394955, wrong=197298, backtracks=29349, failedAssignments=169151, nogoods=1845
778.35/775.66
853.71/850.93 num=78, depth=1..8, filters=1019321, revisions=(26805799,useless=25739656), ccks=2922416114, wck=848.642, mem=45M387
853.71/850.93 decisions=434674, wrong=217156, backtracks=32395, failedAssignments=186079, nogoods=1874
853.71/850.93
932.36/929.59 num=79, depth=1..8, filters=1123674, revisions=(29573782,useless=28398788), ccks=3190800710, wck=927.3, mem=48M36
932.36/929.59 decisions=479586, wrong=239610, backtracks=36413, failedAssignments=204700, nogoods=1901
932.36/929.59
1029.53/1026.69 num=80, depth=1..8, filters=1240876, revisions=(32626556,useless=31328446), ccks=3525706553, wck=1024.406, mem=71M146
1029.53/1026.69 decisions=528084, wrong=263857, backtracks=40376, failedAssignments=225184, nogoods=1933
1029.53/1026.69
1127.20/1124.22 num=81, depth=1..8, filters=1357352, revisions=(35818866,useless=34398635), ccks=3859773156, wck=1121.934, mem=75M583
1127.20/1124.22 decisions=581723, wrong=290675, backtracks=44891, failedAssignments=247716, nogoods=1952
1127.20/1124.22
1236.01/1232.94 num=82, depth=1..8, filters=1501125, revisions=(39465286,useless=37895051), ccks=4232252102, wck=1230.651, mem=46M886
1236.01/1232.94 decisions=639955, wrong=319789, backtracks=49424, failedAssignments=272501, nogoods=1990
1236.01/1232.94
1341.01/1337.81 num=83, depth=1..8, filters=1658075, revisions=(43545910,useless=41811086), ccks=4588905919, wck=1335.524, mem=25M545
1341.01/1337.81 decisions=705197, wrong=352408, backtracks=55033, failedAssignments=299765, nogoods=2040
1341.01/1337.81
1467.92/1464.61 num=84, depth=1..8, filters=1826853, revisions=(47979695,useless=46068696), ccks=5023430961, wck=1462.321, mem=41M530
1467.92/1464.61 decisions=776676, wrong=388144, backtracks=61041, failedAssignments=329755, nogoods=2069
1467.92/1464.61
1634.67/1631.23 num=85, depth=0..8, filters=2005111, revisions=(52929784,useless=50826587), ccks=5596069898, wck=1628.944, mem=22M311
1634.67/1631.23 decisions=855874, wrong=427741, backtracks=68084, failedAssignments=362744, nogoods=2089
1634.67/1631.23
1775.40/1771.88 num=86, depth=0..8, filters=2218237, revisions=(58475858,useless=56146772), ccks=6074993328, wck=1769.593, mem=41M588
1775.40/1771.88 decisions=941200, wrong=470402, backtracks=74778, failedAssignments=399032, nogoods=2099
1775.40/1771.88
1978.26/1974.53 num=87, depth=0..8, filters=2447436, revisions=(64478420,useless=61905471), ccks=6774671137, wck=1972.244, mem=53M361
1978.26/1974.53 decisions=1035903, wrong=517752, backtracks=82719, failedAssignments=438949, nogoods=2123
1978.26/1974.53
2162.64/2158.77 num=88, depth=1..8, filters=2691798, revisions=(70890558,useless=68061847), ccks=7404601278, wck=2156.485, mem=28M778
2162.64/2158.77 decisions=1139084, wrong=569340, backtracks=90781, failedAssignments=482858, nogoods=2160
2162.64/2158.77
2361.42/2357.36 num=89, depth=0..8, filters=2955493, revisions=(77900419,useless=74792656), ccks=8084008488, wck=2355.069, mem=53M402
2361.42/2357.36 decisions=1252837, wrong=626215, backtracks=99882, failedAssignments=531158, nogoods=2199
2361.42/2357.36
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 (14421 MiB free)
memory of node 1: 16384 MiB (14926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390462-1568387404/watcher-4390462-1568387404 -o /tmp/evaluation-result-4390462-1568387404/solver-4390462-1568387404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568380474-13011 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390462-1568387404.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=15298, runsolver pid=15295
[startup+0.104159 s]*
/proc/loadavg: 2.26 2.07 2.01 4/233 15313
/proc/meminfo: memFree=30037184/32770624 swapFree=66916504/67108860
[pid=15298] ppid=15295 vsize=10659884 memory=29440 CPUtime=0.14 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 5932 0 0 0 13 1 0 0 20 0 15 0 414990950 10915721216 7360 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2664971 7360 2878 1 0 2627468 0
[pid=15298/tid=15300] ppid=15295 vsize=10659884 memory=-8125511277465735551 CPUtime=0.1 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) R 15295 15298 12980 0 -1 4202560 3292 0 0 0 9 1 0 0 20 0 15 0 414990950 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631727962120 140631703286535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990952 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631214641952 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631213589616 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) R 15295 15298 12980 0 -1 4202560 533 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631211466824 140631709372873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0.03 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) R 15295 15298 12980 0 -1 4202560 679 0 0 0 3 0 0 0 20 0 15 0 414990955 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631209376632 140631716836369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990956 10915721216 7492 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29440 KiB
[startup+0.210905 s]*
/proc/loadavg: 2.26 2.07 2.01 3/233 15313
/proc/meminfo: memFree=30029864/32770624 swapFree=66916504/67108860
[pid=15298] ppid=15295 vsize=10659884 memory=35248 CPUtime=0.33 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 6944 0 0 0 31 2 0 0 20 0 15 0 414990950 10915721216 8812 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2664971 8812 2989 1 0 2627468 0
[pid=15298/tid=15300] ppid=15295 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) R 15295 15298 12980 0 -1 4202560 3869 0 0 0 19 1 0 0 20 0 15 0 414990950 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631727964816 140631723754653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10659884 memory=140638748408491 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990952 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631214641952 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631213589616 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 414990955 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 15 0 414990955 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0.05 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 414990955 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990956 10915721216 8812 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35248 KiB
[startup+0.310612 s]*
/proc/loadavg: 2.26 2.07 2.01 3/233 15313
/proc/meminfo: memFree=30021920/32770624 swapFree=66916504/67108860
[pid=15298] ppid=15295 vsize=10659884 memory=40640 CPUtime=0.47 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 9481 0 0 0 44 3 0 0 20 0 15 0 414990950 10915721216 10160 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2664971 10160 3002 1 0 2627468 0
[pid=15298/tid=15300] ppid=15295 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) R 15295 15298 12980 0 -1 4202560 6335 0 0 0 28 2 0 0 20 0 15 0 414990950 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631727965136 140631723754653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10659884 memory=4294980864 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10659884 memory=140638748408490 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990951 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990952 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631214641952 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414990953 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631213589616 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) R 15295 15298 12980 0 -1 4202560 666 0 0 0 3 0 0 0 20 0 15 0 414990955 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631211477312 140631723754074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) R 15295 15298 12980 0 -1 1077944384 383 0 0 0 4 0 0 0 20 0 15 0 414990955 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631210433104 140631723742933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0.08 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) R 15295 15298 12980 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 414990955 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631209380720 140631723744662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10659884 memory=140638745273984 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990956 10915721216 10160 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40640 KiB
[startup+0.706411 s]
/proc/loadavg: 2.32 2.08 2.01 3/233 15313
/proc/meminfo: memFree=30013148/32770624 swapFree=66916504/67108860
[pid=15298] ppid=15295 vsize=10661932 memory=64092 CPUtime=1.12 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 13122 0 0 0 107 5 0 0 20 0 15 0 414990950 10917818368 16023 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2665483 16023 3061 1 0 2627980 0
[pid=15298/tid=15300] ppid=15295 vsize=10661932 memory=206373111484200 CPUtime=0.69 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) R 15295 15298 12980 0 -1 4202560 8886 0 0 0 65 4 0 0 20 0 15 0 414990950 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631727964752 140631705296287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10661932 memory=3090382 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990951 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990952 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414990953 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631214641952 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414990953 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631213589616 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10661932 memory=6944652177228980320 CPUtime=0.09 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 1002 0 0 0 9 0 0 0 20 0 15 0 414990955 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10661932 memory=6944656592387989600 CPUtime=0.12 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) R 15295 15298 12980 0 -1 4202560 633 0 0 0 12 0 0 0 20 0 15 0 414990955 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631210419104 140631705253827 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 1242 0 0 0 19 0 0 0 20 0 15 0 414990955 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414990955 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10661932 memory=20116 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990956 10917818368 16023 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64092 KiB
[startup+1.50081 s]
/proc/loadavg: 2.32 2.08 2.01 3/233 15313
/proc/meminfo: memFree=29997700/32770624 swapFree=66916504/67108860
[pid=15298] ppid=15295 vsize=10663980 memory=75764 CPUtime=2.01 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 18641 0 0 0 195 6 0 0 20 0 15 0 414990950 10919915520 18941 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2665995 18941 3094 1 0 2628492 0
[pid=15298/tid=15300] ppid=15295 vsize=10663980 memory=13796 CPUtime=1.48 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) R 15295 15298 12980 0 -1 4202560 13019 0 0 0 143 5 0 0 20 0 15 0 414990950 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631727964752 140631707813214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414990951 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414990951 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 414990952 10919915520 18941 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
################
# More data... #
################
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2488 0 0 0 56 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.22 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 6236 0 0 0 19 3 0 0 20 0 16 0 414990952 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631214642016 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631213589632 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.76 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 6875 0 0 0 75 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.72 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 5655 0 0 0 71 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.62 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 6738 0 0 0 61 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.62 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 940 0 0 0 25 37 0 0 20 0 16 0 414990956 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15314] ppid=15295 vsize=10748324 memory=56 CPUtime=2379.24 cores=0,2,4,6
/proc/15298/task/15314/stat : 15314 (java) R 15295 15298 12980 0 -1 4202560 15679 0 0 0 237918 6 0 0 20 0 16 0 414991141 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631190322272 140631344856280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 2386.44 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188064 KiB
[startup+2442.3 s]
/proc/loadavg: 0.90 0.95 1.10 2/213 15606
/proc/meminfo: memFree=30175888/32770624 swapFree=66916512/67108860
[pid=15298] ppid=15295 vsize=10748324 memory=188064 CPUtime=2446.5 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 74022 0 0 0 244603 47 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2687081 47016 3367 1 0 2647217 0
[pid=15298/tid=15300] ppid=15295 vsize=10748324 memory=188064 CPUtime=1.89 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) S 15295 15298 12980 0 -1 1077944384 15357 0 0 0 183 6 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631727975600 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.59 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 4032 0 0 0 57 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.58 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 4612 0 0 0 57 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.59 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 3930 0 0 0 57 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.58 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2488 0 0 0 57 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.23 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 6242 0 0 0 20 3 0 0 20 0 16 0 414990952 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631214642016 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631213589632 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.76 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 6875 0 0 0 75 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.72 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 5655 0 0 0 71 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10748324 memory=3628 CPUtime=0.62 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 6738 0 0 0 61 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10748324 memory=12036 CPUtime=0.63 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 944 0 0 0 26 37 0 0 20 0 16 0 414990956 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15314] ppid=15295 vsize=10748324 memory=188064 CPUtime=2439.22 cores=0,2,4,6
/proc/15298/task/15314/stat : 15314 (java) R 15295 15298 12980 0 -1 4202560 15708 0 0 0 243916 6 0 0 20 0 16 0 414991141 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631190322272 140631344648768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 2446.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188064 KiB
[startup+2502.3 s]
/proc/loadavg: 0.92 0.94 1.09 2/213 15612
/proc/meminfo: memFree=30176272/32770624 swapFree=66916512/67108860
[pid=15298] ppid=15295 vsize=10748324 memory=188064 CPUtime=2506.56 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 74661 0 0 0 250608 48 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2687081 47016 3367 1 0 2647217 0
[pid=15298/tid=15300] ppid=15295 vsize=10748324 memory=188064 CPUtime=1.89 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) S 15295 15298 12980 0 -1 1077944384 15357 0 0 0 183 6 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631727975600 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 4056 0 0 0 58 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 4639 0 0 0 59 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 3936 0 0 0 58 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2753 0 0 0 59 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10748324 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 6426 0 0 0 20 3 0 0 20 0 16 0 414990952 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631214642016 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631213589632 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10748324 memory=188064 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10748324 memory=188064 CPUtime=0.76 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 6877 0 0 0 75 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10748324 memory=111632 CPUtime=0.72 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 5657 0 0 0 71 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10748324 memory=3628 CPUtime=0.62 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 6740 0 0 0 61 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10748324 memory=38624 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10748324 memory=992 CPUtime=0.65 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 972 0 0 0 27 38 0 0 20 0 16 0 414990956 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15314] ppid=15295 vsize=10748324 memory=188064 CPUtime=2499.18 cores=0,2,4,6
/proc/15298/task/15314/stat : 15314 (java) R 15295 15298 12980 0 -1 4202560 15807 0 0 0 249912 6 0 0 20 0 16 0 414991141 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631190322272 140631344648775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 2506.56 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.8 s]
/proc/loadavg: 0.93 0.94 1.09 2/212 15612
/proc/meminfo: memFree=30176256/32770624 swapFree=66916512/67108860
[pid=15298] ppid=15295 vsize=10748324 memory=188064 CPUtime=2520.08 cores=0,2,4,6
/proc/15298/stat : 15298 (java) S 15295 15298 12980 0 -1 1077944320 74669 0 0 0 251960 48 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140733806502960 140631723732727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
/proc/15298/statm: 2687081 47016 3367 1 0 2647217 0
[pid=15298/tid=15300] ppid=15295 vsize=10748324 memory=928 CPUtime=1.89 cores=0,2,4,6
/proc/15298/task/15300/stat : 15300 (java) S 15295 15298 12980 0 -1 1077944384 15357 0 0 0 183 6 0 0 20 0 16 0 414990950 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631727975600 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15301] ppid=15295 vsize=10748324 memory=1460 CPUtime=0.61 cores=0,2,4,6
/proc/15298/task/15301/stat : 15301 (java) S 15295 15298 12980 0 -1 1077944384 4056 0 0 0 59 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631660424080 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15302] ppid=15295 vsize=10748324 memory=912 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15302/stat : 15302 (java) S 15295 15298 12980 0 -1 1077944384 4639 0 0 0 59 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631659371280 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15303] ppid=15295 vsize=10748324 memory=1444 CPUtime=0.61 cores=0,2,4,6
/proc/15298/task/15303/stat : 15303 (java) S 15295 15298 12980 0 -1 1077944384 3937 0 0 0 59 2 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631328287888 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15304] ppid=15295 vsize=10748324 memory=1156 CPUtime=0.6 cores=0,2,4,6
/proc/15298/task/15304/stat : 15304 (java) S 15295 15298 12980 0 -1 1077944384 2753 0 0 0 59 1 0 0 20 0 16 0 414990951 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631327235088 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15305] ppid=15295 vsize=10748324 memory=944 CPUtime=0.23 cores=0,2,4,6
/proc/15298/task/15305/stat : 15305 (java) S 15295 15298 12980 0 -1 1077944384 6428 0 0 0 20 3 0 0 20 0 16 0 414990952 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631215695984 140631723743874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15306] ppid=15295 vsize=10748324 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15306/stat : 15306 (java) S 15295 15298 12980 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631214642016 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15307] ppid=15295 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15307/stat : 15307 (java) S 15295 15298 12980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414990953 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631213589632 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15308] ppid=15295 vsize=10748324 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15308/stat : 15308 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631212537936 140631723751323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15309] ppid=15295 vsize=10748324 memory=8300 CPUtime=0.76 cores=0,2,4,6
/proc/15298/task/15309/stat : 15309 (java) S 15295 15298 12980 0 -1 1077944384 6877 0 0 0 75 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631211485808 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15310] ppid=15295 vsize=10748324 memory=776 CPUtime=0.72 cores=0,2,4,6
/proc/15298/task/15310/stat : 15310 (java) S 15295 15298 12980 0 -1 1077944384 5657 0 0 0 71 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631210433008 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15311] ppid=15295 vsize=10748324 memory=14012 CPUtime=0.62 cores=0,2,4,6
/proc/15298/task/15311/stat : 15311 (java) S 15295 15298 12980 0 -1 1077944384 6740 0 0 0 61 1 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631209380720 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15312] ppid=15295 vsize=10748324 memory=20156 CPUtime=0 cores=0,2,4,6
/proc/15298/task/15312/stat : 15312 (java) S 15295 15298 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414990955 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631208328160 140631723742933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15313] ppid=15295 vsize=10748324 memory=12036 CPUtime=0.66 cores=0,2,4,6
/proc/15298/task/15313/stat : 15313 (java) S 15295 15298 12980 0 -1 1077944384 974 0 0 0 27 39 0 0 20 0 16 0 414990956 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631207274928 140631723743874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
[pid=15298/tid=15314] ppid=15295 vsize=10748324 memory=2116 CPUtime=2512.67 cores=0,2,4,6
/proc/15298/task/15314/stat : 15314 (java) R 15295 15298 12980 0 -1 4202560 15810 0 0 0 251261 6 0 0 20 0 16 0 414991141 11006283776 47016 33554432000 4194304 4196468 140733806520416 140631190322272 140631344647751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140733806523403 140733806523506 140733806523506 140733806526415 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.81 s]
# the end of solver process 15298 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.61 s, system=0.485061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2515.81
CPU time (s): 2520.1
CPU user time (s): 2519.61
CPU system time (s): 0.485061
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 241240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.485061
maximum resident set size= 241248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61605
involuntary context switches= 5546
# summary of solver processes directly reported to runsolver:
# pid: 15298
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.61
# total CPU system time (s): 0.485061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7965 second user time and 22.5337 second system time
The end