2.63/2.01
2.63/2.01 AbsCon 2
2.63/2.03
3.10/2.28 Instance
3.10/2.28 name=instance-4390667-1568383815, framework=CSP
3.10/2.28
3.10/2.28 Loading variables...
3.45/2.31 Loading constraints...
3.76/2.47
3.76/2.47 Domains
3.76/2.47 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.76/2.47 Variables
3.76/2.47 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.76/2.47 Constraints
3.76/2.47 count=1261, arities=[2#1261]
3.76/2.47 distribution=[CtrExtensionV-Bits#1261]
3.76/2.47 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.76/2.47 wck=0.488, cpu=2.328, mem=42M367
3.76/2.47 Solver SolverBacktrack being built...
3.76/2.47
4.10/2.50
4.10/2.50 Solver
4.10/2.50 guaranteedGAC=true
4.10/2.50 wck=0.52, cpu=2.357, mem=53M9
4.10/2.51
4.10/2.51 Preprocessing
4.10/2.51 filters=150, revisions=(2302,useless=2134), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
4.10/2.51 wck=0.008, cpu=2.367, mem=53M9
4.10/2.51
4.10/2.52 num=0, depth=25..31, filters=962, revisions=(11791,useless=10811), wck=0.022, mem=53M9
4.10/2.52 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
4.10/2.52
4.10/2.53 num=1, depth=27..38, filters=1641, revisions=(19924,useless=18265), wck=0.027, mem=53M9
4.10/2.53 decisions=136, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
4.10/2.53
4.10/2.54 num=2, depth=18..25, filters=2311, revisions=(29896,useless=27567), wck=0.034, mem=53M9
4.10/2.54 decisions=202, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.10/2.54
4.10/2.55 num=3, depth=25..38, filters=2937, revisions=(38306,useless=35351), wck=0.052, mem=53M9
4.10/2.55 decisions=279, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.10/2.55
4.10/2.56 num=4, depth=10..24, filters=3736, revisions=(47999,useless=44245), wck=0.058, mem=53M9
4.10/2.56 decisions=345, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.10/2.56
4.10/2.57 num=5, depth=17..33, filters=4477, revisions=(57988,useless=53493), wck=0.064, mem=53M9
4.10/2.57 decisions=426, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.10/2.57
4.10/2.57 num=6, depth=13..36, filters=5458, revisions=(70825,useless=65342), wck=0.071, mem=53M9
4.10/2.57 decisions=524, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.10/2.57
4.10/2.58 num=7, depth=22..30, filters=6111, revisions=(83070,useless=76932), wck=0.078, mem=53M9
4.10/2.58 decisions=622, wrong=224, backtracks=119, failedAssignments=112, nogoods=12
4.10/2.58
4.10/2.59 num=8, depth=12..19, filters=6755, revisions=(93398,useless=86612), wck=0.084, mem=53M9
4.10/2.59 decisions=697, wrong=255, backtracks=130, failedAssignments=133, nogoods=18
4.10/2.59
4.10/2.60 num=9, depth=14..31, filters=7396, revisions=(104862,useless=97435), wck=0.092, mem=53M9
4.10/2.60 decisions=813, wrong=301, backtracks=157, failedAssignments=156, nogoods=21
4.10/2.60
4.43/2.60 num=10, depth=14..27, filters=8221, revisions=(119120,useless=110865), wck=0.1, mem=55M652
4.43/2.60 decisions=928, wrong=350, backtracks=185, failedAssignments=181, nogoods=25
4.43/2.60
4.43/2.61 num=11, depth=11..16, filters=9322, revisions=(135569,useless=126203), wck=0.108, mem=55M652
4.43/2.61 decisions=1034, wrong=397, backtracks=207, failedAssignments=209, nogoods=28
4.43/2.61
4.43/2.62 num=12, depth=15..26, filters=10311, revisions=(151240,useless=140883), wck=0.116, mem=55M652
4.43/2.62 decisions=1154, wrong=449, backtracks=231, failedAssignments=240, nogoods=36
4.43/2.62
4.43/2.63 num=13, depth=9..17, filters=12079, revisions=(174389,useless=162247), wck=0.127, mem=55M652
4.43/2.63 decisions=1282, wrong=505, backtracks=257, failedAssignments=274, nogoods=38
4.43/2.63
4.43/2.64 num=14, depth=6..10, filters=14813, revisions=(195060,useless=180124), wck=0.139, mem=55M652
4.43/2.64 decisions=1378, wrong=550, backtracks=266, failedAssignments=311, nogoods=39
4.43/2.64
4.43/2.65 num=15, depth=12..16, filters=16908, revisions=(219171,useless=202106), wck=0.15, mem=55M652
4.43/2.65 decisions=1521, wrong=615, backtracks=293, failedAssignments=352, nogoods=45
4.43/2.65
4.43/2.66 num=16, depth=16..20, filters=19155, revisions=(247012,useless=227675), wck=0.163, mem=55M652
4.43/2.66 decisions=1689, wrong=691, backtracks=328, failedAssignments=397, nogoods=53
4.43/2.66
4.43/2.68 num=17, depth=12..19, filters=22275, revisions=(279151,useless=256646), wck=0.179, mem=55M652
4.43/2.68 decisions=1853, wrong=765, backtracks=363, failedAssignments=447, nogoods=58
4.43/2.68
4.43/2.69 num=18, depth=13..19, filters=24748, revisions=(308809,useless=283804), wck=0.193, mem=55M652
4.43/2.69 decisions=2039, wrong=851, backtracks=399, failedAssignments=502, nogoods=60
4.43/2.69
4.75/2.71 num=19, depth=14..19, filters=28285, revisions=(346887,useless=318313), wck=0.212, mem=55M652
4.75/2.71 decisions=2252, wrong=950, backtracks=440, failedAssignments=563, nogoods=68
4.75/2.71
4.75/2.73 num=20, depth=13..19, filters=32024, revisions=(384373,useless=351999), wck=0.23, mem=55M652
4.75/2.73 decisions=2456, wrong=1045, backtracks=474, failedAssignments=630, nogoods=71
4.75/2.73
4.75/2.75 num=21, depth=14..18, filters=35085, revisions=(419204,useless=383751), wck=0.246, mem=55M652
4.75/2.75 decisions=2681, wrong=1150, backtracks=512, failedAssignments=704, nogoods=84
4.75/2.75
4.75/2.77 num=22, depth=14..20, filters=38779, revisions=(463327,useless=424150), wck=0.265, mem=55M652
4.75/2.77 decisions=2969, wrong=1287, backtracks=580, failedAssignments=785, nogoods=87
4.75/2.77
4.75/2.79 num=23, depth=16..19, filters=44004, revisions=(516471,useless=471964), wck=0.288, mem=55M652
4.75/2.79 decisions=3250, wrong=1419, backtracks=629, failedAssignments=874, nogoods=113
4.75/2.79
5.03/2.81 num=24, depth=14..19, filters=49226, revisions=(573422,useless=523634), wck=0.313, mem=58M294
5.03/2.81 decisions=3566, wrong=1569, backtracks=701, failedAssignments=972, nogoods=125
5.03/2.81
5.03/2.84 num=25, depth=14..20, filters=54518, revisions=(629580,useless=574402), wck=0.337, mem=58M294
5.03/2.84 decisions=3909, wrong=1733, backtracks=764, failedAssignments=1080, nogoods=133
5.03/2.84
5.03/2.87 num=26, depth=13..20, filters=61524, revisions=(699300,useless=637019), wck=0.367, mem=58M294
5.03/2.87 decisions=4321, wrong=1932, backtracks=857, failedAssignments=1199, nogoods=145
5.03/2.87
5.03/2.90 num=27, depth=14..20, filters=66662, revisions=(763101,useless=695610), wck=0.394, mem=58M294
5.03/2.90 decisions=4794, wrong=2160, backtracks=973, failedAssignments=1330, nogoods=150
5.03/2.90
5.34/2.93 num=28, depth=13..19, filters=74557, revisions=(841230,useless=765756), wck=0.428, mem=58M294
5.34/2.93 decisions=5249, wrong=2380, backtracks=1060, failedAssignments=1474, nogoods=161
5.34/2.93
5.34/2.96 num=29, depth=14..21, filters=81612, revisions=(919065,useless=836444), wck=0.459, mem=58M294
5.34/2.96 decisions=5766, wrong=2631, backtracks=1167, failedAssignments=1632, nogoods=179
5.34/2.96
5.34/2.99 num=30, depth=13..20, filters=89770, revisions=(1008164,useless=917318), wck=0.493, mem=58M294
5.34/2.99 decisions=6297, wrong=2889, backtracks=1270, failedAssignments=1806, nogoods=188
5.34/2.99
5.66/3.04 num=31, depth=14..20, filters=99618, revisions=(1109394,useless=1008597), wck=0.537, mem=60M937
5.66/3.04 decisions=6908, wrong=3187, backtracks=1391, failedAssignments=1997, nogoods=194
5.66/3.04
5.66/3.08 num=32, depth=12..18, filters=112539, revisions=(1231923,useless=1117907), wck=0.583, mem=60M937
5.66/3.08 decisions=7604, wrong=3528, backtracks=1539, failedAssignments=2208, nogoods=211
5.66/3.08
5.96/3.13 num=33, depth=14..20, filters=124870, revisions=(1360735,useless=1234213), wck=0.63, mem=60M937
5.96/3.13 decisions=8380, wrong=3908, backtracks=1717, failedAssignments=2440, nogoods=228
5.96/3.13
5.96/3.18 num=34, depth=13..19, filters=139736, revisions=(1503184,useless=1361526), wck=0.682, mem=63M579
5.96/3.18 decisions=9169, wrong=4295, backtracks=1889, failedAssignments=2695, nogoods=239
5.96/3.18
6.16/3.23 num=35, depth=14..21, filters=154353, revisions=(1651446,useless=1494997), wck=0.734, mem=63M579
6.16/3.23 decisions=10073, wrong=4738, backtracks=2080, failedAssignments=2976, nogoods=251
6.16/3.23
6.16/3.29 num=36, depth=12..18, filters=169939, revisions=(1812363,useless=1640125), wck=0.788, mem=63M579
6.16/3.29 decisions=11082, wrong=5236, backtracks=2299, failedAssignments=3285, nogoods=259
6.16/3.29
6.33/3.36 num=37, depth=13..19, filters=190694, revisions=(2010828,useless=1817473), wck=0.856, mem=66M221
6.33/3.36 decisions=12173, wrong=5775, backtracks=2540, failedAssignments=3625, nogoods=287
6.33/3.36
6.45/3.42 num=38, depth=10..16, filters=208593, revisions=(2196466,useless=1984966), wck=0.92, mem=66M221
6.45/3.42 decisions=13392, wrong=6379, backtracks=2796, failedAssignments=3999, nogoods=299
6.45/3.42
6.55/3.50 num=39, depth=12..18, filters=233233, revisions=(2439595,useless=2203098), wck=1.002, mem=68M864
6.55/3.50 decisions=14758, wrong=7055, backtracks=3100, failedAssignments=4410, nogoods=327
6.55/3.50
6.55/3.58 num=40, depth=13..21, filters=256668, revisions=(2677898,useless=2417594), wck=1.081, mem=68M864
6.55/3.58 decisions=16205, wrong=7771, backtracks=3415, failedAssignments=4862, nogoods=345
6.55/3.58
6.66/3.68 num=41, depth=13..21, filters=283565, revisions=(2963147,useless=2675564), wck=1.174, mem=71M506
6.66/3.68 decisions=17870, wrong=8596, backtracks=3812, failedAssignments=5359, nogoods=366
6.66/3.68
6.77/3.77 num=42, depth=13..20, filters=311738, revisions=(3238306,useless=2922230), wck=1.266, mem=71M506
6.77/3.77 decisions=19638, wrong=9473, backtracks=4192, failedAssignments=5906, nogoods=377
6.77/3.77
6.88/3.88 num=43, depth=11..18, filters=344712, revisions=(3565788,useless=3216239), wck=1.375, mem=74M149
6.88/3.88 decisions=21559, wrong=10426, backtracks=4605, failedAssignments=6508, nogoods=379
6.88/3.88
6.99/3.99 num=44, depth=13..20, filters=378630, revisions=(3911809,useless=3527835), wck=1.489, mem=76M791
6.99/3.99 decisions=23785, wrong=11531, backtracks=5119, failedAssignments=7170, nogoods=400
6.99/3.99
7.21/4.12 num=45, depth=11..19, filters=417592, revisions=(4303484,useless=3879948), wck=1.621, mem=76M791
7.21/4.12 decisions=26250, wrong=12756, backtracks=5693, failedAssignments=7898, nogoods=411
7.21/4.12
7.30/4.27 num=46, depth=11..19, filters=460253, revisions=(4735536,useless=4268704), wck=1.764, mem=79M434
7.30/4.27 decisions=28864, wrong=14056, backtracks=6274, failedAssignments=8699, nogoods=420
7.30/4.27
7.50/4.42 num=47, depth=13..21, filters=505950, revisions=(5213598,useless=4700524), wck=1.921, mem=82M76
7.50/4.42 decisions=31926, wrong=15579, backtracks=7027, failedAssignments=9580, nogoods=429
7.50/4.42
7.60/4.59 num=48, depth=12..21, filters=558281, revisions=(5739528,useless=5173477), wck=2.093, mem=84M719
7.60/4.59 decisions=35098, wrong=17157, backtracks=7773, failedAssignments=10550, nogoods=436
7.60/4.59
7.80/4.78 num=49, depth=12..20, filters=616790, revisions=(6301949,useless=5676729), wck=2.278, mem=90M3
7.80/4.78 decisions=38561, wrong=18881, backtracks=8554, failedAssignments=11617, nogoods=447
7.80/4.78
8.01/4.98 num=50, depth=12..20, filters=676925, revisions=(6901800,useless=6215329), wck=2.475, mem=92M646
8.01/4.98 decisions=42218, wrong=20702, backtracks=9338, failedAssignments=12790, nogoods=454
8.01/4.98
8.22/5.19 num=51, depth=12..21, filters=738557, revisions=(7552699,useless=6803857), wck=2.688, mem=95M288
8.22/5.19 decisions=46291, wrong=22731, backtracks=10253, failedAssignments=14081, nogoods=466
8.22/5.19
8.51/5.45 num=52, depth=11..19, filters=816841, revisions=(8336457,useless=7508259), wck=2.949, mem=100M573
8.51/5.45 decisions=50992, wrong=25075, backtracks=11338, failedAssignments=15501, nogoods=478
8.51/5.45
8.81/5.72 num=53, depth=12..22, filters=893469, revisions=(9150198,useless=8244370), wck=3.216, mem=103M216
8.81/5.72 decisions=56261, wrong=27701, backtracks=12621, failedAssignments=17063, nogoods=492
8.81/5.72
9.12/6.02 num=54, depth=12..20, filters=982127, revisions=(10076928,useless=9081652), wck=3.516, mem=108M501
9.12/6.02 decisions=61865, wrong=30496, backtracks=13929, failedAssignments=18781, nogoods=504
9.12/6.02
9.41/6.36 num=55, depth=12..21, filters=1085836, revisions=(11116122,useless=10015770), wck=3.855, mem=113M785
9.41/6.36 decisions=68037, wrong=33575, backtracks=15416, failedAssignments=20671, nogoods=514
9.41/6.36
9.81/6.72 num=56, depth=12..21, filters=1196326, revisions=(12226010,useless=11013579), wck=4.22, mem=119M70
9.81/6.72 decisions=74721, wrong=36910, backtracks=16957, failedAssignments=22750, nogoods=536
9.81/6.72
10.22/7.14 num=57, depth=11..19, filters=1322409, revisions=(13497541,useless=12157480), wck=4.638, mem=126M998
10.22/7.14 decisions=82234, wrong=40660, backtracks=18723, failedAssignments=25037, nogoods=553
10.22/7.14
10.61/7.56 num=58, depth=12..21, filters=1445248, revisions=(14783084,useless=13318839), wck=5.057, mem=132M282
10.61/7.56 decisions=90546, wrong=44809, backtracks=20731, failedAssignments=27553, nogoods=576
10.61/7.56
11.12/8.05 num=59, depth=11..21, filters=1592007, revisions=(16294246,useless=14681187), wck=5.553, mem=140M210
11.12/8.05 decisions=99760, wrong=49410, backtracks=22955, failedAssignments=30321, nogoods=599
11.12/8.05
11.65/8.58 num=60, depth=12..21, filters=1759203, revisions=(17918823,useless=16135963), wck=6.081, mem=28M911
11.65/8.58 decisions=109368, wrong=54207, backtracks=25113, failedAssignments=33365, nogoods=623
11.65/8.58
12.27/9.14 num=61, depth=11..20, filters=1919420, revisions=(19719163,useless=17774698), wck=6.638, mem=36M601
12.27/9.14 decisions=120902, wrong=59968, backtracks=28014, failedAssignments=36714, nogoods=654
12.27/9.14
12.86/9.72 num=62, depth=12..23, filters=2099317, revisions=(21603005,useless=19476347), wck=7.222, mem=44M290
12.86/9.72 decisions=132810, wrong=65915, backtracks=30786, failedAssignments=40398, nogoods=665
12.86/9.72
13.56/10.41 num=63, depth=11..20, filters=2316473, revisions=(23789566,useless=21442862), wck=7.905, mem=57M106
13.56/10.41 decisions=146062, wrong=72534, backtracks=33953, failedAssignments=44450, nogoods=675
13.56/10.41
14.17/11.08 num=64, depth=10..21, filters=2512973, revisions=(25974394,useless=23428796), wck=8.578, mem=67M358
14.17/11.08 decisions=160921, wrong=79957, backtracks=37595, failedAssignments=48907, nogoods=679
14.17/11.08
15.06/11.91 num=65, depth=11..20, filters=2763689, revisions=(28647708,useless=25848480), wck=9.404, mem=77M611
15.06/11.91 decisions=177581, wrong=88280, backtracks=41753, failedAssignments=53810, nogoods=696
15.06/11.91
15.99/12.81 num=66, depth=12..21, filters=3058264, revisions=(31557154,useless=28458879), wck=10.31, mem=98M195
15.99/12.81 decisions=194804, wrong=96883, backtracks=45701, failedAssignments=59204, nogoods=707
15.99/12.81
16.92/13.74 num=67, depth=9..21, filters=3333568, revisions=(34569396,useless=31192890), wck=11.239, mem=111M11
16.92/13.74 decisions=214699, wrong=106823, backtracks=50469, failedAssignments=65137, nogoods=716
16.92/13.74
18.02/14.82 num=68, depth=12..21, filters=3672806, revisions=(38034488,useless=34312902), wck=12.317, mem=131M516
18.02/14.82 decisions=235926, wrong=117430, backtracks=55314, failedAssignments=71663, nogoods=768
18.02/14.82
19.23/16.05 num=69, depth=10..21, filters=4071544, revisions=(41955714,useless=37829608), wck=13.548, mem=152M22
19.23/16.05 decisions=258935, wrong=128927, backtracks=60474, failedAssignments=78842, nogoods=777
19.23/16.05
20.55/17.34 num=70, depth=11..21, filters=4453391, revisions=(46164101,useless=41652429), wck=14.835, mem=39M229
20.55/17.34 decisions=284863, wrong=141884, backtracks=66696, failedAssignments=86739, nogoods=801
20.55/17.34
21.95/18.78 num=71, depth=11..21, filters=4913924, revisions=(50799198,useless=45819145), wck=16.276, mem=62M380
21.95/18.78 decisions=313270, wrong=156080, backtracks=73182, failedAssignments=95426, nogoods=818
21.95/18.78
23.56/20.35 num=72, depth=10..20, filters=5396746, revisions=(55868743,useless=50399558), wck=17.848, mem=88M104
23.56/20.35 decisions=344596, wrong=171736, backtracks=80585, failedAssignments=104981, nogoods=834
23.56/20.35
25.26/22.10 num=73, depth=11..21, filters=5970221, revisions=(61512735,useless=55461341), wck=19.597, mem=118M973
25.26/22.10 decisions=377923, wrong=188391, backtracks=88139, failedAssignments=115492, nogoods=847
25.26/22.10
27.16/23.97 num=74, depth=10..21, filters=6533071, revisions=(67582961,useless=60961518), wck=21.465, mem=147M269
27.16/23.97 decisions=415915, wrong=207380, backtracks=97162, failedAssignments=127054, nogoods=870
27.16/23.97
29.30/26.04 num=75, depth=10..21, filters=7180026, revisions=(74227133,useless=66950732), wck=23.541, mem=49M425
29.30/26.04 decisions=457619, wrong=228225, backtracks=106782, failedAssignments=139772, nogoods=883
29.30/26.04
31.59/28.38 num=76, depth=11..21, filters=7902225, revisions=(81883766,useless=73876986), wck=25.877, mem=87M18
31.59/28.38 decisions=504789, wrong=251803, backtracks=118465, failedAssignments=153762, nogoods=916
31.59/28.38
34.09/30.83 num=77, depth=10..21, filters=8628702, revisions=(89946786,useless=81206185), wck=28.325, mem=121M478
34.09/30.83 decisions=556403, wrong=277604, backtracks=131433, failedAssignments=169151, nogoods=944
34.09/30.83
36.99/33.70 num=78, depth=10..21, filters=9540706, revisions=(99361594,useless=89698460), wck=31.203, mem=165M337
36.99/33.70 decisions=612859, wrong=305825, backtracks=145272, failedAssignments=186079, nogoods=968
36.99/33.70
40.03/36.78 num=79, depth=11..21, filters=10545567, revisions=(109318701,useless=98635323), wck=34.282, mem=61M430
40.03/36.78 decisions=672403, wrong=335590, backtracks=158942, failedAssignments=204700, nogoods=985
40.03/36.78
43.23/39.98 num=80, depth=10..21, filters=11491771, revisions=(119916381,useless=108277449), wck=37.477, mem=104M687
43.23/39.98 decisions=741232, wrong=369997, backtracks=176114, failedAssignments=225184, nogoods=1023
43.23/39.98
47.03/43.75 num=81, depth=10..21, filters=12672149, revisions=(132234848,useless=119401786), wck=41.248, mem=163M392
47.03/43.75 decisions=816167, wrong=407459, backtracks=194813, failedAssignments=247716, nogoods=1068
47.03/43.75
50.97/47.64 num=82, depth=10..22, filters=13826742, revisions=(144945242,useless=130945920), wck=45.134, mem=63M817
50.97/47.64 decisions=900148, wrong=449443, backtracks=216028, failedAssignments=272501, nogoods=1094
50.97/47.64
55.31/51.71 num=83, depth=11..21, filters=15322162, revisions=(159797818,useless=144281879), wck=49.207, mem=100M291
55.31/51.71 decisions=987503, wrong=493114, backtracks=236198, failedAssignments=299765, nogoods=1121
55.31/51.71
59.31/55.70 num=84, depth=9..20, filters=16882378, revisions=(175978645,useless=158884320), wck=53.198, mem=103M331
59.31/55.70 decisions=1085599, wrong=542155, backtracks=259168, failedAssignments=329755, nogoods=1134
59.31/55.70
63.73/60.17 num=85, depth=10..21, filters=18707438, revisions=(194615383,useless=175675241), wck=57.671, mem=106M371
63.73/60.17 decisions=1194872, wrong=596785, backtracks=285346, failedAssignments=362744, nogoods=1165
63.73/60.17
68.42/64.82 num=86, depth=10..21, filters=20666006, revisions=(214247077,useless=193320558), wck=62.32, mem=109M410
68.42/64.82 decisions=1312120, wrong=655402, backtracks=312671, failedAssignments=399032, nogoods=1180
68.42/64.82
73.52/70.00 num=87, depth=10..22, filters=22750238, revisions=(236473965,useless=213442059), wck=67.497, mem=112M450
73.52/70.00 decisions=1447597, wrong=723134, backtracks=347353, failedAssignments=438949, nogoods=1209
73.52/70.00
79.12/75.54 num=88, depth=10..22, filters=24996833, revisions=(260042883,useless=234736905), wck=73.041, mem=118M529
79.12/75.54 decisions=1592769, wrong=795713, backtracks=382997, failedAssignments=482858, nogoods=1241
79.12/75.54
85.42/81.83 num=89, depth=10..22, filters=27541970, revisions=(286846280,useless=258968735), wck=79.331, mem=121M568
85.42/81.83 decisions=1754884, wrong=876765, backtracks=423733, failedAssignments=531158, nogoods=1280
85.42/81.83
92.03/88.42 num=90, depth=9..21, filters=30078452, revisions=(314908037,useless=284468679), wck=85.917, mem=127M647
92.03/88.42 decisions=1936991, wrong=967811, backtracks=469649, failedAssignments=584288, nogoods=1292
92.03/88.42
99.23/95.62 num=91, depth=9..22, filters=32855491, revisions=(345739788,useless=312496091), wck=93.12, mem=133M727
99.23/95.62 decisions=2134840, wrong=1066729, backtracks=518706, failedAssignments=642731, nogoods=1331
99.23/95.62
107.64/104.04 num=92, depth=9..21, filters=36244303, revisions=(381802427,useless=345135637), wck=101.541, mem=139M806
107.64/104.04 decisions=2351887, wrong=1175244, backtracks=573835, failedAssignments=707018, nogoods=1349
107.64/104.04
116.64/113.01 num=93, depth=9..21, filters=40007089, revisions=(419618063,useless=379133079), wck=110.511, mem=145M885
116.64/113.01 decisions=2579714, wrong=1289151, backtracks=626319, failedAssignments=777734, nogoods=1366
116.64/113.01
126.53/122.98 num=94, depth=9..21, filters=43841214, revisions=(462047432,useless=417690298), wck=120.48, mem=155M3
126.53/122.98 decisions=2844194, wrong=1421384, backtracks=693946, failedAssignments=855521, nogoods=1394
126.53/122.98
136.84/133.29 num=95, depth=9..22, filters=47865297, revisions=(505801801,useless=457378515), wck=130.79, mem=161M83
136.84/133.29 decisions=3132017, wrong=1565289, backtracks=765102, failedAssignments=941087, nogoods=1424
136.84/133.29
148.66/145.06 num=96, depth=9..22, filters=52292566, revisions=(556244458,useless=503350419), wck=142.559, mem=170M201
148.66/145.06 decisions=3453625, wrong=1726087, backtracks=847803, failedAssignments=1035210, nogoods=1444
148.66/145.06
162.28/158.61 num=97, depth=10..22, filters=57931555, revisions=(613030019,useless=554418223), wck=156.105, mem=27M327
162.28/158.61 decisions=3796523, wrong=1897529, backtracks=929303, failedAssignments=1138745, nogoods=1463
162.28/158.61
176.30/172.67 num=98, depth=8..21, filters=63099508, revisions=(673299375,useless=609474935), wck=170.165, mem=39M308
176.30/172.67 decisions=4187050, wrong=2092786, backtracks=1029460, failedAssignments=1252634, nogoods=1471
176.30/172.67
192.50/188.80 num=99, depth=8..22, filters=69478054, revisions=(741110562,useless=670838716), wck=186.3, mem=51M288
192.50/188.80 decisions=4602089, wrong=2300298, backtracks=1129194, failedAssignments=1377912, nogoods=1499
192.50/188.80
209.50/205.88 num=100, depth=8..22, filters=75899373, revisions=(813731306,useless=736971249), wck=203.378, mem=66M264
209.50/205.88 decisions=5065846, wrong=2532170, backtracks=1242925, failedAssignments=1515718, nogoods=1520
209.50/205.88
229.60/225.99 num=101, depth=8..21, filters=83815673, revisions=(898900676,useless=814147293), wck=223.49, mem=81M240
229.60/225.99 decisions=5581600, wrong=2790040, backtracks=1373613, failedAssignments=1667304, nogoods=1530
229.60/225.99
251.50/247.85 num=102, depth=9..22, filters=92868196, revisions=(990867620,useless=896946339), wck=245.35, mem=96M216
251.50/247.85 decisions=6125328, wrong=3061896, backtracks=1501998, failedAssignments=1834049, nogoods=1546
251.50/247.85
274.70/271.07 num=103, depth=9..23, filters=101817250, revisions=(1089404473,useless=986445791), wck=268.567, mem=114M187
274.70/271.07 decisions=6748806, wrong=3373629, backtracks=1661204, failedAssignments=2017468, nogoods=1577
274.70/271.07
300.10/296.41 num=104, depth=8..22, filters=111421865, revisions=(1197209718,useless=1084552584), wck=293.905, mem=135M153
300.10/296.41 decisions=7436657, wrong=3717548, backtracks=1836258, failedAssignments=2219229, nogoods=1611
300.10/296.41
328.00/324.39 num=105, depth=9..23, filters=122274337, revisions=(1315689251,useless=1192060078), wck=321.889, mem=156M119
328.00/324.39 decisions=8191274, wrong=4094850, backtracks=2028862, failedAssignments=2441167, nogoods=1658
328.00/324.39
359.23/355.50 num=106, depth=8..22, filters=133991287, revisions=(1447781608,useless=1312321636), wck=353.0, mem=30M188
359.23/355.50 decisions=9025601, wrong=4512007, backtracks=2243249, failedAssignments=2685298, nogoods=1682
359.23/355.50
393.44/389.78 num=107, depth=8..22, filters=146956587, revisions=(1593685453,useless=1445143589), wck=387.28, mem=56M719
393.44/389.78 decisions=9950407, wrong=4974403, backtracks=2481596, failedAssignments=2953843, nogoods=1698
393.44/389.78
430.86/427.14 num=108, depth=9..22, filters=161513006, revisions=(1752066709,useless=1588810104), wck=424.634, mem=86M198
430.86/427.14 decisions=10950191, wrong=5474287, backtracks=2734253, failedAssignments=3249242, nogoods=1717
430.86/427.14
473.16/469.49 num=109, depth=8..23, filters=177264978, revisions=(1932494174,useless=1753358266), wck=466.992, mem=118M625
473.16/469.49 decisions=12082314, wrong=6040342, backtracks=3037565, failedAssignments=3574181, nogoods=1743
473.16/469.49
518.79/515.07 num=110, depth=9..22, filters=195036827, revisions=(2126272593,useless=1929166922), wck=512.571, mem=156M948
518.79/515.07 decisions=13299640, wrong=6648998, backtracks=3347110, failedAssignments=3931614, nogoods=1774
518.79/515.07
568.91/565.12 num=111, depth=8..22, filters=213728190, revisions=(2339978592,useless=2124020886), wck=562.621, mem=47M507
568.91/565.12 decisions=14662759, wrong=7330550, backtracks=3703646, failedAssignments=4324790, nogoods=1811
568.91/565.12
625.32/621.52 num=112, depth=8..22, filters=235461088, revisions=(2580879479,useless=2342982116), wck=619.02, mem=90M988
625.32/621.52 decisions=16147865, wrong=8073096, backtracks=4088064, failedAssignments=4757284, nogoods=1853
625.32/621.52
685.53/681.70 num=113, depth=9..22, filters=259468043, revisions=(2836590109,useless=2574408630), wck=679.198, mem=137M368
685.53/681.70 decisions=17734396, wrong=8866354, backtracks=4480655, failedAssignments=5233028, nogoods=1882
685.53/681.70
752.86/749.05 num=114, depth=8..22, filters=285541773, revisions=(3123523985,useless=2835013998), wck=746.545, mem=44M239
752.86/749.05 decisions=19522790, wrong=9760544, backtracks=4946742, failedAssignments=5756346, nogoods=1911
752.86/749.05
823.37/819.58 num=115, depth=8..22, filters=311369667, revisions=(3426859473,useless=3112289321), wck=817.08, mem=101M207
823.37/819.58 decisions=21513509, wrong=10755898, backtracks=5465327, failedAssignments=6331996, nogoods=1940
823.37/819.58
905.10/901.29 num=116, depth=7..22, filters=341989532, revisions=(3776075340,useless=3430629202), wck=898.784, mem=24M206
905.10/901.29 decisions=23693975, wrong=11846125, backtracks=6029976, failedAssignments=6965211, nogoods=1968
905.10/901.29
992.80/988.93 num=117, depth=7..22, filters=374462693, revisions=(4149717106,useless=3771504003), wck=986.43, mem=96M682
992.80/988.93 decisions=26123087, wrong=13060674, backtracks=6667546, failedAssignments=7661747, nogoods=1992
992.80/988.93
1092.24/1088.36 num=118, depth=8..22, filters=412378691, revisions=(4574969799,useless=4158498445), wck=1085.857, mem=35M116
1092.24/1088.36 decisions=28797592, wrong=14397920, backtracks=7380579, failedAssignments=8427937, nogoods=2016
1092.24/1088.36
1194.27/1190.36 num=119, depth=7..22, filters=450309609, revisions=(5008437748,useless=4553521439), wck=1187.861, mem=117M301
1194.27/1190.36 decisions=31624276, wrong=15811256, backtracks=8074295, failedAssignments=9270746, nogoods=2063
1194.27/1190.36
1308.20/1304.20 num=120, depth=7..23, filters=492506751, revisions=(5493055446,useless=4995535277), wck=1301.701, mem=70M25
1308.20/1304.20 decisions=34749264, wrong=17373744, backtracks=8855723, failedAssignments=10197836, nogoods=2091
1308.20/1304.20
1439.41/1435.41 num=121, depth=7..22, filters=541434853, revisions=(6051144813,useless=5504274363), wck=1432.911, mem=37M380
1439.41/1435.41 decisions=38258011, wrong=19128110, backtracks=9778747, failedAssignments=11217635, nogoods=2114
1439.41/1435.41
1584.71/1580.76 num=122, depth=8..22, filters=598276376, revisions=(6665781733,useless=6061469136), wck=1578.256, mem=149M108
1584.71/1580.76 decisions=42045934, wrong=21022064, backtracks=10732986, failedAssignments=12339414, nogoods=2150
1584.71/1580.76
1739.65/1735.62 num=123, depth=7..22, filters=656130875, revisions=(7325082832,useless=6662360264), wck=1733.116, mem=136M713
1739.65/1735.62 decisions=46204897, wrong=23101538, backtracks=11781074, failedAssignments=13573371, nogoods=2177
1739.65/1735.62
1915.42/1911.36 num=124, depth=7..22, filters=724134862, revisions=(8067146852,useless=7335691970), wck=1908.862, mem=137M511
1915.42/1911.36 decisions=50788930, wrong=25393547, backtracks=12912912, failedAssignments=14930724, nogoods=2218
1915.42/1911.36
2101.25/2097.18 num=125, depth=8..23, filters=792960736, revisions=(8859874565,useless=8059036790), wck=2094.677, mem=31M482
2101.25/2097.18 decisions=55927727, wrong=27962938, backtracks=14253352, failedAssignments=16423812, nogoods=2244
2101.25/2097.18
2309.37/2305.21 num=126, depth=7..22, filters=871766609, revisions=(9740641979,useless=8860252639), wck=2302.711, mem=73M95
2309.37/2305.21 decisions=61586800, wrong=30792468, backtracks=15706828, failedAssignments=18066209, nogoods=2285
2309.37/2305.21
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 (15403 MiB free)
memory of node 1: 16384 MiB (15508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390667-1568383815/watcher-4390667-1568383815 -o /tmp/evaluation-result-4390667-1568383815/solver-4390667-1568383815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26901 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390667-1568383815.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=28131, runsolver pid=28128
[startup+0.100076 s]*
/proc/loadavg: 2.00 1.95 1.83 5/234 28146
/proc/meminfo: memFree=31637184/32770624 swapFree=67009236/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=27876 CPUtime=0.12 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 5039 0 0 0 11 1 0 0 20 0 15 0 414304199 10915721216 6969 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2664971 6969 2809 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=7747744361495276107 CPUtime=0.08 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26870 0 -1 4202560 2945 0 0 0 8 0 0 0 20 0 15 0 414304200 10915721216 6969 33554432000 4194304 4196468 140720497497552 140168628717840 140168624500118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304202 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168114672544 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168113619952 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) R 28128 28131 26870 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168111516240 140168624498389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) R 28128 28131 26870 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168110462784 140168603909558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) R 28128 28131 26870 0 -1 4202560 304 0 0 0 1 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168109408592 140168624500118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7035 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27876 KiB
[startup+0.211028 s]*
/proc/loadavg: 2.00 1.95 1.83 2/234 28146
/proc/meminfo: memFree=31632868/32770624 swapFree=67009236/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=31524 CPUtime=0.21 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 5906 0 0 0 20 1 0 0 20 0 15 0 414304199 10915721216 7881 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2664971 7881 2909 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=8389772277269004345 CPUtime=0.13 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) D 28128 28131 26870 0 -1 4202560 3083 0 0 0 12 1 0 0 20 0 15 0 414304200 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168628720112 140168624510109 0 4 0 16800975 18446744072100895877 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=139722265381857 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304202 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168114672544 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168113619952 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 631 0 0 0 1 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0.04 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 653 0 0 0 4 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 7881 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 31524 KiB
[startup+0.34548 s]*
/proc/loadavg: 2.00 1.95 1.83 3/234 28146
/proc/meminfo: memFree=31629856/32770624 swapFree=67009236/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=35388 CPUtime=0.35 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 6502 0 0 0 34 1 0 0 20 0 15 0 414304199 10915721216 8847 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2664971 8847 2989 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=8389772277269004345 CPUtime=0.23 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26870 0 -1 4202560 3440 0 0 0 22 1 0 0 20 0 15 0 414304200 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168628714544 140168624510109 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=139722264731270 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304202 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168114672544 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168113619952 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 792 0 0 0 3 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0.05 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 658 0 0 0 5 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139722262509184 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 8847 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35388 KiB
[startup+0.702704 s]
/proc/loadavg: 2.00 1.95 1.83 6/234 28146
/proc/meminfo: memFree=31619864/32770624 swapFree=67009236/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=54644 CPUtime=0.95 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 11862 0 0 0 90 5 0 0 20 0 15 0 414304199 10915721216 13661 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2664971 13661 3058 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=13948 CPUtime=0.57 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) D 28128 28131 26870 0 -1 1077944384 7970 0 0 0 54 3 0 0 20 0 15 0 414304200 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168628721024 140168624512061 0 4 0 16800975 18446744072101637668 0 0 -1 0 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=520 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=928 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304202 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=896 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168114672544 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414304203 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168113619952 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=2452 CPUtime=0.12 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 1083 0 0 0 12 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=7302135314614015840 CPUtime=0.08 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 499 0 0 0 8 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=6008736850375175280 CPUtime=0.15 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 950 0 0 0 15 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=10 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304206 10915721216 13661 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 54644 KiB
[startup+1.50078 s]
/proc/loadavg: 2.00 1.95 1.83 3/234 28146
/proc/meminfo: memFree=31599412/32770624 swapFree=67009236/67108860
[pid=28131] ppid=28128 vsize=10663980 memory=71852 CPUtime=1.87 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 17108 0 0 0 181 6 0 0 20 0 15 0 414304199 10919915520 17963 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2665995 17963 3088 1 0 2628492 0
[pid=28131/tid=28133] ppid=28128 vsize=10663980 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26870 0 -1 4202560 12120 0 0 0 133 4 0 0 20 0 15 0 414304200 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168628716048 140168608568670 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10663980 memory=7235138807209225321 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10663980 memory=7235138807209225321 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414304201 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10663980 memory=7235138807209225321 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414304201 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10663980 memory=7235138807209225321 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414304202 10919915520 17963 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
################
# More data... #
################
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2429 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.06 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 4796 0 0 0 4 2 0 0 20 0 16 0 414304202 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168114672608 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168113619968 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.46 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 8926 0 0 0 145 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=1696 CPUtime=1.43 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 10688 0 0 0 142 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.73 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 8189 0 0 0 71 2 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.63 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 1542 0 0 0 26 37 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28147] ppid=28128 vsize=10748324 memory=984 CPUtime=2439.72 cores=0,2,4,6
/proc/28131/task/28147/stat : 28147 (java) R 28128 28131 26870 0 -1 4202560 18432 0 0 0 243967 5 0 0 20 0 16 0 414304401 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168090644048 140168227527176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 2446.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285052 KiB
[startup+2502.3 s]
/proc/loadavg: 1.91 1.95 1.95 3/235 28622
/proc/meminfo: memFree=30785936/32770624 swapFree=67009252/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=285052 CPUtime=2506.47 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 80771 0 0 0 250603 44 0 0 20 0 16 0 414304199 11006283776 71263 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2687081 71263 3369 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=1188 CPUtime=1.88 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26870 0 -1 1077944384 14618 0 0 0 183 5 0 0 20 0 16 0 414304200 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168628731056 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 4604 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 2714 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.12 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 2275 0 0 0 11 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2429 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.06 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 4803 0 0 0 4 2 0 0 20 0 16 0 414304202 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168114672608 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168113619968 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.46 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 8929 0 0 0 145 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.43 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 10690 0 0 0 142 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.73 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 8191 0 0 0 71 2 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=279444262912592 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=3472 CPUtime=0.65 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 1572 0 0 0 27 38 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28147] ppid=28128 vsize=10748324 memory=17092 CPUtime=2499.7 cores=0,2,4,6
/proc/28131/task/28147/stat : 28147 (java) R 28128 28131 26870 0 -1 4202560 18515 0 0 0 249965 5 0 0 20 0 16 0 414304401 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168090644048 140168228250513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 2506.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 1.85 1.93 1.95 3/235 28622
/proc/meminfo: memFree=30823364/32770624 swapFree=67009252/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=285052 CPUtime=2520.07 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 80779 0 0 0 251963 44 0 0 20 0 16 0 414304199 11006283776 71263 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2687081 71263 3369 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.88 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26870 0 -1 1077944384 14618 0 0 0 183 5 0 0 20 0 16 0 414304200 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168628731056 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 4604 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 2714 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.12 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 2275 0 0 0 11 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2429 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.06 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 4803 0 0 0 4 2 0 0 20 0 16 0 414304202 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168114672608 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168113619968 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.46 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 8929 0 0 0 145 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 10690 0 0 0 142 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.73 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 8191 0 0 0 71 2 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=776 CPUtime=0.65 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 1574 0 0 0 27 38 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28147] ppid=28128 vsize=10748324 memory=4004 CPUtime=2513.3 cores=0,2,4,6
/proc/28131/task/28147/stat : 28147 (java) R 28128 28131 26870 0 -1 4202560 18521 0 0 0 251325 5 0 0 20 0 16 0 414304401 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168090644048 140168227526057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.91 s]
# the end of solver process 28131 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.446012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 1.85 1.93 1.95 3/235 28622
/proc/meminfo: memFree=30823364/32770624 swapFree=67009252/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=285052 CPUtime=2520.07 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26870 0 -1 1077944320 80779 0 0 0 251963 44 0 0 20 0 16 0 414304199 11006283776 71263 33554432000 4194304 4196468 140720497497552 140720497480096 140168624488183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
/proc/28131/statm: 2687081 71263 3369 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.88 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26870 0 -1 1077944384 14618 0 0 0 183 5 0 0 20 0 16 0 414304200 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168628731056 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26870 0 -1 1077944384 4604 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168550562576 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26870 0 -1 1077944384 2714 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168549510032 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.12 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26870 0 -1 1077944384 2275 0 0 0 11 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168548457488 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.11 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26870 0 -1 1077944384 2429 0 0 0 10 1 0 0 20 0 16 0 414304201 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168547404944 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.06 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26870 0 -1 1077944384 4803 0 0 0 4 2 0 0 20 0 16 0 414304202 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168115726320 140168624499330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26870 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168114672608 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26870 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414304203 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168113619968 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=285052 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168112568528 140168624506779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=285052 CPUtime=1.46 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26870 0 -1 1077944384 8929 0 0 0 145 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168111516144 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26870 0 -1 1077944384 10690 0 0 0 142 1 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168110463600 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=285052 CPUtime=0.73 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26870 0 -1 1077944384 8191 0 0 0 71 2 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168109411056 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168108358752 140168624498389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=776 CPUtime=0.65 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26870 0 -1 1077944384 1574 0 0 0 27 38 0 0 20 0 16 0 414304206 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168107305264 140168624499330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
[pid=28131/tid=28147] ppid=28128 vsize=10748324 memory=4004 CPUtime=2513.3 cores=0,2,4,6
/proc/28131/task/28147/stat : 28147 (java) R 28128 28131 26870 0 -1 4202560 18521 0 0 0 251325 5 0 0 20 0 16 0 414304401 11006283776 71263 33554432000 4194304 4196468 140720497497552 140168090644048 140168227526057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16908288 140720497501195 140720497501298 140720497501298 140720497504207 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285052 KiB
Child status: 143
Real time (s): 2515.91
CPU time (s): 2520.09
CPU user time (s): 2519.65
CPU system time (s): 0.446012
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 10750300
Max. memory (cumulated for all children) (KiB): 304988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.446012
maximum resident set size= 304988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57911
involuntary context switches= 1942
# summary of solver processes directly reported to runsolver:
# pid: 28131
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.446012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7187 second user time and 20.2459 second system time
The end