2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
3.21/2.15 Instance
3.21/2.15 name=instance-4390700-1568383847, framework=CSP
3.21/2.15
3.21/2.15 Loading variables...
3.21/2.18 Loading constraints...
3.86/2.34
3.86/2.34 Domains
3.86/2.34 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.86/2.34 Variables
3.86/2.34 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.86/2.34 Constraints
3.86/2.34 count=1261, arities=[2#1261]
3.86/2.34 distribution=[CtrExtensionV-Bits#1261]
3.86/2.34 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.86/2.34 wck=0.487, cpu=2.299, mem=39M724
3.86/2.35 Solver SolverBacktrack being built...
3.86/2.35
3.86/2.37
3.86/2.37 Solver
3.86/2.37 guaranteedGAC=true
3.86/2.37 wck=0.519, cpu=2.329, mem=50M366
3.86/2.38
3.86/2.38 Preprocessing
3.86/2.38 filters=150, revisions=(2217,useless=2049), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.86/2.38 wck=0.008, cpu=2.339, mem=50M366
3.86/2.38
3.86/2.39 num=0, depth=25..31, filters=962, revisions=(11686,useless=10706), wck=0.022, mem=50M366
3.86/2.39 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
3.86/2.39
3.86/2.39 num=1, depth=25..36, filters=1640, revisions=(19847,useless=18189), wck=0.027, mem=50M366
3.86/2.39 decisions=134, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
3.86/2.39
4.20/2.40 num=2, depth=18..25, filters=2310, revisions=(29784,useless=27456), wck=0.034, mem=50M366
4.20/2.40 decisions=200, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.20/2.40
4.20/2.42 num=3, depth=24..37, filters=2939, revisions=(38317,useless=35360), wck=0.051, mem=50M366
4.20/2.42 decisions=276, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.20/2.42
4.20/2.42 num=4, depth=10..24, filters=3738, revisions=(48010,useless=44254), wck=0.056, mem=50M366
4.20/2.42 decisions=342, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.20/2.42
4.20/2.43 num=5, depth=15..31, filters=4514, revisions=(58274,useless=53742), wck=0.063, mem=50M366
4.20/2.43 decisions=421, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.20/2.43
4.20/2.44 num=6, depth=13..36, filters=5485, revisions=(71004,useless=65494), wck=0.07, mem=50M366
4.20/2.44 decisions=519, wrong=186, backtracks=96, failedAssignments=93, nogoods=10
4.20/2.44
4.20/2.44 num=7, depth=12..23, filters=6266, revisions=(83837,useless=77538), wck=0.077, mem=50M366
4.20/2.44 decisions=615, wrong=224, backtracks=117, failedAssignments=112, nogoods=13
4.20/2.44
4.20/2.45 num=8, depth=12..21, filters=7199, revisions=(97560,useless=90321), wck=0.085, mem=50M366
4.20/2.45 decisions=710, wrong=264, backtracks=139, failedAssignments=133, nogoods=17
4.20/2.45
4.20/2.46 num=9, depth=13..28, filters=7911, revisions=(109694,useless=101741), wck=0.092, mem=50M366
4.20/2.46 decisions=809, wrong=307, backtracks=160, failedAssignments=156, nogoods=20
4.20/2.46
4.20/2.47 num=10, depth=11..29, filters=8510, revisions=(121205,useless=112653), wck=0.098, mem=53M9
4.20/2.47 decisions=912, wrong=353, backtracks=184, failedAssignments=181, nogoods=21
4.20/2.47
4.20/2.47 num=11, depth=11..16, filters=9628, revisions=(138078,useless=128403), wck=0.107, mem=53M9
4.20/2.47 decisions=1025, wrong=404, backtracks=208, failedAssignments=209, nogoods=22
4.20/2.47
4.20/2.48 num=12, depth=10..16, filters=10796, revisions=(154121,useless=143268), wck=0.115, mem=53M9
4.20/2.48 decisions=1135, wrong=453, backtracks=227, failedAssignments=240, nogoods=27
4.20/2.48
4.20/2.49 num=13, depth=13..16, filters=12538, revisions=(174231,useless=161627), wck=0.125, mem=53M9
4.20/2.49 decisions=1242, wrong=500, backtracks=242, failedAssignments=274, nogoods=38
4.20/2.49
4.53/2.50 num=14, depth=11..19, filters=14223, revisions=(196464,useless=182172), wck=0.135, mem=53M9
4.53/2.50 decisions=1381, wrong=562, backtracks=268, failedAssignments=311, nogoods=44
4.53/2.50
4.53/2.52 num=15, depth=13..19, filters=17318, revisions=(226491,useless=209039), wck=0.15, mem=53M9
4.53/2.52 decisions=1534, wrong=632, backtracks=297, failedAssignments=352, nogoods=48
4.53/2.52
4.53/2.53 num=16, depth=15..19, filters=19465, revisions=(251052,useless=231401), wck=0.162, mem=53M9
4.53/2.53 decisions=1676, wrong=695, backtracks=320, failedAssignments=397, nogoods=61
4.53/2.53
4.53/2.54 num=17, depth=14..18, filters=21887, revisions=(278755,useless=256645), wck=0.175, mem=53M9
4.53/2.54 decisions=1828, wrong=764, backtracks=346, failedAssignments=447, nogoods=70
4.53/2.54
4.53/2.56 num=18, depth=11..18, filters=24719, revisions=(310371,useless=285384), wck=0.19, mem=53M9
4.53/2.56 decisions=2013, wrong=848, backtracks=384, failedAssignments=502, nogoods=72
4.53/2.56
4.53/2.57 num=19, depth=17..22, filters=27997, revisions=(349700,useless=321399), wck=0.208, mem=53M9
4.53/2.57 decisions=2253, wrong=958, backtracks=440, failedAssignments=563, nogoods=77
4.53/2.57
4.53/2.59 num=20, depth=14..20, filters=30910, revisions=(386265,useless=355042), wck=0.224, mem=53M9
4.53/2.59 decisions=2472, wrong=1060, backtracks=487, failedAssignments=630, nogoods=80
4.53/2.59
4.84/2.61 num=21, depth=12..17, filters=33618, revisions=(423993,useless=390031), wck=0.241, mem=53M9
4.84/2.61 decisions=2758, wrong=1196, backtracks=551, failedAssignments=704, nogoods=84
4.84/2.61
4.84/2.63 num=22, depth=12..19, filters=36703, revisions=(465646,useless=428559), wck=0.259, mem=53M9
4.84/2.63 decisions=3071, wrong=1343, backtracks=621, failedAssignments=785, nogoods=97
4.84/2.63
4.84/2.65 num=23, depth=13..20, filters=41265, revisions=(512063,useless=470352), wck=0.279, mem=53M9
4.84/2.65 decisions=3352, wrong=1476, backtracks=671, failedAssignments=874, nogoods=103
4.84/2.65
4.84/2.67 num=24, depth=14..21, filters=47267, revisions=(571446,useless=523635), wck=0.302, mem=53M9
4.84/2.67 decisions=3658, wrong=1621, backtracks=728, failedAssignments=972, nogoods=108
4.84/2.67
4.84/2.69 num=25, depth=15..20, filters=54111, revisions=(637937,useless=583127), wck=0.328, mem=55M651
4.84/2.69 decisions=4002, wrong=1785, backtracks=799, failedAssignments=1080, nogoods=115
4.84/2.69
5.14/2.72 num=26, depth=14..20, filters=59729, revisions=(696512,useless=636013), wck=0.35, mem=55M651
5.14/2.72 decisions=4372, wrong=1962, backtracks=877, failedAssignments=1199, nogoods=126
5.14/2.72
5.14/2.75 num=27, depth=15..20, filters=67561, revisions=(777214,useless=708728), wck=0.38, mem=55M651
5.14/2.75 decisions=4789, wrong=2162, backtracks=966, failedAssignments=1330, nogoods=136
5.14/2.75
5.14/2.78 num=28, depth=15..21, filters=75778, revisions=(860463,useless=783623), wck=0.409, mem=55M651
5.14/2.78 decisions=5262, wrong=2390, backtracks=1066, failedAssignments=1474, nogoods=148
5.14/2.78
5.32/2.80 num=29, depth=15..21, filters=81994, revisions=(938148,useless=855000), wck=0.437, mem=55M651
5.32/2.80 decisions=5830, wrong=2666, backtracks=1215, failedAssignments=1632, nogoods=156
5.32/2.80
5.32/2.84 num=30, depth=15..21, filters=91912, revisions=(1036305,useless=943094), wck=0.471, mem=55M651
5.32/2.84 decisions=6382, wrong=2934, backtracks=1333, failedAssignments=1806, nogoods=168
5.32/2.84
5.32/2.88 num=31, depth=13..20, filters=102316, revisions=(1145237,useless=1041502), wck=0.51, mem=58M294
5.32/2.88 decisions=7027, wrong=3249, backtracks=1475, failedAssignments=1997, nogoods=175
5.32/2.88
5.43/2.92 num=32, depth=12..18, filters=113455, revisions=(1260551,useless=1145549), wck=0.551, mem=58M294
5.43/2.92 decisions=7706, wrong=3581, backtracks=1618, failedAssignments=2208, nogoods=188
5.43/2.92
5.43/2.96 num=33, depth=13..19, filters=126055, revisions=(1385405,useless=1257536), wck=0.594, mem=58M294
5.43/2.96 decisions=8425, wrong=3933, backtracks=1758, failedAssignments=2440, nogoods=205
5.43/2.96
5.54/3.01 num=34, depth=14..21, filters=140432, revisions=(1528486,useless=1386055), wck=0.644, mem=60M936
5.54/3.01 decisions=9238, wrong=4332, backtracks=1942, failedAssignments=2695, nogoods=219
5.54/3.01
5.54/3.06 num=35, depth=14..21, filters=152442, revisions=(1657748,useless=1503191), wck=0.69, mem=60M936
5.54/3.06 decisions=10126, wrong=4768, backtracks=2119, failedAssignments=2976, nogoods=231
5.54/3.06
5.76/3.12 num=36, depth=16..23, filters=168649, revisions=(1829406,useless=1658412), wck=0.75, mem=60M936
5.76/3.12 decisions=11234, wrong=5313, backtracks=2392, failedAssignments=3285, nogoods=237
5.76/3.12
5.76/3.18 num=37, depth=11..18, filters=188389, revisions=(2003477,useless=1812396), wck=0.812, mem=63M579
5.76/3.18 decisions=12247, wrong=5813, backtracks=2576, failedAssignments=3625, nogoods=258
5.76/3.18
5.87/3.24 num=38, depth=13..21, filters=204887, revisions=(2181304,useless=1973539), wck=0.874, mem=63M579
5.87/3.24 decisions=13479, wrong=6421, backtracks=2849, failedAssignments=3999, nogoods=271
5.87/3.24
5.99/3.32 num=39, depth=12..20, filters=227761, revisions=(2399981,useless=2168984), wck=0.949, mem=63M579
5.99/3.32 decisions=14768, wrong=7058, backtracks=3124, failedAssignments=4410, nogoods=278
5.99/3.32
5.99/3.40 num=40, depth=13..22, filters=249554, revisions=(2639370,useless=2386296), wck=1.029, mem=66M221
5.99/3.40 decisions=16332, wrong=7832, backtracks=3494, failedAssignments=4862, nogoods=287
5.99/3.40
6.10/3.49 num=41, depth=12..20, filters=278336, revisions=(2927151,useless=2644819), wck=1.127, mem=68M864
6.10/3.49 decisions=17948, wrong=8633, backtracks=3858, failedAssignments=5359, nogoods=304
6.10/3.49
6.20/3.58 num=42, depth=14..20, filters=303217, revisions=(3188880,useless=2881366), wck=1.215, mem=68M864
6.20/3.58 decisions=19649, wrong=9475, backtracks=4226, failedAssignments=5906, nogoods=316
6.20/3.58
6.30/3.69 num=43, depth=12..20, filters=335135, revisions=(3521347,useless=3181440), wck=1.325, mem=71M506
6.30/3.69 decisions=21645, wrong=10466, backtracks=4699, failedAssignments=6508, nogoods=332
6.30/3.69
6.50/3.81 num=44, depth=14..21, filters=370933, revisions=(3872519,useless=3496044), wck=1.444, mem=71M506
6.50/3.81 decisions=23749, wrong=11510, backtracks=5140, failedAssignments=7170, nogoods=345
6.50/3.81
6.60/3.92 num=45, depth=12..21, filters=402690, revisions=(4203877,useless=3795356), wck=1.555, mem=74M148
6.60/3.92 decisions=26081, wrong=12669, backtracks=5654, failedAssignments=7898, nogoods=357
6.60/3.92
6.71/4.07 num=46, depth=14..22, filters=444240, revisions=(4634000,useless=4183224), wck=1.699, mem=76M791
6.71/4.07 decisions=28662, wrong=13952, backtracks=6246, failedAssignments=8699, nogoods=382
6.71/4.07
6.90/4.23 num=47, depth=12..20, filters=494483, revisions=(5118134,useless=4616260), wck=1.862, mem=79M433
6.90/4.23 decisions=31507, wrong=15368, backtracks=6875, failedAssignments=9580, nogoods=394
6.90/4.23
7.11/4.40 num=48, depth=12..20, filters=543767, revisions=(5631336,useless=5079573), wck=2.033, mem=82M76
7.11/4.40 decisions=34671, wrong=16942, backtracks=7604, failedAssignments=10550, nogoods=407
7.11/4.40
7.35/4.60 num=49, depth=12..21, filters=604056, revisions=(6228488,useless=5615554), wck=2.235, mem=84M718
7.35/4.60 decisions=38169, wrong=18683, backtracks=8422, failedAssignments=11617, nogoods=418
7.35/4.60
7.55/4.81 num=50, depth=12..21, filters=661533, revisions=(6840406,useless=6169387), wck=2.439, mem=87M361
7.55/4.81 decisions=42089, wrong=20636, backtracks=9362, failedAssignments=12790, nogoods=421
7.55/4.81
7.76/5.04 num=51, depth=11..21, filters=730018, revisions=(7543450,useless=6802963), wck=2.674, mem=92M646
7.76/5.04 decisions=46381, wrong=22775, backtracks=10372, failedAssignments=14081, nogoods=425
7.76/5.04
7.95/5.28 num=52, depth=13..21, filters=800541, revisions=(8266871,useless=7454814), wck=2.915, mem=95M288
7.95/5.28 decisions=51051, wrong=25102, backtracks=11434, failedAssignments=15501, nogoods=442
7.95/5.28
8.25/5.56 num=53, depth=12..21, filters=879816, revisions=(9097273,useless=8204976), wck=3.19, mem=100M573
8.25/5.56 decisions=56106, wrong=27621, backtracks=12618, failedAssignments=17063, nogoods=455
8.25/5.56
8.56/5.86 num=54, depth=13..21, filters=973795, revisions=(10007504,useless=9019699), wck=3.495, mem=105M858
8.56/5.86 decisions=61519, wrong=30319, backtracks=13782, failedAssignments=18781, nogoods=472
8.56/5.86
8.97/6.21 num=55, depth=11..20, filters=1079855, revisions=(11049663,useless=9954297), wck=3.844, mem=111M143
8.97/6.21 decisions=67495, wrong=33300, backtracks=15093, failedAssignments=20671, nogoods=476
8.97/6.21
9.27/6.59 num=56, depth=14..22, filters=1198492, revisions=(12185697,useless=10969815), wck=4.226, mem=116M427
9.27/6.59 decisions=74097, wrong=36593, backtracks=16559, failedAssignments=22750, nogoods=503
9.27/6.59
9.67/6.97 num=57, depth=11..20, filters=1308937, revisions=(13321705,useless=11993993), wck=4.601, mem=124M355
9.67/6.97 decisions=81106, wrong=40091, backtracks=18009, failedAssignments=25037, nogoods=517
9.67/6.97
10.17/7.43 num=58, depth=12..21, filters=1445984, revisions=(14699106,useless=13232419), wck=5.059, mem=129M640
10.17/7.43 decisions=89384, wrong=44223, backtracks=19962, failedAssignments=27553, nogoods=534
10.17/7.43
10.67/7.92 num=59, depth=12..21, filters=1595443, revisions=(16182393,useless=14563815), wck=5.558, mem=137M567
10.67/7.92 decisions=98370, wrong=48707, backtracks=22026, failedAssignments=30321, nogoods=553
10.67/7.92
11.21/8.43 num=60, depth=11..21, filters=1740309, revisions=(17691547,useless=15926439), wck=6.066, mem=23M778
11.21/8.43 decisions=108339, wrong=53684, backtracks=24332, failedAssignments=33365, nogoods=562
11.21/8.43
11.73/8.97 num=61, depth=13..24, filters=1901623, revisions=(19401733,useless=17473460), wck=6.601, mem=34M137
11.73/8.97 decisions=119439, wrong=59227, backtracks=26959, failedAssignments=36714, nogoods=587
11.73/8.97
12.33/9.59 num=62, depth=11..20, filters=2089274, revisions=(21374695,useless=19256576), wck=7.222, mem=41M905
12.33/9.59 decisions=132010, wrong=65505, backtracks=29986, failedAssignments=40398, nogoods=593
12.33/9.59
13.03/10.27 num=63, depth=13..23, filters=2301046, revisions=(23505137,useless=21172012), wck=7.899, mem=54M853
13.03/10.27 decisions=145002, wrong=71993, backtracks=32935, failedAssignments=44450, nogoods=616
13.03/10.27
13.73/10.99 num=64, depth=11..21, filters=2512868, revisions=(25845805,useless=23298512), wck=8.628, mem=65M211
13.73/10.99 decisions=159953, wrong=79462, backtracks=36614, failedAssignments=48907, nogoods=627
13.73/10.99
14.53/11.79 num=65, depth=11..21, filters=2750124, revisions=(28382045,useless=25594358), wck=9.424, mem=75M570
14.53/11.79 decisions=176188, wrong=87572, backtracks=40496, failedAssignments=53810, nogoods=636
14.53/11.79
15.45/12.69 num=66, depth=11..21, filters=3037222, revisions=(31225954,useless=28147608), wck=10.326, mem=93M750
15.45/12.69 decisions=193342, wrong=96143, backtracks=44352, failedAssignments=59204, nogoods=666
15.45/12.69
16.56/13.70 num=67, depth=12..21, filters=3366710, revisions=(34441412,useless=31028648), wck=11.338, mem=111M877
16.56/13.70 decisions=212140, wrong=105534, backtracks=48564, failedAssignments=65137, nogoods=687
16.56/13.70
17.57/14.75 num=68, depth=10..20, filters=3680005, revisions=(37758600,useless=34028301), wck=12.382, mem=130M4
17.57/14.75 decisions=233472, wrong=116193, backtracks=53445, failedAssignments=71663, nogoods=704
17.57/14.75
18.77/15.91 num=69, depth=11..22, filters=4027920, revisions=(41452727,useless=37370569), wck=13.539, mem=148M131
18.77/15.91 decisions=256980, wrong=127940, backtracks=59126, failedAssignments=78842, nogoods=717
18.77/15.91
20.09/17.27 num=70, depth=10..20, filters=4438966, revisions=(45732340,useless=41234050), wck=14.902, mem=36M767
20.09/17.27 decisions=283214, wrong=141051, backtracks=65443, failedAssignments=86739, nogoods=733
20.09/17.27
21.50/18.69 num=71, depth=11..22, filters=4870513, revisions=(50244431,useless=45308912), wck=16.323, mem=60M73
21.50/18.69 decisions=312427, wrong=155650, backtracks=72481, failedAssignments=95426, nogoods=742
21.50/18.69
23.20/20.31 num=72, depth=10..21, filters=5350187, revisions=(55468733,useless=50048622), wck=17.948, mem=83M379
23.20/20.31 decisions=345162, wrong=172011, backtracks=80800, failedAssignments=104981, nogoods=754
23.20/20.31
24.92/22.04 num=73, depth=11..22, filters=5875387, revisions=(61004028,useless=55053146), wck=19.675, mem=109M275
24.92/22.04 decisions=379559, wrong=189203, backtracks=89166, failedAssignments=115492, nogoods=772
24.92/22.04
26.92/24.05 num=74, depth=11..21, filters=6503218, revisions=(67362984,useless=60776434), wck=21.681, mem=140M350
26.92/24.05 decisions=417861, wrong=208347, backtracks=98510, failedAssignments=127054, nogoods=813
26.92/24.05
29.05/26.16 num=75, depth=10..21, filters=7161457, revisions=(74047527,useless=66791424), wck=23.793, mem=46M68
29.05/26.16 decisions=459137, wrong=228978, backtracks=107637, failedAssignments=139772, nogoods=829
29.05/26.16
31.35/28.41 num=76, depth=10..22, filters=7811090, revisions=(81298499,useless=73385720), wck=26.046, mem=77M117
31.35/28.41 decisions=506564, wrong=252684, backtracks=119186, failedAssignments=153762, nogoods=845
31.35/28.41
33.96/31.02 num=77, depth=11..21, filters=8631839, revisions=(89626780,useless=80882334), wck=28.652, mem=120M584
33.96/31.02 decisions=557003, wrong=277896, backtracks=131201, failedAssignments=169151, nogoods=860
33.96/31.02
36.65/33.72 num=78, depth=9..21, filters=9405430, revisions=(98346634,useless=88820508), wck=31.356, mem=157M842
36.65/33.72 decisions=613875, wrong=306324, backtracks=145309, failedAssignments=186079, nogoods=885
36.65/33.72
39.77/36.89 num=79, depth=8..20, filters=10347501, revisions=(108222982,useless=97743229), wck=34.526, mem=51M830
39.77/36.89 decisions=676062, wrong=337412, backtracks=160008, failedAssignments=204700, nogoods=906
39.77/36.89
43.37/40.49 num=80, depth=10..21, filters=11464013, revisions=(119672793,useless=108063603), wck=38.124, mem=106M852
43.37/40.49 decisions=744149, wrong=371449, backtracks=176635, failedAssignments=225184, nogoods=927
43.37/40.49
47.09/44.12 num=81, depth=11..22, filters=12554283, revisions=(131173690,useless=118460206), wck=41.753, mem=161M873
47.09/44.12 decisions=817902, wrong=408318, backtracks=194450, failedAssignments=247716, nogoods=941
47.09/44.12
51.21/48.24 num=82, depth=10..21, filters=13781419, revisions=(144311788,useless=130358472), wck=45.875, mem=69M482
51.21/48.24 decisions=900236, wrong=449478, backtracks=214639, failedAssignments=272501, nogoods=960
51.21/48.24
56.02/53.01 num=83, depth=10..21, filters=15262947, revisions=(159456999,useless=144003236), wck=50.645, mem=144M826
56.02/53.01 decisions=990468, wrong=494588, backtracks=236525, failedAssignments=299765, nogoods=996
56.02/53.01
61.16/58.17 num=84, depth=11..21, filters=16870352, revisions=(175793660,useless=158709839), wck=55.802, mem=77M642
61.16/58.17 decisions=1089008, wrong=543850, backtracks=259965, failedAssignments=329755, nogoods=1019
61.16/58.17
66.75/63.78 num=85, depth=9..21, filters=18551001, revisions=(193459733,useless=174675579), wck=61.411, mem=166M661
66.75/63.78 decisions=1198700, wrong=598690, backtracks=286036, failedAssignments=362744, nogoods=1029
66.75/63.78
72.78/69.72 num=86, depth=9..22, filters=20280424, revisions=(212618537,useless=192086306), wck=67.352, mem=103M20
72.78/69.72 decisions=1318716, wrong=658691, backtracks=314867, failedAssignments=399032, nogoods=1051
72.78/69.72
79.61/76.50 num=87, depth=10..21, filters=22452320, revisions=(234143143,useless=211408325), wck=74.135, mem=72M933
79.61/76.50 decisions=1445902, wrong=722277, backtracks=343940, failedAssignments=438949, nogoods=1054
79.61/76.50
86.82/83.76 num=88, depth=9..21, filters=24626559, revisions=(257441017,useless=232510730), wck=81.394, mem=32M575
86.82/83.76 decisions=1593135, wrong=795887, backtracks=380361, failedAssignments=482858, nogoods=1066
86.82/83.76
94.82/91.78 num=89, depth=10..21, filters=26995744, revisions=(283227133,useless=255904046), wck=89.411, mem=148M109
94.82/91.78 decisions=1754870, wrong=876747, backtracks=421172, failedAssignments=531158, nogoods=1092
94.82/91.78
103.14/100.05 num=90, depth=8..22, filters=29286949, revisions=(309724113,useless=280089427), wck=97.684, mem=118M130
103.14/100.05 decisions=1939015, wrong=968812, backtracks=468314, failedAssignments=584288, nogoods=1113
103.14/100.05
112.85/109.75 num=91, depth=10..22, filters=32121680, revisions=(340613803,useless=308110753), wck=107.386, mem=121M747
112.85/109.75 decisions=2140388, wrong=1069491, backtracks=519413, failedAssignments=642731, nogoods=1126
112.85/109.75
123.86/120.72 num=92, depth=9..22, filters=35357477, revisions=(376011719,useless=340240323), wck=118.348, mem=138M922
123.86/120.72 decisions=2358972, wrong=1178776, backtracks=574787, failedAssignments=707018, nogoods=1153
123.86/120.72
135.17/132.11 num=93, depth=8..21, filters=38564103, revisions=(412131302,useless=373124340), wck=129.739, mem=26M491
135.17/132.11 decisions=2599765, wrong=1299166, backtracks=634845, failedAssignments=777734, nogoods=1171
135.17/132.11
148.07/144.90 num=94, depth=9..22, filters=42246867, revisions=(452665613,useless=409936357), wck=142.535, mem=74M817
148.07/144.90 decisions=2866601, wrong=1432578, backtracks=702542, failedAssignments=855521, nogoods=1199
148.07/144.90
162.30/159.15 num=95, depth=9..21, filters=46249820, revisions=(498139869,useless=451365891), wck=156.78, mem=139M59
162.30/159.15 decisions=3158435, wrong=1578489, backtracks=775954, failedAssignments=941087, nogoods=1222
162.30/159.15
178.70/175.51 num=96, depth=9..22, filters=51110180, revisions=(550418183,useless=498734863), wck=173.144, mem=125M538
178.70/175.51 decisions=3478161, wrong=1738346, backtracks=857560, failedAssignments=1035210, nogoods=1267
178.70/175.51
195.12/191.90 num=97, depth=9..21, filters=55809623, revisions=(603113139,useless=546674110), wck=189.536, mem=117M743
195.12/191.90 decisions=3822920, wrong=1910720, backtracks=940609, failedAssignments=1138745, nogoods=1300
195.12/191.90
215.06/211.88 num=98, depth=9..22, filters=61722691, revisions=(666867160,useless=604455255), wck=209.511, mem=55M349
215.06/211.88 decisions=4210930, wrong=2104717, backtracks=1039736, failedAssignments=1252634, nogoods=1323
215.06/211.88
235.17/231.97 num=99, depth=8..22, filters=67294358, revisions=(730982457,useless=662946910), wck=229.607, mem=87M319
235.17/231.97 decisions=4643680, wrong=2321084, backtracks=1152189, failedAssignments=1377912, nogoods=1344
235.17/231.97
258.50/255.29 num=100, depth=10..22, filters=74434397, revisions=(805308739,useless=730043503), wck=252.92, mem=23M688
258.50/255.29 decisions=5098726, wrong=2548601, backtracks=1262688, failedAssignments=1515718, nogoods=1381
258.50/255.29
283.92/280.61 num=101, depth=9..23, filters=81501315, revisions=(887044043,useless=804654497), wck=278.241, mem=37M551
283.92/280.61 decisions=5630330, wrong=2814396, backtracks=1406579, failedAssignments=1667304, nogoods=1401
283.92/280.61
312.46/309.14 num=102, depth=8..21, filters=89840123, revisions=(976604907,useless=885788315), wck=306.775, mem=80M589
312.46/309.14 decisions=6192327, wrong=3095387, backtracks=1542501, failedAssignments=1834049, nogoods=1456
312.46/309.14
343.08/339.79 num=103, depth=8..22, filters=98594791, revisions=(1074937386,useless=975270363), wck=337.427, mem=41M559
343.08/339.79 decisions=6815838, wrong=3407135, backtracks=1699799, failedAssignments=2017468, nogoods=1482
343.08/339.79
378.12/374.75 num=104, depth=9..22, filters=109370842, revisions=(1185738945,useless=1075164445), wck=372.383, mem=68M510
378.12/374.75 decisions=7481240, wrong=3739829, backtracks=1860123, failedAssignments=2219229, nogoods=1510
378.12/374.75
414.76/411.34 num=105, depth=8..21, filters=119890819, revisions=(1303643841,useless=1182444595), wck=408.968, mem=79M684
414.76/411.34 decisions=8234120, wrong=4116262, backtracks=2050656, failedAssignments=2441167, nogoods=1536
414.76/411.34
455.20/451.78 num=106, depth=9..22, filters=131235902, revisions=(1432715476,useless=1300058273), wck=449.415, mem=91M907
455.20/451.78 decisions=9077559, wrong=4537974, backtracks=2271923, failedAssignments=2685298, nogoods=1562
455.20/451.78
501.87/498.35 num=107, depth=7..21, filters=145057880, revisions=(1578322581,useless=1431690519), wck=495.98, mem=27M428
501.87/498.35 decisions=9974985, wrong=4986681, backtracks=2486571, failedAssignments=2953843, nogoods=1573
501.87/498.35
546.73/543.13 num=108, depth=7..22, filters=157000807, revisions=(1723016458,useless=1564299055), wck=540.764, mem=73M507
546.73/543.13 decisions=10964485, wrong=5481425, backtracks=2728478, failedAssignments=3249242, nogoods=1595
546.73/543.13
602.42/598.70 num=109, depth=9..22, filters=173810245, revisions=(1900908923,useless=1725186786), wck=596.331, mem=51M659
602.42/598.70 decisions=12054121, wrong=6026237, backtracks=2997514, failedAssignments=3574181, nogoods=1627
602.42/598.70
662.33/658.51 num=110, depth=8..22, filters=190938975, revisions=(2092576217,useless=1899557434), wck=656.143, mem=38M167
662.33/658.51 decisions=13274595, wrong=6636467, backtracks=3305496, failedAssignments=3931614, nogoods=1663
662.33/658.51
731.05/727.20 num=111, depth=9..22, filters=212053410, revisions=(2310952424,useless=2096568500), wck=724.829, mem=27M350
731.05/727.20 decisions=14588511, wrong=7293418, backtracks=3624009, failedAssignments=4324790, nogoods=1697
731.05/727.20
804.07/800.10 num=112, depth=8..22, filters=233266951, revisions=(2547447358,useless=2311653784), wck=797.736, mem=38M175
804.07/800.10 decisions=16075377, wrong=8036844, backtracks=4012976, failedAssignments=4757284, nogoods=1722
804.07/800.10
882.88/878.79 num=113, depth=9..22, filters=257587056, revisions=(2801517744,useless=2541083988), wck=876.427, mem=37M111
882.88/878.79 decisions=17642363, wrong=8820330, backtracks=4386403, failedAssignments=5233028, nogoods=1754
882.88/878.79
971.20/966.95 num=114, depth=8..23, filters=283558482, revisions=(3086653251,useless=2799985718), wck=964.583, mem=30M664
971.20/966.95 decisions=19436451, wrong=9717368, backtracks=4848983, failedAssignments=5756346, nogoods=1802
971.20/966.95
1065.34/1060.90 num=115, depth=8..23, filters=311477008, revisions=(3393136948,useless=3078282128), wck=1058.533, mem=52M289
1065.34/1060.90 decisions=21389730, wrong=10694000, backtracks=5344451, failedAssignments=6331996, nogoods=1832
1065.34/1060.90
1155.63/1151.14 num=116, depth=7..22, filters=342619591, revisions=(3738315628,useless=3392003171), wck=1148.769, mem=61M29
1155.63/1151.14 decisions=23573418, wrong=11785837, backtracks=5898362, failedAssignments=6965211, nogoods=1861
1155.63/1151.14
1241.15/1236.65 num=117, depth=7..22, filters=373019752, revisions=(4090836313,useless=3713804970), wck=1234.287, mem=76M117
1241.15/1236.65 decisions=25949085, wrong=12973665, backtracks=6487104, failedAssignments=7661747, nogoods=1906
1241.15/1236.65
1344.69/1340.13 num=118, depth=7..22, filters=411446860, revisions=(4518812359,useless=4102989671), wck=1337.767, mem=44M802
1344.69/1340.13 decisions=28583926, wrong=14291079, backtracks=7176470, failedAssignments=8427937, nogoods=1924
1344.69/1340.13
1456.71/1452.17 num=119, depth=7..23, filters=451310776, revisions=(4980339190,useless=4524316815), wck=1449.804, mem=23M235
1456.71/1452.17 decisions=31531493, wrong=15764855, backtracks=7958822, failedAssignments=9270746, nogoods=1937
1456.71/1452.17
1578.52/1573.98 num=120, depth=8..22, filters=494887359, revisions=(5484132208,useless=4984168018), wck=1571.611, mem=63M196
1578.52/1573.98 decisions=34746373, wrong=17372289, backtracks=8805888, failedAssignments=10197836, nogoods=1981
1578.52/1573.98
1713.98/1709.33 num=121, depth=7..22, filters=545243680, revisions=(6041670594,useless=5490870031), wck=1706.962, mem=57M812
1713.98/1709.33 decisions=38260947, wrong=19129569, backtracks=9712589, failedAssignments=11217635, nogoods=2003
1713.98/1709.33
1858.14/1853.43 num=122, depth=8..23, filters=597295505, revisions=(6642366142,useless=6039035376), wck=1851.065, mem=64M292
1858.14/1853.43 decisions=42179184, wrong=21088680, backtracks=10751200, failedAssignments=12339414, nogoods=2046
1858.14/1853.43
2019.11/2014.38 num=123, depth=7..22, filters=656042326, revisions=(7309317907,useless=6646686094), wck=2012.013, mem=25M411
2019.11/2014.38 decisions=46407907, wrong=23203035, backtracks=11837752, failedAssignments=13573371, nogoods=2106
2019.11/2014.38
2199.37/2194.59 num=124, depth=8..22, filters=725407329, revisions=(8052827671,useless=7320051717), wck=2192.221, mem=50M252
2199.37/2194.59 decisions=50954048, wrong=25476099, backtracks=12964451, failedAssignments=14930724, nogoods=2147
2199.37/2194.59
2394.40/2389.56 num=125, depth=7..22, filters=795779039, revisions=(8852456967,useless=8048717648), wck=2387.196, mem=39M501
2394.40/2389.56 decisions=56145602, wrong=28071869, backtracks=14325964, failedAssignments=16423812, nogoods=2175
2394.40/2389.56
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 (15208 MiB free)
memory of node 1: 16384 MiB (14874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390700-1568383847/watcher-4390700-1568383847 -o /tmp/evaluation-result-4390700-1568383847/solver-4390700-1568383847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10474 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390700-1568383847.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
solver pid=11407, runsolver pid=11404
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.85 1.88 1.86 5/233 11422
/proc/meminfo: memFree=30788280/32770624 swapFree=66967136/67108860
[pid=11407] ppid=11404 vsize=10659884 memory=30812 CPUtime=0.14 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 5635 0 0 0 13 1 0 0 20 0 15 0 414634228 10915721216 7703 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2664971 7703 2911 1 0 2627468 0
[pid=11407/tid=11409] ppid=11404 vsize=10659884 memory=-8773748148830246011 CPUtime=0.09 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) R 11404 11407 10443 0 -1 4202560 2981 0 0 0 9 0 0 0 20 0 15 0 414634228 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863538597824 139863534378390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634230 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863040935328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863039882736 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) R 11404 11407 10443 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) R 11404 11407 10443 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863036725360 139863527351497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0.02 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) R 11404 11407 10443 0 -1 4202560 617 0 0 0 2 0 0 0 20 0 15 0 414634233 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863035669752 139863526603582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634234 10915721216 7703 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30812 KiB
[startup+0.211436 s]*
/proc/loadavg: 1.85 1.88 1.86 3/233 11422
/proc/meminfo: memFree=30781752/32770624 swapFree=66967136/67108860
[pid=11407] ppid=11404 vsize=10659884 memory=35392 CPUtime=0.33 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 6438 0 0 0 31 2 0 0 20 0 15 0 414634228 10915721216 8848 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2664971 8848 2989 1 0 2627468 0
[pid=11407/tid=11409] ppid=11404 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) R 11404 11407 10443 0 -1 4202560 3453 0 0 0 20 0 0 0 20 0 15 0 414634228 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863538603472 139863534388381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10659884 memory=288370380628084352 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634230 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863040935328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863039882736 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 764 0 0 0 3 0 0 0 20 0 15 0 414634233 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 414634233 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0.05 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 633 0 0 0 5 0 0 0 20 0 15 0 414634233 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634234 10915721216 8848 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35392 KiB
[startup+0.31607 s]*
/proc/loadavg: 1.85 1.88 1.86 3/233 11422
/proc/meminfo: memFree=30774088/32770624 swapFree=66967136/67108860
[pid=11407] ppid=11404 vsize=10659884 memory=40316 CPUtime=0.47 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 8912 0 0 0 44 3 0 0 20 0 15 0 414634228 10915721216 10079 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2664971 10079 3001 1 0 2627468 0
[pid=11407/tid=11409] ppid=11404 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) R 11404 11407 10443 0 -1 4202560 5860 0 0 0 28 2 0 0 20 0 15 0 414634228 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863538592112 139863534388381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10659884 memory=288370380628084352 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634230 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863040935328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414634231 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863039882736 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 806 0 0 0 4 0 0 0 20 0 15 0 414634233 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 414634233 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0.08 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 654 0 0 0 8 0 0 0 20 0 15 0 414634233 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10659884 memory=140004476372608 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634234 10915721216 10079 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40316 KiB
[startup+0.700786 s]
/proc/loadavg: 1.85 1.88 1.86 3/233 11422
/proc/meminfo: memFree=30765236/32770624 swapFree=66967136/67108860
[pid=11407] ppid=11404 vsize=10661932 memory=64048 CPUtime=1.1 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 12601 0 0 0 105 5 0 0 20 0 15 0 414634228 10917818368 16012 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2665483 16012 3065 1 0 2627980 0
[pid=11407/tid=11409] ppid=11404 vsize=10661932 memory=1240 CPUtime=0.68 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) R 11404 11407 10443 0 -1 4202560 8397 0 0 0 64 4 0 0 20 0 15 0 414634228 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863538589392 139863534388381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10661932 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634229 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10661932 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634230 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10661932 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414634231 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863040935328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10661932 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414634231 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863039882736 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10661932 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10661932 memory=4639098309541126757 CPUtime=0.12 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) R 11404 11407 10443 0 -1 4202560 1088 0 0 0 12 0 0 0 20 0 15 0 414634233 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863037777904 139863517863195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10661932 memory=7955443078088779376 CPUtime=0.1 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 609 0 0 0 10 0 0 0 20 0 15 0 414634233 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 1148 0 0 0 18 0 0 0 20 0 15 0 414634233 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414634233 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634234 10917818368 16012 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64048 KiB
[startup+1.50083 s]
/proc/loadavg: 1.85 1.88 1.86 3/233 11422
/proc/meminfo: memFree=30750036/32770624 swapFree=66967136/67108860
[pid=11407] ppid=11404 vsize=10663980 memory=76024 CPUtime=2 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 17951 0 0 0 194 6 0 0 20 0 15 0 414634228 10919915520 19006 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2665995 19006 3094 1 0 2628492 0
[pid=11407/tid=11409] ppid=11404 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) R 11404 11407 10443 0 -1 4202560 12439 0 0 0 143 5 0 0 20 0 15 0 414634228 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863538597760 139863517553281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414634229 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414634229 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414634230 10919915520 19006 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
################
# More data... #
################
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 4585 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.21 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 6381 0 0 0 17 4 0 0 20 0 16 0 414634230 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863040935392 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863039882752 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.14 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 6995 0 0 0 113 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.05 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 6884 0 0 0 104 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10748324 memory=3624 CPUtime=0.71 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 8402 0 0 0 69 2 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10748324 memory=22156 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.66 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1006 0 0 0 29 37 0 0 20 0 16 0 414634234 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11423] ppid=11404 vsize=10748324 memory=22156 CPUtime=2439.39 cores=0,2,4,6
/proc/11407/task/11423/stat : 11423 (java) R 11404 11407 10443 0 -1 4202560 15064 0 0 0 243935 4 0 0 20 0 16 0 414634416 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863016796160 139863151117839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 2447.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211360 KiB
[startup+2502.3 s]
/proc/loadavg: 2.20 2.13 2.02 3/234 11733
/proc/meminfo: memFree=30562728/32770624 swapFree=66967172/67108860
[pid=11407] ppid=11404 vsize=10748324 memory=211360 CPUtime=2507.24 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 77007 0 0 0 250673 51 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2687081 52840 3377 1 0 2647217 0
[pid=11407/tid=11409] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.86 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11404 11407 10443 0 -1 1077944384 14599 0 0 0 180 6 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863538609328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 5038 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 3827 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 2679 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 4585 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.22 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 6387 0 0 0 17 5 0 0 20 0 16 0 414634230 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863040935392 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863039882752 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10748324 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 6998 0 0 0 113 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.06 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 6886 0 0 0 105 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10748324 memory=3624 CPUtime=0.71 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 8404 0 0 0 69 2 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10748324 memory=22156 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10748324 memory=3624 CPUtime=0.68 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1037 0 0 0 29 39 0 0 20 0 16 0 414634234 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11423] ppid=11404 vsize=10748324 memory=22156 CPUtime=2499.39 cores=0,2,4,6
/proc/11407/task/11423/stat : 11423 (java) R 11404 11407 10443 0 -1 4202560 15135 0 0 0 249935 4 0 0 20 0 16 0 414634416 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863016796160 139863150852639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 2507.24 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.11 s]
/proc/loadavg: 2.16 2.13 2.02 3/235 11736
/proc/meminfo: memFree=30562524/32770624 swapFree=66967172/67108860
[pid=11407] ppid=11404 vsize=10748324 memory=211360 CPUtime=2520.06 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 77505 0 0 0 251954 52 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2687081 52840 3377 1 0 2647217 0
[pid=11407/tid=11409] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.86 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11404 11407 10443 0 -1 1077944384 14599 0 0 0 180 6 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863538609328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 5310 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 3834 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 2684 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.53 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 4612 0 0 0 51 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.22 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 6560 0 0 0 17 5 0 0 20 0 16 0 414634230 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863040935392 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863039882752 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10748324 memory=3624 CPUtime=1.14 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 6998 0 0 0 113 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.06 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 6886 0 0 0 105 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.71 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 8404 0 0 0 69 2 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10748324 memory=106 CPUtime=0.69 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1039 0 0 0 30 39 0 0 20 0 16 0 414634234 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11423] ppid=11404 vsize=10748324 memory=3624 CPUtime=2512.19 cores=0,2,4,6
/proc/11407/task/11423/stat : 11423 (java) R 11404 11407 10443 0 -1 4202560 15147 0 0 0 251215 4 0 0 20 0 16 0 414634416 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863016796368 139863151117254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.12 s]
# the end of solver process 11407 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.525073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.11 s]
/proc/loadavg: 2.16 2.13 2.02 3/235 11736
/proc/meminfo: memFree=30562524/32770624 swapFree=66967172/67108860
[pid=11407] ppid=11404 vsize=10748324 memory=211360 CPUtime=2520.06 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11404 11407 10443 0 -1 1077944320 77505 0 0 0 251954 52 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 140732422731168 139863534366455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
/proc/11407/statm: 2687081 52840 3377 1 0 2647217 0
[pid=11407/tid=11409] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.86 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11404 11407 10443 0 -1 1077944384 14599 0 0 0 180 6 0 0 20 0 16 0 414634228 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863538609328 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11410] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11404 11407 10443 0 -1 1077944384 5310 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863471057168 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11411] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11404 11407 10443 0 -1 1077944384 3834 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863470004624 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11412] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.52 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11404 11407 10443 0 -1 1077944384 2684 0 0 0 50 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863468952080 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11413] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.53 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11404 11407 10443 0 -1 1077944384 4612 0 0 0 51 2 0 0 20 0 16 0 414634229 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863467899536 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11414] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.22 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11404 11407 10443 0 -1 1077944384 6560 0 0 0 17 5 0 0 20 0 16 0 414634230 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863041989104 139863534377602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11415] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11404 11407 10443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863040935392 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11416] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11404 11407 10443 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414634231 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863039882752 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11417] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863038831312 139863534385051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11418] ppid=11404 vsize=10748324 memory=3624 CPUtime=1.14 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11404 11407 10443 0 -1 1077944384 6998 0 0 0 113 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863037777904 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11419] ppid=11404 vsize=10748324 memory=211360 CPUtime=1.06 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11404 11407 10443 0 -1 1077944384 6886 0 0 0 105 1 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863036725360 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11420] ppid=11404 vsize=10748324 memory=211360 CPUtime=0.71 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11404 11407 10443 0 -1 1077944384 8404 0 0 0 69 2 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863035672816 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11421] ppid=11404 vsize=10748324 memory=211360 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11404 11407 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414634233 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863034620512 139863534376661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11422] ppid=11404 vsize=10748324 memory=106 CPUtime=0.69 cores=0,2,4,6
/proc/11407/task/11422/stat : 11422 (java) S 11404 11407 10443 0 -1 1077944384 1039 0 0 0 30 39 0 0 20 0 16 0 414634234 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863033568048 139863534377602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
[pid=11407/tid=11423] ppid=11404 vsize=10748324 memory=3624 CPUtime=2512.19 cores=0,2,4,6
/proc/11407/task/11423/stat : 11423 (java) R 11404 11407 10443 0 -1 4202560 15147 0 0 0 251215 4 0 0 20 0 16 0 414634416 11006283776 52840 33554432000 4194304 4196468 140732422748624 139863016796368 139863151117254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16080896 140732422751243 140732422751346 140732422751346 140732422754255 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211360 KiB
Child status: 143
Real time (s): 2515.12
CPU time (s): 2520.08
CPU user time (s): 2519.55
CPU system time (s): 0.525073
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 284692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.525073
maximum resident set size= 286264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61147
involuntary context switches= 2247
# summary of solver processes directly reported to runsolver:
# pid: 11407
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.525073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1498 second user time and 24.4714 second system time
The end