2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
2.95/2.05 Instance
2.95/2.05 name=instance-4391081-1568389320, framework=COP, bounds=-infty..+infty
2.95/2.05
2.95/2.05 Loading variables...
3.27/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67038a99
3.27/2.13 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54110b
3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c306a
3.27/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c9ab2
3.27/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adaf1b
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e6ae40
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19910ff8
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9410a0
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ca9ef3
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cded5a5
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117e1fe7
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37207439
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1df2fc78
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be225ae
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5facab8f
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e72fd1
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174cbbb0
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c5cc17a
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b53e0ff
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24efe194
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5430565b
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6253e8
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48536041
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a6c3b5
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20fc4cac
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23236190
3.27/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d94e55
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7990f2
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032f3aa
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@463750b9
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f98a14e
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ab42b4
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41c4623
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9e1f1a0
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61836420
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1225dbb9
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4fd718
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0991cf
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418acfe1
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a496947
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c996359
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e37f6dc
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e94f5f
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc725af
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6de41e
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686c60e1
3.27/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ce592a
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b4c7a1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5ad921
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277275e8
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76791d27
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eccb757
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e872b
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b0e711
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead342e
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54c1b1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8ba759
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af3cb53
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57aec3f7
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ea7584
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4129ea
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba72
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270d7f7b
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e15a7a
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32556143
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c97104
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9deda1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cc2c1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72748705
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f6809e
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a77818
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bff63b1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1abfb48e
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be078ab
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762dc4da
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e6cd1
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8b55c
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5707a4a7
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5775faec
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf0c293
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2ef56f
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201e2cfa
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@959aeb3
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3654cab3
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260fbd45
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8b41
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372700ba
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9092a8
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb7f4
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4f5a
3.27/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8a1817
3.58/2.26
3.58/2.26
3.58/2.26 Domains
3.58/2.26 nTypes=8, nValues=9520, sizes=[2#255,4#85,7#85,8#85,10#170,18#85,24#85,25#85]
3.58/2.26 Variables
3.58/2.26 count=935, degrees=[3#105,4#830]
3.58/2.26 Objectives
3.58/2.26 way=min, type=SumSimpleLE
3.58/2.26 Constraints
3.58/2.26 count=181, nSpecific=181, arities=[11#85,20#84,85#12]
3.58/2.26 distribution=[LexicographicLe#84,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#85]
3.58/2.26 wck=0.408, cpu=2.22, mem=34M439
3.58/2.26 Solver SolverBacktrack being built...
3.58/2.26
3.58/2.30
3.58/2.30 Solver
3.58/2.30 guaranteedGAC=false
3.58/2.30 wck=0.449, cpu=2.259, mem=47M724
3.85/2.32
3.85/2.32 Preprocessing
3.85/2.32 filters=85, nACremovedValues=7140, nTotalRemovedValues=7140, inconcistency=false
3.85/2.32 wck=0.026, cpu=2.288, mem=47M724
3.85/2.32
3.85/2.36 num=0, depth=0..71, filters=1068, wck=0.06, mem=47M724
3.85/2.36 decisions=95, wrong=17, backtracks=9, failedAssignments=10, nogoods=1
3.85/2.36
3.85/2.37 num=1, depth=0..50, filters=1665, wck=0.072, mem=47M724
3.85/2.37 decisions=157, wrong=28, backtracks=9, failedAssignments=21, nogoods=11
3.85/2.37
3.85/2.40 num=2, depth=6..28, filters=2471, wck=0.1, mem=47M724
3.85/2.40 decisions=235, wrong=64, backtracks=34, failedAssignments=33, nogoods=12
3.85/2.40
4.17/2.42 num=3, depth=30..56, filters=4068, wck=0.122, mem=47M724
4.17/2.42 decisions=419, wrong=141, backtracks=110, failedAssignments=46, nogoods=14
4.17/2.42
4.17/2.43 num=4, depth=4..21, filters=4682, wck=0.129, mem=47M724
4.17/2.43 decisions=466, wrong=159, backtracks=117, failedAssignments=60, nogoods=24
4.17/2.43
4.17/2.45 num=5, depth=0..87, filters=6393, wck=0.151, mem=47M724
4.17/2.45 decisions=626, wrong=199, backtracks=143, failedAssignments=76, nogoods=32
4.17/2.45
4.17/2.47 o 77
4.17/2.48 num=6, depth=6..934, filters=7112, ccks=181, wck=0.179, mem=47M724
4.17/2.48 decisions=789, wrong=229, backtracks=162, failedAssignments=91, nogoods=38, foundSolutions=1, bestBound=77
4.17/2.48
4.17/2.49 num=7, depth=6..79, filters=7979, ccks=181, wck=0.193, mem=47M724
4.17/2.49 decisions=933, wrong=273, backtracks=189, failedAssignments=110, nogoods=45, foundSolutions=1, bestBound=77
4.17/2.49
4.50/2.50 num=8, depth=13..35, filters=8950, ccks=181, wck=0.2, mem=47M724
4.50/2.50 decisions=1030, wrong=314, backtracks=222, failedAssignments=121, nogoods=48, foundSolutions=1, bestBound=77
4.50/2.50
4.50/2.51 o 72
4.50/2.51 num=9, depth=7..934, filters=9519, ccks=362, wck=0.214, mem=47M724
4.50/2.51 decisions=1147, wrong=327, backtracks=224, failedAssignments=132, nogoods=58, foundSolutions=2, bestBound=72
4.50/2.51
4.50/2.53 o 71
4.50/2.53 num=10, depth=7..934, filters=10011, ccks=543, wck=0.228, mem=50M367
4.50/2.53 decisions=1232, wrong=331, backtracks=224, failedAssignments=136, nogoods=62, foundSolutions=3, bestBound=71
4.50/2.53
4.50/2.53 o 70
4.50/2.54 num=11, depth=7..934, filters=10482, ccks=724, wck=0.24, mem=50M367
4.50/2.54 decisions=1324, wrong=337, backtracks=226, failedAssignments=140, nogoods=65, foundSolutions=4, bestBound=70
4.50/2.54
4.50/2.55 o 69
4.50/2.55 num=12, depth=75..934, filters=10910, ccks=905, wck=0.25, mem=50M367
4.50/2.55 decisions=1403, wrong=338, backtracks=226, failedAssignments=141, nogoods=66, foundSolutions=5, bestBound=69
4.50/2.55
4.50/2.56 o 68
4.50/2.56 num=13, depth=58..934, filters=11326, ccks=1086, wck=0.26, mem=50M367
4.50/2.56 decisions=1477, wrong=339, backtracks=226, failedAssignments=142, nogoods=67, foundSolutions=6, bestBound=68
4.50/2.56
4.50/2.57 o 67
4.50/2.57 num=14, depth=36..934, filters=11806, ccks=1267, wck=0.27, mem=50M367
4.50/2.57 decisions=1562, wrong=348, backtracks=228, failedAssignments=149, nogoods=74, foundSolutions=7, bestBound=67
4.50/2.57
4.50/2.58 o 66
4.50/2.58 num=15, depth=38..934, filters=12300, ccks=1448, wck=0.28, mem=53M9
4.50/2.58 decisions=1656, wrong=361, backtracks=233, failedAssignments=157, nogoods=80, foundSolutions=8, bestBound=66
4.50/2.58
4.50/2.59 o 65
4.50/2.59 num=16, depth=16..934, filters=12775, ccks=1629, wck=0.29, mem=53M9
4.50/2.59 decisions=1736, wrong=371, backtracks=237, failedAssignments=163, nogoods=84, foundSolutions=9, bestBound=65
4.50/2.59
4.50/2.60 o 64
4.50/2.60 num=17, depth=28..934, filters=13332, ccks=1810, wck=0.3, mem=53M9
4.50/2.60 decisions=1833, wrong=387, backtracks=250, failedAssignments=167, nogoods=87, foundSolutions=10, bestBound=64
4.50/2.60
4.83/2.61 o 63
4.83/2.61 num=18, depth=28..934, filters=13821, ccks=1991, wck=0.31, mem=53M9
4.83/2.61 decisions=1926, wrong=402, backtracks=257, failedAssignments=175, nogoods=94, foundSolutions=11, bestBound=63
4.83/2.61
4.83/2.62 o 62
4.83/2.62 num=19, depth=26..934, filters=14395, ccks=2172, wck=0.32, mem=53M9
4.83/2.62 decisions=2018, wrong=421, backtracks=271, failedAssignments=182, nogoods=98, foundSolutions=12, bestBound=62
4.83/2.62
4.83/2.63 o 60
4.83/2.63 num=20, depth=23..934, filters=14872, ccks=2353, wck=0.33, mem=53M9
4.83/2.63 decisions=2105, wrong=435, backtracks=283, failedAssignments=187, nogoods=100, foundSolutions=13, bestBound=60
4.83/2.63
4.83/2.63
4.83/2.63 New Bounds: 60..59
4.83/2.63 num=21, depth=0..22, filters=15527, ccks=2353, wck=0.336, mem=53M9
4.83/2.63 decisions=2163, wrong=465, backtracks=309, failedAssignments=194, foundSolutions=13, bestBound=60
4.83/2.63
4.83/2.63 Global
4.83/2.63 filters=15527, ccks=2353
4.83/2.63 Stop=FULL_EXPLORATION, wrong=465, bestBound=60, bestBoundWck=0.779, bestBoundCpu=2.588, foundSolutions=13, firstSolCpu=2.429
4.83/2.63 wck=0.786, cpu=2.596, mem=53M9
4.83/2.63
4.83/2.63 v <instantiation id='sol13' type='solution' cost='60'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
4.83/2.63 s OPTIMUM FOUND
4.83/2.63
4.83/2.63 d WRONG_DECISIONS 465
4.83/2.63 d NUMBER_SOLUTIONS 13
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 (15490 MiB free)
memory of node 1: 16384 MiB (13287 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391081-1568389320/watcher-4391081-1568389320 -o /tmp/evaluation-result-4391081-1568389320/solver-4391081-1568389320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23588 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391081-1568389320.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23607, runsolver pid=23604
[startup+0.100057 s]*
/proc/loadavg: 0.64 0.70 0.95 4/228 23646
/proc/meminfo: memFree=29438176/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10659884 memory=29552 CPUtime=0.13 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 5384 0 0 0 12 1 0 0 20 0 15 0 414868551 10915721216 7388 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2664971 7388 2849 1 0 2627468 0
[pid=23607/tid=23609] ppid=23604 vsize=10659884 memory=8246674155440865347 CPUtime=0.09 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23604 23607 21280 0 -1 1077944384 3220 0 0 0 8 1 0 0 20 0 15 0 414868551 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828475585168 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10659884 memory=4211974359911624074 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 7388 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) R 23604 23607 21280 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) R 23604 23607 21280 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827501574552 139828452902689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0.02 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 7388 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29552 KiB
[startup+0.21083 s]*
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29410944/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10659884 memory=37252 CPUtime=0.32 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 6922 0 0 0 30 2 0 0 20 0 15 0 414868551 10915721216 9313 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2664971 9313 2989 1 0 2627468 0
[pid=23607/tid=23609] ppid=23604 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) R 23604 23607 21280 0 -1 4202560 3880 0 0 0 18 2 0 0 20 0 15 0 414868551 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828475583536 139828471379101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10659884 memory=4211974359911624074 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 9313 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) S 23604 23607 21280 0 -1 1077944384 652 0 0 0 3 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) S 23604 23607 21280 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827501574256 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0.05 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 783 0 0 0 5 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9313 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37252 KiB
[startup+0.310085 s]*
/proc/loadavg: 0.64 0.70 0.95 5/228 23646
/proc/meminfo: memFree=29406736/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10659884 memory=42588 CPUtime=0.47 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 9437 0 0 0 44 3 0 0 20 0 15 0 414868551 10915721216 10647 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2664971 10647 3002 1 0 2627468 0
[pid=23607/tid=23609] ppid=23604 vsize=10659884 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) R 23604 23607 21280 0 -1 4202560 6323 0 0 0 27 3 0 0 20 0 15 0 414868551 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828475596160 139828471379101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10659884 memory=140633706833536 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 10662 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) S 23604 23607 21280 0 -1 1077944384 687 0 0 0 4 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) R 23604 23607 21280 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827501574256 139828471368322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10659884 memory=140634121702087 CPUtime=0.08 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10659884 memory=281267310825456 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 10662 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 42588 KiB
[startup+0.701246 s]
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29390028/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10661932 memory=65804 CPUtime=1.1 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 13066 0 0 0 105 5 0 0 20 0 15 0 414868551 10917818368 16451 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2665483 16451 3062 1 0 2627980 0
[pid=23607/tid=23609] ppid=23604 vsize=10661932 memory=1432 CPUtime=0.68 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) R 23604 23607 21280 0 -1 4202560 8874 0 0 0 64 4 0 0 20 0 15 0 414868551 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828475583056 139828456723937 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10661932 memory=7811607157311039314 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10661932 memory=7444843076533644388 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868554 10917818368 16451 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) S 23604 23607 21280 0 -1 1077944384 1026 0 0 0 10 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10661932 memory=242072141459357 CPUtime=0.11 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) R 23604 23607 21280 0 -1 4202560 577 0 0 0 11 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827501574256 139828448951953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10661932 memory=2933550 CPUtime=0.19 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 1249 0 0 0 19 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 16451 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 65804 KiB
[startup+1.50079 s]
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29355868/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10663980 memory=77924 CPUtime=2.01 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 16807 0 0 0 195 6 0 0 20 0 15 0 414868551 10919915520 19481 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2665995 19481 3092 1 0 2628492 0
[pid=23607/tid=23609] ppid=23604 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) R 23604 23607 21280 0 -1 4202560 11585 0 0 0 143 5 0 0 20 0 15 0 414868551 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828475574112 139828455437662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10663980 memory=281267207978944 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10663980 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10663980 memory=15534145912703117 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 414868554 10919915520 19481 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10663980 memory=13361 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10663980 memory=14127849085637308 CPUtime=0.13 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) S 23604 23607 21280 0 -1 1077944384 1270 0 0 0 13 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) S 23604 23607 21280 0 -1 1077944384 1341 0 0 0 19 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827501574256 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 1251 0 0 0 19 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414868557 10919915520 19481 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 77924 KiB
[startup+2.64563 s]
# the end of solver process 23607 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.80883 s, system=0.142326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60087 s]
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29355868/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10666028 memory=78884 CPUtime=2.11 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 17068 0 0 0 205 6 0 0 20 0 15 0 414868551 10922012672 19721 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2666507 19721 3092 1 0 2629004 0
[pid=23607/tid=23609] ppid=23604 vsize=10666028 memory=7158865586402906448 CPUtime=1.57 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) R 23604 23607 21280 0 -1 4202560 11844 0 0 0 152 5 0 0 20 0 15 0 414868551 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828475574112 139828455437662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10666028 memory=45216618 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10666028 memory=525 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868552 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10666028 memory=281267208273904 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868552 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10666028 memory=140633604131768 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 414868554 10922012672 19721 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10666028 memory=281267208186080 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414868554 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827505784224 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10666028 memory=2110984211241748 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868554 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827504731632 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10666028 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) S 23604 23607 21280 0 -1 1077944384 1272 0 0 0 14 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827502626800 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10666028 memory=281267207755296 CPUtime=0.19 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) S 23604 23607 21280 0 -1 1077944384 1341 0 0 0 19 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827501574256 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10666028 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 1251 0 0 0 19 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414868557 10922012672 19721 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 78884 KiB
[startup+2.40118 s]
/proc/loadavg: 0.64 0.70 0.95 5/230 23648
/proc/meminfo: memFree=29222304/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10748324 memory=158684 CPUtime=4.17 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 24082 0 0 0 404 13 0 0 20 0 16 0 414868551 11006283776 39671 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2687081 39671 3346 1 0 2647217 0
[pid=23607/tid=23609] ppid=23604 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23604 23607 21280 0 -1 1077944384 13145 0 0 0 179 6 0 0 20 0 16 0 414868551 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828475600048 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414868552 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 16 0 414868554 11006283776 39671 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414868554 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827505784288 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414868554 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827504731648 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10748324 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) R 23604 23607 21280 0 -1 4202560 1896 0 0 0 55 0 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827502607816 139828454857572 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10748324 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) R 23604 23607 21280 0 -1 4202560 1906 0 0 0 61 1 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827501555272 139828456278957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10748324 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) S 23604 23607 21280 0 -1 1077944384 2214 0 0 0 54 1 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827500521712 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23647] ppid=23604 vsize=10748324 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/23607/task/23647/stat : 23647 (java) R 23604 23607 21280 0 -1 4202560 3222 0 0 0 47 1 0 0 20 0 16 0 414868739 11006283776 39671 33554432000 4194304 4196468 140720431444192 139827173326304 139828471369110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 158684 KiB
[startup+2.60518 s]
/proc/loadavg: 0.64 0.70 0.95 5/230 23648
/proc/meminfo: memFree=29222304/32770624 swapFree=66958212/67108860
[pid=23607] ppid=23604 vsize=10748324 memory=160384 CPUtime=4.83 cores=1,3,5,7
/proc/23607/stat : 23607 (java) S 23604 23607 21280 0 -1 1077944320 24494 0 0 0 470 13 0 0 20 0 16 0 414868551 11006283776 40096 33554432000 4194304 4196468 140720431444192 140720431426736 139828471357175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
/proc/23607/statm: 2687081 40096 3349 1 0 2647217 0
[pid=23607/tid=23609] ppid=23604 vsize=10748324 memory=288230596034167089 CPUtime=1.85 cores=1,3,5,7
/proc/23607/task/23609/stat : 23609 (java) S 23604 23607 21280 0 -1 1077944384 13145 0 0 0 179 6 0 0 20 0 16 0 414868551 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828475600048 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23610] ppid=23604 vsize=10748324 memory=13848564522550896 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23610/stat : 23610 (java) S 23604 23607 21280 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828078024976 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23611] ppid=23604 vsize=10748324 memory=2529 CPUtime=0.01 cores=1,3,5,7
/proc/23607/task/23611/stat : 23611 (java) S 23604 23607 21280 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414868552 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828076972432 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23612] ppid=23604 vsize=10748324 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23612/stat : 23612 (java) S 23604 23607 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828075919888 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23613] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23613/stat : 23613 (java) S 23604 23607 21280 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414868552 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828074867344 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23618] ppid=23604 vsize=10748324 memory=281267208202432 CPUtime=0.01 cores=1,3,5,7
/proc/23607/task/23618/stat : 23618 (java) S 23604 23607 21280 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 16 0 414868554 11006283776 40096 33554432000 4194304 4196468 140720431444192 139828030425584 139828471368322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23621] ppid=23604 vsize=10748324 memory=140633604111824 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23621/stat : 23621 (java) S 23604 23607 21280 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414868554 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827505784288 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23622] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23622/stat : 23622 (java) S 23604 23607 21280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414868554 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827504731648 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23632] ppid=23604 vsize=10748324 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23632/stat : 23632 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827503680208 139828471375771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23633] ppid=23604 vsize=10748324 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/23607/task/23633/stat : 23633 (java) R 23604 23607 21280 0 -1 4202560 2088 0 0 0 75 0 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827502613616 139828463646647 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23634] ppid=23604 vsize=10748324 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/23607/task/23634/stat : 23634 (java) R 23604 23607 21280 0 -1 4202560 2008 0 0 0 81 1 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827501560800 139828454844038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23635] ppid=23604 vsize=10748324 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/23607/task/23635/stat : 23635 (java) R 23604 23607 21280 0 -1 4202560 2312 0 0 0 59 1 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827500521712 139828471378522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23637] ppid=23604 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23637/stat : 23637 (java) S 23604 23607 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827499469408 139828471367381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23638] ppid=23604 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23607/task/23638/stat : 23638 (java) S 23604 23607 21280 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827498416944 139828471368322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
[pid=23607/tid=23647] ppid=23604 vsize=10748324 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23607/task/23647/stat : 23647 (java) R 23604 23607 21280 0 -1 4202560 3242 0 0 0 67 1 0 0 20 0 16 0 414868739 11006283776 40096 33554432000 4194304 4196468 140720431444192 139827173330640 139828471369110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7499776 140720431449099 140720431449202 140720431449202 140720431452111 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 160384 KiB
Child status: 0
Real time (s): 2.64566
CPU time (s): 4.95116
CPU user time (s): 4.80883
CPU system time (s): 0.142326
CPU usage (%): 187.142
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 160384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.80883
system time used= 0.142326
maximum resident set size= 161056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24564
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= 2611
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 23607
# total CPU time (s): 4.95116
# total CPU user time (s): 4.80883
# total CPU system time (s): 0.142326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04736 second user time and 0.060459 second system time
The end