2.62/1.90
2.62/1.90 AbsCon 2
2.62/1.92
2.88/2.05 Instance
2.88/2.05 name=instance-4390834-1568380557, framework=COP, bounds=-infty..+infty
2.88/2.05
2.88/2.05 Loading variables...
2.88/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea7de6b
2.88/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3632ffa2
2.88/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696fe290
2.88/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f1508cf
2.88/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66523f8
2.88/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667da21
2.88/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@282b6172
2.88/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea521f0
2.88/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbc9cb4
2.88/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2688ac17
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f635f
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
2.88/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
2.88/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b82ea
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eaeb8b4
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
3.16/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f0020f
3.16/2.16
3.16/2.16
3.16/2.16 Domains
3.16/2.16 nTypes=2, nValues=314, sizes=[2#150,14#1]
3.16/2.16 Variables
3.16/2.16 count=151, degrees=[12#4,13#42,14#104,46#1]
3.16/2.16 Objectives
3.16/2.16 way=min, type=ObjVarLE
3.16/2.16 Constraints
3.16/2.16 count=79, nSpecific=79, arities=[1#1,15#10,20#14,30#9,31#45]
3.16/2.16 distribution=[LexicographicLe#23,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10]
3.16/2.16 wck=0.284, cpu=2.13, mem=21M227
3.16/2.16 Solver SolverBacktrack being built...
3.16/2.16
3.16/2.19
3.16/2.19 Solver
3.16/2.19 guaranteedGAC=true
3.16/2.19 wck=0.313, cpu=2.158, mem=31M870
3.16/2.19
3.16/2.19 Preprocessing
3.16/2.19 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.19 wck=0.004, cpu=2.164, mem=31M870
3.16/2.19
3.42/2.20 num=0, depth=15..28, filters=73, wck=0.014, mem=31M870
3.42/2.20 decisions=68, wrong=23, backtracks=19, failedAssignments=10, nogoods=3
3.42/2.20
3.42/2.22 num=1, depth=5..16, filters=366, wck=0.022, mem=31M870
3.42/2.22 decisions=137, wrong=53, backtracks=43, failedAssignments=21, nogoods=6
3.42/2.22
3.42/2.22 num=2, depth=7..16, filters=692, wck=0.026, mem=31M870
3.42/2.22 decisions=204, wrong=82, backtracks=66, failedAssignments=33, nogoods=8
3.42/2.22
3.42/2.23 num=3, depth=4..17, filters=978, wck=0.041, mem=34M512
3.42/2.23 decisions=263, wrong=105, backtracks=79, failedAssignments=46, nogoods=13
3.42/2.23
3.42/2.24 o 6
3.42/2.25 num=4, depth=7..150, filters=1320, ccks=79, wck=0.057, mem=34M512
3.42/2.25 decisions=343, wrong=124, backtracks=90, failedAssignments=56, nogoods=18, foundSolutions=1, bestBound=6
3.42/2.25
3.42/2.25 num=5, depth=2..58, filters=1682, ccks=79, wck=0.064, mem=34M512
3.42/2.25 decisions=449, wrong=153, backtracks=110, failedAssignments=72, nogoods=26, foundSolutions=1, bestBound=6
3.42/2.25
3.42/2.25 num=6, depth=3..11, filters=1869, ccks=79, wck=0.066, mem=34M512
3.42/2.25 decisions=495, wrong=174, backtracks=126, failedAssignments=83, nogoods=29, foundSolutions=1, bestBound=6
3.42/2.25
3.42/2.26 o 5
3.42/2.26 num=7, depth=0..150, filters=1965, ccks=158, wck=0.072, mem=34M512
3.42/2.26 decisions=580, wrong=186, backtracks=128, failedAssignments=93, nogoods=38, foundSolutions=2, bestBound=5
3.42/2.26
3.42/2.26 num=8, depth=6..52, filters=2047, ccks=158, wck=0.076, mem=34M512
3.42/2.26 decisions=656, wrong=202, backtracks=135, failedAssignments=106, nogoods=47, foundSolutions=2, bestBound=5
3.42/2.26
3.42/2.27 num=9, depth=1..38, filters=2127, ccks=158, wck=0.078, mem=34M512
3.42/2.27 decisions=719, wrong=217, backtracks=142, failedAssignments=117, nogoods=53, foundSolutions=2, bestBound=5
3.42/2.27
3.42/2.27 num=10, depth=1..67, filters=2229, ccks=158, wck=0.082, mem=34M512
3.42/2.27 decisions=805, wrong=231, backtracks=146, failedAssignments=129, nogoods=63, foundSolutions=2, bestBound=5
3.42/2.27
3.42/2.28 o 4
3.42/2.28 num=11, depth=2..150, filters=2302, ccks=237, wck=0.086, mem=34M512
3.42/2.28 decisions=889, wrong=240, backtracks=146, failedAssignments=138, nogoods=72, foundSolutions=3, bestBound=4
3.42/2.28
3.42/2.28 num=12, depth=2..60, filters=2402, ccks=237, wck=0.089, mem=34M512
3.42/2.28 decisions=969, wrong=255, backtracks=150, failedAssignments=152, nogoods=83, foundSolutions=3, bestBound=4
3.42/2.28
3.42/2.28 num=13, depth=11..51, filters=2492, ccks=237, wck=0.092, mem=34M512
3.42/2.28 decisions=1045, wrong=272, backtracks=156, failedAssignments=163, nogoods=91, foundSolutions=3, bestBound=4
3.42/2.28
3.42/2.28 num=14, depth=9..43, filters=2579, ccks=237, wck=0.094, mem=34M512
3.42/2.28 decisions=1111, wrong=289, backtracks=162, failedAssignments=175, nogoods=101, foundSolutions=3, bestBound=4
3.42/2.28
3.42/2.28 num=15, depth=6..28, filters=2682, ccks=237, wck=0.096, mem=34M512
3.42/2.28 decisions=1170, wrong=308, backtracks=175, failedAssignments=188, nogoods=107, foundSolutions=3, bestBound=4
3.42/2.28
3.42/2.29 num=16, depth=8..21, filters=2823, ccks=237, wck=0.099, mem=34M512
3.42/2.29 decisions=1234, wrong=336, backtracks=202, failedAssignments=202, nogoods=109, foundSolutions=3, bestBound=4
3.42/2.29
3.42/2.29 num=17, depth=6..57, filters=2920, ccks=237, wck=0.102, mem=34M512
3.42/2.29 decisions=1320, wrong=357, backtracks=210, failedAssignments=218, nogoods=120, foundSolutions=3, bestBound=4
3.42/2.29
3.42/2.29 num=18, depth=2..36, filters=3125, ccks=237, wck=0.106, mem=34M512
3.42/2.29 decisions=1418, wrong=394, backtracks=239, failedAssignments=235, nogoods=127, foundSolutions=3, bestBound=4
3.42/2.29
3.42/2.30 num=19, depth=4..37, filters=3311, ccks=237, wck=0.109, mem=34M512
3.42/2.30 decisions=1523, wrong=434, backtracks=270, failedAssignments=254, nogoods=137, foundSolutions=3, bestBound=4
3.42/2.30
3.77/2.30 num=20, depth=3..79, filters=3456, ccks=237, wck=0.112, mem=34M512
3.77/2.30 decisions=1643, wrong=463, backtracks=282, failedAssignments=275, nogoods=154, foundSolutions=3, bestBound=4
3.77/2.30
3.77/2.30 num=21, depth=5..28, filters=3789, ccks=237, wck=0.115, mem=34M512
3.77/2.30 decisions=1753, wrong=509, backtracks=320, failedAssignments=298, nogoods=164, foundSolutions=3, bestBound=4
3.77/2.30
3.77/2.31 num=22, depth=5..45, filters=4241, ccks=237, wck=0.118, mem=34M512
3.77/2.31 decisions=1907, wrong=569, backtracks=374, failedAssignments=323, nogoods=172, foundSolutions=3, bestBound=4
3.77/2.31
3.77/2.31 num=23, depth=5..43, filters=4487, ccks=237, wck=0.121, mem=34M512
3.77/2.31 decisions=2041, wrong=620, backtracks=416, failedAssignments=351, nogoods=181, foundSolutions=3, bestBound=4
3.77/2.31
3.77/2.31 num=24, depth=5..36, filters=4739, ccks=237, wck=0.123, mem=34M512
3.77/2.31 decisions=2171, wrong=675, backtracks=455, failedAssignments=382, nogoods=195, foundSolutions=3, bestBound=4
3.77/2.31
3.77/2.31 num=25, depth=11..36, filters=5038, ccks=237, wck=0.126, mem=34M512
3.77/2.31 decisions=2321, wrong=738, backtracks=508, failedAssignments=416, nogoods=204, foundSolutions=3, bestBound=4
3.77/2.31
3.77/2.32 num=26, depth=11..34, filters=5467, ccks=237, wck=0.129, mem=34M512
3.77/2.32 decisions=2484, wrong=809, backtracks=572, failedAssignments=453, nogoods=209, foundSolutions=3, bestBound=4
3.77/2.32
3.77/2.32 o 3
3.77/2.32 num=27, depth=14..150, filters=5831, ccks=316, wck=0.134, mem=34M512
3.77/2.32 decisions=2676, wrong=874, backtracks=612, failedAssignments=489, nogoods=223, foundSolutions=4, bestBound=3
3.77/2.32
3.77/2.32 num=28, depth=4..38, filters=6160, ccks=316, wck=0.137, mem=34M512
3.77/2.32 decisions=2845, wrong=947, backtracks=672, failedAssignments=534, nogoods=231, foundSolutions=4, bestBound=3
3.77/2.32
3.77/2.33 num=29, depth=2..24, filters=6298, ccks=316, wck=0.139, mem=34M512
3.77/2.33 decisions=2917, wrong=973, backtracks=694, failedAssignments=545, nogoods=235, foundSolutions=4, bestBound=3
3.77/2.33
3.77/2.33 num=30, depth=4..26, filters=6393, ccks=316, wck=0.14, mem=34M512
3.77/2.33 decisions=2979, wrong=995, backtracks=712, failedAssignments=557, nogoods=238, foundSolutions=4, bestBound=3
3.77/2.33
3.77/2.33 num=31, depth=7..26, filters=6474, ccks=316, wck=0.141, mem=34M512
3.77/2.33 decisions=3039, wrong=1014, backtracks=722, failedAssignments=570, nogoods=243, foundSolutions=4, bestBound=3
3.77/2.33
3.77/2.33 num=32, depth=7..22, filters=6629, ccks=316, wck=0.143, mem=34M512
3.77/2.33 decisions=3092, wrong=1033, backtracks=737, failedAssignments=584, nogoods=248, foundSolutions=4, bestBound=3
3.77/2.33
3.77/2.33 num=33, depth=7..19, filters=6801, ccks=316, wck=0.144, mem=34M512
3.77/2.33 decisions=3169, wrong=1065, backtracks=763, failedAssignments=600, nogoods=253, foundSolutions=4, bestBound=3
3.77/2.33
3.77/2.34 num=34, depth=6..14, filters=7079, ccks=316, wck=0.147, mem=34M512
3.77/2.34 decisions=3245, wrong=1099, backtracks=792, failedAssignments=617, nogoods=257, foundSolutions=4, bestBound=3
3.77/2.34
3.77/2.34 num=35, depth=8..30, filters=7317, ccks=316, wck=0.149, mem=34M512
3.77/2.34 decisions=3346, wrong=1139, backtracks=822, failedAssignments=636, nogoods=266, foundSolutions=4, bestBound=3
3.77/2.34
3.77/2.34 num=36, depth=3..18, filters=7550, ccks=316, wck=0.151, mem=34M512
3.77/2.34 decisions=3431, wrong=1176, backtracks=853, failedAssignments=657, nogoods=271, foundSolutions=4, bestBound=3
3.77/2.34
3.77/2.34 num=37, depth=5..34, filters=7807, ccks=316, wck=0.154, mem=34M512
3.77/2.34 decisions=3533, wrong=1216, backtracks=880, failedAssignments=680, nogoods=282, foundSolutions=4, bestBound=3
3.77/2.34
3.77/2.34 num=38, depth=13..39, filters=8110, ccks=316, wck=0.157, mem=34M512
3.77/2.34 decisions=3653, wrong=1260, backtracks=913, failedAssignments=705, nogoods=291, foundSolutions=4, bestBound=3
3.77/2.34
3.77/2.35 num=39, depth=11..20, filters=8536, ccks=316, wck=0.16, mem=34M512
3.77/2.35 decisions=3782, wrong=1317, backtracks=967, failedAssignments=733, nogoods=294, foundSolutions=4, bestBound=3
3.77/2.35
3.77/2.35 num=40, depth=5..25, filters=8883, ccks=316, wck=0.163, mem=34M512
3.77/2.35 decisions=3906, wrong=1371, backtracks=1012, failedAssignments=764, nogoods=303, foundSolutions=4, bestBound=3
3.77/2.35
3.77/2.35 num=41, depth=11..36, filters=9205, ccks=316, wck=0.166, mem=34M512
3.77/2.35 decisions=4053, wrong=1435, backtracks=1065, failedAssignments=798, nogoods=307, foundSolutions=4, bestBound=3
3.77/2.35
3.77/2.36 num=42, depth=6..37, filters=9749, ccks=316, wck=0.171, mem=34M512
3.77/2.36 decisions=4242, wrong=1521, backtracks=1141, failedAssignments=835, nogoods=316, foundSolutions=4, bestBound=3
3.77/2.36
3.77/2.36 num=43, depth=1..34, filters=10435, ccks=316, wck=0.176, mem=34M512
3.77/2.36 decisions=4447, wrong=1615, backtracks=1224, failedAssignments=876, nogoods=325, foundSolutions=4, bestBound=3
3.77/2.36
3.77/2.37 num=44, depth=1..34, filters=11025, ccks=316, wck=0.18, mem=34M512
3.77/2.37 decisions=4703, wrong=1733, backtracks=1327, failedAssignments=921, nogoods=334, foundSolutions=4, bestBound=3
3.77/2.37
3.77/2.37 num=45, depth=8..59, filters=11497, ccks=316, wck=0.184, mem=34M512
3.77/2.37 decisions=4959, wrong=1845, backtracks=1415, failedAssignments=971, nogoods=351, foundSolutions=4, bestBound=3
3.77/2.37
3.77/2.38 num=46, depth=3..33, filters=12100, ccks=316, wck=0.19, mem=34M512
3.77/2.38 decisions=5222, wrong=1966, backtracks=1528, failedAssignments=1026, nogoods=355, foundSolutions=4, bestBound=3
3.77/2.38
3.77/2.38 num=47, depth=5..23, filters=12904, ccks=316, wck=0.197, mem=34M512
3.77/2.38 decisions=5509, wrong=2102, backtracks=1653, failedAssignments=1087, nogoods=359, foundSolutions=4, bestBound=3
3.77/2.38
3.77/2.39 num=48, depth=4..46, filters=13755, ccks=316, wck=0.203, mem=34M512
3.77/2.39 decisions=5823, wrong=2251, backtracks=1792, failedAssignments=1154, nogoods=366, foundSolutions=4, bestBound=3
3.77/2.39
4.08/2.40 num=49, depth=4..43, filters=14963, ccks=316, wck=0.211, mem=37M155
4.08/2.40 decisions=6197, wrong=2429, backtracks=1962, failedAssignments=1228, nogoods=378, foundSolutions=4, bestBound=3
4.08/2.40
4.08/2.41 num=50, depth=2..48, filters=16002, ccks=316, wck=0.219, mem=37M155
4.08/2.41 decisions=6564, wrong=2599, backtracks=2108, failedAssignments=1309, nogoods=396, foundSolutions=4, bestBound=3
4.08/2.41
4.08/2.41 num=51, depth=2..46, filters=17130, ccks=316, wck=0.226, mem=37M155
4.08/2.41 decisions=7004, wrong=2811, backtracks=2317, failedAssignments=1398, nogoods=401, foundSolutions=4, bestBound=3
4.08/2.41
4.08/2.42 num=52, depth=5..51, filters=17875, ccks=316, wck=0.232, mem=37M155
4.08/2.42 decisions=7489, wrong=3039, backtracks=2525, failedAssignments=1496, nogoods=417, foundSolutions=4, bestBound=3
4.08/2.42
4.08/2.43 num=53, depth=4..43, filters=18908, ccks=316, wck=0.24, mem=37M155
4.08/2.43 decisions=8008, wrong=3285, backtracks=2744, failedAssignments=1604, nogoods=428, foundSolutions=4, bestBound=3
4.08/2.43
4.08/2.44 num=54, depth=1..28, filters=20328, ccks=316, wck=0.25, mem=37M155
4.08/2.44 decisions=8518, wrong=3534, backtracks=2960, failedAssignments=1723, nogoods=435, foundSolutions=4, bestBound=3
4.08/2.44
4.08/2.44 num=55, depth=3..38, filters=21712, ccks=316, wck=0.257, mem=37M155
4.08/2.44 decisions=8995, wrong=3757, backtracks=3145, failedAssignments=1854, nogoods=444, foundSolutions=4, bestBound=3
4.08/2.44
4.08/2.45 num=56, depth=14..47, filters=23926, ccks=316, wck=0.266, mem=37M155
4.08/2.45 decisions=9673, wrong=4083, backtracks=3456, failedAssignments=1998, nogoods=452, foundSolutions=4, bestBound=3
4.08/2.45
4.08/2.46 num=57, depth=6..59, filters=25944, ccks=316, wck=0.275, mem=37M155
4.08/2.46 decisions=10540, wrong=4500, backtracks=3848, failedAssignments=2156, nogoods=473, foundSolutions=4, bestBound=3
4.08/2.46
4.08/2.47 num=58, depth=8..29, filters=28017, ccks=316, wck=0.285, mem=37M155
4.08/2.47 decisions=11355, wrong=4899, backtracks=4238, failedAssignments=2330, nogoods=480, foundSolutions=4, bestBound=3
4.08/2.47
4.08/2.48 num=59, depth=8..29, filters=30341, ccks=316, wck=0.296, mem=37M155
4.08/2.48 decisions=12243, wrong=5336, backtracks=4628, failedAssignments=2521, nogoods=486, foundSolutions=4, bestBound=3
4.08/2.48
4.08/2.49 num=60, depth=0..37, filters=32892, ccks=316, wck=0.306, mem=37M155
4.08/2.49 decisions=13432, wrong=5917, backtracks=5192, failedAssignments=2732, nogoods=495, foundSolutions=4, bestBound=3
4.08/2.49
4.38/2.50 num=61, depth=12..34, filters=35393, ccks=316, wck=0.316, mem=37M155
4.38/2.50 decisions=14437, wrong=6411, backtracks=5628, failedAssignments=2964, nogoods=502, foundSolutions=4, bestBound=3
4.38/2.50
4.38/2.51 num=62, depth=4..46, filters=38210, ccks=316, wck=0.326, mem=37M155
4.38/2.51 decisions=15541, wrong=6952, backtracks=6138, failedAssignments=3219, nogoods=514, foundSolutions=4, bestBound=3
4.38/2.51
4.38/2.52 num=63, depth=12..61, filters=40687, ccks=316, wck=0.336, mem=37M155
4.38/2.52 decisions=16931, wrong=7633, backtracks=6789, failedAssignments=3500, nogoods=532, foundSolutions=4, bestBound=3
4.38/2.52
4.38/2.53 num=64, depth=4..48, filters=43681, ccks=316, wck=0.347, mem=37M155
4.38/2.53 decisions=18351, wrong=8333, backtracks=7453, failedAssignments=3809, nogoods=547, foundSolutions=4, bestBound=3
4.38/2.53
4.38/2.55 num=65, depth=5..48, filters=47333, ccks=316, wck=0.359, mem=37M155
4.38/2.55 decisions=19944, wrong=9117, backtracks=8228, failedAssignments=4149, nogoods=561, foundSolutions=4, bestBound=3
4.38/2.55
4.38/2.56 num=66, depth=11..46, filters=52670, ccks=316, wck=0.377, mem=37M155
4.38/2.56 decisions=21792, wrong=10032, backtracks=9112, failedAssignments=4523, nogoods=569, foundSolutions=4, bestBound=3
4.38/2.56
4.38/2.58 num=67, depth=11..56, filters=57605, ccks=316, wck=0.393, mem=37M155
4.38/2.58 decisions=23881, wrong=11067, backtracks=10128, failedAssignments=4934, nogoods=577, foundSolutions=4, bestBound=3
4.38/2.58
4.67/2.60 num=68, depth=2..41, filters=63212, ccks=316, wck=0.411, mem=37M155
4.67/2.60 decisions=26118, wrong=12174, backtracks=11169, failedAssignments=5386, nogoods=589, foundSolutions=4, bestBound=3
4.67/2.60
4.67/2.62 num=69, depth=3..38, filters=69220, ccks=316, wck=0.431, mem=39M797
4.67/2.62 decisions=28420, wrong=13315, backtracks=12240, failedAssignments=5883, nogoods=597, foundSolutions=4, bestBound=3
4.67/2.62
4.67/2.64 num=70, depth=3..47, filters=75556, ccks=316, wck=0.451, mem=39M797
4.67/2.64 decisions=31029, wrong=14609, backtracks=13468, failedAssignments=6430, nogoods=611, foundSolutions=4, bestBound=3
4.67/2.64
4.67/2.66 num=71, depth=8..52, filters=82496, ccks=316, wck=0.473, mem=39M797
4.67/2.66 decisions=33814, wrong=15987, backtracks=14805, failedAssignments=7032, nogoods=630, foundSolutions=4, bestBound=3
4.67/2.66
4.67/2.69 num=72, depth=11..36, filters=94350, ccks=316, wck=0.504, mem=39M797
4.67/2.69 decisions=36917, wrong=17529, backtracks=16278, failedAssignments=7694, nogoods=636, foundSolutions=4, bestBound=3
4.67/2.69
4.78/2.72 num=73, depth=2..29, filters=104604, ccks=316, wck=0.536, mem=39M797
4.78/2.72 decisions=39967, wrong=19049, backtracks=17726, failedAssignments=8422, nogoods=645, foundSolutions=4, bestBound=3
4.78/2.72
4.78/2.76 num=74, depth=9..38, filters=114532, ccks=316, wck=0.569, mem=39M797
4.78/2.76 decisions=43580, wrong=20847, backtracks=19307, failedAssignments=9223, nogoods=653, foundSolutions=4, bestBound=3
4.78/2.76
4.78/2.79 num=75, depth=2..34, filters=124695, ccks=316, wck=0.6, mem=39M797
4.78/2.79 decisions=47467, wrong=22788, backtracks=21118, failedAssignments=10104, nogoods=657, foundSolutions=4, bestBound=3
4.78/2.79
4.88/2.83 num=76, depth=3..51, filters=137888, ccks=316, wck=0.638, mem=39M797
4.88/2.83 decisions=52893, wrong=25489, backtracks=23742, failedAssignments=11074, nogoods=670, foundSolutions=4, bestBound=3
4.88/2.83
4.88/2.86 num=77, depth=1..51, filters=148424, ccks=316, wck=0.67, mem=39M797
4.88/2.86 decisions=56953, wrong=27506, backtracks=25562, failedAssignments=12141, nogoods=683, foundSolutions=4, bestBound=3
4.88/2.86
4.98/2.90 num=78, depth=4..48, filters=161359, ccks=316, wck=0.713, mem=42M440
4.98/2.90 decisions=61849, wrong=29942, backtracks=27823, failedAssignments=13314, nogoods=689, foundSolutions=4, bestBound=3
4.98/2.90
4.98/2.96 num=79, depth=1..46, filters=181960, ccks=316, wck=0.769, mem=42M440
4.98/2.96 decisions=68084, wrong=33048, backtracks=30741, failedAssignments=14605, nogoods=705, foundSolutions=4, bestBound=3
4.98/2.96
4.98/3.00 num=80, depth=6..45, filters=195709, ccks=316, wck=0.813, mem=42M440
4.98/3.00 decisions=74864, wrong=36426, backtracks=33871, failedAssignments=16025, nogoods=717, foundSolutions=4, bestBound=3
4.98/3.00
5.09/3.08 num=81, depth=8..43, filters=220486, ccks=316, wck=0.892, mem=42M440
5.09/3.08 decisions=82088, wrong=40027, backtracks=37265, failedAssignments=17587, nogoods=727, foundSolutions=4, bestBound=3
5.09/3.08
5.20/3.14 num=82, depth=0..43, filters=238868, ccks=316, wck=0.951, mem=45M82
5.20/3.14 decisions=89466, wrong=43707, backtracks=40750, failedAssignments=19305, nogoods=736, foundSolutions=4, bestBound=3
5.20/3.14
5.29/3.22 num=83, depth=8..54, filters=264517, ccks=316, wck=1.03, mem=45M82
5.29/3.22 decisions=98162, wrong=48043, backtracks=44919, failedAssignments=21195, nogoods=750, foundSolutions=4, bestBound=3
5.29/3.22
5.29/3.29 num=84, depth=1..42, filters=286020, ccks=316, wck=1.102, mem=45M82
5.29/3.29 decisions=107471, wrong=52690, backtracks=49347, failedAssignments=23274, nogoods=758, foundSolutions=4, bestBound=3
5.29/3.29
5.39/3.37 num=85, depth=2..47, filters=312062, ccks=316, wck=1.181, mem=45M82
5.39/3.37 decisions=117837, wrong=57863, backtracks=54188, failedAssignments=25561, nogoods=771, foundSolutions=4, bestBound=3
5.39/3.37
5.49/3.46 num=86, depth=5..48, filters=342956, ccks=316, wck=1.277, mem=47M725
5.49/3.46 decisions=128770, wrong=63316, backtracks=59267, failedAssignments=28077, nogoods=784, foundSolutions=4, bestBound=3
5.49/3.46
5.59/3.57 num=87, depth=9..45, filters=377070, ccks=316, wck=1.386, mem=47M725
5.59/3.57 decisions=141769, wrong=69806, backtracks=65422, failedAssignments=30845, nogoods=798, foundSolutions=4, bestBound=3
5.59/3.57
5.71/3.68 num=88, depth=3..45, filters=409217, ccks=316, wck=1.493, mem=47M725
5.71/3.68 decisions=154863, wrong=76340, backtracks=71422, failedAssignments=33889, nogoods=811, foundSolutions=4, bestBound=3
5.71/3.68
5.92/3.80 num=89, depth=4..49, filters=447215, ccks=316, wck=1.61, mem=50M367
5.92/3.80 decisions=169828, wrong=83810, backtracks=78249, failedAssignments=37238, nogoods=829, foundSolutions=4, bestBound=3
5.92/3.80
6.03/3.93 num=90, depth=4..47, filters=493855, ccks=316, wck=1.747, mem=50M367
6.03/3.93 decisions=187000, wrong=92386, backtracks=86386, failedAssignments=40922, nogoods=842, foundSolutions=4, bestBound=3
6.03/3.93
6.14/4.08 num=91, depth=11..48, filters=538940, ccks=316, wck=1.895, mem=53M10
6.14/4.08 decisions=205470, wrong=101608, backtracks=94794, failedAssignments=44974, nogoods=854, foundSolutions=4, bestBound=3
6.14/4.08
6.33/4.24 num=92, depth=6..48, filters=587411, ccks=316, wck=2.054, mem=53M10
6.33/4.24 decisions=224505, wrong=111115, backtracks=103909, failedAssignments=49431, nogoods=865, foundSolutions=4, bestBound=3
6.33/4.24
6.53/4.42 num=93, depth=8..44, filters=641589, ccks=316, wck=2.234, mem=55M652
6.53/4.42 decisions=245525, wrong=121618, backtracks=113382, failedAssignments=54334, nogoods=874, foundSolutions=4, bestBound=3
6.53/4.42
6.73/4.60 num=94, depth=3..53, filters=698676, ccks=316, wck=2.411, mem=58M295
6.73/4.60 decisions=270257, wrong=133974, backtracks=125040, failedAssignments=59728, nogoods=888, foundSolutions=4, bestBound=3
6.73/4.60
6.93/4.82 num=95, depth=3..44, filters=767580, ccks=316, wck=2.632, mem=58M295
6.93/4.82 decisions=297949, wrong=147808, backtracks=138341, failedAssignments=65661, nogoods=900, foundSolutions=4, bestBound=3
6.93/4.82
7.14/5.10 num=96, depth=4..54, filters=854832, ccks=316, wck=2.911, mem=60M937
7.14/5.10 decisions=327565, wrong=162604, backtracks=152425, failedAssignments=72187, nogoods=915, foundSolutions=4, bestBound=3
7.14/5.10
7.43/5.36 num=97, depth=2..45, filters=932371, ccks=316, wck=3.172, mem=63M579
7.43/5.36 decisions=360691, wrong=179157, backtracks=168066, failedAssignments=79366, nogoods=930, foundSolutions=4, bestBound=3
7.43/5.36
7.73/5.64 num=98, depth=13..45, filters=1017437, ccks=316, wck=3.454, mem=66M222
7.73/5.64 decisions=393268, wrong=195435, backtracks=183011, failedAssignments=87263, nogoods=936, foundSolutions=4, bestBound=3
7.73/5.64
8.03/5.94 num=99, depth=7..55, filters=1103753, ccks=316, wck=3.751, mem=68M864
8.03/5.94 decisions=431224, wrong=214399, backtracks=200431, failedAssignments=95950, nogoods=953, foundSolutions=4, bestBound=3
8.03/5.94
8.43/6.31 num=100, depth=4..59, filters=1223814, ccks=316, wck=4.118, mem=71M507
8.43/6.31 decisions=474496, wrong=236021, backtracks=221008, failedAssignments=105505, nogoods=962, foundSolutions=4, bestBound=3
8.43/6.31
8.83/6.75 num=101, depth=1..54, filters=1376688, ccks=316, wck=4.56, mem=76M792
8.83/6.75 decisions=526028, wrong=261772, backtracks=245475, failedAssignments=116016, nogoods=977, foundSolutions=4, bestBound=3
8.83/6.75
9.43/7.33 num=102, depth=2..38, filters=1562548, ccks=316, wck=5.138, mem=79M434
9.43/7.33 decisions=577262, wrong=287383, backtracks=269975, failedAssignments=127578, nogoods=983, foundSolutions=4, bestBound=3
9.43/7.33
10.14/8.08 num=103, depth=3..36, filters=1800299, ccks=316, wck=5.892, mem=87M361
10.14/8.08 decisions=637467, wrong=317479, backtracks=298527, failedAssignments=140296, nogoods=991, foundSolutions=4, bestBound=3
10.14/8.08
10.73/8.67 num=104, depth=5..46, filters=1988936, ccks=316, wck=6.483, mem=92M646
10.73/8.67 decisions=698834, wrong=348157, backtracks=327072, failedAssignments=154286, nogoods=1001, foundSolutions=4, bestBound=3
10.73/8.67
11.43/9.31 num=105, depth=4..47, filters=2195640, ccks=316, wck=7.12, mem=97M931
11.43/9.31 decisions=763528, wrong=380492, backtracks=357172, failedAssignments=169675, nogoods=1013, foundSolutions=4, bestBound=3
11.43/9.31
12.14/10.08 o 2
12.14/10.08 num=106, depth=2..150, filters=2433716, ccks=395, wck=7.892, mem=103M216
12.14/10.08 decisions=842080, wrong=419747, backtracks=394099, failedAssignments=186278, nogoods=1037, foundSolutions=5, bestBound=2
12.14/10.08
12.14/10.08 Global
12.14/10.08 filters=2433716, ccks=395, nogoods=1037
12.14/10.08 Stop=FULL_EXPLORATION, wrong=419747, bestBound=2, bestBoundWck=8.205, bestBoundCpu=10.047, foundSolutions=5, firstSolCpu=2.208
12.14/10.08 wck=8.206, cpu=10.049, mem=103M216
12.14/10.08
12.14/10.08 v <instantiation id='sol5' type='solution' cost='2'> <list> z x[][] </list> <values> 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 </values> </instantiation>
12.14/10.08 s OPTIMUM FOUND
12.14/10.08
12.14/10.08 d WRONG_DECISIONS 419747
12.14/10.08 d NUMBER_SOLUTIONS 5
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 (15200 MiB free)
memory of node 1: 16384 MiB (15179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390834-1568380557/watcher-4390834-1568380557 -o /tmp/evaluation-result-4390834-1568380557/solver-4390834-1568380557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390834-1568380557.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=30785, runsolver pid=30782
[startup+0.100125 s]*
/proc/loadavg: 0.85 0.23 0.12 4/228 30800
/proc/meminfo: memFree=31093272/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10659884 memory=27656 CPUtime=0.14 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 5439 0 0 0 13 1 0 0 20 0 15 0 414318335 10915721216 6914 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2664971 6914 2876 1 0 2627468 0
[pid=30785/tid=30787] ppid=30782 vsize=10659884 memory=-8269626465541197949 CPUtime=0.09 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) R 30782 30785 30397 0 -1 4202560 3223 0 0 0 9 0 0 0 20 0 15 0 414318335 10915721216 6914 33554432000 4194304 4196468 140729440753328 140145402040976 140145390050110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 6914 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 6914 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 6914 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 6914 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318337 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) R 30782 30785 30397 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144883259888 140145397826832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 6914 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27656 KiB
[startup+0.210709 s]*
/proc/loadavg: 1.02 0.28 0.13 3/228 30800
/proc/meminfo: memFree=31086372/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10659884 memory=35308 CPUtime=0.33 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 6903 0 0 0 31 2 0 0 20 0 15 0 414318335 10915721216 8827 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2664971 8827 2988 1 0 2627468 0
[pid=30785/tid=30787] ppid=30782 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) R 30782 30785 30397 0 -1 4202560 3866 0 0 0 19 1 0 0 20 0 15 0 414318335 10915721216 8827 33554432000 4194304 4196468 140729440753328 140145402039344 140145397834909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 8827 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10659884 memory=288370264643278464 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 8827 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 8827 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 8827 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318337 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 771 0 0 0 3 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0.05 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 8827 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35308 KiB
[startup+0.317183 s]*
/proc/loadavg: 1.02 0.28 0.13 4/228 30800
/proc/meminfo: memFree=31078664/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10659884 memory=40436 CPUtime=0.48 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 9460 0 0 0 45 3 0 0 20 0 15 0 414318335 10915721216 10109 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2664971 10109 3000 1 0 2627468 0
[pid=30785/tid=30787] ppid=30782 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) R 30782 30785 30397 0 -1 4202560 6347 0 0 0 28 2 0 0 20 0 15 0 414318335 10915721216 10109 33554432000 4194304 4196468 140729440753328 140145402044768 140145397834909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10659884 memory=4297963160 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 10109 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10659884 memory=288370264643278464 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 10109 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 10109 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10915721216 10109 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318337 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318338 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 779 0 0 0 4 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 206 0 0 0 4 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0.08 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10659884 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318341 10915721216 10109 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40436 KiB
[startup+0.701254 s]
/proc/loadavg: 1.02 0.28 0.13 3/228 30800
/proc/meminfo: memFree=31069252/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10661932 memory=64016 CPUtime=1.11 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 13104 0 0 0 106 5 0 0 20 0 15 0 414318335 10917818368 16004 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2665483 16004 3069 1 0 2627980 0
[pid=30785/tid=30787] ppid=30782 vsize=10661932 memory=272138992913319 CPUtime=0.68 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) R 30782 30785 30397 0 -1 4202560 8863 0 0 0 64 4 0 0 20 0 15 0 414318335 10917818368 16004 33554432000 4194304 4196468 140729440753328 140145402038864 140145383493136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10661932 memory=3158301 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318336 10917818368 16004 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10917818368 16004 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10917818368 16004 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10917818368 16004 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318337 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318338 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318338 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10661932 memory=6944656592455360604 CPUtime=0.12 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) R 30782 30785 30397 0 -1 4202560 1036 0 0 0 12 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144885365488 140145381299005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 543 0 0 0 10 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 1303 0 0 0 19 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318341 10917818368 16004 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64016 KiB
[startup+1.50079 s]
/proc/loadavg: 1.02 0.28 0.13 3/229 30802
/proc/meminfo: memFree=31035016/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10663980 memory=76064 CPUtime=2.01 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 18687 0 0 0 194 7 0 0 20 0 15 0 414318335 10919915520 19016 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2665995 19016 3096 1 0 2628492 0
[pid=30785/tid=30787] ppid=30782 vsize=10663980 memory=2996107 CPUtime=1.48 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) R 30782 30785 30397 0 -1 4202560 13087 0 0 0 142 6 0 0 20 0 15 0 414318335 10919915520 19016 33554432000 4194304 4196468 140729440753328 140145402045008 140145381893470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318336 10919915520 19016 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10919915520 19016 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10919915520 19016 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318336 10919915520 19016 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 414318337 10919915520 19016 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
################
# More data... #
################
[startup+8.0007 s]*
/proc/loadavg: 1.10 0.31 0.14 3/230 30804
/proc/meminfo: memFree=30888904/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10746276 memory=177756 CPUtime=10.14 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 29471 0 0 0 1001 13 0 0 20 0 16 0 414318335 11004186624 44439 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2686569 44439 3345 1 0 2646705 0
[pid=30785/tid=30787] ppid=30782 vsize=10746276 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30782 30785 30397 0 -1 1077944384 15385 0 0 0 181 7 0 0 20 0 16 0 414318335 11004186624 44439 33554432000 4194304 4196468 140729440753328 140145402055856 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10746276 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 44439 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10746276 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 44439 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10746276 memory=1440 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 44439 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10746276 memory=920 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 44439 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10746276 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 1161 0 0 0 0 0 0 0 20 0 16 0 414318337 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10746276 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10746276 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10746276 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10746276 memory=804 CPUtime=0.81 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 2523 0 0 0 81 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10746276 memory=1628 CPUtime=0.76 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 1802 0 0 0 76 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10746276 memory=4108 CPUtime=0.5 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 2390 0 0 0 50 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10746276 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10746276 memory=924 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30803] ppid=30782 vsize=10746276 memory=3804 CPUtime=6.07 cores=0,2,4,6
/proc/30785/task/30803/stat : 30803 (java) R 30782 30785 30397 0 -1 4202560 4542 0 0 0 605 2 0 0 20 0 16 0 414318526 11004186624 44439 33554432000 4194304 4196468 140729440753328 140144864374224 140145005835077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 10.14 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 177756 KiB
[startup+8.8007 s]
/proc/loadavg: 1.10 0.31 0.14 3/230 30804
/proc/meminfo: memFree=30888904/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10746276 memory=183900 CPUtime=10.93 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 29503 0 0 0 1080 13 0 0 20 0 16 0 414318335 11004186624 45975 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2686569 45975 3345 1 0 2646705 0
[pid=30785/tid=30787] ppid=30782 vsize=10746276 memory=2616 CPUtime=1.88 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30782 30785 30397 0 -1 1077944384 15385 0 0 0 181 7 0 0 20 0 16 0 414318335 11004186624 45975 33554432000 4194304 4196468 140729440753328 140145402055856 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10746276 memory=1408 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 45975 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10746276 memory=2840 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 45975 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10746276 memory=510148 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 45975 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10746276 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 45975 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10746276 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 1161 0 0 0 0 0 0 0 20 0 16 0 414318337 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10746276 memory=7084278132125032512 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10746276 memory=2273 CPUtime=0.81 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 2523 0 0 0 81 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10746276 memory=279775444762884 CPUtime=0.76 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 1802 0 0 0 76 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10746276 memory=6943526294502006880 CPUtime=0.5 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 2390 0 0 0 50 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10746276 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10746276 memory=6940155196230677056 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30803] ppid=30782 vsize=10746276 memory=0 CPUtime=6.86 cores=0,2,4,6
/proc/30785/task/30803/stat : 30803 (java) R 30782 30785 30397 0 -1 4202560 4574 0 0 0 684 2 0 0 20 0 16 0 414318526 11004186624 45975 33554432000 4194304 4196468 140729440753328 140144864374224 140145005835173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 10.93 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 183900 KiB
[startup+9.60072 s]
/proc/loadavg: 1.10 0.31 0.14 3/229 30804
/proc/meminfo: memFree=30880836/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10746276 memory=190044 CPUtime=11.73 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 29509 0 0 0 1160 13 0 0 20 0 16 0 414318335 11004186624 47511 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2686569 47511 3345 1 0 2646705 0
[pid=30785/tid=30787] ppid=30782 vsize=10746276 memory=2004 CPUtime=1.88 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30782 30785 30397 0 -1 1077944384 15385 0 0 0 181 7 0 0 20 0 16 0 414318335 11004186624 47511 33554432000 4194304 4196468 140729440753328 140145402055856 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10746276 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 47511 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10746276 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 47511 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10746276 memory=780 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 47511 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10746276 memory=4160 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 47511 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10746276 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 1161 0 0 0 0 0 0 0 20 0 16 0 414318337 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10746276 memory=1028 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10746276 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10746276 memory=165240 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10746276 memory=756 CPUtime=0.81 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 2523 0 0 0 81 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10746276 memory=1548 CPUtime=0.76 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 1802 0 0 0 76 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10746276 memory=7972 CPUtime=0.5 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 2390 0 0 0 50 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10746276 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10746276 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30803] ppid=30782 vsize=10746276 memory=14008 CPUtime=7.66 cores=0,2,4,6
/proc/30785/task/30803/stat : 30803 (java) R 30782 30785 30397 0 -1 4202560 4580 0 0 0 764 2 0 0 20 0 16 0 414318526 11004186624 47511 33554432000 4194304 4196468 140729440753328 140144864374224 140145006413600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 11.73 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 190044 KiB
[startup+10.0007 s]*
/proc/loadavg: 1.10 0.31 0.14 3/229 30804
/proc/meminfo: memFree=30874352/32770624 swapFree=66981380/67108860
[pid=30785] ppid=30782 vsize=10746276 memory=192092 CPUtime=12.14 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30782 30785 30397 0 -1 1077944320 29511 0 0 0 1201 13 0 0 20 0 16 0 414318335 11004186624 48023 33554432000 4194304 4196468 140729440753328 140729440735872 140145397812983 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
/proc/30785/statm: 2686569 48023 3345 1 0 2646705 0
[pid=30785/tid=30787] ppid=30782 vsize=10746276 memory=590024543032062131 CPUtime=1.88 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30782 30785 30397 0 -1 1077944384 15385 0 0 0 181 7 0 0 20 0 16 0 414318335 11004186624 48023 33554432000 4194304 4196468 140729440753328 140145402055856 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30788] ppid=30782 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30782 30785 30397 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 48023 33554432000 4194304 4196468 140729440753328 140145323887632 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30789] ppid=30782 vsize=10746276 memory=3473458611391587140 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30782 30785 30397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 48023 33554432000 4194304 4196468 140729440753328 140145322835088 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30790] ppid=30782 vsize=10746276 memory=-4695043397844020537 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30782 30785 30397 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414318336 11004186624 48023 33554432000 4194304 4196468 140729440753328 140145321782032 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30791] ppid=30782 vsize=10746276 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30782 30785 30397 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414318336 11004186624 48023 33554432000 4194304 4196468 140729440753328 140145000967056 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30792] ppid=30782 vsize=10746276 memory=3472468184718984880 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30782 30785 30397 0 -1 1077944384 1161 0 0 0 0 0 0 0 20 0 16 0 414318337 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144889575664 140145397824130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30793] ppid=30782 vsize=10746276 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30782 30785 30397 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144888521888 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30794] ppid=30782 vsize=10746276 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30782 30785 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414318338 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144887468784 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30795] ppid=30782 vsize=10746276 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144886417360 140145397831579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30796] ppid=30782 vsize=10746276 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30782 30785 30397 0 -1 1077944384 2523 0 0 0 81 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144885365488 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30797] ppid=30782 vsize=10746276 memory=3472328296227418159 CPUtime=0.76 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30782 30785 30397 0 -1 1077944384 1802 0 0 0 76 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144884312944 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30798] ppid=30782 vsize=10746276 memory=139888491566720 CPUtime=0.5 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30782 30785 30397 0 -1 1077944384 2390 0 0 0 50 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144883259888 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30799] ppid=30782 vsize=10746276 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30782 30785 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144882207584 140145397823189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30800] ppid=30782 vsize=10746276 memory=139888491566720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30800/stat : 30800 (java) S 30782 30785 30397 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414318341 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144881154608 140145397824130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
[pid=30785/tid=30803] ppid=30782 vsize=10746276 memory=0 CPUtime=8.07 cores=0,2,4,6
/proc/30785/task/30803/stat : 30803 (java) R 30782 30785 30397 0 -1 4202560 4582 0 0 0 805 2 0 0 20 0 16 0 414318526 11004186624 48023 33554432000 4194304 4196468 140729440753328 140144864374224 140145006381332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12484608 140729440756747 140729440756850 140729440756850 140729440759759 0
Current children cumulated CPU time: 12.14 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 192092 KiB
Child status: 0
Real time (s): 10.1033
CPU time (s): 12.2491
CPU user time (s): 12.1003
CPU system time (s): 0.148851
CPU usage (%): 121.239
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 192092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1003
system time used= 0.148851
maximum resident set size= 198744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31494
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= 2570
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 30785
# total CPU time (s): 12.2491
# total CPU user time (s): 12.1003
# total CPU system time (s): 0.148851
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076785 second user time and 0.151763 second system time
The end