2.58/1.91
2.58/1.91 AbsCon 2
2.58/1.93
2.84/2.04 Instance
2.84/2.04 name=instance-4391113-1568390570, framework=COP, bounds=-infty..+infty
2.84/2.04
2.84/2.04 Loading variables...
2.84/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e83e87
2.84/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3549d10e
2.84/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31df0516
2.84/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@435a014c
2.84/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1ceb29
2.84/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743dbbb1
2.84/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fff3a59
2.84/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d8285d
2.84/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d5e66d
2.84/2.09
2.84/2.09
2.84/2.09 Domains
2.84/2.09 nTypes=1, nValues=62, sizes=[2#31]
2.84/2.09 Variables
2.84/2.09 count=31, degrees=[2#1,6#3,8#27]
2.84/2.09 Objectives
2.84/2.09 way=min, type=SumSimpleLE
2.84/2.09 Constraints
2.84/2.09 count=10, nSpecific=10, arities=[1#2,28#2,29#2,30#4]
2.84/2.09 distribution=[SumSimpleLE#2,SumWeightedGE#8]
2.84/2.09 wck=0.204, cpu=2.043, mem=18M585
2.84/2.09 Solver SolverBacktrack being built...
2.84/2.09
3.08/2.12
3.08/2.12 Solver
3.08/2.12 guaranteedGAC=true
3.08/2.12 wck=0.24, cpu=2.068, mem=29M227
3.08/2.13
3.08/2.13 Preprocessing
3.08/2.13 filters=1, nACremovedValues=1, nTotalRemovedValues=1, inconcistency=false
3.08/2.13 wck=0.0, cpu=2.071, mem=29M227
3.08/2.13
3.08/2.13 num=0, depth=10..15, filters=45, wck=0.01, mem=29M227
3.08/2.13 decisions=39, wrong=14, backtracks=12, failedAssignments=10, nogoods=2
3.08/2.13
3.08/2.14 num=1, depth=10..16, filters=103, wck=0.012, mem=29M227
3.08/2.14 decisions=79, wrong=29, backtracks=24, failedAssignments=21, nogoods=6
3.08/2.14
3.08/2.14 num=2, depth=11..20, filters=153, wck=0.014, mem=29M227
3.08/2.14 decisions=119, wrong=43, backtracks=33, failedAssignments=33, nogoods=11
3.08/2.14
3.08/2.15 num=3, depth=11..19, filters=195, wck=0.027, mem=29M227
3.08/2.15 decisions=158, wrong=57, backtracks=40, failedAssignments=46, nogoods=18
3.08/2.15
3.08/2.15 num=4, depth=9..16, filters=253, wck=0.029, mem=29M227
3.08/2.15 decisions=205, wrong=75, backtracks=54, failedAssignments=60, nogoods=22
3.08/2.15
3.08/2.16 num=5, depth=11..20, filters=330, wck=0.031, mem=29M227
3.08/2.16 decisions=257, wrong=95, backtracks=71, failedAssignments=76, nogoods=25
3.08/2.16
3.08/2.16 num=6, depth=11..22, filters=396, wck=0.033, mem=29M227
3.08/2.16 decisions=307, wrong=114, backtracks=83, failedAssignments=93, nogoods=32
3.08/2.16
3.08/2.16 num=7, depth=11..21, filters=489, wck=0.035, mem=29M227
3.08/2.16 decisions=366, wrong=137, backtracks=97, failedAssignments=112, nogoods=41
3.08/2.16
3.08/2.16 num=8, depth=10..18, filters=599, wck=0.037, mem=29M227
3.08/2.16 decisions=435, wrong=166, backtracks=124, failedAssignments=133, nogoods=43
3.08/2.16
3.08/2.16 num=9, depth=10..20, filters=714, wck=0.04, mem=29M227
3.08/2.16 decisions=502, wrong=194, backtracks=145, failedAssignments=156, nogoods=50
3.08/2.16
3.08/2.17 num=10, depth=13..22, filters=816, wck=0.042, mem=29M227
3.08/2.17 decisions=575, wrong=224, backtracks=174, failedAssignments=181, nogoods=55
3.08/2.17
3.08/2.17 num=11, depth=10..19, filters=936, wck=0.044, mem=29M227
3.08/2.17 decisions=653, wrong=257, backtracks=202, failedAssignments=209, nogoods=60
3.08/2.17
3.08/2.17 num=12, depth=10..20, filters=1098, wck=0.046, mem=29M227
3.08/2.17 decisions=747, wrong=298, backtracks=237, failedAssignments=240, nogoods=65
3.08/2.17
3.08/2.17 num=13, depth=10..21, filters=1240, wck=0.049, mem=29M227
3.08/2.17 decisions=838, wrong=338, backtracks=271, failedAssignments=274, nogoods=72
3.08/2.17
3.08/2.17 num=14, depth=9..19, filters=1416, wck=0.051, mem=29M227
3.08/2.17 decisions=944, wrong=386, backtracks=313, failedAssignments=311, nogoods=80
3.08/2.17
3.08/2.18 num=15, depth=9..21, filters=1598, wck=0.053, mem=29M227
3.08/2.18 decisions=1061, wrong=439, backtracks=358, failedAssignments=352, nogoods=88
3.08/2.18
3.08/2.18 num=16, depth=10..19, filters=1823, wck=0.055, mem=29M227
3.08/2.18 decisions=1192, wrong=499, backtracks=413, failedAssignments=397, nogoods=95
3.08/2.18
3.08/2.18 num=17, depth=10..25, filters=2032, wck=0.057, mem=29M227
3.08/2.18 decisions=1326, wrong=560, backtracks=468, failedAssignments=447, nogoods=100
3.08/2.18
3.08/2.18 num=18, depth=10..21, filters=2287, wck=0.059, mem=29M227
3.08/2.18 decisions=1473, wrong=628, backtracks=531, failedAssignments=502, nogoods=105
3.08/2.18
3.08/2.19 num=19, depth=10..23, filters=2544, wck=0.061, mem=29M227
3.08/2.19 decisions=1642, wrong=707, backtracks=601, failedAssignments=563, nogoods=114
3.08/2.19
3.08/2.19 num=20, depth=11..22, filters=2832, wck=0.064, mem=29M227
3.08/2.19 decisions=1825, wrong=792, backtracks=680, failedAssignments=630, nogoods=121
3.08/2.19
3.08/2.19 num=21, depth=9..21, filters=3199, wck=0.066, mem=29M227
3.08/2.19 decisions=2031, wrong=890, backtracks=775, failedAssignments=704, nogoods=124
3.08/2.19
3.08/2.19 num=22, depth=9..22, filters=3532, wck=0.068, mem=29M227
3.08/2.19 decisions=2251, wrong=995, backtracks=874, failedAssignments=785, nogoods=129
3.08/2.19
3.08/2.19 num=23, depth=10..23, filters=3936, wck=0.071, mem=29M227
3.08/2.19 decisions=2480, wrong=1104, backtracks=978, failedAssignments=874, nogoods=139
3.08/2.19
3.36/2.20 num=24, depth=8..24, filters=4356, wck=0.074, mem=29M227
3.36/2.20 decisions=2753, wrong=1235, backtracks=1099, failedAssignments=972, nogoods=145
3.36/2.20
3.36/2.20 num=25, depth=9..23, filters=4835, wck=0.077, mem=29M227
3.36/2.20 decisions=3030, wrong=1368, backtracks=1225, failedAssignments=1080, nogoods=154
3.36/2.20
3.36/2.20 num=26, depth=9..24, filters=5365, wck=0.08, mem=29M227
3.36/2.20 decisions=3375, wrong=1535, backtracks=1383, failedAssignments=1199, nogoods=158
3.36/2.20
3.36/2.21 num=27, depth=10..23, filters=5996, wck=0.084, mem=29M227
3.36/2.21 decisions=3725, wrong=1704, backtracks=1546, failedAssignments=1330, nogoods=163
3.36/2.21
3.36/2.21 num=28, depth=10..23, filters=6648, wck=0.087, mem=29M227
3.36/2.21 decisions=4105, wrong=1888, backtracks=1723, failedAssignments=1474, nogoods=170
3.36/2.21
3.36/2.22 num=29, depth=8..22, filters=7399, wck=0.092, mem=29M227
3.36/2.22 decisions=4533, wrong=2096, backtracks=1920, failedAssignments=1632, nogoods=177
3.36/2.22
3.36/2.22 num=30, depth=10..23, filters=8227, wck=0.096, mem=29M227
3.36/2.22 decisions=5023, wrong=2335, backtracks=2146, failedAssignments=1806, nogoods=183
3.36/2.22
3.36/2.23 num=31, depth=8..22, filters=9120, wck=0.102, mem=29M227
3.36/2.23 decisions=5561, wrong=2598, backtracks=2398, failedAssignments=1997, nogoods=191
3.36/2.23
3.36/2.23 num=32, depth=8..21, filters=10204, wck=0.107, mem=31M870
3.36/2.23 decisions=6222, wrong=2924, backtracks=2699, failedAssignments=2208, nogoods=199
3.36/2.23
3.36/2.24 num=33, depth=10..25, filters=11210, wck=0.113, mem=31M870
3.36/2.24 decisions=6850, wrong=3232, backtracks=2994, failedAssignments=2440, nogoods=207
3.36/2.24
3.36/2.24 num=34, depth=9..23, filters=12402, wck=0.119, mem=31M870
3.36/2.24 decisions=7525, wrong=3564, backtracks=3316, failedAssignments=2695, nogoods=216
3.36/2.24
3.36/2.25 num=35, depth=9..23, filters=13673, wck=0.126, mem=31M870
3.36/2.25 decisions=8275, wrong=3934, backtracks=3680, failedAssignments=2976, nogoods=224
3.36/2.25
3.36/2.26 num=36, depth=9..24, filters=15076, wck=0.134, mem=31M870
3.36/2.26 decisions=9121, wrong=4351, backtracks=4078, failedAssignments=3285, nogoods=234
3.36/2.26
3.36/2.27 num=37, depth=9..24, filters=16774, wck=0.141, mem=31M870
3.36/2.27 decisions=10066, wrong=4818, backtracks=4528, failedAssignments=3625, nogoods=241
3.36/2.27
3.36/2.27 num=38, depth=9..23, filters=18501, wck=0.151, mem=31M870
3.36/2.27 decisions=11079, wrong=5319, backtracks=5018, failedAssignments=3999, nogoods=249
3.36/2.27
3.36/2.29 num=39, depth=8..22, filters=20559, wck=0.16, mem=31M870
3.36/2.29 decisions=12271, wrong=5909, backtracks=5564, failedAssignments=4410, nogoods=261
3.36/2.29
3.36/2.29 num=40, depth=8..24, filters=22769, wck=0.17, mem=31M870
3.36/2.29 decisions=13546, wrong=6541, backtracks=6167, failedAssignments=4862, nogoods=268
3.36/2.29
3.67/2.30 num=41, depth=7..24, filters=25418, wck=0.181, mem=31M870
3.67/2.30 decisions=15055, wrong=7290, backtracks=6866, failedAssignments=5359, nogoods=276
3.67/2.30
3.67/2.32 num=42, depth=10..25, filters=27864, wck=0.191, mem=31M870
3.67/2.32 decisions=16558, wrong=8035, backtracks=7591, failedAssignments=5906, nogoods=283
3.67/2.32
3.67/2.33 num=43, depth=8..23, filters=30986, wck=0.203, mem=31M870
3.67/2.33 decisions=18221, wrong=8861, backtracks=8400, failedAssignments=6508, nogoods=291
3.67/2.33
3.67/2.34 num=44, depth=9..24, filters=33937, wck=0.215, mem=31M870
3.67/2.34 decisions=20076, wrong=9783, backtracks=9293, failedAssignments=7170, nogoods=299
3.67/2.34
3.67/2.35 num=45, depth=7..22, filters=37953, wck=0.23, mem=34M512
3.67/2.35 decisions=22298, wrong=10889, backtracks=10338, failedAssignments=7898, nogoods=309
3.67/2.35
3.67/2.37 num=46, depth=7..23, filters=42485, wck=0.245, mem=34M512
3.67/2.37 decisions=24759, wrong=12115, backtracks=11500, failedAssignments=8699, nogoods=315
3.67/2.37
3.67/2.38 num=47, depth=8..25, filters=46473, wck=0.259, mem=34M512
3.67/2.38 decisions=27292, wrong=13376, backtracks=12724, failedAssignments=9580, nogoods=324
3.67/2.38
3.91/2.40 num=48, depth=7..25, filters=51896, wck=0.278, mem=34M512
3.91/2.40 decisions=30146, wrong=14798, backtracks=14088, failedAssignments=10550, nogoods=332
3.91/2.40
3.91/2.42 num=49, depth=7..23, filters=57273, wck=0.296, mem=34M512
3.91/2.42 decisions=33382, wrong=16411, backtracks=15602, failedAssignments=11617, nogoods=342
3.91/2.42
3.91/2.44 num=50, depth=7..25, filters=62677, wck=0.315, mem=34M512
3.91/2.44 decisions=36704, wrong=18067, backtracks=17178, failedAssignments=12790, nogoods=351
3.91/2.44
3.91/2.46 num=51, depth=7..23, filters=69658, wck=0.336, mem=34M512
3.91/2.46 decisions=40735, wrong=20077, backtracks=19051, failedAssignments=14081, nogoods=359
3.91/2.46
3.91/2.48 num=52, depth=8..25, filters=76054, wck=0.359, mem=34M512
3.91/2.48 decisions=44659, wrong=22033, backtracks=20955, failedAssignments=15501, nogoods=368
3.91/2.48
4.01/2.51 num=53, depth=8..23, filters=84319, wck=0.386, mem=34M512
4.01/2.51 decisions=49205, wrong=24300, backtracks=23163, failedAssignments=17063, nogoods=378
4.01/2.51
4.01/2.54 num=54, depth=6..24, filters=93539, wck=0.417, mem=37M155
4.01/2.54 decisions=54534, wrong=26960, backtracks=25672, failedAssignments=18781, nogoods=386
4.01/2.54
4.01/2.57 num=55, depth=7..23, filters=102409, wck=0.449, mem=37M155
4.01/2.57 decisions=59773, wrong=29574, backtracks=28203, failedAssignments=20671, nogoods=396
4.01/2.57
4.12/2.61 num=56, depth=7..24, filters=112528, wck=0.482, mem=37M155
4.12/2.61 decisions=66057, wrong=32711, backtracks=31157, failedAssignments=22750, nogoods=402
4.12/2.61
4.12/2.64 num=57, depth=7..25, filters=123509, wck=0.519, mem=37M155
4.12/2.64 decisions=72549, wrong=35951, backtracks=34285, failedAssignments=25037, nogoods=406
4.12/2.64
4.12/2.69 num=58, depth=7..24, filters=136781, wck=0.563, mem=37M155
4.12/2.69 decisions=80098, wrong=39720, backtracks=37926, failedAssignments=27553, nogoods=413
4.12/2.69
4.23/2.73 num=59, depth=7..24, filters=151569, wck=0.609, mem=39M797
4.23/2.73 decisions=88434, wrong=43883, backtracks=41871, failedAssignments=30321, nogoods=423
4.23/2.73
4.23/2.78 num=60, depth=7..25, filters=166011, wck=0.657, mem=39M797
4.23/2.78 decisions=97097, wrong=48208, backtracks=46029, failedAssignments=33365, nogoods=431
4.23/2.78
4.33/2.85 num=61, depth=6..24, filters=184932, wck=0.722, mem=39M797
4.33/2.85 decisions=107870, wrong=53589, backtracks=51086, failedAssignments=36714, nogoods=440
4.33/2.85
4.43/2.92 num=62, depth=6..22, filters=207469, wck=0.794, mem=42M440
4.43/2.92 decisions=120278, wrong=59788, backtracks=56939, failedAssignments=40398, nogoods=450
4.43/2.92
4.43/2.99 num=63, depth=7..24, filters=228612, wck=0.863, mem=42M440
4.43/2.99 decisions=132432, wrong=65860, backtracks=62789, failedAssignments=44450, nogoods=462
4.43/2.99
4.56/3.07 num=64, depth=7..25, filters=251125, wck=0.941, mem=42M440
4.56/3.07 decisions=145662, wrong=72469, backtracks=69109, failedAssignments=48907, nogoods=472
4.56/3.07
4.67/3.16 num=65, depth=5..24, filters=279900, wck=1.034, mem=45M82
4.67/3.16 decisions=161838, wrong=80551, backtracks=76689, failedAssignments=53810, nogoods=481
4.67/3.16
4.76/3.26 num=66, depth=6..24, filters=311562, wck=1.132, mem=45M82
4.76/3.26 decisions=179691, wrong=89472, backtracks=85023, failedAssignments=59204, nogoods=489
4.76/3.26
4.86/3.36 num=67, depth=6..24, filters=344299, wck=1.239, mem=47M724
4.86/3.36 decisions=197892, wrong=98568, backtracks=93682, failedAssignments=65137, nogoods=500
4.86/3.36
4.96/3.48 num=68, depth=6..25, filters=378483, wck=1.352, mem=50M367
4.96/3.48 decisions=217851, wrong=108542, backtracks=103167, failedAssignments=71663, nogoods=508
4.96/3.48
5.16/3.60 num=69, depth=6..24, filters=414698, wck=1.479, mem=50M367
5.16/3.60 decisions=239690, wrong=119456, backtracks=113728, failedAssignments=78842, nogoods=517
5.16/3.60
5.26/3.74 num=70, depth=5..25, filters=458163, wck=1.62, mem=53M9
5.26/3.74 decisions=265773, wrong=132493, backtracks=125809, failedAssignments=86739, nogoods=527
5.26/3.74
5.46/3.91 num=71, depth=5..24, filters=509005, wck=1.786, mem=55M652
5.46/3.91 decisions=294024, wrong=146613, backtracks=139144, failedAssignments=95426, nogoods=534
5.46/3.91
5.59/4.08 num=72, depth=7..25, filters=558558, wck=1.956, mem=58M294
5.59/4.08 decisions=323922, wrong=161556, backtracks=153574, failedAssignments=104981, nogoods=543
5.59/4.08
5.78/4.26 num=73, depth=5..24, filters=614243, wck=2.135, mem=60M937
5.78/4.26 decisions=357724, wrong=178453, backtracks=169842, failedAssignments=115492, nogoods=554
5.78/4.26
5.98/4.47 num=74, depth=5..24, filters=680160, wck=2.344, mem=63M579
5.98/4.47 decisions=395204, wrong=197188, backtracks=187426, failedAssignments=127054, nogoods=565
5.98/4.47
6.18/4.69 num=75, depth=5..25, filters=746035, wck=2.566, mem=66M221
6.18/4.69 decisions=435084, wrong=217122, backtracks=206376, failedAssignments=139772, nogoods=568
6.18/4.69
6.48/4.98 num=76, depth=4..24, filters=836081, wck=2.858, mem=68M864
6.48/4.98 decisions=485562, wrong=242356, backtracks=229635, failedAssignments=153762, nogoods=578
6.48/4.98
6.78/5.26 num=77, depth=5..24, filters=924024, wck=3.137, mem=71M506
6.78/5.26 decisions=536009, wrong=267575, backtracks=253576, failedAssignments=169151, nogoods=589
6.78/5.26
7.08/5.56 num=78, depth=5..25, filters=1017271, wck=3.439, mem=76M791
7.08/5.56 decisions=593835, wrong=296482, backtracks=280396, failedAssignments=186079, nogoods=599
7.08/5.56
7.48/5.90 num=79, depth=5..24, filters=1116212, wck=3.778, mem=79M434
7.48/5.90 decisions=652631, wrong=325875, backtracks=308069, failedAssignments=204700, nogoods=606
7.48/5.90
7.88/6.30 num=80, depth=4..26, filters=1234288, wck=4.173, mem=84M719
7.88/6.30 decisions=719485, wrong=359298, backtracks=339167, failedAssignments=225184, nogoods=615
7.88/6.30
8.28/6.72 num=81, depth=5..26, filters=1356487, wck=4.593, mem=90M3
8.28/6.72 decisions=795638, wrong=397369, backtracks=375554, failedAssignments=247716, nogoods=624
8.28/6.72
8.69/7.18 num=82, depth=4..24, filters=1503856, wck=5.059, mem=95M288
8.69/7.18 decisions=877472, wrong=438281, backtracks=414056, failedAssignments=272501, nogoods=634
8.69/7.18
9.18/7.69 num=83, depth=5..25, filters=1658062, wck=5.563, mem=103M216
9.18/7.69 decisions=969542, wrong=484312, backtracks=457869, failedAssignments=299765, nogoods=642
9.18/7.69
9.78/8.29 num=84, depth=4..25, filters=1836284, wck=6.167, mem=108M500
9.78/8.29 decisions=1074828, wrong=536950, backtracks=507965, failedAssignments=329755, nogoods=652
9.78/8.29
10.49/9.00 num=85, depth=3..24, filters=2044812, wck=6.872, mem=116M428
10.49/9.00 decisions=1196202, wrong=597632, backtracks=564993, failedAssignments=362744, nogoods=662
10.49/9.00
11.29/9.74 num=86, depth=3..25, filters=2261302, wck=7.614, mem=126M998
11.29/9.74 decisions=1326926, wrong=662989, backtracks=626890, failedAssignments=399032, nogoods=672
11.29/9.74
12.19/10.60 num=87, depth=3..25, filters=2514236, wck=8.478, mem=134M925
12.19/10.60 decisions=1472185, wrong=735614, backtracks=695277, failedAssignments=438949, nogoods=681
12.19/10.60
12.99/11.45 num=88, depth=4..25, filters=2761844, wck=9.323, mem=22M101
12.99/11.45 decisions=1628310, wrong=813672, backtracks=769800, failedAssignments=482858, nogoods=687
12.99/11.45
14.01/12.44 num=89, depth=3..24, filters=3071676, wck=10.319, mem=32M565
14.01/12.44 decisions=1802556, wrong=900790, backtracks=851927, failedAssignments=531158, nogoods=695
14.01/12.44
15.11/13.54 num=90, depth=2..25, filters=3404201, wck=11.417, mem=43M29
15.11/13.54 decisions=1998412, wrong=998712, backtracks=942590, failedAssignments=584288, nogoods=702
15.11/13.54
16.31/14.76 num=91, depth=3..24, filters=3757164, wck=12.641, mem=56M109
16.31/14.76 decisions=2208949, wrong=1103975, backtracks=1041603, failedAssignments=642731, nogoods=711
16.31/14.76
17.62/16.04 num=92, depth=2..26, filters=4146494, wck=13.916, mem=71M805
17.62/16.04 decisions=2458214, wrong=1228604, backtracks=1156249, failedAssignments=707018, nogoods=719
17.62/16.04
19.12/17.59 num=93, depth=2..26, filters=4618412, wck=15.467, mem=87M501
19.12/17.59 decisions=2732848, wrong=1365916, backtracks=1284841, failedAssignments=777734, nogoods=727
19.12/17.59
20.82/19.24 num=94, depth=3..24, filters=5104260, wck=17.115, mem=103M197
20.82/19.24 decisions=3027724, wrong=1513349, backtracks=1424326, failedAssignments=855521, nogoods=740
20.82/19.24
22.74/21.16 num=95, depth=1..24, filters=5688514, wck=19.04, mem=124M125
22.74/21.16 decisions=3374124, wrong=1686544, backtracks=1588103, failedAssignments=941087, nogoods=750
22.74/21.16
24.83/23.26 num=96, depth=1..24, filters=6305528, wck=21.133, mem=142M437
24.83/23.26 decisions=3747497, wrong=1873225, backtracks=1760966, failedAssignments=1035210, nogoods=760
24.83/23.26
27.36/25.73 num=97, depth=0..24, filters=7060134, wck=23.605, mem=35M244
27.36/25.73 decisions=4185726, wrong=2092336, backtracks=1963693, failedAssignments=1138745, nogoods=768
27.36/25.73
29.95/28.33
29.95/28.33 New Bounds: 2147483648..1
29.95/28.33 num=98, depth=0..23, filters=7822068, wck=26.202, mem=56M246
29.95/28.33 decisions=4653152, wrong=2326050, backtracks=2179707, failedAssignments=1241735
29.95/28.33
29.95/28.33 Global
29.95/28.33 filters=7822068
29.95/28.33 Stop=FULL_EXPLORATION, wrong=2326050, wck=26.443, cpu=28.242, mem=56M246
29.95/28.33
29.95/28.33 s UNSATISFIABLE
29.95/28.33
29.95/28.33 d WRONG_DECISIONS 2326050
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 (14601 MiB free)
memory of node 1: 16384 MiB (15888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391113-1568390570/watcher-4391113-1568390570 -o /tmp/evaluation-result-4391113-1568390570/solver-4391113-1568390570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568390528-21320 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391113-1568390570.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=21356, runsolver pid=21353
[startup+0.100623 s]*
/proc/loadavg: 1.00 0.99 1.06 4/228 21380
/proc/meminfo: memFree=31196472/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10659884 memory=28344 CPUtime=0.13 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 5601 0 0 0 12 1 0 0 20 0 15 0 415323892 10915721216 7086 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2664971 7086 2911 1 0 2627468 0
[pid=21356/tid=21360] ppid=21353 vsize=10659884 memory=-8439527450518781933 CPUtime=0.09 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) R 21353 21356 19747 0 -1 4202560 3329 0 0 0 8 1 0 0 20 0 15 0 415323892 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026938387488 140026934178973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10659884 memory=4211974032616570250 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026492261920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026491209072 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) R 21353 21356 19747 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026486995064 140026926394174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 7086 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28344 KiB
[startup+0.211267 s]*
/proc/loadavg: 1.00 0.99 1.06 3/228 21380
/proc/meminfo: memFree=31185084/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10659884 memory=34856 CPUtime=0.32 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 6917 0 0 0 30 2 0 0 20 0 15 0 415323892 10915721216 8714 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2664971 8714 2989 1 0 2627468 0
[pid=21356/tid=21360] ppid=21353 vsize=10659884 memory=7900017517374083699 CPUtime=0.19 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) R 21353 21356 19747 0 -1 4202560 3879 0 0 0 18 1 0 0 20 0 15 0 415323892 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026938389136 140026890763482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10659884 memory=4211974032616570250 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323893 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026492261920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026491209072 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0.05 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 713 0 0 0 5 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10659884 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323898 10915721216 8714 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34856 KiB
[startup+0.310014 s]*
/proc/loadavg: 1.00 0.99 1.06 2/228 21380
/proc/meminfo: memFree=31173596/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10660908 memory=40972 CPUtime=0.46 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 9375 0 0 0 42 4 0 0 20 0 15 0 415323892 10916769792 10243 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2665227 10243 3002 1 0 2627724 0
[pid=21356/tid=21360] ppid=21353 vsize=10660908 memory=-5155634780447454526 CPUtime=0.28 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) R 21353 21356 19747 0 -1 4202560 6306 0 0 0 26 2 0 0 20 0 15 0 415323892 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026938377936 140026926836765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10660908 memory=4211974032616570250 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10660908 memory=140306411779712 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10660908 memory=140306314040863 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323893 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10660908 memory=280612628060960 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323895 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10660908 memory=140306314017807 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323895 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026492261920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10660908 memory=280612725804416 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323895 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026491209072 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10660908 memory=140306314022415 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10660908 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10660908 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10660908 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 731 0 0 0 7 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10660908 memory=28344 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323898 10916769792 10243 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 40972 KiB
[startup+0.700711 s]
/proc/loadavg: 1.00 0.99 1.06 4/228 21380
/proc/meminfo: memFree=31153524/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10661932 memory=60740 CPUtime=1.09 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 12875 0 0 0 103 6 0 0 20 0 15 0 415323892 10917818368 15185 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2665483 15185 3074 1 0 2627980 0
[pid=21356/tid=21360] ppid=21353 vsize=10661932 memory=10484 CPUtime=0.67 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) R 21353 21356 19747 0 -1 4202560 8850 0 0 0 63 4 0 0 20 0 15 0 415323892 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026938389072 140026919837200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10661932 memory=7596540479531410752 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323893 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10661932 memory=5788626802952987989 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026492261920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026491209072 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10661932 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 625 0 0 0 8 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10661932 memory=232068290209492 CPUtime=0.12 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10661932 memory=3545520603459238882 CPUtime=0.18 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 1104 0 0 0 18 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323898 10917818368 15185 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60740 KiB
[startup+1.50072 s]
/proc/loadavg: 1.00 0.99 1.06 3/228 21380
/proc/meminfo: memFree=31119920/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10663980 memory=75164 CPUtime=1.99 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 18453 0 0 0 192 7 0 0 20 0 15 0 415323892 10919915520 18791 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2665995 18791 3093 1 0 2628492 0
[pid=21356/tid=21360] ppid=21353 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) R 21353 21356 19747 0 -1 4202560 12898 0 0 0 142 5 0 0 20 0 15 0 415323892 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026938382928 140026919322702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323893 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10663980 memory=140306314071008 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323893 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 415323895 10919915520 18791 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
################
# More data... #
################
[startup+27.2007 s]
/proc/loadavg: 1.28 1.05 1.08 3/230 21384
/proc/meminfo: memFree=30779028/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10746276 memory=237844 CPUtime=28.85 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 32947 0 0 0 2870 15 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2686569 59461 3365 1 0 2646705 0
[pid=21356/tid=21360] ppid=21353 vsize=10746276 memory=1192 CPUtime=1.89 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) S 21353 21356 19747 0 -1 1077944384 15234 0 0 0 182 7 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026938399920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10746276 memory=940 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10746276 memory=237844 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 884 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10746276 memory=33 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 990 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10746276 memory=237844 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10746276 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 1698 0 0 0 1 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10746276 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026492261984 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10746276 memory=15537410121403872 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026491209088 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10746276 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10746276 memory=8317482817917895235 CPUtime=0.59 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 1808 0 0 0 58 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10746276 memory=-7003737579269690708 CPUtime=0.56 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 1890 0 0 0 56 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10746276 memory=804 CPUtime=0.41 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 2483 0 0 0 41 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10746276 memory=984 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10746276 memory=237844 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 117 0 0 0 0 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21382] ppid=21353 vsize=10746276 memory=10484 CPUtime=25.2 cores=0,2,4,6
/proc/21356/task/21382/stat : 21382 (java) R 21353 21356 19747 0 -1 4202560 5906 0 0 0 2518 2 0 0 20 0 16 0 415324084 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026400689968 140026558386417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 237844 KiB
[startup+28.0007 s]*
/proc/loadavg: 1.28 1.05 1.08 3/230 21384
/proc/meminfo: memFree=30779028/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10746276 memory=237844 CPUtime=29.66 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 32955 0 0 0 2951 15 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2686569 59461 3365 1 0 2646705 0
[pid=21356/tid=21360] ppid=21353 vsize=10746276 memory=8317482817917895235 CPUtime=1.89 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) S 21353 21356 19747 0 -1 1077944384 15234 0 0 0 182 7 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026938399920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10746276 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10746276 memory=1060 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 884 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10746276 memory=4068 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 990 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10746276 memory=1720 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10746276 memory=5840 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 1698 0 0 0 1 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10746276 memory=10484 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026492261984 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10746276 memory=716 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026491209088 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10746276 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10746276 memory=1552 CPUtime=0.59 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 1808 0 0 0 58 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10746276 memory=2832 CPUtime=0.56 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 1890 0 0 0 56 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10746276 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 2483 0 0 0 41 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10746276 memory=940 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10746276 memory=3620 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 117 0 0 0 0 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21382] ppid=21353 vsize=10746276 memory=38668 CPUtime=26.01 cores=0,2,4,6
/proc/21356/task/21382/stat : 21382 (java) R 21353 21356 19747 0 -1 4202560 5914 0 0 0 2599 2 0 0 20 0 16 0 415324084 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026400689968 140026558385567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 237844 KiB
[startup+28.2007 s]
/proc/loadavg: 1.28 1.05 1.08 3/230 21384
/proc/meminfo: memFree=30779028/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10746276 memory=237844 CPUtime=29.85 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 32955 0 0 0 2970 15 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2686569 59461 3365 1 0 2646705 0
[pid=21356/tid=21360] ppid=21353 vsize=10746276 memory=288230583166042426 CPUtime=1.89 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) S 21353 21356 19747 0 -1 1077944384 15234 0 0 0 182 7 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026938399920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10746276 memory=15537410121403872 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10746276 memory=3844 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 884 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10746276 memory=4108 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 990 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10746276 memory=2300 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10746276 memory=2300 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 1698 0 0 0 1 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10746276 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026492261984 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10746276 memory=2804 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026491209088 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10746276 memory=239968 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10746276 memory=1408 CPUtime=0.59 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 1808 0 0 0 58 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10746276 memory=2800 CPUtime=0.56 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 1890 0 0 0 56 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10746276 memory=237844 CPUtime=0.41 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 2483 0 0 0 41 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10746276 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 117 0 0 0 0 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21382] ppid=21353 vsize=10746276 memory=288230574492221466 CPUtime=26.2 cores=0,2,4,6
/proc/21356/task/21382/stat : 21382 (java) R 21353 21356 19747 0 -1 4202560 5914 0 0 0 2618 2 0 0 20 0 16 0 415324084 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026400689968 140026558386201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 29.85 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 237844 KiB
[startup+28.3007 s]
/proc/loadavg: 1.28 1.05 1.08 3/230 21384
/proc/meminfo: memFree=30779028/32770624 swapFree=66966948/67108860
[pid=21356] ppid=21353 vsize=10746276 memory=237844 CPUtime=29.95 cores=0,2,4,6
/proc/21356/stat : 21356 (java) S 21353 21356 19747 0 -1 1077944320 32955 0 0 0 2980 15 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140725940879984 140026934157047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
/proc/21356/statm: 2686569 59461 3365 1 0 2646705 0
[pid=21356/tid=21360] ppid=21353 vsize=10746276 memory=237844 CPUtime=1.89 cores=0,2,4,6
/proc/21356/task/21360/stat : 21360 (java) S 21353 21356 19747 0 -1 1077944384 15234 0 0 0 182 7 0 0 20 0 16 0 415323892 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026938399920 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21361] ppid=21353 vsize=10746276 memory=237844 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21361/stat : 21361 (java) S 21353 21356 19747 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026876160656 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21362] ppid=21353 vsize=10746276 memory=111632 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21362/stat : 21362 (java) S 21353 21356 19747 0 -1 1077944384 884 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026875107856 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21363] ppid=21353 vsize=10746276 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21363/stat : 21363 (java) S 21353 21356 19747 0 -1 1077944384 990 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026874055056 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21364] ppid=21353 vsize=10746276 memory=38668 CPUtime=0.02 cores=0,2,4,6
/proc/21356/task/21364/stat : 21364 (java) S 21353 21356 19747 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 16 0 415323893 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026537892112 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21365] ppid=21353 vsize=10746276 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21365/stat : 21365 (java) S 21353 21356 19747 0 -1 1077944384 1698 0 0 0 1 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026493315952 140026934168194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21371] ppid=21353 vsize=10746276 memory=237844 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21371/stat : 21371 (java) S 21353 21356 19747 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026492261984 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21373] ppid=21353 vsize=10746276 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21373/stat : 21373 (java) S 21353 21356 19747 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026491209088 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21374] ppid=21353 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21374/stat : 21374 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026490157392 140026934175643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21375] ppid=21353 vsize=10746276 memory=4420 CPUtime=0.59 cores=0,2,4,6
/proc/21356/task/21375/stat : 21375 (java) S 21353 21356 19747 0 -1 1077944384 1808 0 0 0 58 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026489104752 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21376] ppid=21353 vsize=10746276 memory=2004 CPUtime=0.56 cores=0,2,4,6
/proc/21356/task/21376/stat : 21376 (java) S 21353 21356 19747 0 -1 1077944384 1890 0 0 0 56 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026488051952 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21377] ppid=21353 vsize=10746276 memory=1376 CPUtime=0.41 cores=0,2,4,6
/proc/21356/task/21377/stat : 21377 (java) S 21353 21356 19747 0 -1 1077944384 2483 0 0 0 41 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026486999152 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21378] ppid=21353 vsize=10746276 memory=164 CPUtime=0 cores=0,2,4,6
/proc/21356/task/21378/stat : 21378 (java) S 21353 21356 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026485946592 140026934167253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21379] ppid=21353 vsize=10746276 memory=7306916055891837009 CPUtime=0.01 cores=0,2,4,6
/proc/21356/task/21379/stat : 21379 (java) S 21353 21356 19747 0 -1 1077944384 117 0 0 0 0 1 0 0 20 0 16 0 415323898 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026484894896 140026934168194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
[pid=21356/tid=21382] ppid=21353 vsize=10746276 memory=0 CPUtime=26.3 cores=0,2,4,6
/proc/21356/task/21382/stat : 21382 (java) R 21353 21356 19747 0 -1 4202560 5914 0 0 0 2628 2 0 0 20 0 16 0 415324084 11004186624 59461 33554432000 4194304 4196468 140725940897440 140026400689968 140026558386042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33935360 140725940904971 140725940905074 140725940905074 140725940907983 0
Current children cumulated CPU time: 29.95 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 237844 KiB
Child status: 0
Real time (s): 28.3388
CPU time (s): 30.0073
CPU user time (s): 29.845
CPU system time (s): 0.162326
CPU usage (%): 105.888
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 237856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.845
system time used= 0.162326
maximum resident set size= 238076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2748
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 21356
# total CPU time (s): 30.0073
# total CPU user time (s): 29.845
# total CPU system time (s): 0.162326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.181092 second user time and 0.307018 second system time
The end