2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
4.28/2.44 Instance
4.28/2.44 name=instance-4390506-1568386613, framework=CSP
4.28/2.44
4.28/2.44 Loading variables...
4.66/2.51 Loading constraints...
5.95/2.91
5.95/2.91 Domains
5.95/2.91 nTypes=5, nValues=25860, sizes=[6#2,22#10,23#4,35#336,42#328]
5.95/2.91 Variables
5.95/2.91 count=680, degrees=[1#1,3#26,4#13,5#86...44#1,47#1,55#1,62#1]
5.95/2.91 Constraints
5.95/2.91 count=4103, arities=[2#4103]
5.95/2.91 distribution=[CtrExtensionV-Bits#4103]
5.95/2.91 nExtStructures=(1240,shared:2863), nCftStructures=(1240,shared:2863)
5.95/2.91 wck=1.07, cpu=2.86, mem=86M598
5.95/2.92 Solver SolverBacktrack being built...
5.95/2.92
5.95/2.95
5.95/2.95 Solver
5.95/2.95 guaranteedGAC=true
5.95/2.95 wck=1.114, cpu=2.902, mem=97M202
5.95/2.97
5.95/2.97 Preprocessing
5.95/2.97 filters=334, revisions=(668,useless=0), nACremovedValues=996, nTotalRemovedValues=996, inconcistency=false
5.95/2.97 wck=0.018, cpu=2.922, mem=97M202
5.95/2.97
5.95/2.99 num=0, depth=69..70, filters=2170, revisions=(4147,useless=1624), wck=0.038, mem=97M202
5.95/2.99 decisions=93, wrong=12, backtracks=2, failedAssignments=10, nogoods=2
5.95/2.99
6.26/3.01 num=1, depth=103..104, filters=4335, revisions=(8890,useless=4181), wck=0.056, mem=97M202
6.26/3.01 decisions=220, wrong=24, backtracks=3, failedAssignments=21, nogoods=8
6.26/3.01
6.26/3.02 num=2, depth=37..38, filters=5495, revisions=(11365,useless=5488), wck=0.063, mem=97M202
6.26/3.02 decisions=287, wrong=39, backtracks=6, failedAssignments=33, nogoods=12
6.26/3.02
6.26/3.02 num=3, depth=5..6, filters=6478, revisions=(14254,useless=7386), wck=0.068, mem=99M807
6.26/3.02 decisions=326, wrong=56, backtracks=10, failedAssignments=46, nogoods=17
6.26/3.02
6.26/3.03 num=4, depth=3..6, filters=7412, revisions=(16744,useless=8934), wck=0.071, mem=99M807
6.26/3.03 decisions=366, wrong=73, backtracks=13, failedAssignments=60, nogoods=25
6.26/3.03
6.26/3.03 num=5, depth=3..6, filters=8673, revisions=(19816,useless=10735), wck=0.076, mem=99M807
6.26/3.03 decisions=409, wrong=92, backtracks=16, failedAssignments=76, nogoods=27
6.26/3.03
6.26/3.03 num=6, depth=4..6, filters=9659, revisions=(21865,useless=11795), wck=0.079, mem=99M807
6.26/3.03 decisions=452, wrong=111, backtracks=18, failedAssignments=93, nogoods=30
6.26/3.03
6.26/3.04 num=7, depth=4..6, filters=10828, revisions=(25376,useless=14132), wck=0.084, mem=99M807
6.26/3.04 decisions=507, wrong=136, backtracks=24, failedAssignments=112, nogoods=37
6.26/3.04
6.26/3.04 num=8, depth=4..6, filters=11936, revisions=(27809,useless=15449), wck=0.088, mem=99M807
6.26/3.04 decisions=561, wrong=161, backtracks=28, failedAssignments=133, nogoods=41
6.26/3.04
6.26/3.05 num=9, depth=4..6, filters=13290, revisions=(32124,useless=18404), wck=0.093, mem=99M807
6.26/3.05 decisions=627, wrong=191, backtracks=35, failedAssignments=156, nogoods=45
6.26/3.05
6.26/3.05 num=10, depth=3..5, filters=14790, revisions=(35289,useless=20059), wck=0.098, mem=99M807
6.26/3.05 decisions=694, wrong=222, backtracks=41, failedAssignments=181, nogoods=58
6.26/3.05
6.26/3.06 num=11, depth=5..7, filters=16576, revisions=(40404,useless=23385), wck=0.104, mem=99M807
6.26/3.06 decisions=773, wrong=258, backtracks=49, failedAssignments=209, nogoods=61
6.26/3.06
6.26/3.07 num=12, depth=3..6, filters=18820, revisions=(46552,useless=27278), wck=0.11, mem=99M807
6.26/3.07 decisions=857, wrong=298, backtracks=58, failedAssignments=240, nogoods=70
6.26/3.07
6.26/3.07 num=13, depth=4..6, filters=20811, revisions=(53120,useless=31846), wck=0.117, mem=99M807
6.26/3.07 decisions=951, wrong=342, backtracks=68, failedAssignments=274, nogoods=75
6.26/3.07
6.26/3.08 num=14, depth=4..6, filters=23270, revisions=(61078,useless=37311), wck=0.125, mem=99M807
6.26/3.08 decisions=1063, wrong=395, backtracks=85, failedAssignments=311, nogoods=87
6.26/3.08
6.26/3.09 num=15, depth=3..5, filters=25448, revisions=(65709,useless=39760), wck=0.13, mem=99M807
6.26/3.09 decisions=1167, wrong=445, backtracks=95, failedAssignments=352, nogoods=96
6.26/3.09
6.26/3.09 num=16, depth=4..6, filters=27773, revisions=(71188,useless=42900), wck=0.136, mem=99M807
6.26/3.09 decisions=1276, wrong=497, backtracks=102, failedAssignments=397, nogoods=105
6.26/3.09
6.26/3.10 num=17, depth=3..5, filters=31107, revisions=(79212,useless=47575), wck=0.144, mem=102M412
6.26/3.10 decisions=1399, wrong=557, backtracks=112, failedAssignments=447, nogoods=108
6.26/3.10
6.59/3.11 num=18, depth=3..7, filters=35029, revisions=(88716,useless=53140), wck=0.153, mem=102M412
6.59/3.11 decisions=1541, wrong=625, backtracks=126, failedAssignments=502, nogoods=111
6.59/3.11
6.59/3.12 num=19, depth=4..6, filters=37967, revisions=(96388,useless=57856), wck=0.16, mem=102M412
6.59/3.12 decisions=1690, wrong=697, backtracks=137, failedAssignments=563, nogoods=120
6.59/3.12
6.59/3.13 num=20, depth=3..6, filters=43207, revisions=(109433,useless=65638), wck=0.171, mem=102M412
6.59/3.13 decisions=1862, wrong=781, backtracks=154, failedAssignments=630, nogoods=126
6.59/3.13
6.59/3.14 num=21, depth=3..6, filters=48525, revisions=(127658,useless=78487), wck=0.187, mem=102M412
6.59/3.14 decisions=2080, wrong=888, backtracks=190, failedAssignments=704, nogoods=132
6.59/3.14
6.59/3.17 num=22, depth=4..7, filters=54450, revisions=(148717,useless=93577), wck=0.204, mem=102M412
6.59/3.17 decisions=2330, wrong=1010, backtracks=233, failedAssignments=785, nogoods=142
6.59/3.17
6.59/3.18 num=23, depth=3..6, filters=59506, revisions=(163392,useless=103158), wck=0.223, mem=105M16
6.59/3.18 decisions=2570, wrong=1128, backtracks=265, failedAssignments=874, nogoods=150
6.59/3.18
6.59/3.19 num=24, depth=4..7, filters=65952, revisions=(180455,useless=113756), wck=0.233, mem=105M16
6.59/3.19 decisions=2830, wrong=1255, backtracks=296, failedAssignments=972, nogoods=159
6.59/3.19
6.87/3.20 num=25, depth=3..6, filters=71935, revisions=(198332,useless=125617), wck=0.242, mem=105M16
6.87/3.20 decisions=3116, wrong=1395, backtracks=333, failedAssignments=1080, nogoods=169
6.87/3.20
6.87/3.20 num=26, depth=3..7, filters=78159, revisions=(213586,useless=134610), wck=0.25, mem=105M16
6.87/3.20 decisions=3414, wrong=1541, backtracks=361, failedAssignments=1199, nogoods=173
6.87/3.20
6.87/3.22 num=27, depth=4..6, filters=86302, revisions=(233999,useless=146803), wck=0.26, mem=107M621
6.87/3.22 decisions=3751, wrong=1707, backtracks=397, failedAssignments=1330, nogoods=182
6.87/3.22
6.87/3.23 num=28, depth=3..7, filters=94069, revisions=(257534,useless=162532), wck=0.273, mem=107M621
6.87/3.23 decisions=4130, wrong=1894, backtracks=442, failedAssignments=1474, nogoods=186
6.87/3.23
6.87/3.24 num=29, depth=3..7, filters=103538, revisions=(283796,useless=179270), wck=0.285, mem=107M621
6.87/3.24 decisions=4531, wrong=2092, backtracks=483, failedAssignments=1632, nogoods=196
6.87/3.24
6.87/3.26 num=30, depth=2..6, filters=114993, revisions=(321813,useless=205784), wck=0.303, mem=110M226
6.87/3.26 decisions=5021, wrong=2334, backtracks=556, failedAssignments=1806, nogoods=211
6.87/3.26
6.87/3.28 num=31, depth=2..6, filters=127826, revisions=(361982,useless=233027), wck=0.322, mem=110M226
6.87/3.28 decisions=5538, wrong=2591, backtracks=626, failedAssignments=1997, nogoods=229
6.87/3.28
6.87/3.29 num=32, depth=3..5, filters=138969, revisions=(386168,useless=246034), wck=0.334, mem=112M830
6.87/3.29 decisions=6057, wrong=2849, backtracks=677, failedAssignments=2208, nogoods=257
6.87/3.29
7.18/3.31 num=33, depth=2..6, filters=154041, revisions=(432294,useless=276997), wck=0.354, mem=112M830
7.18/3.31 decisions=6664, wrong=3151, backtracks=751, failedAssignments=2440, nogoods=281
7.18/3.31
7.18/3.33 num=34, depth=2..6, filters=171539, revisions=(487371,useless=314429), wck=0.378, mem=115M435
7.18/3.33 decisions=7355, wrong=3494, backtracks=847, failedAssignments=2695, nogoods=297
7.18/3.33
7.18/3.35 num=35, depth=3..6, filters=187590, revisions=(532089,useless=342936), wck=0.397, mem=115M435
7.18/3.35 decisions=8096, wrong=3862, backtracks=941, failedAssignments=2976, nogoods=314
7.18/3.35
7.18/3.37 num=36, depth=4..7, filters=204937, revisions=(579700,useless=373126), wck=0.418, mem=118M39
7.18/3.37 decisions=8895, wrong=4259, backtracks=1031, failedAssignments=3285, nogoods=333
7.18/3.37
7.18/3.40 num=37, depth=3..6, filters=224052, revisions=(634274,useless=408441), wck=0.441, mem=120M644
7.18/3.40 decisions=9789, wrong=4704, backtracks=1145, failedAssignments=3625, nogoods=362
7.18/3.40
7.39/3.43 num=38, depth=2..6, filters=248580, revisions=(709811,useless=459331), wck=0.474, mem=120M644
7.39/3.43 decisions=10789, wrong=5201, backtracks=1281, failedAssignments=3999, nogoods=374
7.39/3.43
7.39/3.45 num=39, depth=3..7, filters=268584, revisions=(763763,useless=493183), wck=0.499, mem=123M249
7.39/3.45 decisions=11845, wrong=5727, backtracks=1403, failedAssignments=4410, nogoods=389
7.39/3.45
7.39/3.49 num=40, depth=2..6, filters=296589, revisions=(843450,useless=544770), wck=0.532, mem=125M853
7.39/3.49 decisions=12976, wrong=6290, backtracks=1520, failedAssignments=4862, nogoods=403
7.39/3.49
7.55/3.52 num=41, depth=2..7, filters=324334, revisions=(914266,useless=587656), wck=0.564, mem=128M458
7.55/3.52 decisions=14252, wrong=6925, backtracks=1667, failedAssignments=5359, nogoods=410
7.55/3.52
7.55/3.56 num=42, depth=2..7, filters=358666, revisions=(1013638,useless=652503), wck=0.606, mem=131M62
7.55/3.56 decisions=15659, wrong=7626, backtracks=1834, failedAssignments=5906, nogoods=425
7.55/3.56
7.70/3.60 num=43, depth=2..6, filters=392698, revisions=(1113358,useless=718010), wck=0.647, mem=136M272
7.70/3.60 decisions=17209, wrong=8398, backtracks=2019, failedAssignments=6508, nogoods=450
7.70/3.60
7.70/3.65 num=44, depth=2..6, filters=435218, revisions=(1241617,useless=803560), wck=0.698, mem=138M876
7.70/3.65 decisions=18929, wrong=9256, backtracks=2230, failedAssignments=7170, nogoods=473
7.70/3.65
7.70/3.70 num=45, depth=2..7, filters=475975, revisions=(1350078,useless=870930), wck=0.74, mem=144M86
7.70/3.70 decisions=20780, wrong=10179, backtracks=2436, failedAssignments=7898, nogoods=483
7.70/3.70
7.83/3.75 num=46, depth=4..7, filters=522168, revisions=(1496891,useless=971339), wck=0.797, mem=146M690
7.83/3.75 decisions=22965, wrong=11269, backtracks=2728, failedAssignments=8699, nogoods=499
7.83/3.75
7.94/3.84 num=47, depth=2..7, filters=577336, revisions=(1654087,useless=1073139), wck=0.881, mem=36M484
7.94/3.84 decisions=25211, wrong=12390, backtracks=2991, failedAssignments=9580, nogoods=516
7.94/3.84
8.10/3.91 num=48, depth=2..7, filters=640753, revisions=(1836861,useless=1192078), wck=0.95, mem=40M518
8.10/3.91 decisions=27781, wrong=13673, backtracks=3322, failedAssignments=10550, nogoods=519
8.10/3.91
8.10/3.96 num=49, depth=2..6, filters=694545, revisions=(1982442,useless=1283627), wck=1.004, mem=44M552
8.10/3.96 decisions=30401, wrong=14981, backtracks=3586, failedAssignments=11617, nogoods=549
8.10/3.96
8.21/4.04 num=50, depth=2..7, filters=766823, revisions=(2185939,useless=1414506), wck=1.082, mem=52M620
8.21/4.04 decisions=33475, wrong=16516, backtracks=3979, failedAssignments=12790, nogoods=563
8.21/4.04
8.31/4.12 num=51, depth=2..7, filters=843248, revisions=(2404711,useless=1556539), wck=1.165, mem=56M654
8.31/4.12 decisions=36775, wrong=18163, backtracks=4360, failedAssignments=14081, nogoods=572
8.31/4.12
8.31/4.19 num=52, depth=2..6, filters=914127, revisions=(2595765,useless=1676412), wck=1.237, mem=64M723
8.31/4.19 decisions=40269, wrong=19907, backtracks=4709, failedAssignments=15501, nogoods=584
8.31/4.19
8.51/4.30 num=53, depth=2..6, filters=1015368, revisions=(2900190,useless=1879150), wck=1.35, mem=72M791
8.51/4.30 decisions=44422, wrong=21982, backtracks=5258, failedAssignments=17063, nogoods=609
8.51/4.30
8.61/4.42 num=54, depth=2..7, filters=1123094, revisions=(3198348,useless=2068931), wck=1.464, mem=84M893
8.61/4.42 decisions=48886, wrong=24212, backtracks=5806, failedAssignments=18781, nogoods=629
8.61/4.42
8.71/4.55 num=55, depth=2..6, filters=1241786, revisions=(3546615,useless=2298098), wck=1.597, mem=92M961
8.71/4.55 decisions=53814, wrong=26675, backtracks=6424, failedAssignments=20671, nogoods=645
8.71/4.55
8.81/4.69 num=56, depth=2..7, filters=1372570, revisions=(3907426,useless=2527373), wck=1.734, mem=105M63
8.81/4.69 decisions=59246, wrong=29389, backtracks=7088, failedAssignments=22750, nogoods=668
8.81/4.69
9.01/4.84 num=57, depth=2..7, filters=1515691, revisions=(4305856,useless=2782056), wck=1.886, mem=121M199
9.01/4.84 decisions=65229, wrong=32378, backtracks=7833, failedAssignments=25037, nogoods=684
9.01/4.84
9.11/5.00 num=58, depth=2..7, filters=1663241, revisions=(4720464,useless=3048303), wck=2.043, mem=133M302
9.11/5.00 decisions=71600, wrong=35561, backtracks=8551, failedAssignments=27553, nogoods=715
9.11/5.00
9.32/5.18 num=59, depth=1..7, filters=1833640, revisions=(5203677,useless=3360273), wck=2.226, mem=149M438
9.32/5.18 decisions=78802, wrong=39159, backtracks=9437, failedAssignments=30321, nogoods=728
9.32/5.18
9.61/5.40 num=60, depth=1..7, filters=2035019, revisions=(5767345,useless=3721181), wck=2.442, mem=165M574
9.61/5.40 decisions=86953, wrong=43232, backtracks=10532, failedAssignments=33365, nogoods=748
9.61/5.40
9.81/5.63 num=61, depth=2..7, filters=2255715, revisions=(6372730,useless=4104383), wck=2.677, mem=185M744
9.81/5.63 decisions=95760, wrong=47634, backtracks=11644, failedAssignments=36714, nogoods=788
9.81/5.63
10.11/5.91 num=62, depth=1..7, filters=2497347, revisions=(7124258,useless=4613123), wck=2.952, mem=205M915
10.11/5.91 decisions=105696, wrong=52599, backtracks=13002, failedAssignments=40398, nogoods=803
10.11/5.91
10.32/6.18 num=63, depth=1..7, filters=2757061, revisions=(7825820,useless=5053842), wck=3.224, mem=230M119
10.32/6.18 decisions=116309, wrong=57903, backtracks=14346, failedAssignments=44450, nogoods=818
10.32/6.18
10.81/6.52 num=64, depth=1..7, filters=3048851, revisions=(8679396,useless=5613854), wck=3.569, mem=48M718
10.81/6.52 decisions=128212, wrong=63852, backtracks=15922, failedAssignments=48907, nogoods=839
10.81/6.52
11.04/6.78 num=65, depth=2..6, filters=3306911, revisions=(9372017,useless=6047519), wck=3.827, mem=77M143
11.04/6.78 decisions=140442, wrong=69965, backtracks=17234, failedAssignments=53810, nogoods=875
11.04/6.78
11.45/7.14 num=66, depth=1..7, filters=3646070, revisions=(10336985,useless=6671947), wck=4.189, mem=105M569
11.45/7.14 decisions=154259, wrong=76872, backtracks=18867, failedAssignments=59204, nogoods=903
11.45/7.14
11.84/7.56 num=67, depth=1..7, filters=4038959, revisions=(11424292,useless=7363859), wck=4.602, mem=142M116
11.84/7.56 decisions=169774, wrong=84627, backtracks=20813, failedAssignments=65137, nogoods=923
11.84/7.56
12.24/7.99 num=68, depth=1..7, filters=4449442, revisions=(12588412,useless=8115506), wck=5.036, mem=178M663
12.24/7.99 decisions=186694, wrong=93084, backtracks=22863, failedAssignments=71663, nogoods=943
12.24/7.99
12.76/8.41 num=69, depth=1..7, filters=4872143, revisions=(13653690,useless=8755771), wck=5.454, mem=219M271
12.76/8.41 decisions=204791, wrong=102130, backtracks=24875, failedAssignments=78842, nogoods=980
12.76/8.41
13.34/8.99 num=70, depth=1..7, filters=5394217, revisions=(15110266,useless=9686934), wck=6.031, mem=57M924
13.34/8.99 decisions=225485, wrong=112475, backtracks=27487, failedAssignments=86739, nogoods=1004
13.34/8.99
13.94/9.59 num=71, depth=1..7, filters=5953869, revisions=(16738435,useless=10752122), wck=6.64, mem=108M610
13.94/9.59 decisions=248065, wrong=123763, backtracks=30285, failedAssignments=95426, nogoods=1028
13.94/9.59
14.64/10.22 num=72, depth=1..7, filters=6555472, revisions=(18385553,useless=11794184), wck=7.263, mem=165M631
14.64/10.22 decisions=272490, wrong=135973, backtracks=33124, failedAssignments=104981, nogoods=1053
14.64/10.22
15.34/10.91 num=73, depth=1..7, filters=7228222, revisions=(20246252,useless=12978250), wck=7.959, mem=222M652
15.34/10.91 decisions=299776, wrong=149614, backtracks=36445, failedAssignments=115492, nogoods=1094
15.34/10.91
15.95/11.54 num=74, depth=1..7, filters=7861004, revisions=(21894627,useless=13990822), wck=8.582, mem=286M9
15.95/11.54 decisions=328495, wrong=163971, backtracks=39436, failedAssignments=127054, nogoods=1126
15.95/11.54
16.90/12.43 num=75, depth=1..7, filters=8698062, revisions=(24163906,useless=15418197), wck=9.474, mem=45M319
16.90/12.43 decisions=361553, wrong=180498, backtracks=43500, failedAssignments=139772, nogoods=1157
16.90/12.43
17.80/13.35 num=76, depth=1..7, filters=9583272, revisions=(26611398,useless=16976074), wck=10.394, mem=121M557
17.80/13.35 decisions=397558, wrong=198498, backtracks=47776, failedAssignments=153762, nogoods=1187
17.80/13.35
18.80/14.30 num=77, depth=1..7, filters=10524714, revisions=(29203603,useless=18622807), wck=11.349, mem=210M503
18.80/14.30 decisions=436483, wrong=217959, backtracks=52126, failedAssignments=169151, nogoods=1209
18.80/14.30
19.90/15.43 num=78, depth=1..7, filters=11602747, revisions=(32172252,useless=20507720), wck=12.471, mem=305M801
19.90/15.43 decisions=480079, wrong=239755, backtracks=57314, failedAssignments=186079, nogoods=1239
19.90/15.43
21.27/16.70 num=79, depth=1..7, filters=12797840, revisions=(35523841,useless=22657668), wck=13.749, mem=99M80
21.27/16.70 decisions=528172, wrong=263799, backtracks=63098, failedAssignments=204700, nogoods=1253
21.27/16.70
22.58/18.04 num=80, depth=1..7, filters=14090147, revisions=(39093693,useless=24928891), wck=15.086, mem=212M953
22.58/18.04 decisions=580517, wrong=289969, backtracks=69155, failedAssignments=225184, nogoods=1271
22.58/18.04
24.19/19.51 num=81, depth=1..7, filters=15499909, revisions=(43000919,useless=27419980), wck=16.559, mem=336M316
24.19/19.51 decisions=638258, wrong=318837, backtracks=75902, failedAssignments=247716, nogoods=1326
24.19/19.51
25.80/21.15 num=82, depth=1..7, filters=17061016, revisions=(47289610,useless=30140474), wck=18.19, mem=478M658
25.80/21.15 decisions=702138, wrong=350775, backtracks=83529, failedAssignments=272501, nogoods=1353
25.80/21.15
27.45/22.75 num=83, depth=1..7, filters=18632601, revisions=(51380039,useless=32651915), wck=19.795, mem=156M230
27.45/22.75 decisions=771785, wrong=385596, backtracks=91542, failedAssignments=299765, nogoods=1385
27.45/22.75
29.45/24.72 num=84, depth=1..7, filters=20545546, revisions=(56632877,useless=35980588), wck=21.765, mem=327M240
29.45/24.72 decisions=848990, wrong=424196, backtracks=100657, failedAssignments=329755, nogoods=1408
29.45/24.72
31.55/26.83 num=85, depth=1..7, filters=22610743, revisions=(62260640,useless=39533571), wck=23.876, mem=44M408
31.55/26.83 decisions=933334, wrong=466365, backtracks=110432, failedAssignments=362744, nogoods=1424
31.55/26.83
33.96/29.21 num=86, depth=1..7, filters=24932857, revisions=(68651839,useless=43591149), wck=26.256, mem=243M599
33.96/29.21 decisions=1026362, wrong=512877, backtracks=121314, failedAssignments=399032, nogoods=1461
33.96/29.21
36.57/31.85 num=87, depth=1..7, filters=27482355, revisions=(75692585,useless=48071137), wck=28.895, mem=477M941
36.57/31.85 decisions=1128969, wrong=564178, backtracks=133494, failedAssignments=438949, nogoods=1511
36.57/31.85
39.38/34.69 num=88, depth=1..7, filters=30230470, revisions=(83238215,useless=52854890), wck=31.734, mem=138M229
39.38/34.69 decisions=1241253, wrong=620318, backtracks=146557, failedAssignments=482858, nogoods=1564
39.38/34.69
42.58/37.84 num=89, depth=1..7, filters=33279854, revisions=(91564307,useless=58116767), wck=34.886, mem=407M855
42.58/37.84 decisions=1365161, wrong=682269, backtracks=161108, failedAssignments=531158, nogoods=1577
42.58/37.84
45.69/40.93 num=90, depth=1..7, filters=36416002, revisions=(99569587,useless=62967204), wck=37.979, mem=134M523
45.69/40.93 decisions=1499177, wrong=749275, backtracks=175893, failedAssignments=584288, nogoods=1615
45.69/40.93
49.48/44.80 num=91, depth=1..7, filters=40143462, revisions=(109822347,useless=69471894), wck=41.841, mem=462M439
49.48/44.80 decisions=1649570, wrong=824469, backtracks=193787, failedAssignments=642731, nogoods=1651
49.48/44.80
53.70/48.98 num=92, depth=1..7, filters=44209927, revisions=(120942779,useless=76505121), wck=46.022, mem=272M776
53.70/48.98 decisions=1814380, wrong=906872, backtracks=213088, failedAssignments=707018, nogoods=1715
53.70/48.98
58.41/53.65 num=93, depth=1..7, filters=48716995, revisions=(133333191,useless=84364153), wck=50.697, mem=127M543
58.41/53.65 decisions=1996342, wrong=997851, backtracks=234665, failedAssignments=777734, nogoods=1752
58.41/53.65
63.52/58.70 num=94, depth=0..7, filters=53599702, revisions=(146697050,useless=92819833), wck=55.748, mem=42M926
63.52/58.70 decisions=2195254, wrong=1097305, backtracks=257819, failedAssignments=855521, nogoods=1796
63.52/58.70
69.22/64.41 num=95, depth=0..7, filters=59098383, revisions=(161748160,useless=102342793), wck=61.454, mem=541M233
69.22/64.41 decisions=2414609, wrong=1206980, backtracks=283532, failedAssignments=941087, nogoods=1840
69.22/64.41
75.03/70.25 num=96, depth=0..7, filters=64860038, revisions=(177064164,useless=111866103), wck=67.296, mem=89M723
75.03/70.25 decisions=2654764, wrong=1327055, backtracks=311307, failedAssignments=1035210, nogoods=1865
75.03/70.25
81.86/77.04 num=97, depth=1..7, filters=71469176, revisions=(195097137,useless=123256179), wck=74.088, mem=207M74
81.86/77.04 decisions=2919597, wrong=1459470, backtracks=342141, failedAssignments=1138745, nogoods=1917
81.86/77.04
89.35/84.50 num=98, depth=1..7, filters=78680340, revisions=(215018868,useless=135926862), wck=81.543, mem=405M358
89.35/84.50 decisions=3211759, wrong=1605549, backtracks=376445, failedAssignments=1252634, nogoods=1965
89.35/84.50
97.48/92.61 num=99, depth=0..7, filters=86630349, revisions=(236377052,useless=149291270), wck=89.654, mem=273M648
97.48/92.61 decisions=3531472, wrong=1765403, backtracks=413287, failedAssignments=1377912, nogoods=1982
97.48/92.61
106.39/101.53 num=100, depth=0..7, filters=95245539, revisions=(260115337,useless=164369472), wck=98.571, mem=235M409
106.39/101.53 decisions=3883724, wrong=1941527, backtracks=454084, failedAssignments=1515718, nogoods=2026
106.39/101.53
116.41/111.59 num=101, depth=0..7, filters=104933979, revisions=(286580307,useless=181093643), wck=108.632, mem=347M623
116.41/111.59 decisions=4272484, wrong=2135905, backtracks=499729, failedAssignments=1667304, nogoods=2043
116.41/111.59
127.44/122.55 num=102, depth=0..7, filters=115519265, revisions=(315272354,useless=199144058), wck=119.599, mem=253M769
127.44/122.55 decisions=4699168, wrong=2349245, backtracks=549444, failedAssignments=1834049, nogoods=2104
127.44/122.55
139.65/134.76 num=103, depth=0..7, filters=127345885, revisions=(347653321,useless=219639565), wck=131.808, mem=39M48
139.65/134.76 decisions=5169013, wrong=2584166, backtracks=604403, failedAssignments=2017468, nogoods=2144
139.65/134.76
153.28/148.35 num=104, depth=0..7, filters=140403220, revisions=(383580217,useless=242441933), wck=145.397, mem=75M856
153.28/148.35 decisions=5686363, wrong=2842839, backtracks=665250, failedAssignments=2219229, nogoods=2169
153.28/148.35
167.92/162.97 num=105, depth=0..7, filters=154536689, revisions=(422229909,useless=266884407), wck=160.016, mem=89M627
167.92/162.97 decisions=6253793, wrong=3126552, backtracks=731032, failedAssignments=2441167, nogoods=2220
167.92/162.97
184.46/179.45 num=106, depth=0..7, filters=170399593, revisions=(465900903,useless=294612702), wck=176.497, mem=204M124
184.46/179.45 decisions=6880091, wrong=3439699, backtracks=804680, failedAssignments=2685298, nogoods=2266
184.46/179.45
202.32/197.26 num=107, depth=0..7, filters=187581947, revisions=(512704114,useless=324144747), wck=194.308, mem=100M147
202.32/197.26 decisions=7568110, wrong=3783706, backtracks=885119, failedAssignments=2953843, nogoods=2296
202.32/197.26
222.39/217.28 num=108, depth=0..7, filters=206700034, revisions=(565607511,useless=357828624), wck=214.33, mem=158M265
222.39/217.28 decisions=8327116, wrong=4163207, backtracks=974751, failedAssignments=3249242, nogoods=2324
222.39/217.28
244.79/239.57 num=109, depth=0..7, filters=227992806, revisions=(624440611,useless=395256290), wck=236.614, mem=47M969
244.79/239.57 decisions=9163054, wrong=4581174, backtracks=1073991, failedAssignments=3574181, nogoods=2333
244.79/239.57
267.09/261.79 num=110, depth=0..7, filters=249087580, revisions=(683285679,useless=432893989), wck=258.838, mem=90M924
267.09/261.79 decisions=9977246, wrong=4988271, backtracks=1172507, failedAssignments=3888789, nogoods=2333
267.09/261.79
267.09/261.79 Global
267.09/261.79 filters=249087580, revisions=(683285679,useless=432893989), nogoods=2333
267.09/261.79 Stop=FULL_EXPLORATION, wrong=4988271, wck=259.953, cpu=261.292, mem=90M924
267.09/261.79
267.09/261.79 s UNSATISFIABLE
267.09/261.79
267.09/261.79 d WRONG_DECISIONS 4988271
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 (13747 MiB free)
memory of node 1: 16384 MiB (15747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390506-1568386613/watcher-4390506-1568386613 -o /tmp/evaluation-result-4390506-1568386613/solver-4390506-1568386613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390506-1568386613.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=5845, runsolver pid=5842
[startup+0.100297 s]*
/proc/loadavg: 1.88 1.76 1.74 4/228 5860
/proc/meminfo: memFree=30186096/32770624 swapFree=66945488/67108860
[pid=5845] ppid=5842 vsize=10659884 memory=27584 CPUtime=0.14 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 5372 0 0 0 13 1 0 0 20 0 15 0 414603205 10915721216 6896 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2664971 6896 2900 1 0 2627468 0
[pid=5845/tid=5847] ppid=5842 vsize=10659884 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) R 5842 5845 2499 0 -1 4202560 3202 0 0 0 8 0 0 0 20 0 15 0 414603205 10915721216 6962 33554432000 4194304 4196468 140736964453440 140249033998184 140248617150752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603207 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248520533664 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248519480560 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0.02 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) R 5842 5845 2499 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 414603210 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248515267576 140249008906508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 6962 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603211 10915721216 7028 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27584 KiB
[startup+0.21067 s]*
/proc/loadavg: 1.88 1.76 1.74 3/228 5860
/proc/meminfo: memFree=30178964/32770624 swapFree=66945488/67108860
[pid=5845] ppid=5842 vsize=10659884 memory=35012 CPUtime=0.33 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 6898 0 0 0 31 2 0 0 20 0 15 0 414603205 10915721216 8753 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2664971 8753 2990 1 0 2627468 0
[pid=5845/tid=5847] ppid=5842 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) R 5842 5845 2499 0 -1 4202560 3856 0 0 0 19 1 0 0 20 0 15 0 414603205 10915721216 8753 33554432000 4194304 4196468 140736964453440 140249033997360 140249029792925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10659884 memory=4051464729896318624 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603207 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248520533664 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248519480560 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 650 0 0 0 3 0 0 0 20 0 15 0 414603210 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 414603210 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0.05 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 759 0 0 0 5 0 0 0 20 0 15 0 414603210 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603211 10915721216 8753 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35012 KiB
[startup+0.313293 s]*
/proc/loadavg: 1.88 1.76 1.74 4/228 5860
/proc/meminfo: memFree=30170896/32770624 swapFree=66945488/67108860
[pid=5845] ppid=5842 vsize=10659884 memory=40132 CPUtime=0.48 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 9445 0 0 0 45 3 0 0 20 0 15 0 414603205 10915721216 10033 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2664971 10033 3002 1 0 2627468 0
[pid=5845/tid=5847] ppid=5842 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) R 5842 5845 2499 0 -1 4202560 6327 0 0 0 28 2 0 0 20 0 15 0 414603205 10915721216 10033 33554432000 4194304 4196468 140736964453440 140249034002800 140249013851486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10659884 memory=3906224737130280608 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603207 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248520533664 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414603208 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248519480560 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 694 0 0 0 4 0 0 0 20 0 15 0 414603210 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 15 0 414603210 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0.08 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 414603210 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10659884 memory=140203242714752 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603211 10915721216 10033 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40132 KiB
[startup+0.700791 s]
/proc/loadavg: 1.88 1.76 1.74 3/228 5860
/proc/meminfo: memFree=30163084/32770624 swapFree=66945488/67108860
[pid=5845] ppid=5842 vsize=10661932 memory=62848 CPUtime=1.09 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 12862 0 0 0 104 5 0 0 20 0 15 0 414603205 10917818368 15712 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2665483 15712 3076 1 0 2627980 0
[pid=5845/tid=5847] ppid=5842 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) R 5842 5845 2499 0 -1 4202560 8869 0 0 0 64 4 0 0 20 0 15 0 414603205 10917818368 15712 33554432000 4194304 4196468 140736964453440 140249033994080 140249013851486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603207 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414603208 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248520533664 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414603208 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248519480560 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10661932 memory=7013342048905618540 CPUtime=0.1 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) R 5842 5845 2499 0 -1 4202560 894 0 0 0 10 0 0 0 20 0 15 0 414603210 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248517376240 140249014896051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10661932 memory=5787221545506525541 CPUtime=0.1 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 574 0 0 0 10 0 0 0 20 0 15 0 414603210 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10661932 memory=4629539461233085814 CPUtime=0.19 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 1165 0 0 0 19 0 0 0 20 0 15 0 414603210 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414603210 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603211 10917818368 15712 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62848 KiB
[startup+1.5008 s]
/proc/loadavg: 1.88 1.76 1.74 3/229 5862
/proc/meminfo: memFree=30145704/32770624 swapFree=66945488/67108860
[pid=5845] ppid=5842 vsize=10663980 memory=75388 CPUtime=1.98 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 18465 0 0 0 193 5 0 0 20 0 15 0 414603205 10919915520 18847 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2665995 18847 3097 1 0 2628492 0
[pid=5845/tid=5847] ppid=5842 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) R 5842 5845 2499 0 -1 4202560 13081 0 0 0 143 5 0 0 20 0 15 0 414603205 10919915520 18847 33554432000 4194304 4196468 140736964453440 140249034003024 140249029792925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10919915520 18847 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414603206 10919915520 18847 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10919915520 18847 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414603206 10919915520 18847 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 414603207 10919915520 18847 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
################
# More data... #
################
/proc/5845/task/5847/stat : 5847 (java) S 5842 5845 2499 0 -1 1077944384 15323 0 0 0 179 6 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140249034013872 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10748324 memory=9023629670928638048 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 3501 0 0 0 28 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10748324 memory=4872558044660077418 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2260 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10748324 memory=574512 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 3473 0 0 0 27 5 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10748324 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1345 0 0 0 29 3 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10748324 memory=111636 CPUtime=0.09 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 3476 0 0 0 7 2 0 0 20 0 16 0 414603207 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10748324 memory=804 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248520533728 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248519480576 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10748324 memory=1040 CPUtime=1.65 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 6432 0 0 0 165 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10748324 memory=4136 CPUtime=1.74 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 8677 0 0 0 173 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10748324 memory=780 CPUtime=0.96 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 6981 0 0 0 95 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10748324 memory=1720 CPUtime=0.05 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 991 0 0 0 2 3 0 0 20 0 16 0 414603211 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5863] ppid=5842 vsize=10748324 memory=1200 CPUtime=253.64 cores=1,3,5,7
/proc/5845/task/5863/stat : 5863 (java) R 5842 5845 2499 0 -1 4202560 14233 0 0 0 25356 8 0 0 20 0 16 0 414603392 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248496214112 140248627151204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 261.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 574536 KiB
[startup+259.201 s]
/proc/loadavg: 1.69 1.84 1.79 3/230 5890
/proc/meminfo: memFree=29636332/32770624 swapFree=66945516/67108860
[pid=5845] ppid=5842 vsize=10748324 memory=574536 CPUtime=264.58 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 68094 0 0 0 26418 40 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2687081 143634 3375 1 0 2647217 0
[pid=5845/tid=5847] ppid=5842 vsize=10748324 memory=1556 CPUtime=1.85 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) S 5842 5845 2499 0 -1 1077944384 15323 0 0 0 179 6 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140249034013872 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 3501 0 0 0 28 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10748324 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2260 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10748324 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 3473 0 0 0 28 5 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10748324 memory=165 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1345 0 0 0 29 3 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10748324 memory=1552 CPUtime=0.09 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 3478 0 0 0 7 2 0 0 20 0 16 0 414603207 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10748324 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248520533728 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10748324 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248519480576 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10748324 memory=574536 CPUtime=1.65 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 6432 0 0 0 165 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=1.74 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 8677 0 0 0 173 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10748324 memory=574536 CPUtime=0.96 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 6981 0 0 0 95 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10748324 memory=574512 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10748324 memory=19900 CPUtime=0.05 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 991 0 0 0 2 3 0 0 20 0 16 0 414603211 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5863] ppid=5842 vsize=10748324 memory=992 CPUtime=256.82 cores=1,3,5,7
/proc/5845/task/5863/stat : 5863 (java) R 5842 5845 2499 0 -1 4202560 14236 0 0 0 25674 8 0 0 20 0 16 0 414603392 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248496214112 140248627148530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 264.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 574536 KiB
[startup+260.801 s]
/proc/loadavg: 1.69 1.84 1.79 3/230 5890
/proc/meminfo: memFree=29636364/32770624 swapFree=66945516/67108860
[pid=5845] ppid=5842 vsize=10748324 memory=574536 CPUtime=266.18 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 68096 0 0 0 26578 40 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2687081 143634 3375 1 0 2647217 0
[pid=5845/tid=5847] ppid=5842 vsize=10748324 memory=992 CPUtime=1.85 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) S 5842 5845 2499 0 -1 1077944384 15323 0 0 0 179 6 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140249034013872 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10748324 memory=574536 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 3501 0 0 0 28 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10748324 memory=1408 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2260 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10748324 memory=11580 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 3473 0 0 0 28 5 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10748324 memory=740 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1345 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10748324 memory=574536 CPUtime=0.09 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 3478 0 0 0 7 2 0 0 20 0 16 0 414603207 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10748324 memory=992 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248520533728 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10748324 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248519480576 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10748324 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=1.65 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 6432 0 0 0 165 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10748324 memory=14012 CPUtime=1.74 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 8677 0 0 0 173 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10748324 memory=10236 CPUtime=0.96 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 6981 0 0 0 95 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10748324 memory=574536 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 991 0 0 0 2 3 0 0 20 0 16 0 414603211 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5863] ppid=5842 vsize=10748324 memory=1556 CPUtime=258.42 cores=1,3,5,7
/proc/5845/task/5863/stat : 5863 (java) R 5842 5845 2499 0 -1 4202560 14238 0 0 0 25834 8 0 0 20 0 16 0 414603392 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248496214112 140248627146547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 266.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 574536 KiB
[startup+261.601 s]
/proc/loadavg: 1.69 1.84 1.79 3/230 5890
/proc/meminfo: memFree=29636364/32770624 swapFree=66945516/67108860
[pid=5845] ppid=5842 vsize=10748324 memory=574536 CPUtime=266.99 cores=1,3,5,7
/proc/5845/stat : 5845 (java) S 5842 5845 2499 0 -1 1077944320 68097 0 0 0 26659 40 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140736964435984 140249029770999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
/proc/5845/statm: 2687081 143634 3375 1 0 2647217 0
[pid=5845/tid=5847] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/5845/task/5847/stat : 5847 (java) S 5842 5845 2499 0 -1 1077944384 15323 0 0 0 179 6 0 0 20 0 16 0 414603205 11006283776 143634 33554432000 4194304 4196468 140736964453440 140249034013872 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5848] ppid=5842 vsize=10748324 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7
/proc/5845/task/5848/stat : 5848 (java) S 5842 5845 2499 0 -1 1077944384 3501 0 0 0 28 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248955845136 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5849] ppid=5842 vsize=10748324 memory=574536 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5849/stat : 5849 (java) S 5842 5845 2499 0 -1 1077944384 2260 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248954792592 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5850] ppid=5842 vsize=10748324 memory=574512 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5850/stat : 5850 (java) S 5842 5845 2499 0 -1 1077944384 3473 0 0 0 28 5 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248953739536 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5851] ppid=5842 vsize=10748324 memory=1428 CPUtime=0.33 cores=1,3,5,7
/proc/5845/task/5851/stat : 5851 (java) S 5842 5845 2499 0 -1 1077944384 1345 0 0 0 29 4 0 0 20 0 16 0 414603206 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248952686992 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5852] ppid=5842 vsize=10748324 memory=11580 CPUtime=0.09 cores=1,3,5,7
/proc/5845/task/5852/stat : 5852 (java) S 5842 5845 2499 0 -1 1077944384 3478 0 0 0 7 2 0 0 20 0 16 0 414603207 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248521587440 140249029782146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5853] ppid=5842 vsize=10748324 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5853/stat : 5853 (java) S 5842 5845 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248520533728 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5854] ppid=5842 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5854/stat : 5854 (java) S 5842 5845 2499 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414603208 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248519480576 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5855] ppid=5842 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5855/stat : 5855 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248518429136 140249029789595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5856] ppid=5842 vsize=10748324 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/5845/task/5856/stat : 5856 (java) S 5842 5845 2499 0 -1 1077944384 6432 0 0 0 165 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248517376240 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5857] ppid=5842 vsize=10748324 memory=5859535235326444939 CPUtime=1.74 cores=1,3,5,7
/proc/5845/task/5857/stat : 5857 (java) S 5842 5845 2499 0 -1 1077944384 8677 0 0 0 173 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248516323696 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5858] ppid=5842 vsize=10748324 memory=3188 CPUtime=0.96 cores=1,3,5,7
/proc/5845/task/5858/stat : 5858 (java) S 5842 5845 2499 0 -1 1077944384 6981 0 0 0 95 1 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248515270640 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5859] ppid=5842 vsize=10748324 memory=574536 CPUtime=0 cores=1,3,5,7
/proc/5845/task/5859/stat : 5859 (java) S 5842 5845 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414603210 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248514218336 140249029781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5860] ppid=5842 vsize=10748324 memory=1732 CPUtime=0.05 cores=1,3,5,7
/proc/5845/task/5860/stat : 5860 (java) S 5842 5845 2499 0 -1 1077944384 991 0 0 0 2 3 0 0 20 0 16 0 414603211 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248513166384 140249029782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
[pid=5845/tid=5863] ppid=5842 vsize=10748324 memory=574536 CPUtime=259.22 cores=1,3,5,7
/proc/5845/task/5863/stat : 5863 (java) R 5842 5845 2499 0 -1 4202560 14239 0 0 0 25914 8 0 0 20 0 16 0 414603392 11006283776 143634 33554432000 4194304 4196468 140736964453440 140248496214000 140248627029106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140736964461579 140736964461682 140736964461682 140736964464591 0
Current children cumulated CPU time: 266.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 574536 KiB
[startup+261.801 s]*
/proc/loadavg: 1.69 1.84 1.79 3/216 5891
/proc/meminfo: memFree=29637144/32770624 swapFree=66945516/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 261.81
CPU time (s): 267.204
CPU user time (s): 266.791
CPU system time (s): 0.41325
CPU usage (%): 102.06
Max. virtual memory (cumulated for all children) (KiB): 10750144
Max. memory (cumulated for all children) (KiB): 711100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.791
system time used= 0.41325
maximum resident set size= 713148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10296
involuntary context switches= 248
# summary of solver processes directly reported to runsolver:
# pid: 5845
# total CPU time (s): 267.204
# total CPU user time (s): 266.791
# total CPU system time (s): 0.41325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56921 second user time and 2.5317 second system time
The end