2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
3.61/2.22 Instance
3.61/2.22 name=instance-4390524-1568381151, framework=CSP
3.61/2.22
3.61/2.22 Loading variables...
3.61/2.25 Loading constraints...
4.31/2.41
4.31/2.41 Domains
4.31/2.41 nTypes=1, nValues=1000, sizes=[20#50]
4.31/2.42 Variables
4.31/2.42 count=50, degrees=[7#2,8#1,9#1,12#1...26#2,27#3,29#4,30#2]
4.31/2.42 Constraints
4.31/2.42 count=496, arities=[2#496]
4.31/2.42 distribution=[CtrExtensionV-Bits#496]
4.31/2.42 nExtStructures=(496,shared:0), nCftStructures=(496,shared:0)
4.31/2.42 wck=0.576, cpu=2.374, mem=111M72
4.31/2.42 Solver SolverBacktrack being built...
4.31/2.42
4.31/2.45
4.31/2.45 Solver
4.31/2.45 guaranteedGAC=true
4.31/2.45 wck=0.608, cpu=2.404, mem=121M714
4.31/2.45
4.31/2.45 Preprocessing
4.31/2.45 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.31/2.45 wck=0.002, cpu=2.408, mem=121M714
4.31/2.45
4.31/2.46 num=0, depth=8..12, filters=1041, revisions=(5539,useless=4498), wck=0.015, mem=121M714
4.31/2.46 decisions=38, wrong=15, backtracks=6, failedAssignments=10, nogoods=2
4.31/2.46
4.31/2.47 num=1, depth=4..7, filters=2335, revisions=(12432,useless=10097), wck=0.021, mem=121M714
4.31/2.47 decisions=73, wrong=30, backtracks=12, failedAssignments=21, nogoods=4
4.31/2.47
4.31/2.47 num=2, depth=4..7, filters=3549, revisions=(17892,useless=14342), wck=0.026, mem=121M714
4.31/2.47 decisions=111, wrong=47, backtracks=17, failedAssignments=33, nogoods=10
4.31/2.47
4.31/2.47 num=3, depth=4..7, filters=4705, revisions=(23809,useless=19100), wck=0.03, mem=121M714
4.31/2.47 decisions=153, wrong=66, backtracks=24, failedAssignments=46, nogoods=13
4.31/2.47
4.31/2.48 num=4, depth=4..6, filters=6009, revisions=(29390,useless=23372), wck=0.034, mem=121M714
4.31/2.48 decisions=193, wrong=84, backtracks=29, failedAssignments=60, nogoods=22
4.31/2.48
4.31/2.50 num=5, depth=3..6, filters=7764, revisions=(38562,useless=30785), wck=0.052, mem=121M714
4.31/2.50 decisions=249, wrong=110, backtracks=39, failedAssignments=76, nogoods=25
4.31/2.50
4.64/2.50 num=6, depth=4..7, filters=9462, revisions=(47414,useless=37938), wck=0.057, mem=121M714
4.64/2.50 decisions=302, wrong=134, backtracks=47, failedAssignments=93, nogoods=30
4.64/2.50
4.64/2.51 num=7, depth=4..7, filters=11319, revisions=(57830,useless=46495), wck=0.063, mem=121M714
4.64/2.51 decisions=362, wrong=162, backtracks=57, failedAssignments=112, nogoods=33
4.64/2.51
4.64/2.51 num=8, depth=3..6, filters=13328, revisions=(66414,useless=53063), wck=0.068, mem=121M714
4.64/2.51 decisions=420, wrong=189, backtracks=64, failedAssignments=133, nogoods=36
4.64/2.51
4.64/2.52 num=9, depth=4..7, filters=15694, revisions=(79357,useless=63637), wck=0.076, mem=121M714
4.64/2.52 decisions=496, wrong=225, backtracks=78, failedAssignments=156, nogoods=47
4.64/2.52
4.64/2.53 num=10, depth=3..6, filters=17874, revisions=(90095,useless=72187), wck=0.081, mem=121M714
4.64/2.53 decisions=570, wrong=260, backtracks=89, failedAssignments=181, nogoods=56
4.64/2.53
4.64/2.53 num=11, depth=4..6, filters=21063, revisions=(106080,useless=84975), wck=0.087, mem=124M357
4.64/2.53 decisions=664, wrong=305, backtracks=106, failedAssignments=209, nogoods=72
4.64/2.53
4.64/2.54 num=12, depth=3..6, filters=24987, revisions=(124497,useless=99461), wck=0.096, mem=124M357
4.64/2.54 decisions=770, wrong=356, backtracks=128, failedAssignments=240, nogoods=76
4.64/2.54
4.64/2.55 num=13, depth=4..7, filters=28015, revisions=(139773,useless=111708), wck=0.102, mem=124M357
4.64/2.55 decisions=870, wrong=404, backtracks=144, failedAssignments=274, nogoods=83
4.64/2.55
4.64/2.56 num=14, depth=2..6, filters=31870, revisions=(156830,useless=124908), wck=0.11, mem=124M357
4.64/2.56 decisions=982, wrong=458, backtracks=164, failedAssignments=311, nogoods=89
4.64/2.56
4.64/2.56 num=15, depth=3..7, filters=35422, revisions=(175749,useless=140264), wck=0.116, mem=124M357
4.64/2.56 decisions=1101, wrong=515, backtracks=186, failedAssignments=352, nogoods=94
4.64/2.56
4.64/2.57 num=16, depth=4..8, filters=39878, revisions=(198493,useless=158546), wck=0.123, mem=124M357
4.64/2.57 decisions=1244, wrong=584, backtracks=214, failedAssignments=397, nogoods=106
4.64/2.57
4.64/2.58 num=17, depth=3..7, filters=44800, revisions=(226023,useless=181143), wck=0.13, mem=124M357
4.64/2.58 decisions=1398, wrong=659, backtracks=248, failedAssignments=447, nogoods=119
4.64/2.58
4.64/2.58 num=18, depth=3..7, filters=49689, revisions=(250873,useless=201088), wck=0.137, mem=124M357
4.64/2.58 decisions=1558, wrong=737, backtracks=275, failedAssignments=502, nogoods=127
4.64/2.58
4.64/2.59 num=19, depth=3..7, filters=55403, revisions=(276801,useless=221290), wck=0.144, mem=124M357
4.64/2.59 decisions=1731, wrong=821, backtracks=301, failedAssignments=563, nogoods=135
4.64/2.59
4.96/2.60 num=20, depth=3..9, filters=62225, revisions=(311827,useless=249477), wck=0.153, mem=126M999
4.96/2.60 decisions=1936, wrong=921, backtracks=339, failedAssignments=630, nogoods=147
4.96/2.60
4.96/2.61 num=21, depth=3..7, filters=70241, revisions=(351947,useless=281578), wck=0.163, mem=126M999
4.96/2.61 decisions=2171, wrong=1036, backtracks=383, failedAssignments=704, nogoods=153
4.96/2.61
4.96/2.62 num=22, depth=3..7, filters=78278, revisions=(392813,useless=314394), wck=0.173, mem=126M999
4.96/2.62 decisions=2411, wrong=1154, backtracks=425, failedAssignments=785, nogoods=159
4.96/2.62
4.96/2.63 num=23, depth=3..7, filters=86561, revisions=(437754,useless=351044), wck=0.183, mem=126M999
4.96/2.63 decisions=2676, wrong=1285, backtracks=474, failedAssignments=874, nogoods=169
4.96/2.63
4.96/2.64 num=24, depth=3..7, filters=96495, revisions=(487602,useless=390944), wck=0.195, mem=126M999
4.96/2.64 decisions=2979, wrong=1435, backtracks=534, failedAssignments=972, nogoods=174
4.96/2.64
4.96/2.65 num=25, depth=3..6, filters=107085, revisions=(540690,useless=433417), wck=0.207, mem=129M641
4.96/2.65 decisions=3285, wrong=1586, backtracks=586, failedAssignments=1080, nogoods=186
4.96/2.65
4.96/2.67 num=26, depth=2..6, filters=119374, revisions=(601250,useless=481657), wck=0.222, mem=129M641
4.96/2.67 decisions=3635, wrong=1759, backtracks=651, failedAssignments=1199, nogoods=203
4.96/2.67
4.96/2.68 num=27, depth=2..7, filters=133696, revisions=(676515,useless=542566), wck=0.24, mem=129M641
4.96/2.68 decisions=4047, wrong=1963, backtracks=741, failedAssignments=1330, nogoods=209
4.96/2.68
5.11/2.70 num=28, depth=3..9, filters=149391, revisions=(757204,useless=607535), wck=0.259, mem=132M284
5.11/2.70 decisions=4511, wrong=2193, backtracks=840, failedAssignments=1474, nogoods=221
5.11/2.70
5.11/2.72 num=29, depth=3..7, filters=165600, revisions=(840035,useless=674126), wck=0.278, mem=132M284
5.11/2.72 decisions=4983, wrong=2427, backtracks=928, failedAssignments=1632, nogoods=236
5.11/2.72
5.11/2.75 num=30, depth=2..8, filters=183852, revisions=(925497,useless=741301), wck=0.3, mem=134M926
5.11/2.75 decisions=5483, wrong=2674, backtracks=1024, failedAssignments=1806, nogoods=246
5.11/2.75
5.11/2.77 num=31, depth=2..7, filters=205779, revisions=(1033432,useless=827270), wck=0.329, mem=134M926
5.11/2.77 decisions=6098, wrong=2979, backtracks=1159, failedAssignments=1997, nogoods=271
5.11/2.77
5.22/2.80 num=32, depth=2..8, filters=227299, revisions=(1144058,useless=916322), wck=0.358, mem=137M569
5.22/2.80 decisions=6753, wrong=3305, backtracks=1292, failedAssignments=2208, nogoods=276
5.22/2.80
5.22/2.84 num=33, depth=3..8, filters=251041, revisions=(1270459,useless=1018936), wck=0.39, mem=137M569
5.22/2.84 decisions=7462, wrong=3658, backtracks=1438, failedAssignments=2440, nogoods=294
5.22/2.84
5.22/2.87 num=34, depth=2..7, filters=278788, revisions=(1407058,useless=1127745), wck=0.425, mem=140M211
5.22/2.87 decisions=8222, wrong=4036, backtracks=1592, failedAssignments=2695, nogoods=307
5.22/2.87
5.32/2.91 num=35, depth=3..8, filters=305672, revisions=(1544309,useless=1238059), wck=0.461, mem=140M211
5.32/2.91 decisions=9038, wrong=4442, backtracks=1738, failedAssignments=2976, nogoods=319
5.32/2.91
5.32/2.94 num=36, depth=2..7, filters=335146, revisions=(1696888,useless=1361103), wck=0.499, mem=142M778
5.32/2.94 decisions=9955, wrong=4898, backtracks=1913, failedAssignments=3285, nogoods=327
5.32/2.94
5.32/3.00 num=37, depth=2..8, filters=366471, revisions=(1851995,useless=1484829), wck=0.554, mem=26M826
5.32/3.00 decisions=10930, wrong=5384, backtracks=2088, failedAssignments=3625, nogoods=343
5.32/3.00
5.50/3.05 num=38, depth=2..7, filters=405566, revisions=(2049619,useless=1643274), wck=0.603, mem=29M415
5.50/3.05 decisions=12053, wrong=5943, backtracks=2302, failedAssignments=3999, nogoods=355
5.50/3.05
5.50/3.10 num=39, depth=2..7, filters=448263, revisions=(2254640,useless=1805519), wck=0.655, mem=32M5
5.50/3.10 decisions=13271, wrong=6550, backtracks=2533, failedAssignments=4410, nogoods=368
5.50/3.10
5.66/3.16 num=40, depth=2..8, filters=493381, revisions=(2492452,useless=1998124), wck=0.711, mem=34M594
5.66/3.16 decisions=14634, wrong=7229, backtracks=2800, failedAssignments=4862, nogoods=383
5.66/3.16
5.77/3.21 num=41, depth=2..8, filters=543684, revisions=(2746646,useless=2201909), wck=0.77, mem=37M184
5.77/3.21 decisions=16099, wrong=7960, backtracks=3072, failedAssignments=5359, nogoods=406
5.77/3.21
5.77/3.28 num=42, depth=2..8, filters=599620, revisions=(3022192,useless=2421421), wck=0.836, mem=42M363
5.77/3.28 decisions=17725, wrong=8771, backtracks=3398, failedAssignments=5906, nogoods=423
5.77/3.28
5.89/3.35 num=43, depth=2..7, filters=663759, revisions=(3338751,useless=2673707), wck=0.909, mem=44M953
5.89/3.35 decisions=19505, wrong=9659, backtracks=3750, failedAssignments=6508, nogoods=443
5.89/3.35
5.99/3.44 num=44, depth=2..7, filters=734827, revisions=(3690650,useless=2954386), wck=0.992, mem=50M132
5.99/3.44 decisions=21475, wrong=10642, backtracks=4131, failedAssignments=7170, nogoods=453
5.99/3.44
6.13/3.52 num=45, depth=2..8, filters=808623, revisions=(4064458,useless=3254228), wck=1.079, mem=55M311
6.13/3.52 decisions=23655, wrong=11730, backtracks=4563, failedAssignments=7898, nogoods=463
6.13/3.52
6.23/3.63 num=46, depth=2..7, filters=894405, revisions=(4515176,useless=3618975), wck=1.181, mem=60M490
6.23/3.63 decisions=26105, wrong=12953, backtracks=5071, failedAssignments=8699, nogoods=486
6.23/3.63
6.33/3.72 num=47, depth=2..8, filters=980396, revisions=(4948177,useless=3965814), wck=1.279, mem=65M669
6.33/3.72 decisions=28641, wrong=14219, backtracks=5545, failedAssignments=9580, nogoods=499
6.33/3.72
6.43/3.84 num=48, depth=2..7, filters=1081899, revisions=(5438545,useless=4354496), wck=1.395, mem=70M848
6.43/3.84 decisions=31499, wrong=15646, backtracks=6093, failedAssignments=10550, nogoods=519
6.43/3.84
6.53/3.96 num=49, depth=2..7, filters=1191131, revisions=(5977130,useless=4783621), wck=1.52, mem=78M617
6.53/3.96 decisions=34633, wrong=17212, backtracks=6687, failedAssignments=11617, nogoods=530
6.53/3.96
6.74/4.11 num=50, depth=1..7, filters=1316420, revisions=(6601674,useless=5282657), wck=1.666, mem=86M386
6.74/4.11 decisions=38174, wrong=18980, backtracks=7370, failedAssignments=12790, nogoods=546
6.74/4.11
6.83/4.27 num=51, depth=1..7, filters=1459585, revisions=(7284830,useless=5822392), wck=1.829, mem=94M154
6.83/4.27 decisions=42039, wrong=20911, backtracks=8121, failedAssignments=14081, nogoods=561
6.83/4.27
7.03/4.45 num=52, depth=1..8, filters=1609830, revisions=(8025525,useless=6412540), wck=2.003, mem=104M513
7.03/4.45 decisions=46195, wrong=22987, backtracks=8898, failedAssignments=15501, nogoods=569
7.03/4.45
7.23/4.64 num=53, depth=1..8, filters=1774189, revisions=(8815795,useless=7038137), wck=2.19, mem=114M871
7.23/4.64 decisions=50826, wrong=25301, backtracks=9791, failedAssignments=17063, nogoods=591
7.23/4.64
7.43/4.84 num=54, depth=2..8, filters=1951047, revisions=(9711062,useless=7756190), wck=2.394, mem=125M229
7.43/4.84 decisions=55903, wrong=27837, backtracks=10760, failedAssignments=18781, nogoods=617
7.43/4.84
7.64/5.08 num=55, depth=1..8, filters=2157076, revisions=(10739808,useless=8578476), wck=2.634, mem=138M177
7.64/5.08 decisions=61509, wrong=30638, backtracks=11851, failedAssignments=20671, nogoods=651
7.64/5.08
7.93/5.33 num=56, depth=1..9, filters=2373494, revisions=(11808314,useless=9430174), wck=2.887, mem=153M714
7.93/5.33 decisions=67726, wrong=33744, backtracks=13089, failedAssignments=22750, nogoods=658
7.93/5.33
8.27/5.60 num=57, depth=2..8, filters=2601140, revisions=(12890001,useless=10283781), wck=3.158, mem=34M709
8.27/5.60 decisions=74392, wrong=37075, backtracks=14296, failedAssignments=25037, nogoods=684
8.27/5.60
8.58/5.91 num=58, depth=1..8, filters=2864475, revisions=(14220354,useless=11350263), wck=3.462, mem=50M358
8.58/5.91 decisions=81780, wrong=40767, backtracks=15714, failedAssignments=27553, nogoods=717
8.58/5.91
8.88/6.24 num=59, depth=2..9, filters=3148988, revisions=(15688395,useless=12533213), wck=3.794, mem=68M614
8.88/6.24 decisions=90101, wrong=44926, backtracks=17415, failedAssignments=30321, nogoods=752
8.88/6.24
9.28/6.61 num=60, depth=1..8, filters=3474245, revisions=(17263651,useless=13782577), wck=4.164, mem=89M479
9.28/6.61 decisions=99034, wrong=49391, backtracks=19098, failedAssignments=33365, nogoods=762
9.28/6.61
9.58/7.00 num=61, depth=1..9, filters=3815643, revisions=(18991052,useless=15167914), wck=4.556, mem=110M343
9.58/7.00 decisions=108943, wrong=54343, backtracks=20973, failedAssignments=36714, nogoods=782
9.58/7.00
10.11/7.46 num=62, depth=1..9, filters=4204273, revisions=(21004630,useless=16792090), wck=5.015, mem=133M816
10.11/7.46 decisions=120020, wrong=59880, backtracks=23180, failedAssignments=40398, nogoods=795
10.11/7.46
10.66/7.97 num=63, depth=1..8, filters=4630240, revisions=(23168971,useless=18529568), wck=5.53, mem=28M28
10.66/7.97 decisions=132049, wrong=65892, backtracks=25509, failedAssignments=44450, nogoods=805
10.66/7.97
11.30/8.50 num=64, depth=1..9, filters=5083736, revisions=(25396680,useless=20302843), wck=6.052, mem=57M972
11.30/8.50 decisions=144990, wrong=72361, backtracks=27972, failedAssignments=48907, nogoods=834
11.30/8.50
11.81/9.09 num=65, depth=1..9, filters=5600664, revisions=(27994758,useless=22383005), wck=6.649, mem=87M916
11.81/9.09 decisions=159507, wrong=79617, backtracks=30854, failedAssignments=53810, nogoods=853
11.81/9.09
12.50/9.77 num=66, depth=1..8, filters=6181815, revisions=(30936991,useless=24742911), wck=7.326, mem=125M345
12.50/9.77 decisions=175771, wrong=87747, backtracks=34041, failedAssignments=59204, nogoods=879
12.50/9.77
13.32/10.52 num=67, depth=1..8, filters=6829789, revisions=(34152837,useless=27309552), wck=8.075, mem=162M775
13.32/10.52 decisions=193545, wrong=96632, backtracks=37472, failedAssignments=65137, nogoods=910
13.32/10.52
14.13/11.33 num=68, depth=1..8, filters=7532438, revisions=(37655955,useless=30108613), wck=8.883, mem=207M691
14.13/11.33 decisions=212855, wrong=106285, backtracks=41187, failedAssignments=71663, nogoods=927
14.13/11.33
15.07/12.21 num=69, depth=1..8, filters=8298638, revisions=(41449005,useless=33133952), wck=9.768, mem=65M548
15.07/12.21 decisions=233952, wrong=116832, backtracks=45164, failedAssignments=78842, nogoods=960
15.07/12.21
15.99/13.19 num=70, depth=1..8, filters=9149891, revisions=(45623765,useless=36455770), wck=10.749, mem=118M106
15.99/13.19 decisions=257345, wrong=128527, backtracks=49815, failedAssignments=86739, nogoods=984
15.99/13.19
17.08/14.25 num=71, depth=1..8, filters=10062694, revisions=(50205221,useless=40122601), wck=11.802, mem=178M172
17.08/14.25 decisions=283122, wrong=141414, backtracks=54786, failedAssignments=95426, nogoods=1014
17.08/14.25
18.32/15.47 num=72, depth=1..8, filters=11109452, revisions=(55408658,useless=44277200), wck=13.027, mem=55M412
18.32/15.47 decisions=311497, wrong=155600, backtracks=60250, failedAssignments=104981, nogoods=1051
18.32/15.47
19.62/16.71 num=73, depth=1..8, filters=12182765, revisions=(60894882,useless=48687996), wck=14.264, mem=117M600
19.62/16.71 decisions=342377, wrong=171039, backtracks=66139, failedAssignments=115492, nogoods=1065
19.62/16.71
21.03/18.16 num=74, depth=1..9, filters=13441386, revisions=(67218197,useless=53750301), wck=15.71, mem=195M336
21.03/18.16 decisions=376813, wrong=188256, backtracks=72907, failedAssignments=127054, nogoods=1107
21.03/18.16
22.62/19.73 num=75, depth=1..9, filters=14800392, revisions=(74122514,useless=59292807), wck=17.286, mem=278M253
22.62/19.73 decisions=414512, wrong=207104, backtracks=80203, failedAssignments=139772, nogoods=1134
22.62/19.73
24.36/21.47 num=76, depth=0..8, filters=16298236, revisions=(81583525,useless=65253030), wck=19.026, mem=113M385
24.36/21.47 decisions=456135, wrong=227914, backtracks=88383, failedAssignments=153762, nogoods=1165
24.36/21.47
26.36/23.45 num=77, depth=0..8, filters=18005831, revisions=(90151934,useless=72110509), wck=21.003, mem=218M208
26.36/23.45 decisions=502391, wrong=251040, backtracks=97683, failedAssignments=169151, nogoods=1192
26.36/23.45
28.51/25.53 num=78, depth=1..8, filters=19824829, revisions=(98987514,useless=79123469), wck=23.081, mem=72M762
28.51/25.53 decisions=552445, wrong=276065, backtracks=107260, failedAssignments=186079, nogoods=1218
28.51/25.53
30.81/27.84 num=79, depth=0..8, filters=21805159, revisions=(109243535,useless=87395055), wck=25.393, mem=190M413
30.81/27.84 decisions=607416, wrong=303549, backtracks=117884, failedAssignments=204700, nogoods=1251
30.81/27.84
33.31/30.39 num=80, depth=0..9, filters=24016905, revisions=(120362274,useless=96297527), wck=27.946, mem=328M825
33.31/30.39 decisions=668191, wrong=333935, backtracks=129754, failedAssignments=225184, nogoods=1273
33.31/30.39
36.34/33.32 num=81, depth=0..8, filters=26533657, revisions=(132933553,useless=106347425), wck=30.878, mem=135M912
36.34/33.32 decisions=735757, wrong=367715, backtracks=143344, failedAssignments=247716, nogoods=1289
36.34/33.32
39.34/36.35 num=82, depth=0..8, filters=29180410, revisions=(145783703,useless=116545593), wck=33.907, mem=303M351
39.34/36.35 decisions=809017, wrong=404343, backtracks=157368, failedAssignments=272501, nogoods=1312
39.34/36.35
42.78/39.78 num=83, depth=0..9, filters=32141313, revisions=(160336169,useless=128131338), wck=37.331, mem=146M169
42.78/39.78 decisions=889988, wrong=444827, backtracks=173221, failedAssignments=299765, nogoods=1338
42.78/39.78
46.58/43.59 num=84, depth=0..9, filters=35430246, revisions=(176785362,useless=141285360), wck=41.141, mem=349M253
46.58/43.59 decisions=979657, wrong=489659, backtracks=191153, failedAssignments=329755, nogoods=1381
46.58/43.59
50.93/47.83 num=85, depth=0..8, filters=39066557, revisions=(195137365,useless=155994061), wck=45.385, mem=234M617
50.93/47.83 decisions=1078689, wrong=539173, backtracks=210994, failedAssignments=362744, nogoods=1398
50.93/47.83
55.56/52.44 num=86, depth=0..8, filters=43023960, revisions=(215303342,useless=172194798), wck=49.996, mem=145M575
55.56/52.44 decisions=1187551, wrong=593602, backtracks=232536, failedAssignments=399032, nogoods=1420
55.56/52.44
60.57/57.45 num=87, depth=0..8, filters=47382205, revisions=(236899467,useless=189424534), wck=55.01, mem=98M853
60.57/57.45 decisions=1306176, wrong=652913, backtracks=255998, failedAssignments=438949, nogoods=1453
60.57/57.45
66.24/63.07 num=88, depth=0..10, filters=52223862, revisions=(261208988,useless=208882867), wck=60.629, mem=90M657
66.24/63.07 decisions=1437677, wrong=718662, backtracks=282125, failedAssignments=482858, nogoods=1492
66.24/63.07
72.54/69.36 num=89, depth=0..8, filters=57650614, revisions=(288227463,useless=230464136), wck=66.912, mem=129M842
72.54/69.36 decisions=1582449, wrong=791046, backtracks=311157, failedAssignments=531158, nogoods=1514
72.54/69.36
79.55/76.36 num=90, depth=0..9, filters=63679235, revisions=(318462072,useless=254658943), wck=73.919, mem=212M607
79.55/76.36 decisions=1742772, wrong=871206, backtracks=343752, failedAssignments=584288, nogoods=1538
79.55/76.36
86.77/83.57 num=91, depth=0..8, filters=69959068, revisions=(349115868,useless=279021436), wck=81.121, mem=46M0
86.77/83.57 decisions=1904556, wrong=952099, backtracks=376405, failedAssignments=637910, nogoods=1538
86.77/83.57
86.77/83.57 Global
86.77/83.57 filters=69959068, revisions=(349115868,useless=279021436), nogoods=1538
86.77/83.57 Stop=FULL_EXPLORATION, wrong=952099, wck=81.73, cpu=83.343, mem=46M0
86.77/83.57
86.77/83.57 s UNSATISFIABLE
86.77/83.57
86.77/83.57 d WRONG_DECISIONS 952099
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 (14750 MiB free)
memory of node 1: 16384 MiB (15437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390524-1568381151/watcher-4390524-1568381151 -o /tmp/evaluation-result-4390524-1568381151/solver-4390524-1568381151 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390524-1568381151.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6330, runsolver pid=6327
[startup+0.100123 s]*
/proc/loadavg: 1.89 1.74 1.01 4/228 6345
/proc/meminfo: memFree=30896124/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10659884 memory=28324 CPUtime=0.12 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 5041 0 0 0 11 1 0 0 20 0 15 0 414386581 10915721216 7081 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2664971 7081 2840 1 0 2627468 0
[pid=6330/tid=6332] ppid=6327 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) R 6327 6330 5027 0 -1 4202560 2933 0 0 0 8 1 0 0 20 0 15 0 414386581 10915721216 7081 33554432000 4194304 4196468 140729857194064 140152796771760 140152383097680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10659884 memory=5793855406995368377 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 7081 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 7081 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 7081 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 7081 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386583 10915721216 7081 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 7081 33554432000 4194304 4196468 140729857194064 140151827133216 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151826080880 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386586 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) R 6327 6330 5027 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 414386586 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) R 6327 6330 5027 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 15 0 414386586 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151822924272 140152774087928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0.02 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) R 6327 6330 5027 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 414386586 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151821871984 140152771484414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) R 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 7147 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28324 KiB
[startup+0.211637 s]*
/proc/loadavg: 1.89 1.74 1.01 4/228 6345
/proc/meminfo: memFree=30884684/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10659884 memory=37580 CPUtime=0.33 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 8644 0 0 0 30 3 0 0 20 0 15 0 414386581 10915721216 9395 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2664971 9395 2989 1 0 2627468 0
[pid=6330/tid=6332] ppid=6327 vsize=10659884 memory=-3103912127665269909 CPUtime=0.19 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) R 6327 6330 5027 0 -1 4202560 5663 0 0 0 17 2 0 0 20 0 15 0 414386581 10915721216 9395 33554432000 4194304 4196468 140729857194064 140152796769328 140152792564893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10659884 memory=4211973882190265738 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 9395 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 9395 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 9395 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 9395 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386583 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151827133216 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151826080880 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386586 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 414386586 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 15 0 414386586 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0.05 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 414386586 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 9395 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37580 KiB
[startup+0.310317 s]*
/proc/loadavg: 1.89 1.74 1.01 3/228 6345
/proc/meminfo: memFree=30882512/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10659884 memory=40200 CPUtime=0.47 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 8791 0 0 0 44 3 0 0 20 0 15 0 414386581 10915721216 10050 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2664971 10050 3015 1 0 2627468 0
[pid=6330/tid=6332] ppid=6327 vsize=10659884 memory=7377246124687064083 CPUtime=0.29 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) R 6327 6330 5027 0 -1 4202560 5765 0 0 0 27 2 0 0 20 0 15 0 414386581 10915721216 10050 33554432000 4194304 4196468 140729857194064 140152796776704 140152776623454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10659884 memory=4211973882190265738 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 10050 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10659884 memory=140155985480227 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 10050 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10659884 memory=140155855945165 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 10050 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10659884 memory=140155855949263 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386582 10915721216 10050 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10659884 memory=140155985480258 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386583 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10659884 memory=140155855958479 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151827133216 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10659884 memory=280311711907728 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414386584 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151826080880 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10659884 memory=280311711905392 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386586 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 414386586 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10659884 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 15 0 414386586 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0.08 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 717 0 0 0 8 0 0 0 20 0 15 0 414386586 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10659884 memory=140155985475200 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386587 10915721216 10050 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40200 KiB
[startup+0.701634 s]
/proc/loadavg: 1.89 1.74 1.01 4/228 6345
/proc/meminfo: memFree=30873360/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10661932 memory=62560 CPUtime=1.1 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 12176 0 0 0 105 5 0 0 20 0 15 0 414386581 10917818368 15640 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2665483 15640 3065 1 0 2627980 0
[pid=6330/tid=6332] ppid=6327 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) R 6327 6330 5027 0 -1 4202560 8316 0 0 0 63 5 0 0 20 0 15 0 414386581 10917818368 15640 33554432000 4194304 4196468 140729857194064 140152796765904 140152774106496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10917818368 15640 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10917818368 15640 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10917818368 15640 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386582 10917818368 15640 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386583 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414386584 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151827133216 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414386584 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151826080880 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386586 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10661932 memory=345 CPUtime=0.11 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) R 6327 6330 5027 0 -1 4202560 834 0 0 0 11 0 0 0 20 0 15 0 414386586 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151823963168 140152774064089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10661932 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 582 0 0 0 10 0 0 0 20 0 15 0 414386586 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10661932 memory=26449 CPUtime=0.19 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 1086 0 0 0 19 0 0 0 20 0 15 0 414386586 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10661932 memory=280311712091632 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414386587 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386587 10917818368 15640 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62560 KiB
[startup+1.50075 s]
/proc/loadavg: 1.89 1.74 1.01 3/228 6345
/proc/meminfo: memFree=30856920/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10663980 memory=75192 CPUtime=2 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 15878 0 0 0 193 7 0 0 20 0 15 0 414386581 10919915520 18798 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2665995 18798 3092 1 0 2628492 0
[pid=6330/tid=6332] ppid=6327 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) R 6327 6330 5027 0 -1 4202560 10956 0 0 0 142 6 0 0 20 0 15 0 414386581 10919915520 18798 33554432000 4194304 4196468 140729857194064 140152796773456 140152772814704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10919915520 18798 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10919915520 18798 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10663980 memory=-6305712789140431488 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414386582 10919915520 18798 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10663980 memory=4947932744167825024 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414386582 10919915520 18798 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10663980 memory=-6152018833316602468 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 414386583 10919915520 18798 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
################
# More data... #
################
[startup+82.4007 s]
/proc/loadavg: 1.91 1.77 1.08 3/229 6352
/proc/meminfo: memFree=30459508/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10746276 memory=476304 CPUtime=85.66 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 42369 0 0 0 8536 30 0 0 20 0 16 0 414386581 11004186624 119076 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2686569 119076 3370 1 0 2646705 0
[pid=6330/tid=6332] ppid=6327 vsize=10746276 memory=476304 CPUtime=1.84 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) S 6327 6330 5027 0 -1 1077944384 12628 0 0 0 178 6 0 0 20 0 16 0 414386581 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152796785840 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10746276 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1746 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10746276 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1274 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10746276 memory=476304 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1160 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10746276 memory=476304 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 1184 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10746276 memory=7052 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 1485 0 0 0 2 1 0 0 20 0 16 0 414386583 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10746276 memory=476304 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151827133280 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10746276 memory=1 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151826080896 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10746276 memory=9 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10746276 memory=49 CPUtime=1.05 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 4238 0 0 0 104 1 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10746276 memory=28859 CPUtime=1.03 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 4230 0 0 0 103 0 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10746276 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 4566 0 0 0 63 1 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10746276 memory=955 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10746276 memory=476304 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6346] ppid=6327 vsize=10746276 memory=288230621803970871 CPUtime=80.3 cores=1,3,5,7
/proc/6330/task/6346/stat : 6346 (java) R 6327 6330 5027 0 -1 4202560 8209 0 0 0 8025 5 0 0 20 0 16 0 414386768 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151802993712 140152389055969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 85.66 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 476304 KiB
[startup+83.2007 s]
/proc/loadavg: 1.92 1.78 1.09 3/229 6352
/proc/meminfo: memFree=30459508/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10746276 memory=476304 CPUtime=86.46 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 42369 0 0 0 8616 30 0 0 20 0 16 0 414386581 11004186624 119076 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2686569 119076 3370 1 0 2646705 0
[pid=6330/tid=6332] ppid=6327 vsize=10746276 memory=3620 CPUtime=1.84 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) S 6327 6330 5027 0 -1 1077944384 12628 0 0 0 178 6 0 0 20 0 16 0 414386581 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152796785840 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10746276 memory=479400 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1746 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10746276 memory=1548 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1274 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10746276 memory=280311712303104 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1160 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10746276 memory=167327630897539 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 1184 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 119076 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10746276 memory=27174258094468 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 1485 0 0 0 2 1 0 0 20 0 16 0 414386583 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10746276 memory=476820 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151827133280 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151826080896 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10746276 memory=3620 CPUtime=1.05 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 4238 0 0 0 104 1 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10746276 memory=22092 CPUtime=1.03 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 4230 0 0 0 103 0 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10746276 memory=984 CPUtime=0.64 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 4566 0 0 0 63 1 0 0 20 0 16 0 414386586 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10746276 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6346] ppid=6327 vsize=10746276 memory=11928 CPUtime=81.1 cores=1,3,5,7
/proc/6330/task/6346/stat : 6346 (java) R 6327 6330 5027 0 -1 4202560 8209 0 0 0 8105 5 0 0 20 0 16 0 414386768 11004186624 119076 33554432000 4194304 4196468 140729857194064 140151802993712 140152389369697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 86.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 476304 KiB
[startup+83.4007 s]
/proc/loadavg: 1.92 1.78 1.09 3/229 6352
/proc/meminfo: memFree=30459508/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10746276 memory=464488 CPUtime=86.67 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 42372 0 0 0 8637 30 0 0 20 0 16 0 414386581 11004186624 116122 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2686569 116122 3370 1 0 2646705 0
[pid=6330/tid=6332] ppid=6327 vsize=10746276 memory=8112282956445269571 CPUtime=1.84 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) S 6327 6330 5027 0 -1 1077944384 12628 0 0 0 178 6 0 0 20 0 16 0 414386581 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152796785840 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10746276 memory=1656 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1747 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10746276 memory=1408 CPUtime=0.17 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1274 0 0 0 14 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10746276 memory=3220 CPUtime=0.17 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1160 0 0 0 14 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10746276 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 1185 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10746276 memory=2532 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 1485 0 0 0 2 1 0 0 20 0 16 0 414386583 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10746276 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151827133280 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10746276 memory=808 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151826080896 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10746276 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10746276 memory=111632 CPUtime=1.05 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 4238 0 0 0 104 1 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10746276 memory=8112282956445269571 CPUtime=1.03 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 4230 0 0 0 103 0 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10746276 memory=22092 CPUtime=0.64 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 4566 0 0 0 63 1 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10746276 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6346] ppid=6327 vsize=10746276 memory=1332 CPUtime=81.3 cores=1,3,5,7
/proc/6330/task/6346/stat : 6346 (java) R 6327 6330 5027 0 -1 4202560 8210 0 0 0 8125 5 0 0 20 0 16 0 414386768 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151802993824 140152389054949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 86.67 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 464488 KiB
[startup+83.5007 s]
/proc/loadavg: 1.92 1.78 1.09 3/229 6352
/proc/meminfo: memFree=30459508/32770624 swapFree=66934472/67108860
[pid=6330] ppid=6327 vsize=10746276 memory=464488 CPUtime=86.77 cores=1,3,5,7
/proc/6330/stat : 6330 (java) S 6327 6330 5027 0 -1 1077944320 42372 0 0 0 8647 30 0 0 20 0 16 0 414386581 11004186624 116122 33554432000 4194304 4196468 140729857194064 140729857176608 140152792542967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
/proc/6330/statm: 2686569 116122 3370 1 0 2646705 0
[pid=6330/tid=6332] ppid=6327 vsize=10746276 memory=2124 CPUtime=1.84 cores=1,3,5,7
/proc/6330/task/6332/stat : 6332 (java) S 6327 6330 5027 0 -1 1077944384 12628 0 0 0 178 6 0 0 20 0 16 0 414386581 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152796785840 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6333] ppid=6327 vsize=10746276 memory=476304 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6333/stat : 6333 (java) S 6327 6330 5027 0 -1 1077944384 1747 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152718617488 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6334] ppid=6327 vsize=10746276 memory=464488 CPUtime=0.17 cores=1,3,5,7
/proc/6330/task/6334/stat : 6334 (java) S 6327 6330 5027 0 -1 1077944384 1274 0 0 0 14 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152717564688 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6335] ppid=6327 vsize=10746276 memory=1564 CPUtime=0.17 cores=1,3,5,7
/proc/6330/task/6335/stat : 6335 (java) S 6327 6330 5027 0 -1 1077944384 1160 0 0 0 14 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152716512400 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6336] ppid=6327 vsize=10746276 memory=2532 CPUtime=0.16 cores=1,3,5,7
/proc/6330/task/6336/stat : 6336 (java) S 6327 6330 5027 0 -1 1077944384 1185 0 0 0 13 3 0 0 20 0 16 0 414386582 11004186624 116122 33554432000 4194304 4196468 140729857194064 140152715459600 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6337] ppid=6327 vsize=10746276 memory=1440 CPUtime=0.03 cores=1,3,5,7
/proc/6330/task/6337/stat : 6337 (java) S 6327 6330 5027 0 -1 1077944384 1485 0 0 0 2 1 0 0 20 0 16 0 414386583 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151828187248 140152792554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6338] ppid=6327 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6338/stat : 6338 (java) S 6327 6330 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151827133280 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6339] ppid=6327 vsize=10746276 memory=7231 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6339/stat : 6339 (java) S 6327 6330 5027 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414386584 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151826080896 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6340] ppid=6327 vsize=10746276 memory=476304 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6340/stat : 6340 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151825029200 140152792561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6341] ppid=6327 vsize=10746276 memory=476304 CPUtime=1.05 cores=1,3,5,7
/proc/6330/task/6341/stat : 6341 (java) S 6327 6330 5027 0 -1 1077944384 4238 0 0 0 104 1 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151823977072 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6342] ppid=6327 vsize=10746276 memory=476304 CPUtime=1.03 cores=1,3,5,7
/proc/6330/task/6342/stat : 6342 (java) S 6327 6330 5027 0 -1 1077944384 4230 0 0 0 103 0 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151822924272 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6343] ppid=6327 vsize=10746276 memory=808 CPUtime=0.64 cores=1,3,5,7
/proc/6330/task/6343/stat : 6343 (java) S 6327 6330 5027 0 -1 1077944384 4566 0 0 0 63 1 0 0 20 0 16 0 414386586 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151821871984 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6344] ppid=6327 vsize=10746276 memory=479408 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6344/stat : 6344 (java) S 6327 6330 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151820819424 140152792553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6345] ppid=6327 vsize=10746276 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/6330/task/6345/stat : 6345 (java) S 6327 6330 5027 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 16 0 414386587 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151819766192 140152792554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
[pid=6330/tid=6346] ppid=6327 vsize=10746276 memory=984 CPUtime=81.4 cores=1,3,5,7
/proc/6330/task/6346/stat : 6346 (java) R 6327 6330 5027 0 -1 4202560 8210 0 0 0 8135 5 0 0 20 0 16 0 414386768 11004186624 116122 33554432000 4194304 4196468 140729857194064 140151802993824 140152389056265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140729857201163 140729857201266 140729857201266 140729857204175 0
Current children cumulated CPU time: 86.77 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 464488 KiB
Child status: 0
Real time (s): 83.5792
CPU time (s): 86.8616
CPU user time (s): 86.5463
CPU system time (s): 0.315259
CPU usage (%): 103.927
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 492728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5463
system time used= 0.315259
maximum resident set size= 494788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4570
involuntary context switches= 81
# summary of solver processes directly reported to runsolver:
# pid: 6330
# total CPU time (s): 86.8616
# total CPU user time (s): 86.5463
# total CPU system time (s): 0.315259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.443847 second user time and 0.851748 second system time
The end