2.52/1.92
2.52/1.92 AbsCon 2
2.52/1.94
3.06/2.20 Instance
3.06/2.20 name=instance-4390618-1568383945, framework=CSP
3.06/2.20
3.06/2.20 Loading variables...
3.39/2.23 Loading constraints...
3.72/2.39
3.72/2.39 Domains
3.72/2.39 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.72/2.39 Variables
3.72/2.39 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.72/2.39 Constraints
3.72/2.39 count=1261, arities=[2#1261]
3.72/2.39 distribution=[CtrExtensionV-Bits#1261]
3.72/2.39 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.72/2.39 wck=0.492, cpu=2.321, mem=39M724
3.72/2.39 Solver SolverBacktrack being built...
3.72/2.39
4.03/2.42
4.03/2.42 Solver
4.03/2.42 guaranteedGAC=true
4.03/2.42 wck=0.523, cpu=2.35, mem=50M366
4.03/2.43
4.03/2.43 Preprocessing
4.03/2.43 filters=150, revisions=(2313,useless=2145), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
4.03/2.43 wck=0.008, cpu=2.36, mem=50M366
4.03/2.43
4.03/2.44 num=0, depth=25..31, filters=962, revisions=(11793,useless=10813), wck=0.021, mem=50M366
4.03/2.44 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
4.03/2.44
4.03/2.44 num=1, depth=26..37, filters=1640, revisions=(19934,useless=18276), wck=0.027, mem=50M366
4.03/2.44 decisions=135, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
4.03/2.44
4.03/2.45 num=2, depth=18..25, filters=2310, revisions=(29883,useless=27555), wck=0.034, mem=50M366
4.03/2.45 decisions=201, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.03/2.45
4.03/2.47 num=3, depth=24..37, filters=2938, revisions=(38407,useless=35451), wck=0.053, mem=50M366
4.03/2.47 decisions=277, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.03/2.47
4.03/2.48 num=4, depth=10..24, filters=3737, revisions=(48118,useless=44363), wck=0.059, mem=50M366
4.03/2.48 decisions=343, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.03/2.48
4.03/2.48 num=5, depth=16..32, filters=4496, revisions=(58288,useless=53774), wck=0.065, mem=50M366
4.03/2.48 decisions=423, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.03/2.48
4.03/2.49 num=6, depth=13..37, filters=5461, revisions=(70921,useless=65435), wck=0.073, mem=50M366
4.03/2.49 decisions=521, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.03/2.49
4.03/2.50 num=7, depth=12..24, filters=6241, revisions=(83663,useless=77389), wck=0.079, mem=50M366
4.03/2.50 decisions=617, wrong=224, backtracks=117, failedAssignments=112, nogoods=11
4.03/2.50
4.35/2.50 num=8, depth=12..21, filters=7174, revisions=(97446,useless=90232), wck=0.085, mem=50M366
4.35/2.50 decisions=712, wrong=264, backtracks=139, failedAssignments=133, nogoods=15
4.35/2.50
4.35/2.51 num=9, depth=13..28, filters=7885, revisions=(109566,useless=101639), wck=0.091, mem=50M366
4.35/2.51 decisions=811, wrong=307, backtracks=160, failedAssignments=156, nogoods=18
4.35/2.51
4.35/2.51 num=10, depth=11..29, filters=8483, revisions=(121059,useless=112534), wck=0.096, mem=53M9
4.35/2.51 decisions=914, wrong=353, backtracks=184, failedAssignments=181, nogoods=19
4.35/2.51
4.35/2.52 num=11, depth=11..16, filters=9601, revisions=(137932,useless=128284), wck=0.103, mem=53M9
4.35/2.52 decisions=1027, wrong=404, backtracks=208, failedAssignments=209, nogoods=20
4.35/2.52
4.35/2.53 num=12, depth=10..16, filters=10769, revisions=(153975,useless=143149), wck=0.109, mem=53M9
4.35/2.53 decisions=1137, wrong=453, backtracks=227, failedAssignments=240, nogoods=25
4.35/2.53
4.35/2.53 num=13, depth=13..16, filters=12511, revisions=(174085,useless=161508), wck=0.117, mem=53M9
4.35/2.53 decisions=1244, wrong=500, backtracks=242, failedAssignments=274, nogoods=36
4.35/2.53
4.35/2.54 num=14, depth=11..19, filters=14196, revisions=(196318,useless=182053), wck=0.125, mem=53M9
4.35/2.54 decisions=1383, wrong=562, backtracks=268, failedAssignments=311, nogoods=42
4.35/2.54
4.35/2.55 num=15, depth=13..19, filters=17291, revisions=(226345,useless=208920), wck=0.136, mem=53M9
4.35/2.55 decisions=1536, wrong=632, backtracks=297, failedAssignments=352, nogoods=46
4.35/2.55
4.35/2.56 num=16, depth=15..19, filters=19438, revisions=(250906,useless=231282), wck=0.146, mem=53M9
4.35/2.56 decisions=1678, wrong=695, backtracks=320, failedAssignments=397, nogoods=59
4.35/2.56
4.35/2.57 num=17, depth=14..18, filters=21860, revisions=(278609,useless=256526), wck=0.157, mem=53M9
4.35/2.57 decisions=1830, wrong=764, backtracks=346, failedAssignments=447, nogoods=68
4.35/2.57
4.35/2.58 num=18, depth=11..18, filters=24692, revisions=(310225,useless=285265), wck=0.168, mem=53M9
4.35/2.58 decisions=2015, wrong=848, backtracks=384, failedAssignments=502, nogoods=70
4.35/2.58
4.62/2.60 num=19, depth=17..22, filters=27970, revisions=(349554,useless=321280), wck=0.181, mem=53M9
4.62/2.60 decisions=2255, wrong=958, backtracks=440, failedAssignments=563, nogoods=75
4.62/2.60
4.62/2.61 num=20, depth=14..20, filters=30883, revisions=(386119,useless=354923), wck=0.194, mem=53M9
4.62/2.61 decisions=2474, wrong=1060, backtracks=487, failedAssignments=630, nogoods=78
4.62/2.61
4.62/2.62 num=21, depth=12..17, filters=33591, revisions=(423847,useless=389912), wck=0.206, mem=53M9
4.62/2.62 decisions=2760, wrong=1196, backtracks=551, failedAssignments=704, nogoods=82
4.62/2.62
4.62/2.64 num=22, depth=12..19, filters=36676, revisions=(465500,useless=428440), wck=0.221, mem=53M9
4.62/2.64 decisions=3073, wrong=1343, backtracks=621, failedAssignments=785, nogoods=95
4.62/2.64
4.62/2.65 num=23, depth=13..20, filters=41238, revisions=(511917,useless=470233), wck=0.237, mem=53M9
4.62/2.65 decisions=3354, wrong=1476, backtracks=671, failedAssignments=874, nogoods=101
4.62/2.65
4.62/2.67 num=24, depth=14..21, filters=47240, revisions=(571300,useless=523516), wck=0.257, mem=53M9
4.62/2.67 decisions=3660, wrong=1621, backtracks=728, failedAssignments=972, nogoods=106
4.62/2.67
4.73/2.70 num=25, depth=15..20, filters=54084, revisions=(637791,useless=583008), wck=0.279, mem=55M651
4.73/2.70 decisions=4004, wrong=1785, backtracks=799, failedAssignments=1080, nogoods=113
4.73/2.70
4.73/2.72 num=26, depth=14..20, filters=59702, revisions=(696366,useless=635894), wck=0.3, mem=55M651
4.73/2.72 decisions=4374, wrong=1962, backtracks=877, failedAssignments=1199, nogoods=124
4.73/2.72
4.73/2.74 num=27, depth=15..20, filters=67534, revisions=(777068,useless=708609), wck=0.327, mem=55M651
4.73/2.74 decisions=4791, wrong=2162, backtracks=966, failedAssignments=1330, nogoods=134
4.73/2.74
4.73/2.77 num=28, depth=15..21, filters=75751, revisions=(860317,useless=783504), wck=0.355, mem=55M651
4.73/2.77 decisions=5264, wrong=2390, backtracks=1066, failedAssignments=1474, nogoods=146
4.73/2.77
4.84/2.80 num=29, depth=15..21, filters=81967, revisions=(938002,useless=854881), wck=0.382, mem=55M651
4.84/2.80 decisions=5832, wrong=2666, backtracks=1215, failedAssignments=1632, nogoods=154
4.84/2.80
4.84/2.83 num=30, depth=15..21, filters=91885, revisions=(1036159,useless=942975), wck=0.414, mem=55M651
4.84/2.83 decisions=6384, wrong=2934, backtracks=1333, failedAssignments=1806, nogoods=166
4.84/2.83
4.84/2.87 num=31, depth=13..20, filters=102289, revisions=(1145091,useless=1041383), wck=0.451, mem=58M294
4.84/2.87 decisions=7029, wrong=3249, backtracks=1475, failedAssignments=1997, nogoods=173
4.84/2.87
4.95/2.91 num=32, depth=12..18, filters=113428, revisions=(1260405,useless=1145430), wck=0.49, mem=58M294
4.95/2.91 decisions=7708, wrong=3581, backtracks=1618, failedAssignments=2208, nogoods=186
4.95/2.91
4.95/2.95 num=33, depth=13..19, filters=126028, revisions=(1385259,useless=1257417), wck=0.532, mem=58M294
4.95/2.95 decisions=8427, wrong=3933, backtracks=1758, failedAssignments=2440, nogoods=203
4.95/2.95
4.95/3.00 num=34, depth=14..21, filters=140405, revisions=(1528340,useless=1385936), wck=0.578, mem=60M936
4.95/3.00 decisions=9240, wrong=4332, backtracks=1942, failedAssignments=2695, nogoods=217
4.95/3.00
5.08/3.04 num=35, depth=14..21, filters=152415, revisions=(1657602,useless=1503072), wck=0.622, mem=60M936
5.08/3.04 decisions=10128, wrong=4768, backtracks=2119, failedAssignments=2976, nogoods=229
5.08/3.04
5.08/3.10 num=36, depth=16..23, filters=168622, revisions=(1829260,useless=1658293), wck=0.679, mem=60M936
5.08/3.10 decisions=11236, wrong=5313, backtracks=2392, failedAssignments=3285, nogoods=235
5.08/3.10
5.29/3.16 num=37, depth=11..18, filters=188362, revisions=(2003331,useless=1812277), wck=0.739, mem=63M579
5.29/3.16 decisions=12249, wrong=5813, backtracks=2576, failedAssignments=3625, nogoods=256
5.29/3.16
5.42/3.21 num=38, depth=13..21, filters=204860, revisions=(2181158,useless=1973420), wck=0.797, mem=63M579
5.42/3.21 decisions=13481, wrong=6421, backtracks=2849, failedAssignments=3999, nogoods=269
5.42/3.21
5.42/3.29 num=39, depth=12..20, filters=227734, revisions=(2399835,useless=2168865), wck=0.871, mem=66M221
5.42/3.29 decisions=14770, wrong=7058, backtracks=3124, failedAssignments=4410, nogoods=276
5.42/3.29
5.54/3.36 num=40, depth=13..22, filters=249527, revisions=(2639224,useless=2386177), wck=0.947, mem=66M221
5.54/3.36 decisions=16334, wrong=7832, backtracks=3494, failedAssignments=4862, nogoods=285
5.54/3.36
5.64/3.46 num=41, depth=12..20, filters=278309, revisions=(2927005,useless=2644700), wck=1.039, mem=68M864
5.64/3.46 decisions=17950, wrong=8633, backtracks=3858, failedAssignments=5359, nogoods=302
5.64/3.46
5.74/3.54 num=42, depth=14..20, filters=303190, revisions=(3188734,useless=2881247), wck=1.123, mem=68M864
5.74/3.54 decisions=19651, wrong=9475, backtracks=4226, failedAssignments=5906, nogoods=314
5.74/3.54
5.84/3.65 num=43, depth=12..20, filters=335108, revisions=(3521201,useless=3181321), wck=1.229, mem=71M506
5.84/3.65 decisions=21647, wrong=10466, backtracks=4699, failedAssignments=6508, nogoods=330
5.84/3.65
5.94/3.76 num=44, depth=14..21, filters=370906, revisions=(3872373,useless=3495925), wck=1.341, mem=74M148
5.94/3.76 decisions=23751, wrong=11510, backtracks=5140, failedAssignments=7170, nogoods=343
5.94/3.76
6.05/3.86 num=45, depth=12..21, filters=402663, revisions=(4203731,useless=3795237), wck=1.446, mem=74M148
6.05/3.86 decisions=26083, wrong=12669, backtracks=5654, failedAssignments=7898, nogoods=355
6.05/3.86
6.15/4.00 num=46, depth=14..22, filters=444213, revisions=(4633854,useless=4183105), wck=1.583, mem=76M791
6.15/4.00 decisions=28664, wrong=13952, backtracks=6246, failedAssignments=8699, nogoods=380
6.15/4.00
6.36/4.16 num=47, depth=12..20, filters=494456, revisions=(5117988,useless=4616141), wck=1.739, mem=79M433
6.36/4.16 decisions=31509, wrong=15368, backtracks=6875, failedAssignments=9580, nogoods=392
6.36/4.16
6.55/4.32 num=48, depth=12..20, filters=543740, revisions=(5631190,useless=5079454), wck=1.9, mem=82M76
6.55/4.32 decisions=34673, wrong=16942, backtracks=7604, failedAssignments=10550, nogoods=405
6.55/4.32
6.81/4.51 num=49, depth=12..21, filters=604029, revisions=(6228342,useless=5615435), wck=2.095, mem=84M718
6.81/4.51 decisions=38171, wrong=18683, backtracks=8422, failedAssignments=11617, nogoods=416
6.81/4.51
7.01/4.70 num=50, depth=12..21, filters=661506, revisions=(6840260,useless=6169268), wck=2.287, mem=90M3
7.01/4.70 decisions=42091, wrong=20636, backtracks=9362, failedAssignments=12790, nogoods=419
7.01/4.70
7.21/4.93 num=51, depth=11..21, filters=729991, revisions=(7543304,useless=6802844), wck=2.511, mem=92M645
7.21/4.93 decisions=46383, wrong=22775, backtracks=10372, failedAssignments=14081, nogoods=423
7.21/4.93
7.42/5.16 num=52, depth=13..21, filters=800514, revisions=(8266725,useless=7454695), wck=2.74, mem=95M288
7.42/5.16 decisions=51053, wrong=25102, backtracks=11434, failedAssignments=15501, nogoods=440
7.42/5.16
7.71/5.42 num=53, depth=12..21, filters=879789, revisions=(9097127,useless=8204857), wck=3.001, mem=100M573
7.71/5.42 decisions=56108, wrong=27621, backtracks=12618, failedAssignments=17063, nogoods=453
7.71/5.42
8.02/5.71 num=54, depth=13..21, filters=973768, revisions=(10007358,useless=9019580), wck=3.289, mem=105M858
8.02/5.71 decisions=61521, wrong=30319, backtracks=13782, failedAssignments=18781, nogoods=470
8.02/5.71
8.33/6.04 num=55, depth=11..20, filters=1079828, revisions=(11049517,useless=9954178), wck=3.621, mem=111M143
8.33/6.04 decisions=67497, wrong=33300, backtracks=15093, failedAssignments=20671, nogoods=474
8.33/6.04
8.72/6.40 num=56, depth=14..22, filters=1198465, revisions=(12185551,useless=10969696), wck=3.981, mem=119M70
8.72/6.40 decisions=74099, wrong=36593, backtracks=16559, failedAssignments=22750, nogoods=501
8.72/6.40
9.02/6.75 num=57, depth=11..20, filters=1308910, revisions=(13321559,useless=11993874), wck=4.338, mem=124M355
9.02/6.75 decisions=81108, wrong=40091, backtracks=18009, failedAssignments=25037, nogoods=515
9.02/6.75
9.43/7.19 num=58, depth=12..21, filters=1445957, revisions=(14698960,useless=13232300), wck=4.772, mem=132M282
9.43/7.19 decisions=89386, wrong=44223, backtracks=19962, failedAssignments=27553, nogoods=532
9.43/7.19
9.92/7.66 num=59, depth=12..21, filters=1595416, revisions=(16182247,useless=14563696), wck=5.243, mem=140M209
9.92/7.66 decisions=98372, wrong=48707, backtracks=22026, failedAssignments=30321, nogoods=551
9.92/7.66
10.47/8.14 num=60, depth=11..21, filters=1740282, revisions=(17691401,useless=15926320), wck=5.72, mem=26M368
10.47/8.14 decisions=108341, wrong=53684, backtracks=24332, failedAssignments=33365, nogoods=560
10.47/8.14
10.97/8.65 num=61, depth=13..24, filters=1901596, revisions=(19401587,useless=17473341), wck=6.228, mem=34M136
10.97/8.65 decisions=119441, wrong=59227, backtracks=26959, failedAssignments=36714, nogoods=585
10.97/8.65
11.57/9.24 num=62, depth=11..20, filters=2089247, revisions=(21374549,useless=19256457), wck=6.82, mem=44M495
11.57/9.24 decisions=132012, wrong=65505, backtracks=29986, failedAssignments=40398, nogoods=591
11.57/9.24
12.17/9.88 num=63, depth=13..23, filters=2301019, revisions=(23504991,useless=21171893), wck=7.462, mem=57M443
12.17/9.88 decisions=145004, wrong=71993, backtracks=32935, failedAssignments=44450, nogoods=614
12.17/9.88
12.87/10.57 num=64, depth=11..21, filters=2512841, revisions=(25845659,useless=23298393), wck=8.155, mem=67M801
12.87/10.57 decisions=159955, wrong=79462, backtracks=36614, failedAssignments=48907, nogoods=625
12.87/10.57
13.68/11.33 num=65, depth=11..21, filters=2750097, revisions=(28381899,useless=25594239), wck=8.909, mem=80M749
13.68/11.33 decisions=176190, wrong=87572, backtracks=40496, failedAssignments=53810, nogoods=634
13.68/11.33
14.50/12.19 num=66, depth=11..21, filters=3037195, revisions=(31225808,useless=28147489), wck=9.769, mem=96M286
14.50/12.19 decisions=193344, wrong=96143, backtracks=44352, failedAssignments=59204, nogoods=664
14.50/12.19
15.52/13.15 num=67, depth=12..21, filters=3366683, revisions=(34441266,useless=31028529), wck=10.732, mem=114M413
15.52/13.15 decisions=212142, wrong=105534, backtracks=48564, failedAssignments=65137, nogoods=685
15.52/13.15
16.52/14.15 num=68, depth=10..20, filters=3679978, revisions=(37758454,useless=34028182), wck=11.729, mem=129M951
16.52/14.15 decisions=233474, wrong=116193, backtracks=53445, failedAssignments=71663, nogoods=702
16.52/14.15
17.61/15.25 num=69, depth=11..22, filters=4027893, revisions=(41452581,useless=37370450), wck=12.831, mem=148M78
17.61/15.25 decisions=256982, wrong=127940, backtracks=59126, failedAssignments=78842, nogoods=715
17.61/15.25
18.94/16.54 num=70, depth=10..20, filters=4438939, revisions=(45732194,useless=41233931), wck=14.126, mem=39M519
18.94/16.54 decisions=283216, wrong=141051, backtracks=65443, failedAssignments=86739, nogoods=731
18.94/16.54
20.24/17.89 num=71, depth=11..22, filters=4870486, revisions=(50244285,useless=45308793), wck=15.476, mem=60M383
20.24/17.89 decisions=312429, wrong=155650, backtracks=72481, failedAssignments=95426, nogoods=740
20.24/17.89
21.84/19.44 num=72, depth=10..21, filters=5350160, revisions=(55468587,useless=50048503), wck=17.02, mem=86M464
21.84/19.44 decisions=345164, wrong=172011, backtracks=80800, failedAssignments=104981, nogoods=752
21.84/19.44
23.45/21.08 num=73, depth=11..22, filters=5875360, revisions=(61003882,useless=55053027), wck=18.661, mem=112M545
23.45/21.08 decisions=379561, wrong=189203, backtracks=89166, failedAssignments=115492, nogoods=770
23.45/21.08
25.35/22.98 num=74, depth=11..21, filters=6503191, revisions=(67362838,useless=60776315), wck=20.565, mem=146M450
25.35/22.98 decisions=417863, wrong=208347, backtracks=98510, failedAssignments=127054, nogoods=811
25.35/22.98
27.38/24.99 num=75, depth=10..21, filters=7161430, revisions=(74047381,useless=66791305), wck=22.578, mem=49M591
27.38/24.99 decisions=459139, wrong=228978, backtracks=107637, failedAssignments=139772, nogoods=827
27.38/24.99
29.60/27.14 num=76, depth=10..22, filters=7811063, revisions=(81298353,useless=73385601), wck=24.718, mem=84M244
29.60/27.14 decisions=506566, wrong=252684, backtracks=119186, failedAssignments=153762, nogoods=843
29.60/27.14
32.09/29.61 num=77, depth=11..21, filters=8631812, revisions=(89626634,useless=80882215), wck=27.198, mem=128M349
32.09/29.61 decisions=557005, wrong=277896, backtracks=131201, failedAssignments=169151, nogoods=858
32.09/29.61
34.60/32.19 num=78, depth=9..21, filters=9405403, revisions=(98346488,useless=88820389), wck=29.77, mem=166M153
34.60/32.19 decisions=613877, wrong=306324, backtracks=145309, failedAssignments=186079, nogoods=883
34.60/32.19
37.71/35.20 num=79, depth=8..20, filters=10347474, revisions=(108222836,useless=97743110), wck=32.781, mem=58M510
37.71/35.20 decisions=676064, wrong=337412, backtracks=160008, failedAssignments=204700, nogoods=904
37.71/35.20
41.11/38.62 num=80, depth=10..21, filters=11463986, revisions=(119672647,useless=108063484), wck=36.199, mem=117M356
41.11/38.62 decisions=744151, wrong=371449, backtracks=176635, failedAssignments=225184, nogoods=925
41.11/38.62
44.52/42.06 num=81, depth=11..22, filters=12554256, revisions=(131173544,useless=118460087), wck=39.643, mem=173M105
44.52/42.06 decisions=817904, wrong=408318, backtracks=194450, failedAssignments=247716, nogoods=939
44.52/42.06
48.45/45.97 num=82, depth=10..21, filters=13781392, revisions=(144311642,useless=130358353), wck=43.553, mem=79M48
48.45/45.97 decisions=900238, wrong=449478, backtracks=214639, failedAssignments=272501, nogoods=958
48.45/45.97
53.05/50.50 num=83, depth=10..21, filters=15262920, revisions=(159456853,useless=144003117), wck=48.084, mem=158M100
53.05/50.50 decisions=990470, wrong=494588, backtracks=236525, failedAssignments=299765, nogoods=994
53.05/50.50
57.89/55.39 num=84, depth=11..21, filters=16870325, revisions=(175793514,useless=158709720), wck=52.973, mem=90M127
57.89/55.39 decisions=1089010, wrong=543850, backtracks=259965, failedAssignments=329755, nogoods=1017
57.89/55.39
63.32/60.70 num=85, depth=9..21, filters=18550974, revisions=(193459587,useless=174675460), wck=58.285, mem=33M6
63.32/60.70 decisions=1198702, wrong=598690, backtracks=286036, failedAssignments=362744, nogoods=1027
63.32/60.70
68.92/66.36 num=86, depth=9..22, filters=20280397, revisions=(212618391,useless=192086187), wck=63.94, mem=118M326
68.92/66.36 decisions=1318718, wrong=658691, backtracks=314867, failedAssignments=399032, nogoods=1049
68.92/66.36
75.45/72.82 num=87, depth=10..21, filters=22452293, revisions=(234142997,useless=211408206), wck=70.406, mem=90M734
75.45/72.82 decisions=1445904, wrong=722277, backtracks=343940, failedAssignments=438949, nogoods=1052
75.45/72.82
82.36/79.75 num=88, depth=9..21, filters=24626532, revisions=(257440871,useless=232510611), wck=77.332, mem=49M710
82.36/79.75 decisions=1593137, wrong=795887, backtracks=380361, failedAssignments=482858, nogoods=1064
82.36/79.75
89.97/87.39 num=89, depth=10..21, filters=26995717, revisions=(283226987,useless=255903927), wck=84.972, mem=26M888
89.97/87.39 decisions=1754872, wrong=876747, backtracks=421172, failedAssignments=531158, nogoods=1090
89.97/87.39
97.88/95.23 num=90, depth=8..22, filters=29286922, revisions=(309723967,useless=280089308), wck=92.815, mem=141M198
97.88/95.23 decisions=1939017, wrong=968812, backtracks=468314, failedAssignments=584288, nogoods=1111
97.88/95.23
107.09/104.45 num=91, depth=10..22, filters=32121653, revisions=(340613657,useless=308110634), wck=102.03, mem=147M203
107.09/104.45 decisions=2140390, wrong=1069491, backtracks=519413, failedAssignments=642731, nogoods=1124
107.09/104.45
117.50/114.89 num=92, depth=9..22, filters=35357450, revisions=(376011573,useless=340240204), wck=112.471, mem=31M922
117.50/114.89 decisions=2358974, wrong=1178776, backtracks=574787, failedAssignments=707018, nogoods=1151
117.50/114.89
128.31/125.63 num=93, depth=8..21, filters=38564076, revisions=(412131156,useless=373124221), wck=123.209, mem=57M895
128.31/125.63 decisions=2599767, wrong=1299166, backtracks=634845, failedAssignments=777734, nogoods=1169
128.31/125.63
140.42/137.70 num=94, depth=9..22, filters=42246840, revisions=(452665467,useless=409936238), wck=135.283, mem=108M719
140.42/137.70 decisions=2866603, wrong=1432578, backtracks=702542, failedAssignments=855521, nogoods=1197
140.42/137.70
153.85/151.13 num=95, depth=9..21, filters=46249793, revisions=(498139723,useless=451365772), wck=148.713, mem=51M193
153.85/151.13 decisions=3158437, wrong=1578489, backtracks=775954, failedAssignments=941087, nogoods=1220
153.85/151.13
169.35/166.61 num=96, depth=9..22, filters=51110153, revisions=(550418037,useless=498734744), wck=164.19, mem=42M983
169.35/166.61 decisions=3478163, wrong=1738346, backtracks=857560, failedAssignments=1035210, nogoods=1265
169.35/166.61
184.87/182.16 num=97, depth=9..21, filters=55809596, revisions=(603112993,useless=546673991), wck=179.748, mem=44M756
184.87/182.16 decisions=3822922, wrong=1910720, backtracks=940609, failedAssignments=1138745, nogoods=1298
184.87/182.16
203.80/201.07 num=98, depth=9..22, filters=61722664, revisions=(666867014,useless=604455136), wck=198.652, mem=103M336
203.80/201.07 decisions=4210932, wrong=2104717, backtracks=1039736, failedAssignments=1252634, nogoods=1321
203.80/201.07
222.83/220.06 num=99, depth=8..22, filters=67294331, revisions=(730982311,useless=662946791), wck=217.645, mem=32M351
222.83/220.06 decisions=4643682, wrong=2321084, backtracks=1152189, failedAssignments=1377912, nogoods=1342
222.83/220.06
245.03/242.22 num=100, depth=10..22, filters=74434370, revisions=(805308593,useless=730043384), wck=239.805, mem=79M938
245.03/242.22 decisions=5098728, wrong=2548601, backtracks=1262688, failedAssignments=1515718, nogoods=1379
245.03/242.22
269.16/266.30 num=101, depth=9..23, filters=81501288, revisions=(887043897,useless=804654378), wck=263.885, mem=101M220
269.16/266.30 decisions=5630332, wrong=2814396, backtracks=1406579, failedAssignments=1667304, nogoods=1399
269.16/266.30
296.09/293.25 num=102, depth=8..21, filters=89840096, revisions=(976604761,useless=885788196), wck=290.829, mem=55M535
296.09/293.25 decisions=6192329, wrong=3095387, backtracks=1542501, failedAssignments=1834049, nogoods=1454
296.09/293.25
325.03/322.17 num=103, depth=8..22, filters=98594764, revisions=(1074937240,useless=975270244), wck=319.751, mem=30M597
325.03/322.17 decisions=6815840, wrong=3407135, backtracks=1699799, failedAssignments=2017468, nogoods=1480
325.03/322.17
358.17/355.22 num=104, depth=9..22, filters=109370815, revisions=(1185738799,useless=1075164326), wck=352.804, mem=73M92
358.17/355.22 decisions=7481242, wrong=3739829, backtracks=1860123, failedAssignments=2219229, nogoods=1508
358.17/355.22
392.91/390.00 num=105, depth=8..21, filters=119890792, revisions=(1303643695,useless=1182444476), wck=387.583, mem=99M876
392.91/390.00 decisions=8234122, wrong=4116262, backtracks=2050656, failedAssignments=2441167, nogoods=1534
392.91/390.00
431.17/428.15 num=106, depth=9..22, filters=131235875, revisions=(1432715330,useless=1300058154), wck=425.736, mem=51M352
431.17/428.15 decisions=9077561, wrong=4537974, backtracks=2271923, failedAssignments=2685298, nogoods=1560
431.17/428.15
475.32/472.23 num=107, depth=7..21, filters=145057853, revisions=(1578322435,useless=1431690400), wck=469.815, mem=78M109
475.32/472.23 decisions=9974987, wrong=4986681, backtracks=2486571, failedAssignments=2953843, nogoods=1571
475.32/472.23
517.89/514.70 num=108, depth=7..22, filters=157000780, revisions=(1723016312,useless=1564298936), wck=512.282, mem=76M749
517.89/514.70 decisions=10964487, wrong=5481425, backtracks=2728478, failedAssignments=3249242, nogoods=1593
517.89/514.70
570.78/567.50 num=109, depth=9..22, filters=173810218, revisions=(1900908777,useless=1725186667), wck=565.086, mem=24M67
570.78/567.50 decisions=12054123, wrong=6026237, backtracks=2997514, failedAssignments=3574181, nogoods=1625
570.78/567.50
627.68/624.39 num=110, depth=8..22, filters=190938948, revisions=(2092576071,useless=1899557315), wck=621.973, mem=43M206
627.68/624.39 decisions=13274597, wrong=6636467, backtracks=3305496, failedAssignments=3931614, nogoods=1661
627.68/624.39
692.91/689.49 num=111, depth=9..22, filters=212053383, revisions=(2310952278,useless=2096568381), wck=687.068, mem=65M650
692.91/689.49 decisions=14588513, wrong=7293418, backtracks=3624009, failedAssignments=4324790, nogoods=1695
692.91/689.49
763.06/759.41 num=112, depth=8..22, filters=233266924, revisions=(2547447212,useless=2311653665), wck=756.994, mem=58M187
763.06/759.41 decisions=16075379, wrong=8036844, backtracks=4012976, failedAssignments=4757284, nogoods=1720
763.06/759.41
838.72/835.01 num=113, depth=9..22, filters=257587029, revisions=(2801517598,useless=2541083869), wck=832.588, mem=44M300
838.72/835.01 decisions=17642365, wrong=8820330, backtracks=4386403, failedAssignments=5233028, nogoods=1752
838.72/835.01
923.47/919.58 num=114, depth=8..23, filters=283558455, revisions=(3086653105,useless=2799985599), wck=917.165, mem=28M281
923.47/919.58 decisions=19436453, wrong=9717368, backtracks=4848983, failedAssignments=5756346, nogoods=1800
923.47/919.58
1013.92/1009.83 num=115, depth=8..23, filters=311476981, revisions=(3393136802,useless=3078282009), wck=1007.41, mem=42M210
1013.92/1009.83 decisions=21389732, wrong=10694000, backtracks=5344451, failedAssignments=6331996, nogoods=1830
1013.92/1009.83
1117.11/1112.82 num=116, depth=7..22, filters=342619564, revisions=(3738315482,useless=3392003052), wck=1110.4, mem=29M408
1117.11/1112.82 decisions=23573420, wrong=11785837, backtracks=5898362, failedAssignments=6965211, nogoods=1859
1117.11/1112.82
1221.79/1217.31 num=117, depth=7..22, filters=373019725, revisions=(4090836167,useless=3713804851), wck=1214.897, mem=64M728
1221.79/1217.31 decisions=25949087, wrong=12973665, backtracks=6487104, failedAssignments=7661747, nogoods=1904
1221.79/1217.31
1348.20/1343.57 num=118, depth=7..22, filters=411446833, revisions=(4518812213,useless=4102989552), wck=1341.158, mem=46M570
1348.20/1343.57 decisions=28583928, wrong=14291079, backtracks=7176470, failedAssignments=8427937, nogoods=1922
1348.20/1343.57
1483.93/1479.01 num=119, depth=7..23, filters=451310749, revisions=(4980339044,useless=4524316696), wck=1476.589, mem=29M482
1483.93/1479.01 decisions=31531495, wrong=15764855, backtracks=7958822, failedAssignments=9270746, nogoods=1935
1483.93/1479.01
1632.06/1626.94 num=120, depth=8..22, filters=494887332, revisions=(5484132062,useless=4984167899), wck=1624.525, mem=43M402
1632.06/1626.94 decisions=34746375, wrong=17372289, backtracks=8805888, failedAssignments=10197836, nogoods=1979
1632.06/1626.94
1797.56/1792.15 num=121, depth=7..22, filters=545243653, revisions=(6041670448,useless=5490869912), wck=1789.738, mem=73M374
1797.56/1792.15 decisions=38260949, wrong=19129569, backtracks=9712589, failedAssignments=11217635, nogoods=2001
1797.56/1792.15
1974.25/1968.56 num=122, depth=8..23, filters=597295478, revisions=(6642365996,useless=6039035257), wck=1966.146, mem=74M468
1974.25/1968.56 decisions=42179186, wrong=21088680, backtracks=10751200, failedAssignments=12339414, nogoods=2044
1974.25/1968.56
2171.20/2165.18 num=123, depth=7..22, filters=656042299, revisions=(7309317761,useless=6646685975), wck=2162.765, mem=28M502
2171.20/2165.18 decisions=46407909, wrong=23203035, backtracks=11837752, failedAssignments=13573371, nogoods=2104
2171.20/2165.18
2391.61/2385.18 num=124, depth=8..22, filters=725407302, revisions=(8052827525,useless=7320051598), wck=2382.762, mem=44M562
2391.61/2385.18 decisions=50954050, wrong=25476099, backtracks=12964451, failedAssignments=14930724, nogoods=2145
2391.61/2385.18
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 (15015 MiB free)
memory of node 1: 16384 MiB (15742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390618-1568383945/watcher-4390618-1568383945 -o /tmp/evaluation-result-4390618-1568383945/solver-4390618-1568383945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390618-1568383945.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=21046, runsolver pid=21043
[startup+0.100141 s]*
/proc/loadavg: 1.92 1.88 1.87 3/228 21061
/proc/meminfo: memFree=31481568/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10659884 memory=25908 CPUtime=0.1 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 5016 0 0 0 9 1 0 0 20 0 15 0 414647572 10915721216 6477 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2664971 6477 2829 1 0 2627468 0
[pid=21046/tid=21048] ppid=21043 vsize=10659884 memory=720575944405811505 CPUtime=0.07 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) R 21043 21046 20165 0 -1 4202560 2950 0 0 0 7 0 0 0 20 0 15 0 414647573 10915721216 6477 33554432000 4194304 4196468 140726589217472 140579015241680 140579011030422 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10659884 memory=139828718574506 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578501133600 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578500081264 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647578 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 414647579 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 414647579 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) R 21043 21046 20165 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 15 0 414647579 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578495871344 140579011039834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 6477 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25908 KiB
[startup+0.222402 s]*
/proc/loadavg: 1.92 1.88 1.87 5/228 21061
/proc/meminfo: memFree=31470760/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10659884 memory=35920 CPUtime=0.33 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 8732 0 0 0 30 3 0 0 20 0 15 0 414647572 10915721216 8980 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2664971 8980 2989 1 0 2627468 0
[pid=21046/tid=21048] ppid=21043 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) R 21043 21046 20165 0 -1 4202560 5694 0 0 0 18 2 0 0 20 0 15 0 414647573 10915721216 8980 33554432000 4194304 4196468 140726589217472 140579015244848 140579011040413 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10659884 memory=3834731951901370016 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578501133600 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578500081264 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647578 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 414647579 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 414647579 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0.05 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 414647579 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 8980 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35920 KiB
[startup+0.314939 s]*
/proc/loadavg: 1.92 1.88 1.87 4/228 21061
/proc/meminfo: memFree=31468952/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10659884 memory=38664 CPUtime=0.45 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 8912 0 0 0 42 3 0 0 20 0 15 0 414647572 10915721216 9666 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2664971 9666 3027 1 0 2627468 0
[pid=21046/tid=21048] ppid=21043 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) R 21043 21046 20165 0 -1 4202560 5778 0 0 0 27 2 0 0 20 0 15 0 414647573 10915721216 9666 33554432000 4194304 4196468 140726589217472 140579015254688 140578995098974 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10659884 memory=3905661447009199776 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647573 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578501133600 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414647575 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578500081264 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647578 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 556 0 0 0 3 0 0 0 20 0 15 0 414647579 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 473 0 0 0 4 0 0 0 20 0 15 0 414647579 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0.07 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 15 0 414647579 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10659884 memory=139828715316864 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647580 10915721216 9666 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38664 KiB
[startup+0.701446 s]
/proc/loadavg: 1.92 1.88 1.87 3/228 21061
/proc/meminfo: memFree=31457812/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10661932 memory=61508 CPUtime=1.08 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 12391 0 0 0 103 5 0 0 20 0 15 0 414647572 10917818368 15377 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2665483 15377 3062 1 0 2627980 0
[pid=21046/tid=21048] ppid=21043 vsize=10661932 memory=39376 CPUtime=0.66 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) R 21043 21046 20165 0 -1 4202560 8177 0 0 0 62 4 0 0 20 0 15 0 414647573 10917818368 15377 33554432000 4194304 4196468 140726589217472 140579015248928 140578996385649 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647573 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10661932 memory=2 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647575 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10661932 memory=11 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414647575 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578501133600 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10661932 memory=10 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414647575 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578500081264 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647578 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) R 21043 21046 20165 0 -1 4202560 889 0 0 0 10 0 0 0 20 0 15 0 414647579 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578497976432 140578995308688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10661932 memory=1220 CPUtime=0.11 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 731 0 0 0 11 0 0 0 20 0 15 0 414647579 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10661932 memory=84340 CPUtime=0.18 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) R 21043 21046 20165 0 -1 4202560 1235 0 0 0 18 0 0 0 20 0 15 0 414647579 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578495871344 140578995263911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414647580 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647580 10917818368 15377 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61508 KiB
[startup+1.50074 s]
/proc/loadavg: 1.92 1.88 1.87 3/228 21061
/proc/meminfo: memFree=31439712/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10663980 memory=75996 CPUtime=1.97 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 17722 0 0 0 190 7 0 0 20 0 15 0 414647572 10919915520 18999 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2665995 18999 3093 1 0 2628492 0
[pid=21046/tid=21048] ppid=21043 vsize=10663980 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) R 21043 21046 20165 0 -1 4202560 12415 0 0 0 140 5 0 0 20 0 15 0 414647573 10919915520 18999 33554432000 4194304 4196468 140726589217472 140579015258768 140578996184126 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10663980 memory=39376 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10919915520 18999 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10919915520 18999 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414647573 10919915520 18999 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414647573 10919915520 18999 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414647575 10919915520 18999 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
################
# More data... #
################
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 4363 0 0 0 122 4 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.5 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 6892 0 0 0 46 4 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578501133664 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578500081280 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647578 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.88 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 5682 0 0 0 87 1 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.89 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 3435 0 0 0 89 0 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10748324 memory=3504 CPUtime=0.72 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 8366 0 0 0 70 2 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.47 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1019 0 0 0 20 27 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21062] ppid=21043 vsize=10748324 memory=195208 CPUtime=2438.37 cores=1,3,5,7
/proc/21046/task/21062/stat : 21062 (java) R 21043 21046 20165 0 -1 4202560 17552 0 0 0 243832 5 0 0 20 0 16 0 414647765 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578477104880 140578654654163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 2448.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195208 KiB
[startup+2502.3 s]
/proc/loadavg: 1.75 1.84 1.82 3/230 21368
/proc/meminfo: memFree=30798464/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10748324 memory=195208 CPUtime=2509 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 78600 0 0 0 250846 54 0 0 20 0 16 0 414647572 11006283776 48802 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2687081 48802 3372 1 0 2647217 0
[pid=21046/tid=21048] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.87 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) S 21043 21046 20165 0 -1 1077944384 14677 0 0 0 181 6 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140579015261360 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.3 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 6125 0 0 0 127 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.32 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 3720 0 0 0 129 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.31 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 5291 0 0 0 128 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10748324 memory=164 CPUtime=1.3 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 4363 0 0 0 125 5 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.51 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 6900 0 0 0 47 4 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10748324 memory=180852482942074 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578501133664 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578500081280 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10748324 memory=6370180484644824682 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647578 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10748324 memory=21684 CPUtime=0.88 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 5682 0 0 0 87 1 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10748324 memory=11960 CPUtime=0.89 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 3435 0 0 0 89 0 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10748324 memory=39424 CPUtime=0.72 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 8366 0 0 0 70 2 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.48 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1023 0 0 0 20 28 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21062] ppid=21043 vsize=10748324 memory=2512 CPUtime=2498.32 cores=1,3,5,7
/proc/21046/task/21062/stat : 21062 (java) R 21043 21046 20165 0 -1 4202560 17589 0 0 0 249827 5 0 0 20 0 16 0 414647765 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578477104992 140578654286074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 2509 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 1.78 1.85 1.82 3/230 21368
/proc/meminfo: memFree=30825668/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10748324 memory=195208 CPUtime=2520.03 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 78603 0 0 0 251948 55 0 0 20 0 16 0 414647572 11006283776 48802 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2687081 48802 3372 1 0 2647217 0
[pid=21046/tid=21048] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.87 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) S 21043 21046 20165 0 -1 1077944384 14677 0 0 0 181 6 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140579015261360 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.31 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 6125 0 0 0 128 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.32 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 3720 0 0 0 129 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.32 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 5291 0 0 0 129 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10748324 memory=6370180484644824682 CPUtime=1.31 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 4363 0 0 0 126 5 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.51 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 6900 0 0 0 47 4 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578501133664 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578500081280 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647578 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10748324 memory=1388 CPUtime=0.88 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 5682 0 0 0 87 1 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10748324 memory=776 CPUtime=0.89 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 3435 0 0 0 89 0 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.72 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 8366 0 0 0 70 2 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10748324 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.48 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1023 0 0 0 20 28 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21062] ppid=21043 vsize=10748324 memory=195208 CPUtime=2509.31 cores=1,3,5,7
/proc/21046/task/21062/stat : 21062 (java) R 21043 21046 20165 0 -1 4202560 17592 0 0 0 250926 5 0 0 20 0 16 0 414647765 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578477104992 140578654286059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.31 s]
# the end of solver process 21046 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.552128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 1.78 1.85 1.82 3/230 21368
/proc/meminfo: memFree=30825668/32770624 swapFree=66996904/67108860
[pid=21046] ppid=21043 vsize=10748324 memory=195208 CPUtime=2520.03 cores=1,3,5,7
/proc/21046/stat : 21046 (java) S 21043 21046 20165 0 -1 1077944320 78603 0 0 0 251948 55 0 0 20 0 16 0 414647572 11006283776 48802 33554432000 4194304 4196468 140726589217472 140726589200016 140579011018487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
/proc/21046/statm: 2687081 48802 3372 1 0 2647217 0
[pid=21046/tid=21048] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.87 cores=1,3,5,7
/proc/21046/task/21048/stat : 21048 (java) S 21043 21046 20165 0 -1 1077944384 14677 0 0 0 181 6 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140579015261360 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21049] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.31 cores=1,3,5,7
/proc/21046/task/21049/stat : 21049 (java) S 21043 21046 20165 0 -1 1077944384 6125 0 0 0 128 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578978576784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21050] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.32 cores=1,3,5,7
/proc/21046/task/21050/stat : 21050 (java) S 21043 21046 20165 0 -1 1077944384 3720 0 0 0 129 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578616961296 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21051] ppid=21043 vsize=10748324 memory=195208 CPUtime=1.32 cores=1,3,5,7
/proc/21046/task/21051/stat : 21051 (java) S 21043 21046 20165 0 -1 1077944384 5291 0 0 0 129 3 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578615909008 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21052] ppid=21043 vsize=10748324 memory=6370180484644824682 CPUtime=1.31 cores=1,3,5,7
/proc/21046/task/21052/stat : 21052 (java) S 21043 21046 20165 0 -1 1077944384 4363 0 0 0 126 5 0 0 20 0 16 0 414647573 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578614856208 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21053] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.51 cores=1,3,5,7
/proc/21046/task/21053/stat : 21053 (java) S 21043 21046 20165 0 -1 1077944384 6900 0 0 0 47 4 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578502187632 140579011029634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21054] ppid=21043 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21054/stat : 21054 (java) S 21043 21046 20165 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578501133664 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21055] ppid=21043 vsize=10748324 memory=195208 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21055/stat : 21055 (java) S 21043 21046 20165 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414647575 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578500081280 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21056] ppid=21043 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21056/stat : 21056 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647578 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578499029584 140579011037083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21057] ppid=21043 vsize=10748324 memory=1388 CPUtime=0.88 cores=1,3,5,7
/proc/21046/task/21057/stat : 21057 (java) S 21043 21046 20165 0 -1 1077944384 5682 0 0 0 87 1 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578497976432 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21058] ppid=21043 vsize=10748324 memory=776 CPUtime=0.89 cores=1,3,5,7
/proc/21046/task/21058/stat : 21058 (java) S 21043 21046 20165 0 -1 1077944384 3435 0 0 0 89 0 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578496923632 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21059] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.72 cores=1,3,5,7
/proc/21046/task/21059/stat : 21059 (java) S 21043 21046 20165 0 -1 1077944384 8366 0 0 0 70 2 0 0 20 0 16 0 414647579 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578495871344 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21060] ppid=21043 vsize=10748324 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/21046/task/21060/stat : 21060 (java) S 21043 21046 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578494818784 140579011028693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21061] ppid=21043 vsize=10748324 memory=195208 CPUtime=0.48 cores=1,3,5,7
/proc/21046/task/21061/stat : 21061 (java) S 21043 21046 20165 0 -1 1077944384 1023 0 0 0 20 28 0 0 20 0 16 0 414647580 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578493766576 140579011029634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
[pid=21046/tid=21062] ppid=21043 vsize=10748324 memory=195208 CPUtime=2509.31 cores=1,3,5,7
/proc/21046/task/21062/stat : 21062 (java) R 21043 21046 20165 0 -1 4202560 17592 0 0 0 250926 5 0 0 20 0 16 0 414647765 11006283776 48802 33554432000 4194304 4196468 140726589217472 140578477104992 140578654286059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140726589223947 140726589224050 140726589224050 140726589226959 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195208 KiB
Child status: 143
Real time (s): 2513.31
CPU time (s): 2520.05
CPU user time (s): 2519.5
CPU system time (s): 0.552128
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 269404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.552128
maximum resident set size= 270928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78947
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67478
involuntary context switches= 1165
# summary of solver processes directly reported to runsolver:
# pid: 21046
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.552128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2585 second user time and 22.419 second system time
The end