2.35/1.90
2.35/1.90 AbsCon 2
2.59/1.91
4.51/2.52 Instance
4.51/2.52 name=instance-4390551-1568381435, framework=CSP
4.51/2.52
4.51/2.52 Loading variables...
4.51/2.57 Loading constraints...
10.08/4.45
10.08/4.45 Domains
10.08/4.45 nTypes=1, nValues=2268, sizes=[9#252]
10.08/4.45 Variables
10.08/4.45 count=252, degrees=[189#2,190#67,191#183]
10.08/4.45 Constraints
10.08/4.45 count=11850, nSpecific=69, arities=[1#63,4#11718,8#62,63#4,126#3]
10.08/4.45 distribution=[CardinalityConstant#4,CtrIntension#11781,LexicographicLe#65]
10.08/4.45 nIntStructures=(10,shared:11771), nCftStructures=(1,shared:11717,unbuilt:132)
10.08/4.45 wck=2.578, cpu=4.287, mem=225M725
10.08/4.46 Solver SolverBacktrack being built...
10.08/4.46
10.41/4.50
10.41/4.50 Solver
10.41/4.50 guaranteedGAC=true
10.41/4.50 wck=2.637, cpu=4.343, mem=250M754
10.41/4.59
10.41/4.59 Preprocessing
10.41/4.59 filters=65, revisions=(11781,useless=11724), ccks=106487, nACremovedValues=504, nTotalRemovedValues=504, inconcistency=false
10.41/4.59 wck=0.085, cpu=4.429, mem=250M754
10.41/4.59
11.03/4.70 num=0, depth=46..50, filters=371, revisions=(64038,useless=63734), ccks=247974, wck=0.199, mem=255M11
11.03/4.70 decisions=78, wrong=16, backtracks=6, failedAssignments=10, nogoods=4
11.03/4.70
11.03/4.72 num=1, depth=0..6, filters=510, revisions=(72266,useless=71863), ccks=269396, wck=0.215, mem=255M11
11.03/4.72 decisions=109, wrong=30, backtracks=9, failedAssignments=21, nogoods=12
11.03/4.72
11.34/4.83 num=2, depth=0..67, filters=994, revisions=(144816,useless=143993), ccks=418509, wck=0.33, mem=255M11
11.34/4.83 decisions=204, wrong=46, backtracks=13, failedAssignments=33, nogoods=20
11.34/4.83
11.65/4.92 num=3, depth=0..72, filters=1556, revisions=(221068,useless=219753), ccks=519481, wck=0.419, mem=257M140
11.65/4.92 decisions=304, wrong=63, backtracks=17, failedAssignments=46, nogoods=25
11.65/4.92
11.98/5.03 num=4, depth=0..74, filters=2202, revisions=(307933,useless=306057), ccks=645997, wck=0.527, mem=257M140
11.98/5.03 decisions=410, wrong=82, backtracks=22, failedAssignments=60, nogoods=28
11.98/5.03
12.30/5.15 num=5, depth=0..78, filters=2914, revisions=(406251,useless=403759), ccks=806587, wck=0.645, mem=257M140
12.30/5.15 decisions=524, wrong=103, backtracks=27, failedAssignments=76, nogoods=33
12.30/5.15
12.57/5.29 num=6, depth=0..83, filters=3671, revisions=(516336,useless=513194), ccks=995103, wck=0.784, mem=257M140
12.57/5.29 decisions=644, wrong=125, backtracks=32, failedAssignments=93, nogoods=39
12.57/5.29
13.18/5.41 num=7, depth=0..88, filters=4481, revisions=(632054,useless=628221), ccks=1128215, wck=0.908, mem=257M140
13.18/5.41 decisions=773, wrong=149, backtracks=37, failedAssignments=112, nogoods=47
13.18/5.41
13.18/5.45 num=8, depth=0..14, filters=4834, revisions=(670709,useless=666656), ccks=1180651, wck=0.947, mem=257M140
13.18/5.45 decisions=832, wrong=173, backtracks=40, failedAssignments=133, nogoods=60
13.18/5.45
13.40/5.58 num=9, depth=0..109, filters=5711, revisions=(814322,useless=809502), ccks=1389038, wck=1.073, mem=257M140
13.40/5.58 decisions=995, wrong=202, backtracks=47, failedAssignments=156, nogoods=80
13.40/5.58
13.52/5.61 num=10, depth=0..16, filters=6120, revisions=(858624,useless=853542), ccks=1452521, wck=1.107, mem=257M140
13.52/5.61 decisions=1072, wrong=233, backtracks=53, failedAssignments=181, nogoods=94
13.52/5.61
13.52/5.66 num=11, depth=1..21, filters=6612, revisions=(919002,useless=913602), ccks=1556478, wck=1.154, mem=257M140
13.52/5.66 decisions=1167, wrong=272, backtracks=64, failedAssignments=209, nogoods=107
13.52/5.66
13.70/5.71 num=12, depth=0..20, filters=7149, revisions=(984266,useless=978528), ccks=1666640, wck=1.203, mem=257M140
13.70/5.71 decisions=1271, wrong=316, backtracks=77, failedAssignments=240, nogoods=119
13.70/5.71
13.70/5.76 num=13, depth=0..26, filters=7670, revisions=(1054546,useless=1048478), ccks=1787664, wck=1.255, mem=257M140
13.70/5.76 decisions=1384, wrong=361, backtracks=89, failedAssignments=274, nogoods=134
13.70/5.76
13.89/5.82 num=14, depth=1..19, filters=8383, revisions=(1140858,useless=1134358), ccks=1897866, wck=1.314, mem=257M140
13.89/5.82 decisions=1493, wrong=407, backtracks=98, failedAssignments=311, nogoods=145
13.89/5.82
13.89/5.87 num=15, depth=0..20, filters=9015, revisions=(1222666,useless=1215750), ccks=2039731, wck=1.369, mem=257M140
13.89/5.87 decisions=1625, wrong=466, backtracks=117, failedAssignments=352, nogoods=155
13.89/5.87
14.01/5.93 num=16, depth=1..21, filters=9760, revisions=(1302746,useless=1295357), ccks=2165940, wck=1.424, mem=257M140
14.01/5.93 decisions=1755, wrong=523, backtracks=129, failedAssignments=397, nogoods=170
14.01/5.93
14.01/5.99 num=17, depth=0..23, filters=10584, revisions=(1396902,useless=1388965), ccks=2314416, wck=1.487, mem=257M140
14.01/5.99 decisions=1900, wrong=586, backtracks=142, failedAssignments=447, nogoods=191
14.01/5.99
14.13/6.07 num=18, depth=0..17, filters=11612, revisions=(1514463,useless=1505834), ccks=2494488, wck=1.562, mem=257M140
14.13/6.07 decisions=2061, wrong=660, backtracks=161, failedAssignments=502, nogoods=201
14.13/6.07
14.23/6.15 num=19, depth=0..15, filters=12720, revisions=(1652406,useless=1643024), ccks=2703216, wck=1.647, mem=257M140
14.23/6.15 decisions=2241, wrong=745, backtracks=188, failedAssignments=563, nogoods=208
14.23/6.15
14.33/6.24 num=20, depth=0..19, filters=13953, revisions=(1785762,useless=1775532), ccks=2914004, wck=1.733, mem=257M140
14.33/6.24 decisions=2437, wrong=836, backtracks=212, failedAssignments=630, nogoods=222
14.33/6.24
14.44/6.35 num=21, depth=0..18, filters=15501, revisions=(1946882,useless=1935559), ccks=3191135, wck=1.843, mem=257M140
14.44/6.35 decisions=2668, wrong=944, backtracks=246, failedAssignments=704, nogoods=240
14.44/6.35
14.56/6.46 num=22, depth=0..17, filters=17205, revisions=(2137809,useless=2125275), ccks=3503971, wck=1.961, mem=257M140
14.56/6.46 decisions=2915, wrong=1062, backtracks=284, failedAssignments=785, nogoods=250
14.56/6.46
14.66/6.59 num=23, depth=0..18, filters=18848, revisions=(2344188,useless=2330536), ccks=3856966, wck=2.09, mem=257M140
14.66/6.59 decisions=3182, wrong=1189, backtracks=331, failedAssignments=874, nogoods=259
14.66/6.59
14.89/6.74 num=24, depth=0..25, filters=20601, revisions=(2558250,useless=2543401), ccks=4276392, wck=2.233, mem=257M140
14.89/6.74 decisions=3505, wrong=1342, backtracks=394, failedAssignments=972, nogoods=275
14.89/6.74
15.11/6.91 num=25, depth=0..17, filters=23005, revisions=(2842128,useless=2825520), ccks=4771978, wck=2.411, mem=257M140
15.11/6.91 decisions=3852, wrong=1509, backtracks=458, failedAssignments=1080, nogoods=288
15.11/6.91
15.22/7.07 num=26, depth=5..17, filters=25088, revisions=(3088378,useless=3070322), ccks=5229543, wck=2.569, mem=257M140
15.22/7.07 decisions=4205, wrong=1681, backtracks=519, failedAssignments=1199, nogoods=299
15.22/7.07
15.43/7.28 num=27, depth=2..18, filters=28054, revisions=(3419422,useless=3399199), ccks=5821669, wck=2.777, mem=257M140
15.43/7.28 decisions=4644, wrong=1896, backtracks=613, failedAssignments=1330, nogoods=306
15.43/7.28
15.84/7.52 num=28, depth=4..19, filters=31168, revisions=(3781832,useless=3759366), ccks=6479603, wck=3.013, mem=257M140
15.84/7.52 decisions=5102, wrong=2120, backtracks=709, failedAssignments=1474, nogoods=317
15.84/7.52
16.04/7.76 num=29, depth=2..19, filters=34441, revisions=(4169751,useless=4144942), ccks=7195788, wck=3.254, mem=257M140
16.04/7.76 decisions=5611, wrong=2369, backtracks=819, failedAssignments=1632, nogoods=328
16.04/7.76
16.35/8.01 num=30, depth=1..21, filters=37567, revisions=(4554487,useless=4527498), ccks=7996203, wck=3.503, mem=257M140
16.35/8.01 decisions=6169, wrong=2643, backtracks=945, failedAssignments=1806, nogoods=333
16.35/8.01
16.55/8.30 num=31, depth=0..18, filters=41361, revisions=(5017688,useless=4987998), ccks=8881760, wck=3.793, mem=261M397
16.55/8.30 decisions=6757, wrong=2933, backtracks=1079, failedAssignments=1997, nogoods=343
16.55/8.30
16.95/8.67 num=32, depth=0..19, filters=46516, revisions=(5627593,useless=5594140), ccks=9901545, wck=4.165, mem=261M397
16.95/8.67 decisions=7480, wrong=3290, backtracks=1259, failedAssignments=2208, nogoods=350
16.95/8.67
17.25/8.97 num=33, depth=0..18, filters=50745, revisions=(6108838,useless=6072451), ccks=10792175, wck=4.471, mem=261M397
17.25/8.97 decisions=8187, wrong=3637, backtracks=1403, failedAssignments=2440, nogoods=356
17.25/8.97
17.72/9.34 num=34, depth=0..16, filters=56029, revisions=(6698454,useless=6658309), ccks=11735543, wck=4.836, mem=261M397
17.72/9.34 decisions=8942, wrong=4010, backtracks=1556, failedAssignments=2695, nogoods=369
17.72/9.34
18.14/9.75 num=35, depth=5..17, filters=61851, revisions=(7357197,useless=7312855), ccks=12911681, wck=5.247, mem=261M397
18.14/9.75 decisions=9831, wrong=4449, backtracks=1736, failedAssignments=2976, nogoods=381
18.14/9.75
18.64/10.27 num=36, depth=0..14, filters=69532, revisions=(8220063,useless=8170016), ccks=14278929, wck=5.767, mem=261M397
18.64/10.27 decisions=10853, wrong=4956, backtracks=1982, failedAssignments=3285, nogoods=395
18.64/10.27
19.31/10.85 num=37, depth=6..15, filters=77802, revisions=(9151927,useless=9095920), ccks=15786138, wck=6.344, mem=261M397
19.31/10.85 decisions=11995, wrong=5524, backtracks=2243, failedAssignments=3625, nogoods=410
19.31/10.85
19.84/11.39 num=38, depth=5..15, filters=85406, revisions=(10040440,useless=9978886), ccks=17253380, wck=6.885, mem=261M397
19.84/11.39 decisions=13108, wrong=6077, backtracks=2485, failedAssignments=3999, nogoods=422
19.84/11.39
20.45/11.98 num=39, depth=0..19, filters=93360, revisions=(11004290,useless=10936974), ccks=19009958, wck=7.473, mem=261M397
20.45/11.98 decisions=14380, wrong=6708, backtracks=2777, failedAssignments=4410, nogoods=437
20.45/11.98
21.15/12.69 num=40, depth=6..17, filters=103569, revisions=(12189011,useless=12114385), ccks=20987840, wck=8.192, mem=261M397
21.15/12.69 decisions=15929, wrong=7477, backtracks=3137, failedAssignments=4862, nogoods=455
21.15/12.69
21.85/13.31 num=41, depth=6..16, filters=112268, revisions=(13197998,useless=13117362), ccks=22786422, wck=8.804, mem=261M397
21.85/13.31 decisions=17384, wrong=8200, backtracks=3405, failedAssignments=5359, nogoods=461
21.85/13.31
22.56/14.09 num=42, depth=0..20, filters=123412, revisions=(14482510,useless=14393985), ccks=24999269, wck=9.586, mem=261M397
22.56/14.09 decisions=19116, wrong=9059, backtracks=3779, failedAssignments=5906, nogoods=478
22.56/14.09
23.45/14.97 num=43, depth=6..19, filters=136001, revisions=(15929205,useless=15831689), ccks=27596044, wck=10.466, mem=261M397
23.45/14.97 decisions=21090, wrong=10041, backtracks=4200, failedAssignments=6508, nogoods=493
23.45/14.97
24.45/15.95 num=44, depth=0..22, filters=150492, revisions=(17562435,useless=17454438), ccks=30469288, wck=11.451, mem=262M658
24.45/15.95 decisions=23301, wrong=11139, backtracks=4661, failedAssignments=7170, nogoods=505
24.45/15.95
25.56/17.06 num=45, depth=0..20, filters=166008, revisions=(19391518,useless=19272336), ccks=33682903, wck=12.554, mem=262M658
25.56/17.06 decisions=25618, wrong=12293, backtracks=5211, failedAssignments=7898, nogoods=514
25.56/17.06
27.19/18.51 num=46, depth=5..16, filters=185685, revisions=(21662140,useless=21528527), ccks=37725403, wck=14.005, mem=89M976
27.19/18.51 decisions=28466, wrong=13712, backtracks=5932, failedAssignments=8699, nogoods=526
27.19/18.51
28.39/19.74 num=47, depth=4..16, filters=203317, revisions=(23683199,useless=23537176), ccks=41424371, wck=15.24, mem=89M976
28.39/19.74 decisions=31293, wrong=15123, backtracks=6527, failedAssignments=9580, nogoods=538
28.39/19.74
29.70/21.05 num=48, depth=4..20, filters=220931, revisions=(25771705,useless=25612987), ccks=45590975, wck=16.543, mem=89M976
29.70/21.05 decisions=34372, wrong=16657, backtracks=7289, failedAssignments=10550, nogoods=553
29.70/21.05
31.19/22.54 num=49, depth=0..22, filters=241604, revisions=(28173140,useless=27999877), ccks=50058025, wck=18.033, mem=89M976
31.19/22.54 decisions=37679, wrong=18305, backtracks=8060, failedAssignments=11617, nogoods=564
31.19/22.54
32.99/24.38 num=50, depth=2..19, filters=270423, revisions=(31135503,useless=30940730), ccks=55255201, wck=19.875, mem=89M976
32.99/24.38 decisions=41640, wrong=20281, backtracks=9032, failedAssignments=12790, nogoods=572
32.99/24.38
34.80/26.15 num=51, depth=8..24, filters=294153, revisions=(33947151,useless=33736041), ccks=61025667, wck=21.644, mem=89M976
34.80/26.15 decisions=45800, wrong=22356, backtracks=9940, failedAssignments=14081, nogoods=580
34.80/26.15
36.89/28.23 num=52, depth=0..25, filters=324491, revisions=(37325031,useless=37091582), ccks=67496784, wck=23.731, mem=89M976
36.89/28.23 decisions=50565, wrong=24731, backtracks=11072, failedAssignments=15501, nogoods=594
36.89/28.23
39.09/30.48 num=53, depth=6..22, filters=355576, revisions=(40947694,useless=40691993), ccks=74631443, wck=25.973, mem=89M976
39.09/30.48 decisions=55766, wrong=27326, backtracks=12294, failedAssignments=17063, nogoods=608
39.09/30.48
41.60/32.97 num=54, depth=3..23, filters=391133, revisions=(45043256,useless=44761694), ccks=82315295, wck=28.466, mem=97M171
41.60/32.97 decisions=61455, wrong=30164, backtracks=13637, failedAssignments=18781, nogoods=624
41.60/32.97
44.50/35.86 num=55, depth=4..20, filters=433607, revisions=(49683601,useless=49370988), ccks=90916480, wck=31.353, mem=97M171
44.50/35.86 decisions=67909, wrong=33387, backtracks=15159, failedAssignments=20671, nogoods=631
44.50/35.86
47.40/38.77 num=56, depth=3..20, filters=475788, revisions=(54458960,useless=54115695), ccks=99826244, wck=34.263, mem=97M171
47.40/38.77 decisions=74788, wrong=36821, backtracks=16771, failedAssignments=22750, nogoods=638
47.40/38.77
50.81/42.18 num=57, depth=1..20, filters=525976, revisions=(60012393,useless=59632799), ccks=109902035, wck=37.673, mem=97M171
50.81/42.18 decisions=82389, wrong=40615, backtracks=18512, failedAssignments=25037, nogoods=651
50.81/42.18
54.91/46.25 num=58, depth=5..17, filters=584691, revisions=(66572080,useless=66148950), ccks=122440602, wck=41.744, mem=104M365
54.91/46.25 decisions=91549, wrong=45192, backtracks=20838, failedAssignments=27553, nogoods=656
54.91/46.25
59.22/50.53 num=59, depth=3..19, filters=649452, revisions=(73463692,useless=72992558), ccks=134839729, wck=46.03, mem=104M365
59.22/50.53 decisions=101002, wrong=49913, backtracks=23151, failedAssignments=30321, nogoods=673
59.22/50.53
64.92/56.22 num=60, depth=0..18, filters=732746, revisions=(82617903,useless=82084128), ccks=151344510, wck=51.719, mem=104M365
64.92/56.22 decisions=112800, wrong=55808, backtracks=26458, failedAssignments=33365, nogoods=680
64.92/56.22
70.55/61.88 num=61, depth=2..19, filters=814682, revisions=(91644629,useless=91049504), ccks=168254276, wck=57.382, mem=111M560
70.55/61.88 decisions=125190, wrong=61997, backtracks=29733, failedAssignments=36714, nogoods=687
70.55/61.88
76.77/68.10 num=62, depth=4..18, filters=906560, revisions=(101470783,useless=100806921), ccks=186714909, wck=63.601, mem=111M560
76.77/68.10 decisions=138455, wrong=68624, backtracks=33266, failedAssignments=40398, nogoods=695
76.77/68.10
84.26/75.59 num=63, depth=4..19, filters=1020392, revisions=(113326801,useless=112576595), ccks=208184452, wck=71.091, mem=118M754
84.26/75.59 decisions=154443, wrong=76611, backtracks=37730, failedAssignments=44450, nogoods=707
84.26/75.59
91.16/82.44 num=64, depth=3..16, filters=1119794, revisions=(124187988,useless=123365040), ccks=228299483, wck=77.934, mem=125M948
91.16/82.44 decisions=169363, wrong=84067, backtracks=41445, failedAssignments=48907, nogoods=722
91.16/82.44
99.37/90.60 num=65, depth=0..17, filters=1244247, revisions=(137185854,useless=136270395), ccks=251429437, wck=86.097, mem=125M948
99.37/90.60 decisions=186503, wrong=92632, backtracks=45856, failedAssignments=53810, nogoods=731
99.37/90.60
107.20/98.43 num=66, depth=2..19, filters=1356376, revisions=(149556767,useless=148558977), ccks=275757210, wck=93.931, mem=133M143
107.20/98.43 decisions=204644, wrong=101697, backtracks=50187, failedAssignments=59204, nogoods=743
107.20/98.43
115.22/106.45 num=67, depth=4..23, filters=1471783, revisions=(162426849,useless=161346825), ccks=300293955, wck=101.943, mem=133M143
115.22/106.45 decisions=223219, wrong=110979, backtracks=54495, failedAssignments=65137, nogoods=754
115.22/106.45
124.83/116.10 num=68, depth=4..21, filters=1615374, revisions=(178026622,useless=176842366), ccks=329125084, wck=111.602, mem=140M337
124.83/116.10 decisions=245055, wrong=121891, backtracks=59930, failedAssignments=71663, nogoods=764
124.83/116.10
134.84/125.97 num=69, depth=3..25, filters=1757394, revisions=(193916992,useless=192631314), ccks=358843991, wck=121.472, mem=147M532
134.84/125.97 decisions=267914, wrong=133316, backtracks=65238, failedAssignments=78842, nogoods=775
134.84/125.97
146.55/137.61 num=70, depth=0..21, filters=1925999, revisions=(212848232,useless=211439284), ccks=394662281, wck=133.111, mem=154M726
146.55/137.61 decisions=294717, wrong=146714, backtracks=71850, failedAssignments=86739, nogoods=785
146.55/137.61
158.65/149.74 num=71, depth=0..25, filters=2094675, revisions=(232407795,useless=230878101), ccks=432246802, wck=145.238, mem=161M920
158.65/149.74 decisions=322837, wrong=160768, backtracks=78568, failedAssignments=95426, nogoods=795
158.65/149.74
171.87/162.97 num=72, depth=0..24, filters=2271264, revisions=(253718308,useless=252063729), ccks=474590512, wck=158.467, mem=169M115
171.87/162.97 decisions=354090, wrong=176390, backtracks=86196, failedAssignments=104981, nogoods=806
171.87/162.97
186.37/177.47 num=73, depth=0..25, filters=2465462, revisions=(276897202,useless=275105179), ccks=521644258, wck=172.963, mem=176M309
186.37/177.47 decisions=388514, wrong=193595, backtracks=94484, failedAssignments=115492, nogoods=817
186.37/177.47
202.68/193.75 num=74, depth=2..22, filters=2690864, revisions=(303152091,useless=301199218), ccks=571869087, wck=189.247, mem=183M504
202.68/193.75 decisions=426949, wrong=212809, backtracks=103892, failedAssignments=127054, nogoods=825
202.68/193.75
219.61/210.61 num=75, depth=3..118, filters=2908050, revisions=(330548671,useless=328443613), ccks=626445227, wck=206.107, mem=190M698
219.61/210.61 decisions=467677, wrong=233122, backtracks=113569, failedAssignments=139772, nogoods=864
219.61/210.61
242.02/232.93 num=76, depth=3..118, filters=3231178, revisions=(367984536,useless=365635427), ccks=686746479, wck=228.427, mem=205M87
242.02/232.93 decisions=515934, wrong=257200, backtracks=125780, failedAssignments=153762, nogoods=917
242.02/232.93
264.04/254.90 num=77, depth=3..23, filters=3528445, revisions=(402418891,useless=399860523), ccks=752109383, wck=250.394, mem=212M281
264.04/254.90 decisions=564271, wrong=281363, backtracks=137100, failedAssignments=169151, nogoods=934
264.04/254.90
287.06/277.96 num=78, depth=3..26, filters=3829155, revisions=(439329358,useless=436560463), ccks=824949008, wck=273.459, mem=226M670
287.06/277.96 decisions=618762, wrong=308602, backtracks=150103, failedAssignments=186079, nogoods=940
287.06/277.96
313.07/303.99 num=79, depth=2..22, filters=4189096, revisions=(480947858,useless=477923877), ccks=905019114, wck=299.483, mem=241M59
313.07/303.99 decisions=679093, wrong=338762, backtracks=164711, failedAssignments=204700, nogoods=957
313.07/303.99
341.39/332.29 num=80, depth=0..83, filters=4529269, revisions=(526282202,useless=523022697), ccks=1000406809, wck=327.792, mem=248M253
341.39/332.29 decisions=746611, wrong=372481, backtracks=181212, failedAssignments=225184, nogoods=995
341.39/332.29
372.32/363.15 num=81, depth=4..27, filters=4909325, revisions=(574387264,useless=570869668), ccks=1096489409, wck=358.649, mem=262M642
372.32/363.15 decisions=816593, wrong=407466, backtracks=197507, failedAssignments=247716, nogoods=1011
372.32/363.15
408.13/398.95 num=82, depth=3..26, filters=5384584, revisions=(631384494,useless=627528603), ccks=1210341418, wck=394.45, mem=284M225
408.13/398.95 decisions=900354, wrong=449340, backtracks=218271, failedAssignments=272501, nogoods=1027
408.13/398.95
445.85/436.67 num=83, depth=4..26, filters=5876869, revisions=(691272181,useless=687075739), ccks=1329922016, wck=432.167, mem=305M808
445.85/436.67 decisions=986787, wrong=492552, backtracks=238869, failedAssignments=299765, nogoods=1050
445.85/436.67
487.28/478.08 num=84, depth=2..26, filters=6387863, revisions=(757539023,useless=752985726), ccks=1467400766, wck=473.582, mem=320M197
487.28/478.08 decisions=1083938, wrong=541122, backtracks=262460, failedAssignments=329755, nogoods=1069
487.28/478.08
538.91/529.68 num=85, depth=4..82, filters=7068646, revisions=(851720723,useless=846638741), ccks=1620960583, wck=525.175, mem=348M975
538.91/529.68 decisions=1195424, wrong=596827, backtracks=290921, failedAssignments=362744, nogoods=1109
538.91/529.68
589.24/579.90 num=86, depth=2..27, filters=7673900, revisions=(930519217,useless=925023953), ccks=1784481316, wck=575.398, mem=370M558
589.24/579.90 decisions=1311445, wrong=654830, backtracks=318221, failedAssignments=399032, nogoods=1129
589.24/579.90
643.96/634.68 num=87, depth=0..27, filters=8336648, revisions=(1017226352,useless=1011268441), ccks=1970435760, wck=630.176, mem=392M141
643.96/634.68 decisions=1442825, wrong=720513, backtracks=350937, failedAssignments=438949, nogoods=1140
643.96/634.68
713.00/703.61 num=88, depth=2..74, filters=9239635, revisions=(1140000771,useless=1133355158), ccks=2184874908, wck=699.112, mem=428M113
713.00/703.61 decisions=1595211, wrong=796674, backtracks=390989, failedAssignments=482858, nogoods=1191
713.00/703.61
801.26/791.78 num=89, depth=3..73, filters=10366529, revisions=(1308921777,useless=1301325289), ccks=2451046005, wck=787.282, mem=104M668
801.26/791.78 decisions=1770485, wrong=884282, backtracks=440654, failedAssignments=531158, nogoods=1243
801.26/791.78
894.41/884.82 num=90, depth=3..72, filters=11625957, revisions=(1490300651,useless=1481659426), ccks=2727419249, wck=880.32, mem=148M30
894.41/884.82 decisions=1958432, wrong=978226, backtracks=492666, failedAssignments=584288, nogoods=1279
894.41/884.82
1006.16/996.55 num=91, depth=4..76, filters=13079464, revisions=(1718163505,useless=1708254580), ccks=3063054702, wck=992.046, mem=198M619
1006.16/996.55 decisions=2173909, wrong=1085935, backtracks=555783, failedAssignments=642731, nogoods=1327
1006.16/996.55
1122.53/1112.84 num=92, depth=3..74, filters=14675860, revisions=(1949715300,useless=1938438767), ccks=3412217821, wck=1108.337, mem=249M208
1122.53/1112.84 decisions=2404325, wrong=1201113, backtracks=619875, failedAssignments=707018, nogoods=1373
1122.53/1112.84
1259.00/1249.26 num=93, depth=3..79, filters=16400175, revisions=(2214297051,useless=2201573328), ccks=3810297167, wck=1244.759, mem=314M252
1259.00/1249.26 decisions=2663950, wrong=1330894, backtracks=697082, failedAssignments=777734, nogoods=1417
1259.00/1249.26
1394.57/1384.76 num=94, depth=3..76, filters=18269349, revisions=(2475003847,useless=2460713273), ccks=4214421605, wck=1380.259, mem=379M295
1394.57/1384.76 decisions=2946233, wrong=1472005, backtracks=775833, failedAssignments=855521, nogoods=1456
1394.57/1384.76
1569.97/1559.98 num=95, depth=3..77, filters=20556674, revisions=(2839008168,useless=2822730628), ccks=4717475134, wck=1555.481, mem=94M642
1569.97/1559.98 decisions=3267041, wrong=1632376, backtracks=873848, failedAssignments=941087, nogoods=1497
1569.97/1559.98
1757.27/1747.12 num=96, depth=4..74, filters=23196928, revisions=(3265329613,useless=3246681465), ccks=5264461887, wck=1742.614, mem=176M917
1757.27/1747.12 decisions=3636847, wrong=1817249, backtracks=987182, failedAssignments=1035210, nogoods=1527
1757.27/1747.12
1960.76/1950.58 num=97, depth=5..76, filters=25966276, revisions=(3720530703,useless=3699336576), ccks=5876420667, wck=1946.077, mem=270M946
1960.76/1950.58 decisions=4035829, wrong=2016712, backtracks=1110844, failedAssignments=1138745, nogoods=1562
1960.76/1950.58
2176.38/2166.07 num=98, depth=3..77, filters=28928611, revisions=(4162488001,useless=4138732047), ccks=6537341419, wck=2161.571, mem=376M728
2176.38/2166.07 decisions=4460718, wrong=2229127, backtracks=1242471, failedAssignments=1252634, nogoods=1609
2176.38/2166.07
2424.20/2413.74 num=99, depth=3..77, filters=32190849, revisions=(4706342770,useless=4679719114), ccks=7260879139, wck=2409.242, mem=482M510
2424.20/2413.74 decisions=4938519, wrong=2467996, backtracks=1389021, failedAssignments=1377912, nogoods=1651
2424.20/2413.74
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 (15011 MiB free)
memory of node 1: 16384 MiB (15744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390551-1568381435/watcher-4390551-1568381435 -o /tmp/evaluation-result-4390551-1568381435/solver-4390551-1568381435 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390551-1568381435.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
Current StackSize limit: 8192 KiB
solver pid=20553, runsolver pid=20550
[startup+0.100156 s]*
/proc/loadavg: 1.98 1.88 1.26 4/229 20568
/proc/meminfo: memFree=31477828/32770624 swapFree=66996900/67108860
[pid=20553] ppid=20550 vsize=10659884 memory=27712 CPUtime=0.1 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 4926 0 0 0 9 1 0 0 20 0 15 0 414396546 10915721216 6928 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2664971 6928 2813 1 0 2627468 0
[pid=20553/tid=20555] ppid=20550 vsize=10659884 memory=720575944405811505 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) R 20550 20553 20165 0 -1 4202560 2885 0 0 0 7 0 0 0 20 0 15 0 414396546 10915721216 6928 33554432000 4194304 4196468 140731955118112 139822015169888 139822010953110 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10659884 memory=140145858681770 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821501736096 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821500682992 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396552 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 414396553 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396553 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10659884 memory=140145855424128 CPUtime=0.01 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) R 20550 20553 20165 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 414396553 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821496474096 139821989108122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396553 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10659884 memory=140145855424128 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396554 10915721216 6928 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27712 KiB
[startup+0.21133 s]*
/proc/loadavg: 1.98 1.88 1.26 5/229 20568
/proc/meminfo: memFree=31470944/32770624 swapFree=66996900/67108860
[pid=20553] ppid=20550 vsize=10659884 memory=35184 CPUtime=0.31 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 6362 0 0 0 30 1 0 0 20 0 15 0 414396546 10915721216 8796 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2664971 8796 2989 1 0 2627468 0
[pid=20553/tid=20555] ppid=20550 vsize=10659884 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) R 20550 20553 20165 0 -1 4202560 3421 0 0 0 17 1 0 0 20 0 15 0 414396546 10915721216 8796 33554432000 4194304 4196468 140731955118112 139822015173264 139822010963101 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10659884 memory=3834732269041477280 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10659884 memory=140145855424128 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821501736096 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414396549 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821500682992 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396552 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 794 0 0 0 3 0 0 0 20 0 15 0 414396553 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 414396553 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10659884 memory=140145855424128 CPUtime=0.05 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 606 0 0 0 5 0 0 0 20 0 15 0 414396553 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396553 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10659884 memory=140145855424128 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396554 10915721216 8796 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35184 KiB
[startup+0.310399 s]*
/proc/loadavg: 1.98 1.88 1.26 4/229 20568
/proc/meminfo: memFree=31468728/32770624 swapFree=66996900/67108860
[pid=20553] ppid=20550 vsize=10660908 memory=40952 CPUtime=0.45 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 8582 0 0 0 42 3 0 0 20 0 15 0 414396546 10916769792 10238 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2665227 10238 3001 1 0 2627724 0
[pid=20553/tid=20555] ppid=20550 vsize=10660908 memory=7022364594140610616 CPUtime=0.28 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) R 20550 20553 20165 0 -1 4202560 5570 0 0 0 26 2 0 0 20 0 15 0 414396546 10916769792 10238 33554432000 4194304 4196468 140731955118112 139822015162064 139822003620893 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10660908 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10660908 memory=3905661764149307040 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10660908 memory=140145855424128 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396549 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414396549 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821501736096 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414396549 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821500682992 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396552 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10660908 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 835 0 0 0 4 0 0 0 20 0 15 0 414396553 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10660908 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 15 0 414396553 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10660908 memory=140145855424128 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 628 0 0 0 7 0 0 0 20 0 15 0 414396553 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10660908 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396553 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10660908 memory=140145855424128 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396554 10916769792 10238 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 40952 KiB
[startup+0.70072 s]
/proc/loadavg: 1.98 1.88 1.26 4/229 20568
/proc/meminfo: memFree=31456284/32770624 swapFree=66996900/67108860
[pid=20553] ppid=20550 vsize=10661932 memory=59736 CPUtime=1.06 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 12039 0 0 0 101 5 0 0 20 0 15 0 414396546 10917818368 14934 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2665483 14934 3065 1 0 2627980 0
[pid=20553/tid=20555] ppid=20550 vsize=10661932 memory=39292 CPUtime=0.65 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) R 20550 20553 20165 0 -1 4202560 8327 0 0 0 61 4 0 0 20 0 15 0 414396546 10917818368 14934 33554432000 4194304 4196468 140731955118112 139822015173200 139822010963101 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396549 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414396549 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821501736096 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10661932 memory=6 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414396549 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821500682992 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396552 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10661932 memory=1226 CPUtime=0.1 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 937 0 0 0 10 0 0 0 20 0 15 0 414396553 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10661932 memory=87748 CPUtime=0.1 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 441 0 0 0 10 0 0 0 20 0 15 0 414396553 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 974 0 0 0 18 0 0 0 20 0 15 0 414396553 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414396553 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396554 10917818368 14934 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 59736 KiB
[startup+1.50075 s]
/proc/loadavg: 1.98 1.88 1.26 3/229 20568
/proc/meminfo: memFree=31439820/32770624 swapFree=66996900/67108860
[pid=20553] ppid=20550 vsize=10663980 memory=75208 CPUtime=1.97 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 17440 0 0 0 190 7 0 0 20 0 15 0 414396546 10919915520 18802 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2665995 18802 3094 1 0 2628492 0
[pid=20553/tid=20555] ppid=20550 vsize=10663980 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) R 20550 20553 20165 0 -1 4202560 12389 0 0 0 140 5 0 0 20 0 15 0 414396546 10919915520 18802 33554432000 4194304 4196468 140731955118112 139822015173200 139821995021662 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10663980 memory=39292 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10919915520 18802 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10919915520 18802 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414396547 10919915520 18802 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414396547 10919915520 18802 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414396549 10919915520 18802 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
################
# More data... #
################
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 1350 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10748324 memory=650392 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2343 0 0 0 4 3 0 0 20 0 16 0 414396549 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10748324 memory=646296 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821501736160 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10748324 memory=646296 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821500683008 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10748324 memory=648344 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396552 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10748324 memory=648344 CPUtime=3.82 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 14987 0 0 0 380 2 0 0 20 0 16 0 414396553 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10748324 memory=650392 CPUtime=3.91 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 19337 0 0 0 389 2 0 0 20 0 16 0 414396553 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10748324 memory=650392 CPUtime=0.97 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 10614 0 0 0 94 3 0 0 20 0 16 0 414396553 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10748324 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396553 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10748324 memory=8560 CPUtime=1.31 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1715 0 0 0 57 74 0 0 20 0 16 0 414396554 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20569] ppid=20550 vsize=10748324 memory=650392 CPUtime=2440.05 cores=1,3,5,7
/proc/20553/task/20569/stat : 20569 (java) R 20550 20553 20165 0 -1 4202560 18890 0 0 0 243997 8 0 0 20 0 16 0 414396736 11006283776 162598 33554432000 4194304 4196468 140731955118112 139821477408208 139821604951515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 2452.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 650392 KiB
[startup+2502.3 s]
/proc/loadavg: 1.90 1.87 1.87 3/229 20984
/proc/meminfo: memFree=30844276/32770624 swapFree=66996904/67108860
[pid=20553] ppid=20550 vsize=10748324 memory=660632 CPUtime=2512.85 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 86791 0 0 0 251177 108 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2687081 165158 3390 1 0 2647217 0
[pid=20553/tid=20555] ppid=20550 vsize=10748324 memory=660632 CPUtime=1.85 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) S 20550 20553 20165 0 -1 1077944384 14587 0 0 0 177 8 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 139822015184048 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 502 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 618 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 1350 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2343 0 0 0 4 3 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10748324 memory=1644 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821501736160 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10748324 memory=660632 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821500683008 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396552 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10748324 memory=660632 CPUtime=3.82 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 14987 0 0 0 380 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10748324 memory=660632 CPUtime=3.91 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 19337 0 0 0 389 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10748324 memory=6791534058613427641 CPUtime=0.97 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 10614 0 0 0 94 3 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10748324 memory=676 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10748324 memory=660632 CPUtime=1.34 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1719 0 0 0 58 76 0 0 20 0 16 0 414396554 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20569] ppid=20550 vsize=10748324 memory=3504 CPUtime=2500.04 cores=1,3,5,7
/proc/20553/task/20569/stat : 20569 (java) R 20550 20553 20165 0 -1 4202560 18943 0 0 0 249996 8 0 0 20 0 16 0 414396736 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821477408208 139821605020272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 2512.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 660632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.92 1.88 1.87 3/229 20984
/proc/meminfo: memFree=30844276/32770624 swapFree=66996904/67108860
[pid=20553] ppid=20550 vsize=10748324 memory=660632 CPUtime=2520.06 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 86795 0 0 0 251897 109 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2687081 165158 3390 1 0 2647217 0
[pid=20553/tid=20555] ppid=20550 vsize=10748324 memory=646296 CPUtime=1.85 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) S 20550 20553 20165 0 -1 1077944384 14587 0 0 0 177 8 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 139822015184048 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 502 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 618 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 1350 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2343 0 0 0 4 3 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821501736160 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10748324 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821500683008 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10748324 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396552 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10748324 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 14987 0 0 0 380 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10748324 memory=0 CPUtime=3.91 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 19337 0 0 0 389 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10748324 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 10614 0 0 0 94 3 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10748324 memory=20431159431681 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10748324 memory=39376 CPUtime=1.35 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1721 0 0 0 59 76 0 0 20 0 16 0 414396554 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20569] ppid=20550 vsize=10748324 memory=3028 CPUtime=2507.24 cores=1,3,5,7
/proc/20553/task/20569/stat : 20569 (java) R 20550 20553 20165 0 -1 4202560 18945 0 0 0 250716 8 0 0 20 0 16 0 414396736 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821477408208 139821613325871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 660632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 20553 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.98 s, system=1.09415 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 1.92 1.88 1.87 3/229 20984
/proc/meminfo: memFree=30844276/32770624 swapFree=66996904/67108860
[pid=20553] ppid=20550 vsize=10748324 memory=660632 CPUtime=2520.06 cores=1,3,5,7
/proc/20553/stat : 20553 (java) S 20550 20553 20165 0 -1 1077944320 86795 0 0 0 251897 109 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 140731955100656 139822010941175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
/proc/20553/statm: 2687081 165158 3390 1 0 2647217 0
[pid=20553/tid=20555] ppid=20550 vsize=10748324 memory=646296 CPUtime=1.85 cores=1,3,5,7
/proc/20553/task/20555/stat : 20555 (java) S 20550 20553 20165 0 -1 1077944384 14587 0 0 0 177 8 0 0 20 0 16 0 414396546 11006283776 165158 33554432000 4194304 4196468 140731955118112 139822015184048 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20556] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20556/stat : 20556 (java) S 20550 20553 20165 0 -1 1077944384 391 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821937015824 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20557] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20557/stat : 20557 (java) S 20550 20553 20165 0 -1 1077944384 502 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821935963280 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20558] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.19 cores=1,3,5,7
/proc/20553/task/20558/stat : 20558 (java) S 20550 20553 20165 0 -1 1077944384 618 0 0 0 14 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821934910224 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20559] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.18 cores=1,3,5,7
/proc/20553/task/20559/stat : 20559 (java) S 20550 20553 20165 0 -1 1077944384 1350 0 0 0 13 5 0 0 20 0 16 0 414396547 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821933857680 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20560] ppid=20550 vsize=10748324 memory=660632 CPUtime=0.07 cores=1,3,5,7
/proc/20553/task/20560/stat : 20560 (java) S 20550 20553 20165 0 -1 1077944384 2343 0 0 0 4 3 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821502789872 139822010952322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20561] ppid=20550 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20561/stat : 20561 (java) S 20550 20553 20165 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821501736160 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20562] ppid=20550 vsize=10748324 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20562/stat : 20562 (java) S 20550 20553 20165 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414396549 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821500683008 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20563] ppid=20550 vsize=10748324 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20563/stat : 20563 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396552 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821499631568 139822010959771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20564] ppid=20550 vsize=10748324 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/20553/task/20564/stat : 20564 (java) S 20550 20553 20165 0 -1 1077944384 14987 0 0 0 380 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821498579696 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20565] ppid=20550 vsize=10748324 memory=0 CPUtime=3.91 cores=1,3,5,7
/proc/20553/task/20565/stat : 20565 (java) S 20550 20553 20165 0 -1 1077944384 19337 0 0 0 389 2 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821497527152 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20566] ppid=20550 vsize=10748324 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/20553/task/20566/stat : 20566 (java) S 20550 20553 20165 0 -1 1077944384 10614 0 0 0 94 3 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821496474096 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20567] ppid=20550 vsize=10748324 memory=20431159431681 CPUtime=0 cores=1,3,5,7
/proc/20553/task/20567/stat : 20567 (java) S 20550 20553 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414396553 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821495421792 139822010951381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20568] ppid=20550 vsize=10748324 memory=39376 CPUtime=1.35 cores=1,3,5,7
/proc/20553/task/20568/stat : 20568 (java) S 20550 20553 20165 0 -1 1077944384 1721 0 0 0 59 76 0 0 20 0 16 0 414396554 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821494368816 139822010952322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
[pid=20553/tid=20569] ppid=20550 vsize=10748324 memory=3028 CPUtime=2507.24 cores=1,3,5,7
/proc/20553/task/20569/stat : 20569 (java) R 20550 20553 20165 0 -1 4202560 18945 0 0 0 250716 8 0 0 20 0 16 0 414396736 11006283776 165158 33554432000 4194304 4196468 140731955118112 139821477408208 139821613325871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9003008 140731955119115 140731955119218 140731955119218 140731955122127 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 660632 KiB
Child status: 143
Real time (s): 2509.51
CPU time (s): 2520.08
CPU user time (s): 2518.98
CPU system time (s): 1.09415
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 10750416
Max. memory (cumulated for all children) (KiB): 660632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.98
system time used= 1.09415
maximum resident set size= 663204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87183
page faults= 0
swaps= 0
block input operations= 1064
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58060
involuntary context switches= 990
# summary of solver processes directly reported to runsolver:
# pid: 20553
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.98
# total CPU system time (s): 1.09415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8509 second user time and 22.009 second system time
The end