2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.89
3.24/2.14 Instance
3.24/2.14 name=instance-4390631-1568383948, framework=CSP
3.24/2.14
3.24/2.14 Loading variables...
3.24/2.17 Loading constraints...
3.93/2.34
3.93/2.34 Domains
3.93/2.34 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.93/2.34 Variables
3.93/2.34 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.93/2.34 Constraints
3.93/2.34 count=1261, arities=[2#1261]
3.93/2.34 distribution=[CtrExtensionV-Bits#1261]
3.93/2.34 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.93/2.34 wck=0.494, cpu=2.306, mem=39M724
3.93/2.34 Solver SolverBacktrack being built...
3.93/2.34
3.93/2.37
3.93/2.37 Solver
3.93/2.37 guaranteedGAC=true
3.93/2.37 wck=0.526, cpu=2.335, mem=50M367
3.93/2.38
3.93/2.38 Preprocessing
3.93/2.38 filters=150, revisions=(2253,useless=2085), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.93/2.38 wck=0.009, cpu=2.345, mem=50M367
3.93/2.38
3.93/2.39 num=0, depth=25..31, filters=962, revisions=(11711,useless=10731), wck=0.022, mem=50M367
3.93/2.39 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
3.93/2.39
3.93/2.39 num=1, depth=26..37, filters=1643, revisions=(19922,useless=18261), wck=0.028, mem=50M367
3.93/2.39 decisions=135, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
3.93/2.39
4.25/2.40 num=2, depth=18..25, filters=2313, revisions=(29871,useless=27540), wck=0.034, mem=50M367
4.25/2.40 decisions=201, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.25/2.40
4.25/2.42 num=3, depth=22..35, filters=2941, revisions=(38479,useless=35520), wck=0.052, mem=50M367
4.25/2.42 decisions=275, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.25/2.42
4.25/2.42 num=4, depth=10..24, filters=3740, revisions=(48159,useless=44401), wck=0.058, mem=50M367
4.25/2.42 decisions=341, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.25/2.42
4.25/2.43 num=5, depth=16..32, filters=4499, revisions=(58317,useless=53800), wck=0.064, mem=50M367
4.25/2.43 decisions=421, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.25/2.43
4.25/2.44 num=6, depth=13..35, filters=5471, revisions=(71106,useless=65610), wck=0.072, mem=50M367
4.25/2.44 decisions=517, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.25/2.44
4.25/2.45 num=7, depth=12..24, filters=6252, revisions=(83915,useless=77630), wck=0.079, mem=50M367
4.25/2.45 decisions=613, wrong=224, backtracks=117, failedAssignments=112, nogoods=11
4.25/2.45
4.25/2.45 num=8, depth=12..21, filters=7185, revisions=(97683,useless=90458), wck=0.087, mem=50M367
4.25/2.45 decisions=708, wrong=264, backtracks=139, failedAssignments=133, nogoods=15
4.25/2.45
4.25/2.46 num=9, depth=13..28, filters=7898, revisions=(109834,useless=101894), wck=0.094, mem=53M9
4.25/2.46 decisions=807, wrong=307, backtracks=160, failedAssignments=156, nogoods=18
4.25/2.46
4.25/2.47 num=10, depth=11..28, filters=8548, revisions=(121973,useless=113382), wck=0.1, mem=53M9
4.25/2.47 decisions=911, wrong=352, backtracks=183, failedAssignments=181, nogoods=20
4.25/2.47
4.25/2.47 num=11, depth=10..16, filters=9495, revisions=(136470,useless=126926), wck=0.108, mem=53M9
4.25/2.47 decisions=1007, wrong=394, backtracks=198, failedAssignments=209, nogoods=36
4.25/2.47
4.25/2.48 num=12, depth=13..21, filters=10695, revisions=(153195,useless=142445), wck=0.116, mem=53M9
4.25/2.48 decisions=1117, wrong=441, backtracks=217, failedAssignments=240, nogoods=42
4.25/2.48
4.25/2.49 num=13, depth=10..15, filters=12034, revisions=(171858,useless=159762), wck=0.124, mem=53M9
4.25/2.49 decisions=1243, wrong=498, backtracks=242, failedAssignments=274, nogoods=48
4.25/2.49
4.58/2.50 num=14, depth=13..18, filters=13862, revisions=(195520,useless=181574), wck=0.133, mem=53M9
4.58/2.50 decisions=1385, wrong=562, backtracks=276, failedAssignments=311, nogoods=53
4.58/2.50
4.58/2.51 num=15, depth=14..18, filters=16227, revisions=(224632,useless=208293), wck=0.144, mem=53M9
4.58/2.51 decisions=1539, wrong=632, backtracks=312, failedAssignments=352, nogoods=59
4.58/2.51
4.58/2.52 num=16, depth=13..19, filters=18624, revisions=(254739,useless=235967), wck=0.156, mem=53M9
4.58/2.52 decisions=1712, wrong=711, backtracks=352, failedAssignments=397, nogoods=66
4.58/2.52
4.58/2.54 num=17, depth=14..20, filters=20828, revisions=(281029,useless=260021), wck=0.166, mem=53M9
4.58/2.54 decisions=1877, wrong=786, backtracks=385, failedAssignments=447, nogoods=74
4.58/2.54
4.58/2.55 num=18, depth=12..17, filters=23659, revisions=(314223,useless=290349), wck=0.179, mem=53M9
4.58/2.55 decisions=2068, wrong=875, backtracks=425, failedAssignments=502, nogoods=84
4.58/2.55
4.58/2.56 num=19, depth=14..18, filters=26794, revisions=(347665,useless=320608), wck=0.192, mem=53M9
4.58/2.56 decisions=2262, wrong=965, backtracks=456, failedAssignments=563, nogoods=96
4.58/2.56
4.58/2.57 num=20, depth=13..20, filters=30546, revisions=(391406,useless=360547), wck=0.209, mem=53M9
4.58/2.57 decisions=2513, wrong=1082, backtracks=513, failedAssignments=630, nogoods=99
4.58/2.57
4.58/2.59 num=21, depth=15..20, filters=34748, revisions=(437990,useless=402851), wck=0.226, mem=53M9
4.58/2.59 decisions=2767, wrong=1201, backtracks=562, failedAssignments=704, nogoods=111
4.58/2.59
4.88/2.61 num=22, depth=15..20, filters=39263, revisions=(484121,useless=444409), wck=0.244, mem=53M9
4.88/2.61 decisions=3019, wrong=1319, backtracks=610, failedAssignments=785, nogoods=123
4.88/2.61
4.88/2.63 num=23, depth=16..21, filters=44679, revisions=(541021,useless=495804), wck=0.264, mem=53M9
4.88/2.63 decisions=3327, wrong=1464, backtracks=679, failedAssignments=874, nogoods=135
4.88/2.63
4.88/2.65 num=24, depth=13..18, filters=49907, revisions=(595741,useless=545231), wck=0.283, mem=55M651
4.88/2.65 decisions=3650, wrong=1618, backtracks=745, failedAssignments=972, nogoods=139
4.88/2.65
4.88/2.67 num=25, depth=15..20, filters=56218, revisions=(658849,useless=601940), wck=0.305, mem=55M651
4.88/2.67 decisions=3983, wrong=1777, backtracks=808, failedAssignments=1080, nogoods=154
4.88/2.67
5.18/2.70 num=26, depth=15..21, filters=62355, revisions=(730488,useless=667370), wck=0.332, mem=55M651
5.18/2.70 decisions=4437, wrong=1996, backtracks=927, failedAssignments=1199, nogoods=168
5.18/2.70
5.18/2.73 num=27, depth=14..20, filters=70501, revisions=(812327,useless=740942), wck=0.36, mem=55M651
5.18/2.73 decisions=4881, wrong=2211, backtracks=1025, failedAssignments=1330, nogoods=171
5.18/2.73
5.18/2.76 num=28, depth=15..20, filters=79369, revisions=(899005,useless=818593), wck=0.389, mem=55M651
5.18/2.76 decisions=5336, wrong=2430, backtracks=1113, failedAssignments=1474, nogoods=179
5.18/2.76
5.18/2.79 num=29, depth=14..19, filters=88164, revisions=(991180,useless=901880), wck=0.42, mem=55M651
5.18/2.79 decisions=5885, wrong=2697, backtracks=1237, failedAssignments=1632, nogoods=192
5.18/2.79
5.30/2.82 num=30, depth=16..22, filters=98221, revisions=(1090348,useless=990759), wck=0.454, mem=58M294
5.30/2.82 decisions=6430, wrong=2961, backtracks=1341, failedAssignments=1806, nogoods=215
5.30/2.82
5.30/2.85 num=31, depth=13..20, filters=108594, revisions=(1190139,useless=1080053), wck=0.487, mem=58M294
5.30/2.85 decisions=7015, wrong=3247, backtracks=1461, failedAssignments=1997, nogoods=227
5.30/2.85
5.30/2.89 num=32, depth=14..21, filters=118762, revisions=(1300934,useless=1180574), wck=0.525, mem=58M294
5.30/2.89 decisions=7714, wrong=3589, backtracks=1626, failedAssignments=2208, nogoods=236
5.30/2.89
5.41/2.93 num=33, depth=13..20, filters=131580, revisions=(1427531,useless=1294178), wck=0.567, mem=58M294
5.41/2.93 decisions=8437, wrong=3942, backtracks=1769, failedAssignments=2440, nogoods=240
5.41/2.93
5.41/2.98 num=34, depth=13..21, filters=144011, revisions=(1558727,useless=1412826), wck=0.611, mem=60M936
5.41/2.98 decisions=9303, wrong=4368, backtracks=1969, failedAssignments=2695, nogoods=248
5.41/2.98
5.55/3.03 num=35, depth=13..20, filters=160061, revisions=(1714762,useless=1552608), wck=0.665, mem=60M936
5.55/3.03 decisions=10223, wrong=4820, backtracks=2168, failedAssignments=2976, nogoods=257
5.55/3.03
5.55/3.08 num=36, depth=14..19, filters=175354, revisions=(1859786,useless=1682070), wck=0.714, mem=60M936
5.55/3.08 decisions=11153, wrong=5277, backtracks=2344, failedAssignments=3285, nogoods=269
5.55/3.08
5.74/3.14 num=37, depth=14..20, filters=193983, revisions=(2032059,useless=1835511), wck=0.771, mem=63M579
5.74/3.14 decisions=12213, wrong=5800, backtracks=2552, failedAssignments=3625, nogoods=276
5.74/3.14
5.86/3.20 num=38, depth=15..21, filters=212564, revisions=(2224109,useless=2008756), wck=0.835, mem=63M579
5.86/3.20 decisions=13472, wrong=6421, backtracks=2828, failedAssignments=3999, nogoods=284
5.86/3.20
5.86/3.27 num=39, depth=13..20, filters=233203, revisions=(2450470,useless=2214273), wck=0.908, mem=66M221
5.86/3.27 decisions=14872, wrong=7114, backtracks=3178, failedAssignments=4410, nogoods=298
5.86/3.27
5.98/3.34 num=40, depth=13..20, filters=248530, revisions=(2648116,useless=2396510), wck=0.971, mem=66M221
5.98/3.34 decisions=16544, wrong=7942, backtracks=3585, failedAssignments=4862, nogoods=305
5.98/3.34
6.08/3.42 num=41, depth=10..18, filters=272882, revisions=(2900177,useless=2623867), wck=1.052, mem=66M221
6.08/3.42 decisions=18176, wrong=8751, backtracks=3940, failedAssignments=5359, nogoods=311
6.08/3.42
6.18/3.51 num=42, depth=14..21, filters=300525, revisions=(3183994,useless=2879507), wck=1.144, mem=68M864
6.18/3.51 decisions=20007, wrong=9659, backtracks=4333, failedAssignments=5906, nogoods=323
6.18/3.51
6.28/3.61 num=43, depth=11..19, filters=333916, revisions=(3505657,useless=3167311), wck=1.249, mem=71M506
6.28/3.61 decisions=21933, wrong=10614, backtracks=4758, failedAssignments=6508, nogoods=331
6.28/3.61
6.38/3.72 num=44, depth=14..22, filters=365011, revisions=(3838059,useless=3468080), wck=1.355, mem=71M506
6.38/3.72 decisions=24086, wrong=11681, backtracks=5244, failedAssignments=7170, nogoods=343
6.38/3.72
6.48/3.85 num=45, depth=13..21, filters=403350, revisions=(4235392,useless=3826528), wck=1.483, mem=74M148
6.48/3.85 decisions=26539, wrong=12900, backtracks=5820, failedAssignments=7898, nogoods=365
6.48/3.85
6.58/3.98 num=46, depth=14..21, filters=443909, revisions=(4649175,useless=4199122), wck=1.616, mem=76M791
6.58/3.98 decisions=29132, wrong=14189, backtracks=6424, failedAssignments=8699, nogoods=386
6.58/3.98
6.79/4.14 num=47, depth=12..21, filters=491362, revisions=(5134630,useless=4636432), wck=1.773, mem=79M433
6.79/4.14 decisions=32106, wrong=15669, backtracks=7112, failedAssignments=9580, nogoods=396
6.79/4.14
6.98/4.30 num=48, depth=13..21, filters=539902, revisions=(5644869,useless=5097449), wck=1.936, mem=82M76
6.98/4.30 decisions=35288, wrong=17253, backtracks=7873, failedAssignments=10550, nogoods=428
6.98/4.30
7.08/4.50 num=49, depth=11..18, filters=600349, revisions=(6246890,useless=5638211), wck=2.13, mem=84M718
7.08/4.50 decisions=38845, wrong=19025, backtracks=8684, failedAssignments=11617, nogoods=449
7.08/4.50
7.28/4.69 num=50, depth=13..21, filters=663572, revisions=(6858247,useless=6185384), wck=2.327, mem=90M3
7.28/4.69 decisions=42512, wrong=20850, backtracks=9503, failedAssignments=12790, nogoods=462
7.28/4.69
7.59/4.92 num=51, depth=11..21, filters=731233, revisions=(7563124,useless=6821882), wck=2.552, mem=92M646
7.59/4.92 decisions=46825, wrong=22999, backtracks=10586, failedAssignments=14081, nogoods=470
7.59/4.92
7.80/5.15 num=52, depth=14..22, filters=800788, revisions=(8298646,useless=7487031), wck=2.788, mem=95M288
7.80/5.15 decisions=51664, wrong=25411, backtracks=11737, failedAssignments=15501, nogoods=488
7.80/5.15
8.09/5.43 num=53, depth=12..21, filters=889049, revisions=(9181632,useless=8280380), wck=3.069, mem=100M573
8.09/5.43 decisions=56734, wrong=27939, backtracks=12961, failedAssignments=17063, nogoods=505
8.09/5.43
8.39/5.72 num=54, depth=13..22, filters=980449, revisions=(10055336,useless=9061122), wck=3.349, mem=105M858
8.39/5.72 decisions=61943, wrong=30536, backtracks=14004, failedAssignments=18781, nogoods=527
8.39/5.72
8.70/6.04 num=55, depth=11..19, filters=1084083, revisions=(11073678,useless=9974380), wck=3.677, mem=111M143
8.70/6.04 decisions=67938, wrong=33527, backtracks=15311, failedAssignments=20671, nogoods=538
8.70/6.04
9.09/6.40 num=56, depth=12..20, filters=1197471, revisions=(12196334,useless=10981906), wck=4.038, mem=119M70
9.09/6.40 decisions=74807, wrong=36954, backtracks=16850, failedAssignments=22750, nogoods=566
9.09/6.40
9.40/6.79 num=57, depth=12..21, filters=1319018, revisions=(13410412,useless=12072715), wck=4.425, mem=124M355
9.40/6.79 decisions=82172, wrong=40628, backtracks=18552, failedAssignments=25037, nogoods=583
9.40/6.79
9.90/7.20 num=58, depth=11..20, filters=1439250, revisions=(14692412,useless=13232941), wck=4.836, mem=132M282
9.90/7.20 decisions=90223, wrong=44647, backtracks=20342, failedAssignments=27553, nogoods=600
9.90/7.20
10.30/7.67 num=59, depth=12..21, filters=1576680, revisions=(16139003,useless=14540212), wck=5.299, mem=140M209
10.30/7.67 decisions=99565, wrong=49311, backtracks=22591, failedAssignments=30321, nogoods=613
10.30/7.67
10.83/8.18 num=60, depth=11..21, filters=1727209, revisions=(17751387,useless=16000505), wck=5.817, mem=23M811
10.83/8.18 decisions=109883, wrong=54464, backtracks=25188, failedAssignments=33365, nogoods=635
10.83/8.18
11.35/8.69 num=61, depth=12..21, filters=1881528, revisions=(19445971,useless=17539430), wck=6.325, mem=31M580
11.35/8.69 decisions=121127, wrong=60079, backtracks=27917, failedAssignments=36714, nogoods=653
11.35/8.69
12.05/9.31 num=62, depth=11..20, filters=2080660, revisions=(21450817,useless=19342451), wck=6.94, mem=44M528
12.05/9.31 decisions=133373, wrong=66196, backtracks=30746, failedAssignments=40398, nogoods=675
12.05/9.31
12.66/9.95 num=63, depth=12..21, filters=2284723, revisions=(23587727,useless=21273123), wck=7.584, mem=54M886
12.66/9.95 decisions=146614, wrong=72809, backtracks=33924, failedAssignments=44450, nogoods=696
12.66/9.95
13.35/10.66 num=64, depth=11..21, filters=2511211, revisions=(25920052,useless=23376079), wck=8.294, mem=65M244
13.35/10.66 decisions=161387, wrong=80189, backtracks=37408, failedAssignments=48907, nogoods=708
13.35/10.66
14.16/11.47 num=65, depth=11..21, filters=2773876, revisions=(28598884,useless=25788979), wck=9.105, mem=80M782
14.16/11.47 decisions=177581, wrong=88278, backtracks=41380, failedAssignments=53810, nogoods=728
14.16/11.47
15.07/12.37 num=66, depth=12..21, filters=3076660, revisions=(31567510,useless=28450200), wck=10.006, mem=98M962
15.07/12.37 decisions=194734, wrong=96847, backtracks=45302, failedAssignments=59204, nogoods=740
15.07/12.37
16.09/13.32 num=67, depth=11..21, filters=3368442, revisions=(34724732,useless=31312691), wck=10.952, mem=114M499
16.09/13.32 decisions=215122, wrong=107034, backtracks=50371, failedAssignments=65137, nogoods=750
16.09/13.32
17.19/14.40 num=68, depth=11..21, filters=3719865, revisions=(38301588,useless=34533530), wck=12.031, mem=132M626
17.19/14.40 decisions=236553, wrong=117742, backtracks=55574, failedAssignments=71663, nogoods=762
17.19/14.40
18.29/15.52 num=69, depth=12..21, filters=4073300, revisions=(42015184,useless=37889355), wck=13.155, mem=150M753
18.29/15.52 decisions=260166, wrong=129541, backtracks=61288, failedAssignments=78842, nogoods=780
18.29/15.52
19.62/16.82 num=70, depth=10..21, filters=4457975, revisions=(46305618,useless=41791082), wck=14.453, mem=36M759
19.62/16.82 decisions=287498, wrong=143199, backtracks=68296, failedAssignments=86739, nogoods=797
19.62/16.82
20.93/18.13 num=71, depth=13..23, filters=4846166, revisions=(50634269,useless=45727698), wck=15.763, mem=57M475
20.93/18.13 decisions=317656, wrong=158270, backtracks=75749, failedAssignments=95426, nogoods=834
20.93/18.13
22.42/19.60 num=72, depth=10..21, filters=5295447, revisions=(55541908,useless=50181962), wck=17.233, mem=78M192
22.42/19.60 decisions=349301, wrong=174085, backtracks=83314, failedAssignments=104981, nogoods=851
22.42/19.60
24.02/21.27 num=73, depth=11..22, filters=5829151, revisions=(61093616,useless=55193028), wck=18.909, mem=106M677
24.02/21.27 decisions=383587, wrong=191221, backtracks=91612, failedAssignments=115492, nogoods=867
24.02/21.27
25.83/23.08 num=74, depth=10..21, filters=6393096, revisions=(67077554,useless=60606443), wck=20.717, mem=135M162
25.83/23.08 decisions=420856, wrong=209849, backtracks=100246, failedAssignments=127054, nogoods=888
25.83/23.08
27.97/25.19 num=75, depth=9..20, filters=7062191, revisions=(73828160,useless=66678349), wck=22.826, mem=39M983
27.97/25.19 decisions=463476, wrong=231152, backtracks=110221, failedAssignments=139772, nogoods=894
27.97/25.19
30.26/27.44 num=76, depth=11..21, filters=7805659, revisions=(81267367,useless=73363803), wck=25.076, mem=80M615
30.26/27.44 decisions=508979, wrong=253896, backtracks=120674, failedAssignments=153762, nogoods=909
30.26/27.44
32.66/29.89 num=77, depth=10..21, filters=8582035, revisions=(89269552,useless=80580270), wck=27.526, mem=124M372
32.66/29.89 decisions=559373, wrong=279086, backtracks=132290, failedAssignments=169151, nogoods=928
32.66/29.89
35.36/32.54 num=78, depth=10..22, filters=9373584, revisions=(98174679,useless=88686074), wck=30.174, mem=161M879
35.36/32.54 decisions=616978, wrong=307882, backtracks=146643, failedAssignments=186079, nogoods=958
35.36/32.54
38.39/35.56 num=79, depth=9..21, filters=10323517, revisions=(108010451,useless=97559164), wck=33.197, mem=58M160
38.39/35.56 decisions=678141, wrong=338457, backtracks=160873, failedAssignments=204700, nogoods=968
38.39/35.56
41.59/38.70 num=80, depth=10..22, filters=11285686, revisions=(118350073,useless=106925060), wck=36.335, mem=104M324
41.59/38.70 decisions=746040, wrong=372400, backtracks=177438, failedAssignments=225184, nogoods=991
41.59/38.70
45.44/42.56 num=81, depth=10..21, filters=12495593, revisions=(131088567,useless=118440978), wck=40.199, mem=165M875
45.44/42.56 decisions=822231, wrong=410489, backtracks=196947, failedAssignments=247716, nogoods=1015
45.44/42.56
49.37/46.49 num=82, depth=10..21, filters=13679997, revisions=(144165836,useless=130322915), wck=44.129, mem=66M658
49.37/46.49 decisions=907423, wrong=453077, backtracks=218886, failedAssignments=272501, nogoods=1036
49.37/46.49
54.27/51.25 num=83, depth=10..21, filters=15169856, revisions=(159769686,useless=144420985), wck=48.881, mem=142M262
54.27/51.25 decisions=999766, wrong=499242, backtracks=242083, failedAssignments=299765, nogoods=1064
54.27/51.25
59.29/56.21 num=84, depth=11..22, filters=16778076, revisions=(175879949,useless=158901280), wck=53.845, mem=74M862
59.29/56.21 decisions=1095561, wrong=547133, backtracks=264145, failedAssignments=329755, nogoods=1082
59.29/56.21
64.80/61.76 num=85, depth=9..21, filters=18525811, revisions=(193909500,useless=175162562), wck=59.395, mem=167M173
64.80/61.76 decisions=1204471, wrong=601582, backtracks=290251, failedAssignments=362744, nogoods=1092
64.80/61.76
70.73/67.60 num=86, depth=10..21, filters=20246564, revisions=(213031761,useless=192542835), wck=65.231, mem=106M202
70.73/67.60 decisions=1328387, wrong=663532, backtracks=321909, failedAssignments=399032, nogoods=1107
70.73/67.60
77.15/74.01 num=87, depth=10..22, filters=22135033, revisions=(234209554,useless=211815276), wck=71.64, mem=50M81
77.15/74.01 decisions=1464433, wrong=731549, backtracks=357325, failedAssignments=438949, nogoods=1140
77.15/74.01
84.44/81.34 num=88, depth=10..22, filters=24284039, revisions=(258484629,useless=233923200), wck=78.974, mem=150M854
84.44/81.34 decisions=1615464, wrong=807058, backtracks=398016, failedAssignments=482858, nogoods=1172
84.44/81.34
92.36/89.23 num=89, depth=10..21, filters=26798609, revisions=(284020711,useless=256910744), wck=86.863, mem=140M113
92.36/89.23 decisions=1770261, wrong=884449, backtracks=433754, failedAssignments=531158, nogoods=1196
92.36/89.23
100.76/97.64 num=90, depth=9..22, filters=29244113, revisions=(311492381,useless=281913145), wck=95.275, mem=118M482
100.76/97.64 decisions=1954553, wrong=976587, backtracks=481244, failedAssignments=584288, nogoods=1218
100.76/97.64
110.07/106.90 num=91, depth=9..22, filters=32019930, revisions=(341670690,useless=309288300), wck=104.533, mem=116M669
110.07/106.90 decisions=2151958, wrong=1075282, backtracks=530626, failedAssignments=642731, nogoods=1240
110.07/106.90
120.68/117.56 num=92, depth=9..23, filters=35108815, revisions=(376862292,useless=341366689), wck=115.193, mem=125M983
120.68/117.56 decisions=2376044, wrong=1187318, backtracks=590292, failedAssignments=707018, nogoods=1256
120.68/117.56
132.50/129.37 num=93, depth=10..22, filters=38887673, revisions=(415341403,useless=376016556), wck=127.009, mem=62M924
132.50/129.37 decisions=2606364, wrong=1302471, backtracks=644469, failedAssignments=777734, nogoods=1286
132.50/129.37
144.91/141.72 num=94, depth=9..22, filters=42486635, revisions=(456081281,useless=413125912), wck=139.358, mem=108M304
144.91/141.72 decisions=2870877, wrong=1434721, backtracks=710731, failedAssignments=855521, nogoods=1306
144.91/141.72
158.23/155.10 num=95, depth=8..22, filters=46374436, revisions=(499326626,useless=452440341), wck=152.739, mem=51M82
158.23/155.10 decisions=3163076, wrong=1580813, backtracks=783750, failedAssignments=941087, nogoods=1324
158.23/155.10
173.73/170.54 num=96, depth=9..22, filters=50866253, revisions=(549936879,useless=498516965), wck=168.173, mem=26M168
173.73/170.54 decisions=3486093, wrong=1742315, backtracks=867680, failedAssignments=1035210, nogoods=1342
173.73/170.54
191.26/188.05 num=97, depth=9..22, filters=56136217, revisions=(607098255,useless=550350540), wck=185.68, mem=46M976
191.26/188.05 decisions=3836764, wrong=1917643, backtracks=957040, failedAssignments=1138745, nogoods=1362
191.26/188.05
210.19/206.98 num=98, depth=10..22, filters=62024829, revisions=(668370333,useless=605662012), wck=204.613, mem=121M84
210.19/206.98 decisions=4210996, wrong=2104753, backtracks=1047492, failedAssignments=1252634, nogoods=1406
210.19/206.98
231.01/227.76 num=99, depth=8..21, filters=68207016, revisions=(735499066,useless=666544535), wck=225.397, mem=103M982
231.01/227.76 decisions=4634273, wrong=2316385, backtracks=1151445, failedAssignments=1377912, nogoods=1425
231.01/227.76
253.03/249.77 num=100, depth=9..22, filters=74685861, revisions=(806575762,useless=731046219), wck=247.402, mem=125M335
253.03/249.77 decisions=5090328, wrong=2544406, backtracks=1261127, failedAssignments=1515718, nogoods=1464
253.03/249.77
277.37/274.08 num=101, depth=9..22, filters=81726434, revisions=(886441355,useless=803801321), wck=271.712, mem=55M145
277.37/274.08 decisions=5598919, wrong=2798696, backtracks=1388584, failedAssignments=1667304, nogoods=1501
277.37/274.08
304.09/300.75 num=102, depth=7..22, filters=89400550, revisions=(972737480,useless=882344130), wck=298.387, mem=40M523
304.09/300.75 decisions=6156052, wrong=3077257, backtracks=1525136, failedAssignments=1834049, nogoods=1543
304.09/300.75
333.21/329.86 num=103, depth=8..22, filters=97864156, revisions=(1066730467,useless=967783357), wck=327.49, mem=90M209
333.21/329.86 decisions=6780742, wrong=3389596, backtracks=1681214, failedAssignments=2017468, nogoods=1558
333.21/329.86
366.56/363.16 num=104, depth=9..22, filters=107833766, revisions=(1174778026,useless=1065751974), wck=360.799, mem=68M699
366.56/363.16 decisions=7461036, wrong=3729736, backtracks=1852336, failedAssignments=2219229, nogoods=1596
366.56/363.16
404.00/400.57 num=105, depth=8..22, filters=118916430, revisions=(1297360399,useless=1177148819), wck=398.208, mem=34M263
404.00/400.57 decisions=8218633, wrong=4108528, backtracks=2049914, failedAssignments=2441167, nogoods=1613
404.00/400.57
444.34/440.83 num=106, depth=9..22, filters=130831138, revisions=(1428170511,useless=1295928269), wck=438.465, mem=87M303
444.34/440.83 decisions=9050103, wrong=4524256, backtracks=2261285, failedAssignments=2685298, nogoods=1642
444.34/440.83
489.30/485.78 num=107, depth=9..22, filters=144632816, revisions=(1574140844,useless=1427936502), wck=483.412, mem=71M658
489.30/485.78 decisions=9944414, wrong=4971404, backtracks=2481606, failedAssignments=2953843, nogoods=1666
489.30/485.78
538.97/535.31 num=108, depth=8..22, filters=159144121, revisions=(1734848957,useless=1573983211), wck=532.948, mem=47M221
538.97/535.31 decisions=10952899, wrong=5475639, backtracks=2736804, failedAssignments=3249242, nogoods=1684
538.97/535.31
592.97/589.23 num=109, depth=8..22, filters=175141432, revisions=(1910475780,useless=1733456893), wck=586.86, mem=47M884
592.97/589.23 decisions=12058792, wrong=6028578, backtracks=3014793, failedAssignments=3574181, nogoods=1722
592.97/589.23
649.65/645.85 num=110, depth=8..23, filters=191188503, revisions=(2096253728,useless=1903040034), wck=643.485, mem=22M956
649.65/645.85 decisions=13279409, wrong=6638880, backtracks=3327805, failedAssignments=3931614, nogoods=1759
649.65/645.85
714.78/710.85 num=111, depth=9..22, filters=210483227, revisions=(2306925947,useless=2094210305), wck=708.484, mem=32M533
714.78/710.85 decisions=14609447, wrong=7303892, backtracks=3664208, failedAssignments=4324790, nogoods=1784
714.78/710.85
789.51/785.46 num=112, depth=8..22, filters=233498958, revisions=(2546923962,useless=2310917243), wck=783.089, mem=44M322
789.51/785.46 decisions=16050445, wrong=8024384, backtracks=4015327, failedAssignments=4757284, nogoods=1820
789.51/785.46
867.54/863.34 num=113, depth=8..23, filters=255999710, revisions=(2801176928,useless=2542443016), wck=860.972, mem=31M512
867.54/863.34 decisions=17697743, wrong=8848025, backtracks=4446477, failedAssignments=5233028, nogoods=1847
867.54/863.34
953.68/949.40 num=114, depth=8..23, filters=280245284, revisions=(3083552298,useless=2800368010), wck=947.03, mem=37M954
953.68/949.40 decisions=19513191, wrong=9755743, backtracks=4929222, failedAssignments=5756346, nogoods=1867
953.68/949.40
1050.05/1045.54 num=115, depth=8..22, filters=308542378, revisions=(3395307533,useless=3083546035), wck=1043.175, mem=42M249
1050.05/1045.54 decisions=21481426, wrong=10739854, backtracks=5428732, failedAssignments=6331996, nogoods=1901
1050.05/1045.54
1156.62/1151.91 num=116, depth=7..23, filters=339242009, revisions=(3742376949,useless=3399632558), wck=1149.543, mem=54M47
1156.62/1151.91 decisions=23671602, wrong=11834936, backtracks=5993181, failedAssignments=6965211, nogoods=1941
1156.62/1151.91
1269.50/1264.62 num=117, depth=8..22, filters=371457366, revisions=(4108796718,useless=3733542397), wck=1262.256, mem=47M654
1269.50/1264.62 decisions=26083029, wrong=13040641, backtracks=6621021, failedAssignments=7661747, nogoods=1962
1269.50/1264.62
1393.60/1388.52 num=118, depth=9..23, filters=406848695, revisions=(4511835773,useless=4100874134), wck=1386.153, mem=72M278
1393.60/1388.52 decisions=28721099, wrong=14359670, backtracks=7301498, failedAssignments=8427937, nogoods=2002
1393.60/1388.52
1534.26/1529.00 num=119, depth=7..22, filters=448283889, revisions=(4967488992,useless=4514678183), wck=1526.636, mem=73M372
1534.26/1529.00 decisions=31581525, wrong=15789876, backtracks=8013307, failedAssignments=9270746, nogoods=2017
1534.26/1529.00
1688.41/1682.86 num=120, depth=7..22, filters=492480735, revisions=(5468847674,useless=4971427848), wck=1680.489, mem=58M415
1688.41/1682.86 decisions=34743078, wrong=17370647, backtracks=8819868, failedAssignments=10197836, nogoods=2046
1688.41/1682.86
1858.11/1852.23 num=121, depth=7..22, filters=541315974, revisions=(6018915177,useless=5472205438), wck=1849.868, mem=40M257
1858.11/1852.23 decisions=38246636, wrong=19122420, backtracks=9713853, failedAssignments=11217635, nogoods=2084
1858.11/1852.23
2046.02/2039.88 num=122, depth=8..22, filters=595473447, revisions=(6632710755,useless=6031352922), wck=2037.511, mem=34M934
2046.02/2039.88 decisions=42098772, wrong=21048483, backtracks=10711281, failedAssignments=12339414, nogoods=2150
2046.02/2039.88
2251.26/2244.71 num=123, depth=7..22, filters=654130291, revisions=(7297015968,useless=6636453673), wck=2242.348, mem=45M654
2251.26/2244.71 decisions=46353523, wrong=23175853, backtracks=11796021, failedAssignments=13573371, nogoods=2176
2251.26/2244.71
2476.57/2469.62 num=124, depth=8..23, filters=720908003, revisions=(8023893936,useless=7295728150), wck=2467.251, mem=39M270
2476.57/2469.62 decisions=50944010, wrong=25471091, backtracks=12914001, failedAssignments=14930724, nogoods=2225
2476.57/2469.62
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 (13980 MiB free)
memory of node 1: 16384 MiB (15749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390631-1568383948/watcher-4390631-1568383948 -o /tmp/evaluation-result-4390631-1568383948/solver-4390631-1568383948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390631-1568383948.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=5288, runsolver pid=5285
[startup+0.100109 s]*
/proc/loadavg: 2.04 1.98 1.77 4/229 5303
/proc/meminfo: memFree=30422860/32770624 swapFree=66945384/67108860
[pid=5288] ppid=5285 vsize=10659884 memory=30028 CPUtime=0.13 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 5517 0 0 0 12 1 0 0 20 0 15 0 414336716 10915721216 7507 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2664971 7507 2910 1 0 2627468 0
[pid=5288/tid=5290] ppid=5285 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) R 5285 5288 2499 0 -1 4202560 2984 0 0 0 8 1 0 0 20 0 15 0 414336716 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109906884808 140109500502855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109393364000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109392311152 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0.02 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) R 5285 5288 2499 0 -1 4202560 549 0 0 0 2 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109388098936 140109881367156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 7639 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30028 KiB
[startup+0.210743 s]*
/proc/loadavg: 2.04 1.98 1.77 3/229 5303
/proc/meminfo: memFree=30416332/32770624 swapFree=66945384/67108860
[pid=5288] ppid=5285 vsize=10659884 memory=35208 CPUtime=0.33 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 6409 0 0 0 31 2 0 0 20 0 15 0 414336716 10915721216 8802 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2664971 8802 2989 1 0 2627468 0
[pid=5288/tid=5290] ppid=5285 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) R 5285 5288 2499 0 -1 4202560 3477 0 0 0 19 1 0 0 20 0 15 0 414336716 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109906881584 140109902677149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10659884 memory=288370670616426112 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109393364000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109392311152 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 517 0 0 0 3 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0.05 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 584 0 0 0 5 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 8802 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35208 KiB
[startup+0.310094 s]*
/proc/loadavg: 2.04 1.98 1.77 4/229 5303
/proc/meminfo: memFree=30408784/32770624 swapFree=66945384/67108860
[pid=5288] ppid=5285 vsize=10659884 memory=40460 CPUtime=0.47 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 9017 0 0 0 44 3 0 0 20 0 15 0 414336716 10915721216 10115 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2664971 10115 3002 1 0 2627468 0
[pid=5288/tid=5290] ppid=5285 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) R 5285 5288 2499 0 -1 4202560 6015 0 0 0 27 2 0 0 20 0 15 0 414336716 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109906875376 140109500480079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10659884 memory=13985582027880088 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336717 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109393364000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414336719 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109392311152 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) R 5285 5288 2499 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10659884 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) R 5285 5288 2499 0 -1 4202560 563 0 0 0 5 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109389155056 140109883011465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0.08 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 602 0 0 0 8 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10659884 memory=140294464714368 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336722 10915721216 10115 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40460 KiB
[startup+0.700862 s]
/proc/loadavg: 2.04 1.98 1.77 3/229 5303
/proc/meminfo: memFree=30399212/32770624 swapFree=66945384/67108860
[pid=5288] ppid=5285 vsize=10661932 memory=64152 CPUtime=1.12 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 12607 0 0 0 106 6 0 0 20 0 15 0 414336716 10917818368 16038 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2665483 16038 3061 1 0 2627980 0
[pid=5288/tid=5290] ppid=5285 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) R 5285 5288 2499 0 -1 4202560 8448 0 0 0 64 4 0 0 20 0 15 0 414336716 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109906881104 140109885842032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336717 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336719 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414336719 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109393364000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414336719 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109392311152 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10661932 memory=7013342048905618540 CPUtime=0.09 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 805 0 0 0 9 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10661932 memory=5787214948436758885 CPUtime=0.13 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) R 5285 5288 2499 0 -1 4202560 882 0 0 0 13 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109389141600 140109882349410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10661932 memory=4629539461233085814 CPUtime=0.19 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 1114 0 0 0 19 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336722 10917818368 16038 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64152 KiB
[startup+1.50075 s]
/proc/loadavg: 2.04 1.98 1.77 3/229 5303
/proc/meminfo: memFree=30383392/32770624 swapFree=66945384/67108860
[pid=5288] ppid=5285 vsize=10663980 memory=76108 CPUtime=2 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 17927 0 0 0 194 6 0 0 20 0 15 0 414336716 10919915520 19027 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2665995 19027 3094 1 0 2628492 0
[pid=5288/tid=5290] ppid=5285 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) R 5285 5288 2499 0 -1 4202560 12474 0 0 0 143 5 0 0 20 0 15 0 414336716 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109906887248 140109887899661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414336717 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414336717 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414336719 10919915520 19027 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
################
# More data... #
################
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 6229 0 0 0 117 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10748324 memory=209380 CPUtime=0.43 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 6703 0 0 0 38 5 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10748324 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109393364064 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109392311168 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10748324 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 7388 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 6664 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10748324 memory=3608 CPUtime=0.71 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 8367 0 0 0 71 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10748324 memory=19860 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10748324 memory=7260 CPUtime=0.46 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1109 0 0 0 17 29 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5306] ppid=5285 vsize=10748324 memory=209380 CPUtime=2378.49 cores=1,3,5,7
/proc/5288/task/5306/stat : 5306 (java) R 5285 5288 2499 0 -1 4202560 15612 0 0 0 237844 5 0 0 20 0 16 0 414336903 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109369224592 140109507262057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 2389.12 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209380 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.69 1.72 3/232 5609
/proc/meminfo: memFree=30011436/32770624 swapFree=66945476/67108860
[pid=5288] ppid=5285 vsize=10748324 memory=209380 CPUtime=2449.22 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 79684 0 0 0 244864 58 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2687081 52345 3373 1 0 2647217 0
[pid=5288/tid=5290] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.85 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) S 5285 5288 2499 0 -1 1077944384 14603 0 0 0 179 6 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109906898096 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.24 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 3622 0 0 0 121 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.24 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 3497 0 0 0 121 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.23 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 4407 0 0 0 118 5 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.23 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 6229 0 0 0 120 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10748324 memory=209380 CPUtime=0.45 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 6709 0 0 0 40 5 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109393364064 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109392311168 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 7388 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 6664 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10748324 memory=500 CPUtime=0.71 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 8367 0 0 0 71 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10748324 memory=209380 CPUtime=0.48 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1113 0 0 0 18 30 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5306] ppid=5285 vsize=10748324 memory=209380 CPUtime=2438.44 cores=1,3,5,7
/proc/5288/task/5306/stat : 5306 (java) R 5285 5288 2499 0 -1 4202560 15648 0 0 0 243839 5 0 0 20 0 16 0 414336903 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109369224480 140109507798514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 2449.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209380 KiB
[startup+2502.3 s]
/proc/loadavg: 1.76 1.70 1.72 3/231 5613
/proc/meminfo: memFree=29999036/32770624 swapFree=66945476/67108860
[pid=5288] ppid=5285 vsize=10748324 memory=209380 CPUtime=2509.32 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 80715 0 0 0 250874 58 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2687081 52345 3373 1 0 2647217 0
[pid=5288/tid=5290] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.85 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) S 5285 5288 2499 0 -1 1077944384 14603 0 0 0 179 6 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109906898096 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.28 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 3899 0 0 0 125 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.27 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 3527 0 0 0 124 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10748324 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 4436 0 0 0 121 5 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.28 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 6237 0 0 0 124 4 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10748324 memory=209380 CPUtime=0.46 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 6886 0 0 0 40 6 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10748324 memory=247901 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109393364064 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109392311168 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10748324 memory=209380 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 7390 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10748324 memory=209380 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 6666 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10748324 memory=8112282956445269571 CPUtime=0.71 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 8517 0 0 0 71 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10748324 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10748324 memory=209380 CPUtime=0.49 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1130 0 0 0 18 31 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5306] ppid=5285 vsize=10748324 memory=209380 CPUtime=2498.39 cores=1,3,5,7
/proc/5288/task/5306/stat : 5306 (java) R 5285 5288 2499 0 -1 4202560 15987 0 0 0 249834 5 0 0 20 0 16 0 414336903 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109369224864 140109507262195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 2509.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513 s]*
/proc/loadavg: 1.72 1.69 1.72 3/231 5613
/proc/meminfo: memFree=29999624/32770624 swapFree=66945476/67108860
[pid=5288] ppid=5285 vsize=10748324 memory=209380 CPUtime=2520.05 cores=1,3,5,7
/proc/5288/stat : 5288 (java) S 5285 5288 2499 0 -1 1077944320 80723 0 0 0 251947 58 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140732019546048 140109902655223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
/proc/5288/statm: 2687081 52345 3373 1 0 2647217 0
[pid=5288/tid=5290] ppid=5285 vsize=10748324 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/5288/task/5290/stat : 5290 (java) S 5285 5288 2499 0 -1 1077944384 14603 0 0 0 179 6 0 0 20 0 16 0 414336716 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109906898096 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5291] ppid=5285 vsize=10748324 memory=4872558044660077418 CPUtime=1.28 cores=1,3,5,7
/proc/5288/task/5291/stat : 5291 (java) S 5285 5288 2499 0 -1 1077944384 3899 0 0 0 125 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109828730000 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5292] ppid=5285 vsize=10748324 memory=8317482817917895235 CPUtime=1.28 cores=1,3,5,7
/proc/5288/task/5292/stat : 5292 (java) S 5285 5288 2499 0 -1 1077944384 3527 0 0 0 125 3 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109827677200 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5293] ppid=5285 vsize=10748324 memory=4872558044660077418 CPUtime=1.27 cores=1,3,5,7
/proc/5288/task/5293/stat : 5293 (java) S 5285 5288 2499 0 -1 1077944384 4436 0 0 0 122 5 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109826624400 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5294] ppid=5285 vsize=10748324 memory=804 CPUtime=1.28 cores=1,3,5,7
/proc/5288/task/5294/stat : 5294 (java) S 5285 5288 2499 0 -1 1077944384 6238 0 0 0 124 4 0 0 20 0 16 0 414336717 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109825571600 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5295] ppid=5285 vsize=10748324 memory=1808 CPUtime=0.47 cores=1,3,5,7
/proc/5288/task/5295/stat : 5295 (java) S 5285 5288 2499 0 -1 1077944384 6888 0 0 0 41 6 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109394418032 140109902666370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5296] ppid=5285 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5296/stat : 5296 (java) S 5285 5288 2499 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109393364064 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5297] ppid=5285 vsize=10748324 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5297/stat : 5297 (java) S 5285 5288 2499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414336719 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109392311168 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5298] ppid=5285 vsize=10748324 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5298/stat : 5298 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109391259472 140109902673819 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5299] ppid=5285 vsize=10748324 memory=780 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5299/stat : 5299 (java) S 5285 5288 2499 0 -1 1077944384 7390 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109390207856 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5300] ppid=5285 vsize=10748324 memory=2832 CPUtime=1.11 cores=1,3,5,7
/proc/5288/task/5300/stat : 5300 (java) S 5285 5288 2499 0 -1 1077944384 6666 0 0 0 110 1 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109389155056 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5301] ppid=5285 vsize=10748324 memory=1720 CPUtime=0.71 cores=1,3,5,7
/proc/5288/task/5301/stat : 5301 (java) S 5285 5288 2499 0 -1 1077944384 8517 0 0 0 71 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109388102256 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5302] ppid=5285 vsize=10748324 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5288/task/5302/stat : 5302 (java) S 5285 5288 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109387049696 140109902665429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5303] ppid=5285 vsize=10748324 memory=5956 CPUtime=0.49 cores=1,3,5,7
/proc/5288/task/5303/stat : 5303 (java) S 5285 5288 2499 0 -1 1077944384 1132 0 0 0 18 31 0 0 20 0 16 0 414336722 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109385996976 140109902666370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
[pid=5288/tid=5306] ppid=5285 vsize=10748324 memory=8112282956445269571 CPUtime=2509.09 cores=1,3,5,7
/proc/5288/task/5306/stat : 5306 (java) R 5285 5288 2499 0 -1 4202560 15990 0 0 0 250904 5 0 0 20 0 16 0 414336903 11006283776 52345 33554432000 4194304 4196468 140732019563504 140109369224480 140109507262085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27918336 140732019569675 140732019569778 140732019569778 140732019572687 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 209380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.02 s]
# the end of solver process 5288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.49 s, system=0.590117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2513.02
CPU time (s): 2520.08
CPU user time (s): 2519.49
CPU system time (s): 0.590117
CPU usage (%): 100.281
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 282772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.590117
maximum resident set size= 283232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66741
involuntary context switches= 1184
# summary of solver processes directly reported to runsolver:
# pid: 5288
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.49
# total CPU system time (s): 0.590117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6429 second user time and 22.9142 second system time
The end