2.62/1.90
2.62/1.90 AbsCon 2
2.62/1.92
3.18/2.17 Instance
3.18/2.17 name=instance-4390666-1568383767, framework=CSP
3.18/2.17
3.18/2.17 Loading variables...
3.48/2.20 Loading constraints...
3.84/2.35
3.84/2.35 Domains
3.84/2.35 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.84/2.36 Variables
3.84/2.36 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.84/2.36 Constraints
3.84/2.36 count=1261, arities=[2#1261]
3.84/2.36 distribution=[CtrExtensionV-Bits#1261]
3.84/2.36 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.84/2.36 wck=0.484, cpu=2.326, mem=42M367
3.84/2.36 Solver SolverBacktrack being built...
3.84/2.36
3.84/2.38
3.84/2.38 Solver
3.84/2.38 guaranteedGAC=true
3.84/2.38 wck=0.515, cpu=2.355, mem=53M9
4.17/2.40
4.17/2.40 Preprocessing
4.17/2.40 filters=150, revisions=(2214,useless=2046), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
4.17/2.40 wck=0.008, cpu=2.365, mem=53M9
4.17/2.40
4.17/2.41 num=0, depth=25..31, filters=962, revisions=(11692,useless=10712), wck=0.021, mem=53M9
4.17/2.41 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
4.17/2.41
4.17/2.41 num=1, depth=26..37, filters=1642, revisions=(19903,useless=18243), wck=0.027, mem=53M9
4.17/2.41 decisions=135, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
4.17/2.41
4.17/2.42 num=2, depth=18..25, filters=2312, revisions=(29853,useless=27523), wck=0.034, mem=53M9
4.17/2.42 decisions=201, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.17/2.42
4.17/2.44 num=3, depth=24..37, filters=2940, revisions=(38372,useless=35414), wck=0.052, mem=53M9
4.17/2.44 decisions=277, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.17/2.44
4.17/2.44 num=4, depth=10..24, filters=3739, revisions=(48070,useless=44313), wck=0.058, mem=53M9
4.17/2.44 decisions=343, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.17/2.44
4.17/2.45 num=5, depth=16..32, filters=4497, revisions=(58215,useless=53700), wck=0.064, mem=53M9
4.17/2.45 decisions=423, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.17/2.45
4.17/2.46 num=6, depth=13..38, filters=5464, revisions=(70853,useless=65364), wck=0.072, mem=53M9
4.17/2.46 decisions=522, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.17/2.46
4.17/2.47 num=7, depth=12..24, filters=6245, revisions=(83650,useless=77372), wck=0.078, mem=53M9
4.17/2.47 decisions=618, wrong=224, backtracks=117, failedAssignments=112, nogoods=11
4.17/2.47
4.17/2.47 num=8, depth=12..21, filters=7178, revisions=(97431,useless=90213), wck=0.084, mem=53M9
4.17/2.47 decisions=713, wrong=264, backtracks=139, failedAssignments=133, nogoods=15
4.17/2.47
4.17/2.47 num=9, depth=13..29, filters=7871, revisions=(109357,useless=101444), wck=0.09, mem=53M9
4.17/2.47 decisions=812, wrong=307, backtracks=160, failedAssignments=156, nogoods=17
4.17/2.47
4.17/2.48 num=10, depth=12..30, filters=8487, revisions=(121099,useless=112568), wck=0.095, mem=55M651
4.17/2.48 decisions=917, wrong=353, backtracks=183, failedAssignments=181, nogoods=19
4.17/2.48
4.17/2.49 num=11, depth=11..16, filters=9605, revisions=(137993,useless=128339), wck=0.102, mem=55M651
4.17/2.49 decisions=1030, wrong=404, backtracks=207, failedAssignments=209, nogoods=20
4.17/2.49
4.17/2.49 num=12, depth=10..14, filters=10669, revisions=(154845,useless=144112), wck=0.108, mem=55M651
4.17/2.49 decisions=1151, wrong=459, backtracks=231, failedAssignments=240, nogoods=26
4.17/2.49
4.50/2.50 num=13, depth=14..20, filters=12324, revisions=(178758,useless=166362), wck=0.116, mem=55M651
4.50/2.50 decisions=1295, wrong=522, backtracks=262, failedAssignments=274, nogoods=28
4.50/2.50
4.50/2.51 num=14, depth=13..18, filters=13688, revisions=(198094,useless=184323), wck=0.124, mem=55M651
4.50/2.51 decisions=1430, wrong=583, backtracks=289, failedAssignments=311, nogoods=29
4.50/2.51
4.50/2.52 num=15, depth=13..17, filters=15758, revisions=(222794,useless=206930), wck=0.133, mem=55M651
4.50/2.52 decisions=1576, wrong=649, backtracks=316, failedAssignments=352, nogoods=45
4.50/2.52
4.50/2.53 num=16, depth=12..17, filters=19188, revisions=(257411,useless=238075), wck=0.147, mem=55M651
4.50/2.53 decisions=1742, wrong=725, backtracks=353, failedAssignments=397, nogoods=56
4.50/2.53
4.50/2.54 num=17, depth=14..20, filters=21645, revisions=(285928,useless=264106), wck=0.157, mem=55M651
4.50/2.54 decisions=1911, wrong=802, backtracks=388, failedAssignments=447, nogoods=62
4.50/2.54
4.50/2.55 num=18, depth=14..18, filters=24652, revisions=(318855,useless=293970), wck=0.169, mem=55M651
4.50/2.55 decisions=2097, wrong=888, backtracks=423, failedAssignments=502, nogoods=70
4.50/2.55
4.50/2.56 num=19, depth=12..17, filters=27409, revisions=(348407,useless=320721), wck=0.18, mem=55M651
4.50/2.56 decisions=2282, wrong=974, backtracks=451, failedAssignments=563, nogoods=82
4.50/2.56
4.50/2.58 num=20, depth=14..18, filters=31086, revisions=(387857,useless=356446), wck=0.193, mem=55M651
4.50/2.58 decisions=2501, wrong=1076, backtracks=492, failedAssignments=630, nogoods=95
4.50/2.58
4.50/2.59 num=21, depth=14..18, filters=35439, revisions=(430582,useless=394723), wck=0.208, mem=55M651
4.50/2.59 decisions=2726, wrong=1181, backtracks=526, failedAssignments=704, nogoods=102
4.50/2.59
4.70/2.61 num=22, depth=12..19, filters=39001, revisions=(475070,useless=435616), wck=0.223, mem=55M651
4.70/2.61 decisions=3021, wrong=1320, backtracks=591, failedAssignments=785, nogoods=112
4.70/2.61
4.70/2.62 num=23, depth=13..20, filters=42327, revisions=(521123,useless=478314), wck=0.239, mem=55M651
4.70/2.62 decisions=3359, wrong=1482, backtracks=673, failedAssignments=874, nogoods=117
4.70/2.62
4.70/2.64 num=24, depth=13..19, filters=47945, revisions=(577268,useless=528753), wck=0.258, mem=55M651
4.70/2.64 decisions=3678, wrong=1634, backtracks=734, failedAssignments=972, nogoods=137
4.70/2.64
4.70/2.66 num=25, depth=14..20, filters=53833, revisions=(638740,useless=584215), wck=0.28, mem=58M294
4.70/2.66 decisions=4038, wrong=1805, backtracks=806, failedAssignments=1080, nogoods=145
4.70/2.66
4.70/2.69 num=26, depth=14..20, filters=60388, revisions=(708983,useless=647802), wck=0.303, mem=58M294
4.70/2.69 decisions=4460, wrong=2009, backtracks=909, failedAssignments=1199, nogoods=150
4.70/2.69
4.81/2.71 num=27, depth=15..21, filters=67420, revisions=(779643,useless=711305), wck=0.328, mem=58M294
4.81/2.71 decisions=4882, wrong=2212, backtracks=991, failedAssignments=1330, nogoods=155
4.81/2.71
4.81/2.74 num=28, depth=14..19, filters=75603, revisions=(859336,useless=782679), wck=0.355, mem=58M294
4.81/2.74 decisions=5335, wrong=2431, backtracks=1075, failedAssignments=1474, nogoods=171
4.81/2.74
4.81/2.77 num=29, depth=14..20, filters=82686, revisions=(940098,useless=856289), wck=0.382, mem=58M294
4.81/2.77 decisions=5892, wrong=2701, backtracks=1204, failedAssignments=1632, nogoods=184
4.81/2.77
4.93/2.80 num=30, depth=13..18, filters=92858, revisions=(1041898,useless=947733), wck=0.416, mem=60M936
4.93/2.80 decisions=6468, wrong=2982, backtracks=1323, failedAssignments=1806, nogoods=197
4.93/2.80
4.93/2.84 num=31, depth=15..21, filters=103906, revisions=(1153533,useless=1048126), wck=0.454, mem=60M936
4.93/2.84 decisions=7110, wrong=3295, backtracks=1476, failedAssignments=1997, nogoods=207
4.93/2.84
4.93/2.88 num=32, depth=12..18, filters=115056, revisions=(1267432,useless=1150728), wck=0.492, mem=60M936
4.93/2.88 decisions=7800, wrong=3633, backtracks=1624, failedAssignments=2208, nogoods=220
4.93/2.88
5.03/2.92 num=33, depth=13..21, filters=127718, revisions=(1389329,useless=1259739), wck=0.533, mem=60M936
5.03/2.92 decisions=8528, wrong=3989, backtracks=1778, failedAssignments=2440, nogoods=231
5.03/2.92
5.03/2.96 num=34, depth=14..21, filters=141742, revisions=(1531668,useless=1387714), wck=0.58, mem=63M579
5.03/2.96 decisions=9361, wrong=4398, backtracks=1967, failedAssignments=2695, nogoods=248
5.03/2.96
5.19/3.01 num=35, depth=12..18, filters=157812, revisions=(1678335,useless=1517990), wck=0.631, mem=63M579
5.19/3.01 decisions=10181, wrong=4800, backtracks=2113, failedAssignments=2976, nogoods=251
5.19/3.01
5.19/3.07 num=36, depth=13..20, filters=173000, revisions=(1834911,useless=1659199), wck=0.682, mem=63M579
5.19/3.07 decisions=11171, wrong=5287, backtracks=2313, failedAssignments=3285, nogoods=259
5.19/3.07
5.36/3.13 num=37, depth=12..18, filters=194996, revisions=(2034805,useless=1836636), wck=0.749, mem=66M221
5.36/3.13 decisions=12229, wrong=5809, backtracks=2523, failedAssignments=3625, nogoods=261
5.36/3.13
5.36/3.20 num=38, depth=13..19, filters=214120, revisions=(2222464,useless=2004783), wck=0.81, mem=66M221
5.36/3.20 decisions=13372, wrong=6373, backtracks=2751, failedAssignments=3999, nogoods=275
5.36/3.20
5.47/3.26 num=39, depth=13..21, filters=234158, revisions=(2435588,useless=2197509), wck=0.88, mem=68M864
5.47/3.26 decisions=14747, wrong=7052, backtracks=3083, failedAssignments=4410, nogoods=286
5.47/3.26
5.59/3.34 num=40, depth=13..21, filters=255392, revisions=(2667828,useless=2408281), wck=0.954, mem=68M864
5.59/3.34 decisions=16288, wrong=7814, backtracks=3448, failedAssignments=4862, nogoods=300
5.59/3.34
5.69/3.42 num=41, depth=12..20, filters=280840, revisions=(2932757,useless=2647503), wck=1.039, mem=71M506
5.69/3.42 decisions=17938, wrong=8631, backtracks=3842, failedAssignments=5359, nogoods=317
5.69/3.42
5.79/3.51 num=42, depth=13..20, filters=310559, revisions=(3219487,useless=2904155), wck=1.13, mem=71M506
5.79/3.51 decisions=19657, wrong=9483, backtracks=4203, failedAssignments=5906, nogoods=330
5.79/3.51
5.89/3.61 num=43, depth=12..19, filters=339962, revisions=(3531499,useless=3186401), wck=1.229, mem=74M148
5.89/3.61 decisions=21678, wrong=10486, backtracks=4676, failedAssignments=6508, nogoods=350
5.89/3.61
5.99/3.73 num=44, depth=14..21, filters=378655, revisions=(3893549,useless=3509037), wck=1.345, mem=76M791
5.99/3.73 decisions=23692, wrong=11485, backtracks=5084, failedAssignments=7170, nogoods=369
5.99/3.73
6.09/3.85 num=45, depth=12..21, filters=412164, revisions=(4277700,useless=3859339), wck=1.464, mem=76M791
6.09/3.85 decisions=26189, wrong=12726, backtracks=5721, failedAssignments=7898, nogoods=376
6.09/3.85
6.20/4.00 num=46, depth=12..19, filters=459912, revisions=(4736006,useless=4269142), wck=1.613, mem=79M433
6.20/4.00 decisions=28794, wrong=14022, backtracks=6306, failedAssignments=8699, nogoods=397
6.20/4.00
6.40/4.14 num=47, depth=13..21, filters=503044, revisions=(5198852,useless=4688280), wck=1.761, mem=82M76
6.40/4.14 decisions=31725, wrong=15480, backtracks=6999, failedAssignments=9580, nogoods=406
6.40/4.14
6.59/4.32 num=48, depth=12..21, filters=561375, revisions=(5759696,useless=5190015), wck=1.941, mem=87M361
6.59/4.32 decisions=34866, wrong=17042, backtracks=7722, failedAssignments=10550, nogoods=416
6.59/4.32
6.70/4.49 num=49, depth=13..22, filters=608069, revisions=(6294800,useless=5677942), wck=2.11, mem=87M361
6.70/4.49 decisions=38572, wrong=18887, backtracks=8642, failedAssignments=11617, nogoods=421
6.70/4.49
6.90/4.69 num=50, depth=11..20, filters=664223, revisions=(6937879,useless=6264328), wck=2.31, mem=92M646
6.90/4.69 decisions=42627, wrong=20908, backtracks=9681, failedAssignments=12790, nogoods=431
6.90/4.69
7.21/4.92 num=51, depth=13..21, filters=735456, revisions=(7639036,useless=6893165), wck=2.533, mem=95M288
7.21/4.92 decisions=46786, wrong=22980, backtracks=10631, failedAssignments=14081, nogoods=445
7.21/4.92
7.42/5.16 num=52, depth=12..20, filters=813767, revisions=(8413376,useless=7588148), wck=2.781, mem=100M573
7.42/5.16 decisions=51387, wrong=25274, backtracks=11663, failedAssignments=15501, nogoods=467
7.42/5.16
7.71/5.43 num=53, depth=12..20, filters=898419, revisions=(9247525,useless=8336121), wck=3.046, mem=105M858
7.71/5.43 decisions=56316, wrong=27731, backtracks=12726, failedAssignments=17063, nogoods=474
7.71/5.43
8.01/5.73 num=54, depth=12..21, filters=994217, revisions=(10204203,useless=9195732), wck=3.347, mem=111M143
8.01/5.73 decisions=61951, wrong=30541, backtracks=14106, failedAssignments=18781, nogoods=486
8.01/5.73
8.32/6.06 num=55, depth=12..21, filters=1099975, revisions=(11219460,useless=10103461), wck=3.674, mem=116M428
8.32/6.06 decisions=67972, wrong=33544, backtracks=15434, failedAssignments=20671, nogoods=499
8.32/6.06
8.71/6.41 num=56, depth=11..21, filters=1209611, revisions=(12308776,useless=11081648), wck=4.026, mem=121M712
8.71/6.41 decisions=74654, wrong=36877, backtracks=16945, failedAssignments=22750, nogoods=507
8.71/6.41
9.11/6.80 num=57, depth=12..21, filters=1331145, revisions=(13528505,useless=12178255), wck=4.413, mem=129M640
9.11/6.80 decisions=82060, wrong=40571, backtracks=18727, failedAssignments=25037, nogoods=523
9.11/6.80
9.51/7.21 num=58, depth=12..22, filters=1455407, revisions=(14813053,useless=13336808), wck=4.826, mem=134M925
9.51/7.21 decisions=90492, wrong=44779, backtracks=20703, failedAssignments=27553, nogoods=546
9.51/7.21
9.91/7.66 num=59, depth=10..19, filters=1603943, revisions=(16211012,useless=14584362), wck=5.276, mem=142M778
9.91/7.66 decisions=99049, wrong=49051, backtracks=22547, failedAssignments=30321, nogoods=555
9.91/7.66
10.45/8.16 num=60, depth=11..21, filters=1764131, revisions=(17787630,useless=15998586), wck=5.772, mem=31M474
10.45/8.16 decisions=108846, wrong=53943, backtracks=24914, failedAssignments=33365, nogoods=585
10.45/8.16
10.98/8.68 num=61, depth=11..21, filters=1924865, revisions=(19552148,useless=17600325), wck=6.294, mem=39M164
10.98/8.68 decisions=119930, wrong=59478, backtracks=27573, failedAssignments=36714, nogoods=604
10.98/8.68
11.58/9.27 num=62, depth=12..21, filters=2132783, revisions=(21520704,useless=19357826), wck=6.891, mem=49M416
11.58/9.27 decisions=131381, wrong=65197, backtracks=30066, failedAssignments=40398, nogoods=623
11.58/9.27
12.29/9.92 num=63, depth=10..21, filters=2337733, revisions=(23657571,useless=21287176), wck=7.533, mem=62M232
12.29/9.92 decisions=144736, wrong=71867, backtracks=33163, failedAssignments=44450, nogoods=642
12.29/9.92
12.99/10.66 num=64, depth=11..21, filters=2578539, revisions=(26157707,useless=23543521), wck=8.278, mem=75M48
12.99/10.66 decisions=159823, wrong=79404, backtracks=36968, failedAssignments=48907, nogoods=656
12.99/10.66
13.79/11.44 num=65, depth=13..22, filters=2841030, revisions=(28741702,useless=25861048), wck=9.055, mem=87M863
13.79/11.44 decisions=175467, wrong=87218, backtracks=40456, failedAssignments=53810, nogoods=675
13.79/11.44
14.61/12.30 num=66, depth=10..20, filters=3115475, revisions=(31574270,useless=28415797), wck=9.912, mem=103M242
14.61/12.30 decisions=193193, wrong=96074, backtracks=44576, failedAssignments=59204, nogoods=693
14.61/12.30
15.53/13.17 num=67, depth=11..21, filters=3385771, revisions=(34510299,useless=31077150), wck=10.786, mem=118M621
15.53/13.17 decisions=212735, wrong=105839, backtracks=49009, failedAssignments=65137, nogoods=708
15.53/13.17
16.63/14.25 num=68, depth=11..22, filters=3739217, revisions=(38145401,useless=34354520), wck=11.871, mem=136M563
16.63/14.25 decisions=234520, wrong=116723, backtracks=54445, failedAssignments=71663, nogoods=727
16.63/14.25
17.73/15.36 num=69, depth=11..21, filters=4077107, revisions=(41799988,useless=37667330), wck=12.98, mem=23M780
17.73/15.36 decisions=258949, wrong=128929, backtracks=60449, failedAssignments=78842, nogoods=750
17.73/15.36
19.06/16.61 num=70, depth=10..21, filters=4480086, revisions=(45975301,useless=41435373), wck=14.231, mem=41M916
19.06/16.61 decisions=285001, wrong=141949, backtracks=66738, failedAssignments=86739, nogoods=770
19.06/16.61
20.36/17.98 num=71, depth=12..21, filters=4903310, revisions=(50498948,useless=45529963), wck=15.593, mem=65M234
20.36/17.98 decisions=313953, wrong=156418, backtracks=73812, failedAssignments=95426, nogoods=805
20.36/17.98
21.86/19.46 num=72, depth=10..21, filters=5359407, revisions=(55496270,useless=50066114), wck=17.072, mem=88M552
21.86/19.46 decisions=345411, wrong=172139, backtracks=81413, failedAssignments=104981, nogoods=812
21.86/19.46
23.47/21.09 num=73, depth=9..20, filters=5876459, revisions=(60947642,useless=54994098), wck=18.705, mem=117M52
23.47/21.09 decisions=379879, wrong=189367, backtracks=89358, failedAssignments=115492, nogoods=835
23.47/21.09
25.37/22.93 num=74, depth=11..21, filters=6477098, revisions=(67114606,useless=60553362), wck=20.544, mem=148M143
25.37/22.93 decisions=417186, wrong=208014, backtracks=98110, failedAssignments=127054, nogoods=865
25.37/22.93
27.51/25.04 num=75, depth=11..22, filters=7180405, revisions=(74112527,useless=66838161), wck=22.656, mem=52M591
27.51/25.04 decisions=458487, wrong=228658, backtracks=107781, failedAssignments=139772, nogoods=879
27.51/25.04
29.70/27.27 num=76, depth=10..21, filters=7875059, revisions=(81633381,useless=73656684), wck=24.891, mem=87M97
29.70/27.27 decisions=505282, wrong=252050, backtracks=119547, failedAssignments=153762, nogoods=902
29.70/27.27
32.30/29.81 num=77, depth=10..21, filters=8678621, revisions=(90148290,useless=81358530), wck=27.427, mem=127M877
32.30/29.81 decisions=557737, wrong=278271, backtracks=132491, failedAssignments=169151, nogoods=913
32.30/29.81
34.90/32.45 num=78, depth=11..22, filters=9513741, revisions=(98907587,useless=89269060), wck=30.062, mem=174M930
34.90/32.45 decisions=613001, wrong=305896, backtracks=145326, failedAssignments=186079, nogoods=947
34.90/32.45
37.84/35.36 num=79, depth=10..21, filters=10399735, revisions=(108718007,useless=98184658), wck=32.972, mem=58M318
37.84/35.36 decisions=675032, wrong=336905, backtracks=160919, failedAssignments=204700, nogoods=963
37.84/35.36
41.14/38.69 num=80, depth=10..21, filters=11440566, revisions=(119859442,useless=108274305), wck=36.305, mem=110M824
41.14/38.69 decisions=744971, wrong=371867, backtracks=178307, failedAssignments=225184, nogoods=980
41.14/38.69
44.84/42.32 num=81, depth=11..21, filters=12633938, revisions=(131955999,useless=119161006), wck=39.935, mem=175M685
44.84/42.32 decisions=818287, wrong=408519, backtracks=195459, failedAssignments=247716, nogoods=998
44.84/42.32
48.98/46.41 num=82, depth=10..21, filters=13888442, revisions=(145794521,useless=131733601), wck=44.03, mem=78M928
48.98/46.41 decisions=903193, wrong=450966, backtracks=217458, failedAssignments=272501, nogoods=1016
48.98/46.41
53.56/50.94 num=83, depth=10..21, filters=15302201, revisions=(160678552,useless=145189327), wck=48.553, mem=151M768
53.56/50.94 decisions=992827, wrong=495777, backtracks=239319, failedAssignments=299765, nogoods=1085
53.56/50.94
58.41/55.78 num=84, depth=9..21, filters=16816888, revisions=(176543474,useless=159522050), wck=53.396, mem=81M32
58.41/55.78 decisions=1092013, wrong=545364, backtracks=262378, failedAssignments=329755, nogoods=1112
58.41/55.78
63.75/61.05 num=85, depth=11..22, filters=18544973, revisions=(194125090,useless=175351144), wck=58.668, mem=24M210
63.75/61.05 decisions=1199575, wrong=599138, backtracks=287779, failedAssignments=362744, nogoods=1145
63.75/61.05
69.35/66.67 num=86, depth=10..23, filters=20242290, revisions=(213093869,useless=192605422), wck=64.288, mem=106M526
69.35/66.67 decisions=1322742, wrong=660714, backtracks=318458, failedAssignments=399032, nogoods=1165
69.35/66.67
75.77/73.03 num=87, depth=9..22, filters=22206186, revisions=(234085677,useless=211613373), wck=70.642, mem=61M761
75.77/73.03 decisions=1457219, wrong=727947, backtracks=350999, failedAssignments=438949, nogoods=1197
75.77/73.03
82.97/80.24 num=88, depth=9..21, filters=24501839, revisions=(258296051,useless=233503153), wck=77.852, mem=32M659
82.97/80.24 decisions=1604868, wrong=801766, backtracks=387932, failedAssignments=482858, nogoods=1210
82.97/80.24
90.57/87.87 num=89, depth=10..22, filters=26813238, revisions=(284124742,useless=256997404), wck=85.489, mem=149M55
90.57/87.87 decisions=1769175, wrong=883913, backtracks=429120, failedAssignments=531158, nogoods=1232
90.57/87.87
99.18/96.43 num=90, depth=9..22, filters=29430549, revisions=(312939265,useless=283169737), wck=94.049, mem=135M598
99.18/96.43 decisions=1948260, wrong=973449, backtracks=474287, failedAssignments=584288, nogoods=1243
99.18/96.43
108.80/106.09 num=91, depth=10..21, filters=32480113, revisions=(345506984,useless=312656647), wck=103.705, mem=144M450
108.80/106.09 decisions=2146958, wrong=1072792, backtracks=525181, failedAssignments=642731, nogoods=1294
108.80/106.09
118.70/115.99 num=92, depth=9..21, filters=35438907, revisions=(378640571,useless=342800977), wck=113.61, mem=156M18
118.70/115.99 decisions=2366954, wrong=1182783, backtracks=581258, failedAssignments=707018, nogoods=1307
118.70/115.99
130.22/127.40 num=93, depth=10..21, filters=39114791, revisions=(416691989,useless=377130297), wck=125.015, mem=78M746
130.22/127.40 decisions=2598916, wrong=1298756, backtracks=637394, failedAssignments=777734, nogoods=1341
130.22/127.40
142.23/139.46 num=94, depth=9..21, filters=42741872, revisions=(457317520,useless=414094719), wck=137.071, mem=121M529
142.23/139.46 decisions=2863908, wrong=1431245, backtracks=705053, failedAssignments=855521, nogoods=1362
142.23/139.46
156.34/153.53 num=95, depth=10..22, filters=47329353, revisions=(504159520,useless=456287530), wck=151.142, mem=108M400
156.34/153.53 decisions=3144469, wrong=1571518, backtracks=771756, failedAssignments=941087, nogoods=1377
156.34/153.53
171.05/168.20 num=96, depth=9..21, filters=51719640, revisions=(553784599,useless=501477131), wck=165.816, mem=76M618
171.05/168.20 decisions=3460229, wrong=1729391, backtracks=849647, failedAssignments=1035210, nogoods=1398
171.05/168.20
187.27/184.44 num=97, depth=9..22, filters=56652982, revisions=(608338379,useless=551050925), wck=182.055, mem=79M906
187.27/184.44 decisions=3812705, wrong=1905622, backtracks=939614, failedAssignments=1138745, nogoods=1417
187.27/184.44
205.30/202.45 num=98, depth=9..22, filters=62375288, revisions=(668334387,useless=605253045), wck=200.065, mem=26M18
205.30/202.45 decisions=4186191, wrong=2092357, backtracks=1029691, failedAssignments=1252634, nogoods=1436
205.30/202.45
225.52/222.62 num=99, depth=9..22, filters=68462130, revisions=(736344545,useless=667114962), wck=220.238, mem=95M726
225.52/222.62 decisions=4613403, wrong=2305956, backtracks=1139909, failedAssignments=1377912, nogoods=1468
225.52/222.62
247.64/244.78 num=100, depth=9..21, filters=75229202, revisions=(810416697,useless=734355000), wck=242.395, mem=107M206
247.64/244.78 decisions=5071092, wrong=2534795, backtracks=1251802, failedAssignments=1515718, nogoods=1535
247.64/244.78
272.38/269.43 num=101, depth=8..22, filters=82688536, revisions=(892535948,useless=808939906), wck=267.05, mem=67M267
272.38/269.43 decisions=5586880, wrong=2792682, backtracks=1381811, failedAssignments=1667304, nogoods=1559
272.38/269.43
300.40/297.48 num=102, depth=9..22, filters=91765644, revisions=(985513039,useless=892722579), wck=295.101, mem=55M512
300.40/297.48 decisions=6140135, wrong=3069303, backtracks=1515301, failedAssignments=1834049, nogoods=1577
300.40/297.48
328.93/325.93 num=103, depth=8..22, filters=99949740, revisions=(1081379095,useless=980338430), wck=323.546, mem=68M387
328.93/325.93 decisions=6765887, wrong=3382173, backtracks=1678331, failedAssignments=2017468, nogoods=1603
328.93/325.93
361.07/358.07 num=104, depth=7..22, filters=109867592, revisions=(1187476268,useless=1076413759), wck=355.682, mem=65M116
361.07/358.07 decisions=7445218, wrong=3721832, backtracks=1841730, failedAssignments=2219229, nogoods=1610
361.07/358.07
397.52/394.49 num=105, depth=9..22, filters=121504048, revisions=(1308754544,useless=1185917265), wck=392.109, mem=26M465
397.52/394.49 decisions=8177610, wrong=4088021, backtracks=2019232, failedAssignments=2441167, nogoods=1628
397.52/394.49
436.56/433.43 num=106, depth=8..21, filters=133265957, revisions=(1439366468,useless=1304653010), wck=431.042, mem=83M489
436.56/433.43 decisions=9009637, wrong=4504028, backtracks=2227747, failedAssignments=2685298, nogoods=1658
436.56/433.43
479.23/476.10 num=107, depth=8..22, filters=145928369, revisions=(1581516225,useless=1434004095), wck=473.711, mem=71M358
479.23/476.10 decisions=9934539, wrong=4966472, backtracks=2461561, failedAssignments=2953843, nogoods=1697
479.23/476.10
527.59/524.35 num=108, depth=8..22, filters=160860702, revisions=(1742339307,useless=1579736416), wck=521.97, mem=38M153
527.59/524.35 decisions=10937023, wrong=5467708, backtracks=2708805, failedAssignments=3249242, nogoods=1743
527.59/524.35
579.08/575.74 num=109, depth=8..22, filters=176221866, revisions=(1914880744,useless=1736763343), wck=573.355, mem=24M212
579.08/575.74 decisions=12039747, wrong=6019064, backtracks=2987492, failedAssignments=3574181, nogoods=1773
579.08/575.74
637.07/633.67 num=110, depth=8..22, filters=193399628, revisions=(2110004055,useless=1914549214), wck=631.289, mem=23M69
637.07/633.67 decisions=13273266, wrong=6635818, backtracks=3311165, failedAssignments=3931614, nogoods=1796
637.07/633.67
698.59/695.05 num=111, depth=7..21, filters=211168537, revisions=(2315516204,useless=2102118850), wck=692.667, mem=25M180
698.59/695.05 decisions=14599095, wrong=7298725, backtracks=3640121, failedAssignments=4324790, nogoods=1825
698.59/695.05
767.88/764.25 num=112, depth=8..22, filters=231226695, revisions=(2550613423,useless=2316996314), wck=761.868, mem=34M925
767.88/764.25 decisions=16104235, wrong=8051287, backtracks=4043972, failedAssignments=4757284, nogoods=1850
767.88/764.25
846.65/842.85 num=113, depth=9..22, filters=256566788, revisions=(2811503875,useless=2552237337), wck=840.465, mem=42M509
846.65/842.85 decisions=17662321, wrong=8830324, backtracks=4419958, failedAssignments=5233028, nogoods=1921
846.65/842.85
933.19/929.21 num=114, depth=8..22, filters=282822491, revisions=(3102650790,useless=2816879711), wck=926.827, mem=69M535
933.19/929.21 decisions=19458633, wrong=9728473, backtracks=4891081, failedAssignments=5756346, nogoods=1937
933.19/929.21
1027.05/1023.00 num=115, depth=8..22, filters=311278961, revisions=(3416142727,useless=3101626861), wck=1020.62, mem=74M959
1027.05/1023.00 decisions=21440403, wrong=10719351, backtracks=5397922, failedAssignments=6331996, nogoods=1955
1027.05/1023.00
1129.15/1124.81 num=116, depth=9..22, filters=342942300, revisions=(3755371365,useless=3408829444), wck=1122.427, mem=58M775
1129.15/1124.81 decisions=23554347, wrong=11776317, backtracks=5920487, failedAssignments=6965211, nogoods=1999
1129.15/1124.81
1238.04/1233.59 num=117, depth=8..22, filters=375072665, revisions=(4119537717,useless=3740567256), wck=1231.202, mem=25M311
1238.04/1233.59 decisions=25986794, wrong=12992534, backtracks=6558021, failedAssignments=7661747, nogoods=2030
1238.04/1233.59
1352.84/1348.16 num=118, depth=6..22, filters=407656169, revisions=(4503876201,useless=4091916833), wck=1345.776, mem=49M96
1352.84/1348.16 decisions=28567863, wrong=14283062, backtracks=7179360, failedAssignments=8427937, nogoods=2059
1352.84/1348.16
1488.37/1483.44 num=119, depth=8..22, filters=447314452, revisions=(4959232866,useless=4507283909), wck=1481.059, mem=28M608
1488.37/1483.44 decisions=31521859, wrong=15760054, backtracks=7954181, failedAssignments=9270746, nogoods=2104
1488.37/1483.44
1637.34/1632.14 num=120, depth=7..23, filters=491545804, revisions=(5459294567,useless=4962701742), wck=1629.758, mem=42M673
1637.34/1632.14 decisions=34683673, wrong=17340955, backtracks=8764653, failedAssignments=10197836, nogoods=2128
1637.34/1632.14
1801.73/1796.23 num=121, depth=8..22, filters=541877658, revisions=(6004456292,useless=5456931978), wck=1793.847, mem=38M378
1801.73/1796.23 decisions=38135431, wrong=19066828, backtracks=9609443, failedAssignments=11217635, nogoods=2179
1801.73/1796.23
1980.93/1975.12 num=122, depth=7..23, filters=593388908, revisions=(6606601660,useless=6007142535), wck=1972.735, mem=31M922
1980.93/1975.12 decisions=42025093, wrong=21011653, backtracks=10635068, failedAssignments=12339414, nogoods=2212
1980.93/1975.12
2178.98/2172.85 num=123, depth=7..22, filters=652251874, revisions=(7272935772,useless=6614062870), wck=2170.471, mem=76M228
2178.98/2172.85 decisions=46257202, wrong=23127701, backtracks=11724528, failedAssignments=13573371, nogoods=2247
2178.98/2172.85
2396.19/2389.78 num=124, depth=7..23, filters=712601945, revisions=(8009149507,useless=7289532644), wck=2387.396, mem=36M283
2396.19/2389.78 decisions=51077709, wrong=25537947, backtracks=13045560, failedAssignments=14930724, nogoods=2271
2396.19/2389.78
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 (13690 MiB free)
memory of node 1: 16384 MiB (13851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390666-1568383767/watcher-4390666-1568383767 -o /tmp/evaluation-result-4390666-1568383767/solver-4390666-1568383767 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20883 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390666-1568383767.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23117, runsolver pid=23114
[startup+0.103067 s]*
/proc/loadavg: 1.97 2.00 1.95 4/228 23132
/proc/meminfo: memFree=28187600/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10659884 memory=29676 CPUtime=0.15 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 5940 0 0 0 14 1 0 0 20 0 15 0 414644552 10915721216 7419 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2664971 7419 2926 1 0 2627468 0
[pid=23117/tid=23119] ppid=23114 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) R 23114 23117 20852 0 -1 4202560 3227 0 0 0 9 0 0 0 20 0 15 0 414644552 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063981513360 140063977305245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644554 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063535302304 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063534249200 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 7419 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 7485 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) R 23114 23117 20852 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 7485 33554432000 4194304 4196468 140725288699296 140063531073352 140063969520446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0.02 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) R 23114 23117 20852 0 -1 4202560 709 0 0 0 2 0 0 0 20 0 15 0 414644557 10915721216 7485 33554432000 4194304 4196468 140725288699296 140063530036088 140063956086543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 7485 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644558 10915721216 7485 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29676 KiB
[startup+0.210773 s]*
/proc/loadavg: 1.97 2.00 1.95 4/228 23132
/proc/meminfo: memFree=28177148/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10659884 memory=37480 CPUtime=0.33 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 9102 0 0 0 31 2 0 0 20 0 15 0 414644552 10915721216 9370 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2664971 9370 2987 1 0 2627468 0
[pid=23117/tid=23119] ppid=23114 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) R 23114 23117 20852 0 -1 4202560 6086 0 0 0 19 1 0 0 20 0 15 0 414644552 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063981514928 140063977305245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10659884 memory=3762959530163574432 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644554 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063535302304 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063534249200 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 414644557 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 365 0 0 0 3 0 0 0 20 0 15 0 414644557 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0.05 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 414644557 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644558 10915721216 9370 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37480 KiB
[startup+0.310296 s]*
/proc/loadavg: 1.97 2.00 1.95 3/228 23132
/proc/meminfo: memFree=28174828/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10659884 memory=40008 CPUtime=0.47 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 9319 0 0 0 44 3 0 0 20 0 15 0 414644552 10915721216 10002 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2664971 10002 2999 1 0 2627468 0
[pid=23117/tid=23119] ppid=23114 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) R 23114 23117 20852 0 -1 4202560 6229 0 0 0 28 2 0 0 20 0 15 0 414644552 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063981515728 140063977305245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10659884 memory=4122966025376503456 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644553 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644554 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063535302304 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644555 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063534249200 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 586 0 0 0 4 0 0 0 20 0 15 0 414644557 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 414644557 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0.07 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) R 23114 23117 20852 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 15 0 414644557 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063530039280 140063977304666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10659884 memory=140261846816384 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644558 10915721216 10002 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40008 KiB
[startup+0.700777 s]
/proc/loadavg: 1.97 2.00 1.95 3/228 23132
/proc/meminfo: memFree=28164424/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10661932 memory=63972 CPUtime=1.11 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 12982 0 0 0 106 5 0 0 20 0 15 0 414644552 10917818368 15993 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2665483 15993 3065 1 0 2627980 0
[pid=23117/tid=23119] ppid=23114 vsize=10661932 memory=1276 CPUtime=0.68 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) R 23114 23117 20852 0 -1 4202560 8772 0 0 0 65 3 0 0 20 0 15 0 414644552 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063981506256 140063961363806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10661932 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644553 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10661932 memory=9584 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644553 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10661932 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644554 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414644555 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063535302304 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414644555 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063534249200 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10661932 memory=7594592247738553961 CPUtime=0.12 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) R 23114 23117 20852 0 -1 4202560 943 0 0 0 12 0 0 0 20 0 15 0 414644557 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063532144880 140063956945328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10661932 memory=5787213857196369745 CPUtime=0.1 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 647 0 0 0 10 0 0 0 20 0 15 0 414644557 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 1261 0 0 0 18 0 0 0 20 0 15 0 414644557 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644557 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644558 10917818368 15993 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63972 KiB
[startup+1.50072 s]
/proc/loadavg: 1.97 2.00 1.95 3/228 23132
/proc/meminfo: memFree=28147164/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10663980 memory=75892 CPUtime=2.01 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 18530 0 0 0 195 6 0 0 20 0 15 0 414644552 10919915520 18973 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2665995 18973 3096 1 0 2628492 0
[pid=23117/tid=23119] ppid=23114 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) R 23114 23117 20852 0 -1 4202560 13026 0 0 0 143 5 0 0 20 0 15 0 414644552 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063981509200 140063961363806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414644553 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414644553 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414644553 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 414644554 10919915520 18973 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
################
# More data... #
################
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 2474 0 0 0 121 3 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.47 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 6438 0 0 0 40 7 0 0 20 0 16 0 414644554 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063535302368 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063534249216 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.92 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 5286 0 0 0 91 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.9 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 4529 0 0 0 89 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.71 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 7438 0 0 0 69 2 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10748324 memory=3620 CPUtime=0.66 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1073 0 0 0 28 38 0 0 20 0 16 0 414644558 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23133] ppid=23114 vsize=10748324 memory=3620 CPUtime=2438.28 cores=0,2,4,6
/proc/23117/task/23133/stat : 23133 (java) R 23114 23117 20852 0 -1 4202560 15242 0 0 0 243823 5 0 0 20 0 16 0 414644742 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063515213872 140063604751528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 2448.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197136 KiB
[startup+2502.3 s]
/proc/loadavg: 1.84 1.91 1.91 3/230 23447
/proc/meminfo: memFree=27802728/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10748324 memory=197136 CPUtime=2508.99 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 74023 0 0 0 250838 61 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2687081 49284 3376 1 0 2647217 0
[pid=23117/tid=23119] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.88 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) S 23114 23117 20852 0 -1 1077944384 15311 0 0 0 182 6 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063981526192 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 4926 0 0 0 124 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.27 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 5279 0 0 0 123 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 4000 0 0 0 124 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.27 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 2739 0 0 0 124 3 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.48 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 6618 0 0 0 41 7 0 0 20 0 16 0 414644554 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10748324 memory=99351183516460 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063535302368 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063534249216 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10748324 memory=39736 CPUtime=0.92 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 5288 0 0 0 91 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.9 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 4531 0 0 0 89 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.71 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 7440 0 0 0 69 2 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10748324 memory=39736 CPUtime=0.67 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1090 0 0 0 29 38 0 0 20 0 16 0 414644558 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23133] ppid=23114 vsize=10748324 memory=197136 CPUtime=2498.23 cores=0,2,4,6
/proc/23117/task/23133/stat : 23133 (java) R 23114 23117 20852 0 -1 4202560 15362 0 0 0 249818 5 0 0 20 0 16 0 414644742 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063515213984 140063604752619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 2508.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 1.79 1.90 1.90 3/230 23447
/proc/meminfo: memFree=27802944/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10748324 memory=197136 CPUtime=2520.01 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 74028 0 0 0 251940 61 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2687081 49284 3376 1 0 2647217 0
[pid=23117/tid=23119] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.88 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) S 23114 23117 20852 0 -1 1077944384 15311 0 0 0 182 6 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063981526192 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.29 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 4926 0 0 0 125 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.27 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 5279 0 0 0 123 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 4001 0 0 0 124 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 2739 0 0 0 125 3 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.48 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 6618 0 0 0 41 7 0 0 20 0 16 0 414644554 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063535302368 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063534249216 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10748324 memory=1060 CPUtime=0.92 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 5288 0 0 0 91 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.9 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 4531 0 0 0 89 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.71 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 7440 0 0 0 69 2 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10748324 memory=1398722017469774279 CPUtime=0.67 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1090 0 0 0 29 38 0 0 20 0 16 0 414644558 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23133] ppid=23114 vsize=10748324 memory=197136 CPUtime=2509.22 cores=0,2,4,6
/proc/23117/task/23133/stat : 23133 (java) R 23114 23117 20852 0 -1 4202560 15366 0 0 0 250917 5 0 0 20 0 16 0 414644742 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063515213872 140063604752341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.31 s]
# the end of solver process 23117 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.614131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 1.79 1.90 1.90 3/230 23447
/proc/meminfo: memFree=27802944/32770624 swapFree=67004752/67108860
[pid=23117] ppid=23114 vsize=10748324 memory=197136 CPUtime=2520.01 cores=0,2,4,6
/proc/23117/stat : 23117 (java) S 23114 23117 20852 0 -1 1077944320 74028 0 0 0 251940 61 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140725288681840 140063977283319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
/proc/23117/statm: 2687081 49284 3376 1 0 2647217 0
[pid=23117/tid=23119] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.88 cores=0,2,4,6
/proc/23117/task/23119/stat : 23119 (java) S 23114 23117 20852 0 -1 1077944384 15311 0 0 0 182 6 0 0 20 0 16 0 414644552 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063981526192 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23120] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.29 cores=0,2,4,6
/proc/23117/task/23120/stat : 23120 (java) S 23114 23117 20852 0 -1 1077944384 4926 0 0 0 125 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063919286800 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23121] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.27 cores=0,2,4,6
/proc/23117/task/23121/stat : 23121 (java) S 23114 23117 20852 0 -1 1077944384 5279 0 0 0 123 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063918234256 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23122] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23122/stat : 23122 (java) S 23114 23117 20852 0 -1 1077944384 4001 0 0 0 124 4 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063581985040 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23123] ppid=23114 vsize=10748324 memory=197136 CPUtime=1.28 cores=0,2,4,6
/proc/23117/task/23123/stat : 23123 (java) S 23114 23117 20852 0 -1 1077944384 2739 0 0 0 125 3 0 0 20 0 16 0 414644553 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063580932496 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23124] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.48 cores=0,2,4,6
/proc/23117/task/23124/stat : 23124 (java) S 23114 23117 20852 0 -1 1077944384 6618 0 0 0 41 7 0 0 20 0 16 0 414644554 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063536356080 140063977294466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23125] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23125/stat : 23125 (java) S 23114 23117 20852 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063535302368 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23126] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23126/stat : 23126 (java) S 23114 23117 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414644555 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063534249216 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23127] ppid=23114 vsize=10748324 memory=197136 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23127/stat : 23127 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063533197776 140063977301915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23128] ppid=23114 vsize=10748324 memory=1060 CPUtime=0.92 cores=0,2,4,6
/proc/23117/task/23128/stat : 23128 (java) S 23114 23117 20852 0 -1 1077944384 5288 0 0 0 91 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063532144880 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23129] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.9 cores=0,2,4,6
/proc/23117/task/23129/stat : 23129 (java) S 23114 23117 20852 0 -1 1077944384 4531 0 0 0 89 1 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063531092336 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23130] ppid=23114 vsize=10748324 memory=197136 CPUtime=0.71 cores=0,2,4,6
/proc/23117/task/23130/stat : 23130 (java) S 23114 23117 20852 0 -1 1077944384 7440 0 0 0 69 2 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063530039280 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23131] ppid=23114 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23117/task/23131/stat : 23131 (java) S 23114 23117 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414644557 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063528986976 140063977293525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23132] ppid=23114 vsize=10748324 memory=1398722017469774279 CPUtime=0.67 cores=0,2,4,6
/proc/23117/task/23132/stat : 23132 (java) S 23114 23117 20852 0 -1 1077944384 1090 0 0 0 29 38 0 0 20 0 16 0 414644558 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063527935024 140063977294466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
[pid=23117/tid=23133] ppid=23114 vsize=10748324 memory=197136 CPUtime=2509.22 cores=0,2,4,6
/proc/23117/task/23133/stat : 23133 (java) R 23114 23117 20852 0 -1 4202560 15366 0 0 0 250917 5 0 0 20 0 16 0 414644742 11006283776 49284 33554432000 4194304 4196468 140725288699296 140063515213872 140063604752341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36024320 140725288702987 140725288703090 140725288703090 140725288705999 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197136 KiB
Child status: 143
Real time (s): 2513.31
CPU time (s): 2520.03
CPU user time (s): 2519.41
CPU system time (s): 0.614131
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 271868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.614131
maximum resident set size= 271876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66869
involuntary context switches= 2621
# summary of solver processes directly reported to runsolver:
# pid: 23117
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.614131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1927 second user time and 20.4451 second system time
The end