2.40/1.88
2.40/1.88 AbsCon 2
2.40/1.89
2.90/2.02 Instance
2.90/2.02 name=instance-4390635-1568383179, framework=CSP
2.90/2.02
2.90/2.02 Loading variables...
2.90/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@990a331
2.90/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fcfdb86
2.90/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505dcca8
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d097c1
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ccfd1
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102dba1f
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b39b341
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75166f9
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727185d0
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a09134d
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7461c972
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e15f4ed
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a1c3b08
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17addba3
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ebd5d2b
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f32b0d
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30641ff3
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d534b
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63bb8
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a03cf59
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2312c91
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ee2db8
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e2afa8
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af4cbf6
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1681bfeb
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46cac67e
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7ac372
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe1b765
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@381d8241
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cf817d
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3493
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aab533
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501f733b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f04eed6
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b260d5
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5582f051
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17831936
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e095677
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1703849b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464de8fc
2.90/2.08
2.90/2.08
2.90/2.08 Domains
2.90/2.08 nTypes=1, nValues=6160, sizes=[70#88]
2.90/2.08 Variables
2.90/2.08 count=88, degrees=[1#20,2#25,3#20,4#12,5#5,6#3,7#3]
2.90/2.08 Constraints
2.90/2.08 count=40, nSpecific=40, arities=[2#4,3#4,4#4,5#2,6#7,7#4,8#9,9#6]
2.90/2.08 distribution=[SumWeightedEQ#40]
2.90/2.08 wck=0.229, cpu=2.045, mem=18M585
2.90/2.08 Solver SolverBacktrack being built...
2.90/2.08
2.90/2.11
2.90/2.11 Solver
2.90/2.11 guaranteedGAC=false
2.90/2.11 wck=0.259, cpu=2.073, mem=29M227
3.14/2.11
3.14/2.11 Preprocessing
3.14/2.11 filters=17, nACremovedValues=777, nTotalRemovedValues=777, inconcistency=false
3.14/2.11 wck=0.004, cpu=2.079, mem=29M227
3.14/2.11
3.14/2.12 num=0, depth=2..5, filters=101, wck=0.011, mem=29M227
3.14/2.12 decisions=25, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.14/2.12
3.14/2.12 num=1, depth=4..4, filters=164, wck=0.014, mem=29M227
3.14/2.12 decisions=51, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
3.14/2.12
3.14/2.12 num=2, depth=1..3, filters=285, wck=0.017, mem=29M227
3.14/2.12 decisions=78, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
3.14/2.12
3.14/2.13 num=3, depth=1..2, filters=541, wck=0.02, mem=31M870
3.14/2.13 decisions=107, wrong=47, backtracks=1, failedAssignments=46, nogoods=45
3.14/2.13
3.14/2.13 num=4, depth=4..9, filters=1135, wck=0.024, mem=31M870
3.14/2.13 decisions=148, wrong=64, backtracks=4, failedAssignments=60, nogoods=54
3.14/2.13
3.14/2.13 num=5, depth=9..10, filters=1615, wck=0.029, mem=31M870
3.14/2.13 decisions=192, wrong=81, backtracks=5, failedAssignments=76, nogoods=69
3.14/2.13
3.14/2.15 num=6, depth=7..12, filters=1946, wck=0.043, mem=31M870
3.14/2.15 decisions=240, wrong=99, backtracks=7, failedAssignments=93, nogoods=84
3.14/2.15
3.14/2.15 num=7, depth=0..6, filters=2202, wck=0.046, mem=31M870
3.14/2.15 decisions=285, wrong=119, backtracks=8, failedAssignments=112, nogoods=96
3.14/2.15
3.14/2.16 num=8, depth=0..6, filters=2458, wck=0.049, mem=31M870
3.14/2.16 decisions=341, wrong=145, backtracks=13, failedAssignments=133, nogoods=105
3.14/2.16
3.14/2.16 num=9, depth=0..2, filters=2601, wck=0.05, mem=31M870
3.14/2.16 decisions=390, wrong=169, backtracks=14, failedAssignments=156, nogoods=106
3.14/2.16
3.14/2.16 num=10, depth=2..6, filters=2937, wck=0.053, mem=31M870
3.14/2.16 decisions=455, wrong=199, backtracks=20, failedAssignments=181, nogoods=122
3.14/2.16
3.14/2.16 num=11, depth=3..5, filters=3177, wck=0.056, mem=31M870
3.14/2.16 decisions=522, wrong=230, backtracks=23, failedAssignments=209, nogoods=147
3.14/2.16
3.14/2.17 num=12, depth=0..9, filters=3579, wck=0.059, mem=31M870
3.14/2.17 decisions=598, wrong=264, backtracks=26, failedAssignments=240, nogoods=165
3.14/2.17
3.14/2.18 num=13, depth=4..7, filters=4673, wck=0.066, mem=34M512
3.14/2.18 decisions=691, wrong=307, backtracks=35, failedAssignments=274, nogoods=180
3.14/2.18
3.14/2.18 num=14, depth=0..3, filters=5069, wck=0.069, mem=34M512
3.14/2.18 decisions=780, wrong=350, backtracks=41, failedAssignments=311, nogoods=191
3.14/2.18
3.14/2.18 num=15, depth=5..15, filters=5848, wck=0.075, mem=34M512
3.14/2.18 decisions=898, wrong=402, backtracks=52, failedAssignments=352, nogoods=217
3.14/2.18
3.14/2.19 num=16, depth=1..9, filters=8078, wck=0.083, mem=34M512
3.14/2.19 decisions=1041, wrong=470, backtracks=75, failedAssignments=397, nogoods=238
3.14/2.19
3.45/2.20 num=17, depth=1..9, filters=8744, wck=0.086, mem=34M512
3.45/2.20 decisions=1154, wrong=523, backtracks=78, failedAssignments=447, nogoods=268
3.45/2.20
3.45/2.20 num=18, depth=2..4, filters=9374, wck=0.09, mem=34M512
3.45/2.20 decisions=1287, wrong=588, backtracks=88, failedAssignments=502, nogoods=297
3.45/2.20
3.45/2.20 num=19, depth=0..6, filters=10183, wck=0.094, mem=37M154
3.45/2.20 decisions=1423, wrong=654, backtracks=93, failedAssignments=563, nogoods=307
3.45/2.20
3.45/2.20 num=20, depth=2..11, filters=10797, wck=0.097, mem=37M154
3.45/2.20 decisions=1571, wrong=724, backtracks=96, failedAssignments=630, nogoods=339
3.45/2.20
3.45/2.21 num=21, depth=3..9, filters=11689, wck=0.1, mem=37M154
3.45/2.21 decisions=1742, wrong=806, backtracks=104, failedAssignments=704, nogoods=357
3.45/2.21
3.45/2.21 num=22, depth=2..10, filters=12600, wck=0.105, mem=37M154
3.45/2.21 decisions=1943, wrong=902, backtracks=119, failedAssignments=785, nogoods=409
3.45/2.21
3.45/2.22 num=23, depth=0..12, filters=14869, wck=0.112, mem=39M797
3.45/2.22 decisions=2189, wrong=1020, backtracks=151, failedAssignments=874, nogoods=462
3.45/2.22
3.45/2.22 num=24, depth=5..12, filters=17029, wck=0.119, mem=39M797
3.45/2.22 decisions=2440, wrong=1140, backtracks=174, failedAssignments=972, nogoods=485
3.45/2.22
3.45/2.23 num=25, depth=2..10, filters=17756, wck=0.122, mem=39M797
3.45/2.23 decisions=2666, wrong=1248, backtracks=174, failedAssignments=1080, nogoods=593
3.45/2.23
3.45/2.24 num=26, depth=4..10, filters=20811, wck=0.134, mem=42M439
3.45/2.24 decisions=3026, wrong=1424, backtracks=235, failedAssignments=1199, nogoods=597
3.45/2.24
3.45/2.25 num=27, depth=1..9, filters=22418, wck=0.141, mem=42M439
3.45/2.25 decisions=3320, wrong=1568, backtracks=248, failedAssignments=1330, nogoods=669
3.45/2.25
3.45/2.26 num=28, depth=5..12, filters=25335, wck=0.151, mem=45M82
3.45/2.26 decisions=3690, wrong=1747, backtracks=284, failedAssignments=1474, nogoods=698
3.45/2.26
3.45/2.26 num=29, depth=0..7, filters=26901, wck=0.159, mem=45M82
3.45/2.26 decisions=4051, wrong=1925, backtracks=306, failedAssignments=1632, nogoods=761
3.45/2.26
3.45/2.28 num=30, depth=1..12, filters=29595, wck=0.17, mem=47M724
3.45/2.28 decisions=4447, wrong=2118, backtracks=326, failedAssignments=1806, nogoods=843
3.45/2.28
3.45/2.29 num=31, depth=5..9, filters=33446, wck=0.184, mem=50M367
3.45/2.29 decisions=4887, wrong=2335, backtracks=353, failedAssignments=1997, nogoods=872
3.45/2.29
3.76/2.31 num=32, depth=2..8, filters=38519, wck=0.204, mem=53M9
3.76/2.31 decisions=5448, wrong=2613, backtracks=431, failedAssignments=2208, nogoods=895
3.76/2.31
3.76/2.32 num=33, depth=3..15, filters=42561, wck=0.218, mem=55M652
3.76/2.32 decisions=6033, wrong=2901, backtracks=490, failedAssignments=2440, nogoods=917
3.76/2.32
3.76/2.34 num=34, depth=1..9, filters=45997, wck=0.232, mem=58M294
3.76/2.34 decisions=6589, wrong=3177, backtracks=511, failedAssignments=2695, nogoods=1010
3.76/2.34
3.76/2.35 num=35, depth=2..15, filters=49922, wck=0.24, mem=58M294
3.76/2.35 decisions=7248, wrong=3500, backtracks=554, failedAssignments=2976, nogoods=1106
3.76/2.35
3.76/2.35 num=36, depth=3..14, filters=54094, wck=0.247, mem=58M294
3.76/2.35 decisions=7924, wrong=3832, backtracks=577, failedAssignments=3285, nogoods=1173
3.76/2.35
3.76/2.36 num=37, depth=0..11, filters=58973, wck=0.256, mem=58M294
3.76/2.36 decisions=8754, wrong=4244, backtracks=660, failedAssignments=3625, nogoods=1208
3.76/2.36
3.76/2.37 num=38, depth=1..10, filters=63574, wck=0.265, mem=58M294
3.76/2.37 decisions=9638, wrong=4682, backtracks=725, failedAssignments=3999, nogoods=1258
3.76/2.37
3.76/2.38 num=39, depth=3..11, filters=71739, wck=0.279, mem=58M294
3.76/2.38 decisions=10614, wrong=5166, backtracks=799, failedAssignments=4410, nogoods=1277
3.76/2.38
3.76/2.39 num=40, depth=4..12, filters=77870, wck=0.289, mem=58M294
3.76/2.39 decisions=11697, wrong=5704, backtracks=895, failedAssignments=4862, nogoods=1319
3.76/2.39
4.06/2.40 num=41, depth=4..16, filters=83361, wck=0.299, mem=58M294
4.06/2.40 decisions=12918, wrong=6307, backtracks=1008, failedAssignments=5359, nogoods=1398
4.06/2.40
4.06/2.42 num=42, depth=1..13, filters=91624, wck=0.315, mem=58M294
4.06/2.42 decisions=14394, wrong=7040, backtracks=1197, failedAssignments=5906, nogoods=1538
4.06/2.42
4.06/2.43 num=43, depth=8..16, filters=97439, wck=0.324, mem=58M294
4.06/2.43 decisions=15772, wrong=7722, backtracks=1277, failedAssignments=6508, nogoods=1594
4.06/2.43
4.06/2.44 num=44, depth=8..17, filters=104074, wck=0.336, mem=58M294
4.06/2.44 decisions=17321, wrong=8489, backtracks=1390, failedAssignments=7170, nogoods=1647
4.06/2.44
4.06/2.45 num=45, depth=10..15, filters=112891, wck=0.347, mem=58M294
4.06/2.45 decisions=18956, wrong=9300, backtracks=1475, failedAssignments=7898, nogoods=1700
4.06/2.45
4.06/2.47 num=46, depth=8..14, filters=125362, wck=0.368, mem=58M294
4.06/2.47 decisions=20879, wrong=10256, backtracks=1636, failedAssignments=8699, nogoods=1708
4.06/2.47
4.06/2.49 num=47, depth=7..15, filters=135050, wck=0.383, mem=58M294
4.06/2.49 decisions=22846, wrong=11233, backtracks=1738, failedAssignments=9580, nogoods=1767
4.06/2.49
4.36/2.51 num=48, depth=2..18, filters=143527, wck=0.4, mem=58M294
4.36/2.51 decisions=24981, wrong=12293, backtracks=1833, failedAssignments=10550, nogoods=1871
4.36/2.51
4.36/2.53 num=49, depth=2..17, filters=154721, wck=0.422, mem=60M936
4.36/2.53 decisions=27431, wrong=13511, backtracks=1991, failedAssignments=11617, nogoods=1974
4.36/2.53
4.36/2.55 num=50, depth=2..15, filters=171693, wck=0.447, mem=60M936
4.36/2.55 decisions=30310, wrong=14945, backtracks=2261, failedAssignments=12790, nogoods=2059
4.36/2.55
4.36/2.58 num=51, depth=1..12, filters=185914, wck=0.47, mem=60M936
4.36/2.58 decisions=33150, wrong=16360, backtracks=2388, failedAssignments=14081, nogoods=2165
4.36/2.58
4.51/2.62 num=52, depth=4..11, filters=218821, wck=0.517, mem=60M936
4.51/2.62 decisions=36481, wrong=18023, backtracks=2647, failedAssignments=15501, nogoods=2248
4.51/2.62
4.51/2.65 num=53, depth=3..15, filters=242483, wck=0.546, mem=60M936
4.51/2.65 decisions=40146, wrong=19850, backtracks=2920, failedAssignments=17063, nogoods=2323
4.51/2.65
4.51/2.69 num=54, depth=3..13, filters=269058, wck=0.584, mem=60M936
4.51/2.69 decisions=43930, wrong=21739, backtracks=3096, failedAssignments=18781, nogoods=2410
4.51/2.69
4.62/2.72 num=55, depth=3..12, filters=293569, wck=0.616, mem=60M936
4.62/2.72 decisions=48253, wrong=23897, backtracks=3374, failedAssignments=20671, nogoods=2468
4.62/2.72
4.62/2.76 num=56, depth=5..17, filters=324088, wck=0.655, mem=60M936
4.62/2.76 decisions=53038, wrong=26284, backtracks=3704, failedAssignments=22750, nogoods=2519
4.62/2.76
4.72/2.81 num=57, depth=5..16, filters=355886, wck=0.701, mem=60M936
4.72/2.81 decisions=58220, wrong=28869, backtracks=4016, failedAssignments=25037, nogoods=2587
4.72/2.81
4.72/2.86 num=58, depth=5..14, filters=388567, wck=0.752, mem=60M936
4.72/2.86 decisions=64398, wrong=31953, backtracks=4592, failedAssignments=27553, nogoods=2666
4.72/2.86
4.82/2.90 num=59, depth=1..18, filters=420072, wck=0.792, mem=60M936
4.82/2.90 decisions=70332, wrong=34914, backtracks=4789, failedAssignments=30321, nogoods=2748
4.82/2.90
4.82/2.97 num=60, depth=1..12, filters=470666, wck=0.868, mem=60M936
4.82/2.97 decisions=77820, wrong=38654, backtracks=5537, failedAssignments=33365, nogoods=2824
4.82/2.97
4.93/3.08 num=61, depth=3..11, filters=547092, wck=0.976, mem=60M936
4.93/3.08 decisions=85701, wrong=42592, backtracks=6157, failedAssignments=36714, nogoods=3003
4.93/3.08
5.03/3.14 num=62, depth=0..18, filters=586258, wck=1.034, mem=60M936
5.03/3.14 decisions=93926, wrong=46698, backtracks=6595, failedAssignments=40398, nogoods=3114
5.03/3.14
5.12/3.23 num=63, depth=3..11, filters=652789, wck=1.125, mem=60M936
5.12/3.23 decisions=102759, wrong=51112, backtracks=6964, failedAssignments=44450, nogoods=3164
5.12/3.23
5.22/3.32 num=64, depth=6..18, filters=712951, wck=1.216, mem=60M936
5.22/3.32 decisions=113156, wrong=56305, backtracks=7726, failedAssignments=48907, nogoods=3244
5.22/3.32
5.33/3.42 num=65, depth=6..18, filters=789836, wck=1.316, mem=60M936
5.33/3.42 decisions=123964, wrong=61702, backtracks=8235, failedAssignments=53810, nogoods=3346
5.33/3.42
5.43/3.54 num=66, depth=3..15, filters=871096, wck=1.435, mem=60M936
5.43/3.54 decisions=136991, wrong=68210, backtracks=9359, failedAssignments=59204, nogoods=3425
5.43/3.54
5.53/3.67 num=67, depth=0..15, filters=962054, wck=1.56, mem=60M936
5.53/3.67 decisions=151085, wrong=75252, backtracks=10532, failedAssignments=65137, nogoods=3536
5.53/3.67
5.63/3.79 num=68, depth=1..16, filters=1052567, wck=1.687, mem=60M936
5.63/3.79 decisions=166878, wrong=83144, backtracks=12009, failedAssignments=71663, nogoods=3561
5.63/3.79
5.83/3.93 num=69, depth=1..14, filters=1144906, wck=1.823, mem=63M579
5.83/3.93 decisions=182920, wrong=91161, backtracks=12889, failedAssignments=78842, nogoods=3619
5.83/3.93
5.94/4.07 num=70, depth=5..14, filters=1237964, wck=1.963, mem=63M579
5.94/4.07 decisions=201773, wrong=100582, backtracks=14439, failedAssignments=86739, nogoods=3693
5.94/4.07
6.14/4.25 num=71, depth=1..16, filters=1368621, wck=2.142, mem=63M579
6.14/4.25 decisions=221789, wrong=110585, backtracks=15820, failedAssignments=95426, nogoods=3802
6.14/4.25
6.37/4.48 num=72, depth=1..19, filters=1538243, wck=2.374, mem=63M579
6.37/4.48 decisions=243489, wrong=121430, backtracks=17139, failedAssignments=104981, nogoods=3927
6.37/4.48
6.58/4.68 num=73, depth=5..15, filters=1670812, wck=2.571, mem=63M579
6.58/4.68 decisions=266150, wrong=132754, backtracks=17991, failedAssignments=115492, nogoods=4004
6.58/4.68
6.88/4.93 num=74, depth=1..17, filters=1829734, wck=2.829, mem=63M579
6.88/4.93 decisions=292068, wrong=145708, backtracks=19415, failedAssignments=127054, nogoods=4109
6.88/4.93
7.18/5.28 num=75, depth=1..13, filters=2071722, wck=3.17, mem=63M579
7.18/5.28 decisions=321443, wrong=160391, backtracks=21429, failedAssignments=139772, nogoods=4195
7.18/5.28
7.59/5.67 num=76, depth=3..13, filters=2335407, wck=3.566, mem=63M579
7.59/5.67 decisions=355080, wrong=177205, backtracks=24426, failedAssignments=153762, nogoods=4247
7.59/5.67
7.89/5.99 num=77, depth=5..17, filters=2560233, wck=3.881, mem=66M221
7.89/5.99 decisions=390559, wrong=194938, backtracks=26859, failedAssignments=169151, nogoods=4370
7.89/5.99
8.29/6.35 num=78, depth=3..15, filters=2814056, wck=4.241, mem=66M221
8.29/6.35 decisions=429120, wrong=214212, backtracks=29270, failedAssignments=186079, nogoods=4519
8.29/6.35
8.69/6.74 num=79, depth=5..18, filters=3094838, wck=4.638, mem=66M221
8.69/6.74 decisions=470168, wrong=234733, backtracks=31232, failedAssignments=204700, nogoods=4565
8.69/6.74
9.00/7.06 num=80, depth=1..16, filters=3307067, wck=4.952, mem=66M221
9.00/7.06 decisions=514499, wrong=256892, backtracks=32957, failedAssignments=225184, nogoods=4759
9.00/7.06
9.59/7.60 num=81, depth=1..16, filters=3693407, wck=5.494, mem=68M864
9.59/7.60 decisions=567544, wrong=283409, backtracks=37138, failedAssignments=247716, nogoods=4804
9.59/7.60
10.02/8.04 num=82, depth=5..15, filters=4024320, wck=5.938, mem=68M864
10.02/8.04 decisions=626733, wrong=312999, backtracks=42251, failedAssignments=272501, nogoods=4865
10.02/8.04
10.41/8.44 num=83, depth=6..18, filters=4293963, wck=6.33, mem=68M864
10.41/8.44 decisions=684318, wrong=341785, backtracks=43830, failedAssignments=299765, nogoods=5055
10.41/8.44
10.91/8.96 num=84, depth=6..16, filters=4655464, wck=6.857, mem=68M864
10.91/8.96 decisions=750789, wrong=375014, backtracks=47156, failedAssignments=329755, nogoods=5147
10.91/8.96
11.31/9.37 num=85, depth=6..87, filters=5006490, ccks=80, wck=7.261, mem=71M506
11.31/9.37 decisions=802289, wrong=400754, backtracks=50198, failedAssignments=352562, nogoods=5147, foundSolutions=1
11.31/9.37
11.31/9.37 Global
11.31/9.37 filters=5006490, ccks=80, nogoods=5147
11.31/9.37 Stop=REACHED_GOAL, wrong=400754, foundSolutions=1, firstSolCpu=9.328
11.31/9.37 wck=7.521, cpu=9.334, mem=71M506
11.31/9.37
11.31/9.37 v <instantiation id='sol1' type='solution'> <list> x[] </list> <values> 22 * 36 70 33 53 48 19 22 2 3 4 67 14 3 17 * 53 47 54 32 51 * 14 67 2 23 10 22 3 46 44 55 59 42 3 42 51 62 3 2 29 21 42 2 37 68 68 18 31 39 61 * 3 70 45 5 21 * 56 35 24 * 10 59 41 32 2 43 55 * 56 4 55 41 6 * * * 22 * 7 70 65 8 13 16 36 38 36 55 20 59 66 32 42 * 32 47 37 </values> </instantiation>
11.31/9.37 s SATISFIABLE
11.31/9.37
11.31/9.37 d WRONG_DECISIONS 400754
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 (14220 MiB free)
memory of node 1: 16384 MiB (15490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390635-1568383179/watcher-4390635-1568383179 -o /tmp/evaluation-result-4390635-1568383179/solver-4390635-1568383179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2530 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390635-1568383179.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4647, runsolver pid=4644
[startup+0.100787 s]*
/proc/loadavg: 2.24 1.65 1.49 4/228 4662
/proc/meminfo: memFree=30406616/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10659884 memory=28064 CPUtime=0.13 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 5527 0 0 0 12 1 0 0 20 0 15 0 414259824 10915721216 7016 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2664971 7016 2845 1 0 2627468 0
[pid=4647/tid=4649] ppid=4644 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) R 4644 4647 2499 0 -1 4202560 3330 0 0 0 9 0 0 0 20 0 15 0 414259825 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684804339288 140684785791272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684358247840 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684357195248 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) R 4644 4647 2499 0 -1 4202560 417 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684355080456 140684778475003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 7214 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0.02 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) R 4644 4647 2499 0 -1 4202560 536 0 0 0 2 0 0 0 20 0 15 0 414259830 10915721216 7280 33554432000 4194304 4196468 140736829734320 140684352982136 140684778787960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 7280 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 7280 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28064 KiB
[startup+0.210487 s]*
/proc/loadavg: 2.30 1.67 1.50 3/228 4662
/proc/meminfo: memFree=30396188/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10659884 memory=37608 CPUtime=0.33 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 9145 0 0 0 30 3 0 0 20 0 15 0 414259824 10915721216 9402 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2664971 9402 2989 1 0 2627468 0
[pid=4647/tid=4649] ppid=4644 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) R 4644 4647 2499 0 -1 4202560 6115 0 0 0 18 2 0 0 20 0 15 0 414259825 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684804336688 140684800132253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10659884 memory=4051465029343467168 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684358247840 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684357195248 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 704 0 0 0 3 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0.05 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 9402 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37608 KiB
[startup+0.31004 s]*
/proc/loadavg: 2.30 1.67 1.50 5/228 4662
/proc/meminfo: memFree=30393892/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10659884 memory=40408 CPUtime=0.47 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 9367 0 0 0 44 3 0 0 20 0 15 0 414259824 10915721216 10102 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2664971 10102 3019 1 0 2627468 0
[pid=4647/tid=4649] ppid=4644 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) R 4644 4647 2499 0 -1 4202560 6267 0 0 0 27 2 0 0 20 0 15 0 414259825 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684804339440 140684800132253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10659884 memory=3906225036577429152 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259825 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684358247840 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414259827 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684357195248 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 744 0 0 0 5 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 239 0 0 0 3 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0.08 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10659884 memory=140502689863296 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259830 10915721216 10102 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40408 KiB
[startup+0.701056 s]
/proc/loadavg: 2.30 1.67 1.50 3/228 4662
/proc/meminfo: memFree=30385152/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10661932 memory=62300 CPUtime=1.09 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 12613 0 0 0 103 6 0 0 20 0 15 0 414259824 10917818368 15575 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2665483 15575 3075 1 0 2627980 0
[pid=4647/tid=4649] ppid=4644 vsize=10661932 memory=1428 CPUtime=0.67 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) R 4644 4647 2499 0 -1 4202560 8830 0 0 0 63 4 0 0 20 0 15 0 414259825 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684804342656 140684424172255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10661932 memory=11580 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10661932 memory=740 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10661932 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259825 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10661932 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259827 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10661932 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414259827 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684358247840 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414259827 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684357195248 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10661932 memory=7013342048905618540 CPUtime=0.1 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) R 4644 4647 2499 0 -1 4202560 851 0 0 0 10 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684355090416 140684785235014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10661932 memory=5787219346483269989 CPUtime=0.1 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 425 0 0 0 10 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 1148 0 0 0 18 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259830 10917818368 15575 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62300 KiB
[startup+1.50082 s]
/proc/loadavg: 2.30 1.67 1.50 3/228 4662
/proc/meminfo: memFree=30369952/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10663980 memory=75124 CPUtime=1.98 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 18162 0 0 0 191 7 0 0 20 0 15 0 414259824 10919915520 18781 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2665995 18781 3096 1 0 2628492 0
[pid=4647/tid=4649] ppid=4644 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) R 4644 4647 2499 0 -1 4202560 13017 0 0 0 143 5 0 0 20 0 15 0 414259825 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684804341384 140684783296769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414259825 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414259825 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 414259827 10919915520 18781 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
################
# More data... #
################
[startup+8.0007 s]*
/proc/loadavg: 2.28 1.68 1.50 3/229 4663
/proc/meminfo: memFree=30278044/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10746276 memory=157868 CPUtime=10.02 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 29489 0 0 0 988 14 0 0 20 0 16 0 414259824 11004186624 39467 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2686569 39467 3351 1 0 2646705 0
[pid=4647/tid=4649] ppid=4644 vsize=10746276 memory=8317482817917895235 CPUtime=1.85 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) S 4644 4647 2499 0 -1 1077944384 15264 0 0 0 179 6 0 0 20 0 16 0 414259825 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684804353200 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10746276 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414259825 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10746276 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10746276 memory=7446245963194658150 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10746276 memory=24774409 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10746276 memory=140502540711362 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 1102 0 0 0 1 0 0 0 20 0 16 0 414259827 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10746276 memory=281005081430624 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684358247904 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10746276 memory=7882828121784479853 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684357195264 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0.75 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 2511 0 0 0 75 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10746276 memory=7882828121784479853 CPUtime=0.74 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 2649 0 0 0 74 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0.44 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 2118 0 0 0 44 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4663] ppid=4644 vsize=10746276 memory=7230645025961766505 CPUtime=6.09 cores=0,2,4,6
/proc/4647/task/4663/stat : 4663 (java) R 4644 4647 2499 0 -1 4202560 4174 0 0 0 607 2 0 0 20 0 16 0 414260012 11004186624 39467 33554432000 4194304 4196468 140736829734320 140684266639056 140684426682984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 10.02 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 157868 KiB
[startup+8.8007 s]
/proc/loadavg: 2.28 1.68 1.50 3/229 4663
/proc/meminfo: memFree=30278044/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10746276 memory=159916 CPUtime=10.81 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 29552 0 0 0 1067 14 0 0 20 0 16 0 414259824 11004186624 39979 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2686569 39979 3351 1 0 2646705 0
[pid=4647/tid=4649] ppid=4644 vsize=10746276 memory=7590655979367786604 CPUtime=1.85 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) S 4644 4647 2499 0 -1 1077944384 15264 0 0 0 179 6 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684804353200 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10746276 memory=6225192279538553184 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10746276 memory=140502540238188 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10746276 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10746276 memory=288230617509003574 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 1137 0 0 0 1 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10746276 memory=16103658592930206 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684358247904 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10746276 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684357195264 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10746276 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10746276 memory=1672 CPUtime=0.75 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 2511 0 0 0 75 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10746276 memory=796 CPUtime=0.74 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 2649 0 0 0 74 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10746276 memory=1436 CPUtime=0.44 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 2118 0 0 0 44 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10746276 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4663] ppid=4644 vsize=10746276 memory=4100 CPUtime=6.89 cores=0,2,4,6
/proc/4647/task/4663/stat : 4663 (java) R 4644 4647 2499 0 -1 4202560 4202 0 0 0 687 2 0 0 20 0 16 0 414260012 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684266644784 140684427085423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 10.81 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 159916 KiB
[startup+9.20068 s]
/proc/loadavg: 2.28 1.68 1.50 3/229 4663
/proc/meminfo: memFree=30275996/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10746276 memory=159916 CPUtime=11.21 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 29562 0 0 0 1107 14 0 0 20 0 16 0 414259824 11004186624 39979 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2686569 39979 3351 1 0 2646705 0
[pid=4647/tid=4649] ppid=4644 vsize=10746276 memory=3848 CPUtime=1.85 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) S 4644 4647 2499 0 -1 1077944384 15264 0 0 0 179 6 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684804353200 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10746276 memory=2856 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10746276 memory=2708 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10746276 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10746276 memory=157748 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10746276 memory=804 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 1137 0 0 0 1 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10746276 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684358247904 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684357195264 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0.75 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 2511 0 0 0 75 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0.74 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 2649 0 0 0 74 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0.45 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 2125 0 0 0 45 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10746276 memory=7014751519734649955 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4663] ppid=4644 vsize=10746276 memory=7157735280314504291 CPUtime=7.29 cores=0,2,4,6
/proc/4647/task/4663/stat : 4663 (java) R 4644 4647 2499 0 -1 4202560 4205 0 0 0 727 2 0 0 20 0 16 0 414260012 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684266644784 140684427084229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 11.21 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 159916 KiB
[startup+9.30072 s]
/proc/loadavg: 2.28 1.68 1.50 3/229 4663
/proc/meminfo: memFree=30275996/32770624 swapFree=66945304/67108860
[pid=4647] ppid=4644 vsize=10746276 memory=159916 CPUtime=11.31 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4644 4647 2499 0 -1 1077944320 29562 0 0 0 1117 14 0 0 20 0 16 0 414259824 11004186624 39979 33554432000 4194304 4196468 140736829734320 140736829716864 140684800110327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
/proc/4647/statm: 2686569 39979 3351 1 0 2646705 0
[pid=4647/tid=4649] ppid=4644 vsize=10746276 memory=810 CPUtime=1.85 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) S 4644 4647 2499 0 -1 1077944384 15264 0 0 0 179 6 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684804353200 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4650] ppid=4644 vsize=10746276 memory=159916 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4644 4647 2499 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684742113552 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4651] ppid=4644 vsize=10746276 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4644 4647 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684406086032 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4652] ppid=4644 vsize=10746276 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4644 4647 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684405033488 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4653] ppid=4644 vsize=10746276 memory=281005080546592 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4644 4647 2499 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 16 0 414259825 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684403980944 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4654] ppid=4644 vsize=10746276 memory=7594587674001172330 CPUtime=0.01 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4644 4647 2499 0 -1 1077944384 1137 0 0 0 1 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684359301616 140684800121474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4655] ppid=4644 vsize=10746276 memory=5940367099974739301 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4644 4647 2499 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684358247904 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4656] ppid=4644 vsize=10746276 memory=157868 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4644 4647 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414259827 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684357195264 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4657] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684356143824 140684800128923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4658] ppid=4644 vsize=10746276 memory=6441370576508249454 CPUtime=0.75 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4644 4647 2499 0 -1 1077944384 2511 0 0 0 75 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684355090416 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4659] ppid=4644 vsize=10746276 memory=7230921007607278949 CPUtime=0.74 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4644 4647 2499 0 -1 1077944384 2649 0 0 0 74 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684354037872 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4660] ppid=4644 vsize=10746276 memory=637 CPUtime=0.45 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4644 4647 2499 0 -1 1077944384 2125 0 0 0 45 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684352985328 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4661] ppid=4644 vsize=10746276 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4644 4647 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684351933024 140684800120533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4662] ppid=4644 vsize=10746276 memory=19664 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4644 4647 2499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414259830 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684350880560 140684800121474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
[pid=4647/tid=4663] ppid=4644 vsize=10746276 memory=157856 CPUtime=7.39 cores=0,2,4,6
/proc/4647/task/4663/stat : 4663 (java) R 4644 4647 2499 0 -1 4202560 4205 0 0 0 737 2 0 0 20 0 16 0 414260012 11004186624 39979 33554432000 4194304 4196468 140736829734320 140684266644784 140684426682671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23445504 140736829740043 140736829740146 140736829740146 140736829743055 0
Current children cumulated CPU time: 11.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 159916 KiB
Child status: 0
Real time (s): 9.37989
CPU time (s): 11.4089
CPU user time (s): 11.256
CPU system time (s): 0.15291
CPU usage (%): 121.632
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 159916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.256
system time used= 0.15291
maximum resident set size= 166548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2443
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 4647
# total CPU time (s): 11.4089
# total CPU user time (s): 11.256
# total CPU system time (s): 0.15291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087114 second user time and 0.124448 second system time
The end