2.39/1.89
2.39/1.89 AbsCon 2
2.65/1.91
2.95/2.07 Instance
2.95/2.07 name=instance-4391204-1568389324, framework=COP, bounds=-infty..+infty
2.95/2.07
2.95/2.07 Loading variables...
3.19/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
3.19/2.15 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aa542de
3.19/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b0e711
3.19/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead342e
3.19/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54c1b1
3.19/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270d7f7b
3.19/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e15a7a
3.19/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32556143
3.19/2.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c97104
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cc2c1
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f6809e
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be078ab
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762dc4da
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e6cd1
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8b55c
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5707a4a7
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5775faec
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf0c293
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2ef56f
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201e2cfa
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@959aeb3
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3654cab3
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260fbd45
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8b41
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372700ba
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9092a8
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb7f4
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4f5a
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8a1817
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e05886
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a11aad7
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edb52cc
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa3505
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e03c507
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4519e8
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546628ea
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27646249
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a229de
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447f0750
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c6c84
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153bfc75
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce51601
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed1e8c5
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c414bc3
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2584b47
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca78944
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f49fd1a
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738200fa
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20353615
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a76c4fb
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bab466
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@279d475f
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5b8d01
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c441b0
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f0b95b3
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be0324
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d190f32
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f43a254
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbfbda
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd2962
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25bbe414
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4755b8
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87c44a
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7834d574
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccb6714
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c1a10
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d66def0
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc886ab
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a06506b
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf4566e
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71df0b36
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094fbcc
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349fd31f
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e79a76
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51491157
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c13b84
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd58406
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e7e6465
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b76e8
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550dada6
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d46195
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68dcb1
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f80bbfc
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bb7a6d
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6d55f2
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e233ff
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c1ae0b
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@548cf083
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d9ad22e
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f00faec
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f844ff
3.19/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18408b18
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16fd11cf
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34fb0f5d
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d52387
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77dd3931
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61243cc2
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6660e922
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f2e2f7
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367fb63
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544d78ee
3.46/2.28
3.46/2.28
3.46/2.28 Domains
3.46/2.28 nTypes=8, nValues=10192, sizes=[2#182,3#91,6#91,11#273,12#91,15#91,17#91,22#91]
3.46/2.28 Variables
3.46/2.28 count=1001, degrees=[3#111,4#890]
3.46/2.28 Objectives
3.46/2.28 way=min, type=SumSimpleLE
3.46/2.28 Constraints
3.46/2.28 count=193, nSpecific=193, arities=[11#91,20#90,91#12]
3.46/2.28 distribution=[LexicographicLe#90,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#91]
3.46/2.28 wck=0.423, cpu=2.25, mem=34M440
3.46/2.29 Solver SolverBacktrack being built...
3.46/2.29
3.79/2.32
3.79/2.32 Solver
3.79/2.32 guaranteedGAC=false
3.79/2.32 wck=0.466, cpu=2.291, mem=47M725
3.79/2.35
3.79/2.35 Preprocessing
3.79/2.35 filters=91, nACremovedValues=7826, nTotalRemovedValues=7826, inconcistency=false
3.79/2.35 wck=0.025, cpu=2.317, mem=47M725
3.79/2.35
3.79/2.40 num=0, depth=0..88, filters=873, wck=0.072, mem=47M725
3.79/2.40 decisions=105, wrong=11, backtracks=2, failedAssignments=10, nogoods=7
3.79/2.40
4.13/2.41 num=1, depth=28..38, filters=1525, wck=0.083, mem=47M725
4.13/2.41 decisions=155, wrong=22, backtracks=2, failedAssignments=21, nogoods=18
4.13/2.41
4.13/2.43 num=2, depth=0..107, filters=2202, wck=0.106, mem=47M725
4.13/2.43 decisions=290, wrong=41, backtracks=9, failedAssignments=33, nogoods=24
4.13/2.43
4.13/2.44 num=3, depth=33..46, filters=2930, wck=0.116, mem=47M725
4.13/2.44 decisions=392, wrong=74, backtracks=38, failedAssignments=46, nogoods=27
4.13/2.44
4.13/2.45 num=4, depth=12..36, filters=3800, wck=0.125, mem=47M725
4.13/2.45 decisions=472, wrong=101, backtracks=54, failedAssignments=60, nogoods=33
4.13/2.45
4.13/2.46 num=5, depth=7..37, filters=5044, wck=0.136, mem=47M725
4.13/2.46 decisions=565, wrong=144, backtracks=84, failedAssignments=76, nogoods=34
4.13/2.46
4.13/2.47 num=6, depth=3..49, filters=5658, wck=0.143, mem=47M725
4.13/2.47 decisions=644, wrong=165, backtracks=88, failedAssignments=93, nogoods=51
4.13/2.47
4.13/2.48 num=7, depth=6..53, filters=6563, wck=0.15, mem=47M725
4.13/2.48 decisions=747, wrong=195, backtracks=106, failedAssignments=112, nogoods=59
4.13/2.48
4.13/2.50 num=8, depth=8..62, filters=7504, wck=0.171, mem=47M725
4.13/2.50 decisions=865, wrong=228, backtracks=124, failedAssignments=133, nogoods=69
4.13/2.50
4.41/2.50 num=9, depth=8..32, filters=8556, wck=0.177, mem=47M725
4.41/2.50 decisions=967, wrong=269, backtracks=156, failedAssignments=156, nogoods=75
4.41/2.50
4.41/2.52 o 83
4.41/2.52 num=10, depth=11..1000, filters=9305, ccks=193, wck=0.197, mem=50M368
4.41/2.52 decisions=1074, wrong=294, backtracks=166, failedAssignments=172, nogoods=89, foundSolutions=1, bestBound=83
4.41/2.52
4.41/2.54 o 82
4.41/2.54 num=11, depth=14..1000, filters=10067, ccks=386, wck=0.214, mem=50M368
4.41/2.54 decisions=1188, wrong=317, backtracks=169, failedAssignments=192, nogoods=109, foundSolutions=2, bestBound=82
4.41/2.54
4.41/2.55 num=12, depth=15..80, filters=10807, ccks=386, wck=0.223, mem=50M368
4.41/2.55 decisions=1288, wrong=332, backtracks=173, failedAssignments=203, nogoods=120, foundSolutions=2, bestBound=82
4.41/2.55
4.41/2.55 num=13, depth=27..63, filters=11557, ccks=386, wck=0.229, mem=50M368
4.41/2.55 decisions=1380, wrong=352, backtracks=182, failedAssignments=214, nogoods=128, foundSolutions=2, bestBound=82
4.41/2.55
4.41/2.56 num=14, depth=24..100, filters=12233, ccks=386, wck=0.234, mem=50M368
4.41/2.56 decisions=1508, wrong=373, backtracks=193, failedAssignments=226, nogoods=136, foundSolutions=2, bestBound=82
4.41/2.56
4.41/2.57 num=15, depth=16..39, filters=13119, ccks=386, wck=0.242, mem=50M368
4.41/2.57 decisions=1585, wrong=396, backtracks=206, failedAssignments=239, nogoods=145, foundSolutions=2, bestBound=82
4.41/2.57
4.41/2.58 num=16, depth=0..28, filters=14421, ccks=386, wck=0.253, mem=50M368
4.41/2.58 decisions=1678, wrong=440, backtracks=241, failedAssignments=253, nogoods=148, foundSolutions=2, bestBound=82
4.41/2.58
4.41/2.58 num=17, depth=0..62, filters=15183, ccks=386, wck=0.258, mem=50M368
4.41/2.58 decisions=1798, wrong=474, backtracks=263, failedAssignments=269, nogoods=158, foundSolutions=2, bestBound=82
4.41/2.58
4.41/2.59 num=18, depth=6..52, filters=15774, ccks=386, wck=0.262, mem=50M368
4.41/2.59 decisions=1920, wrong=515, backtracks=291, failedAssignments=286, nogoods=162, foundSolutions=2, bestBound=82
4.41/2.59
4.41/2.59 num=19, depth=32..45, filters=16285, ccks=386, wck=0.266, mem=50M368
4.41/2.59 decisions=2033, wrong=552, backtracks=322, failedAssignments=305, nogoods=165, foundSolutions=2, bestBound=82
4.41/2.59
4.73/2.60 num=20, depth=44..52, filters=16966, ccks=386, wck=0.274, mem=50M368
4.73/2.60 decisions=2183, wrong=603, backtracks=363, failedAssignments=326, nogoods=168, foundSolutions=2, bestBound=82
4.73/2.60
4.73/2.62 o 67
4.73/2.63 num=21, depth=35..1000, filters=17250, ccks=579, wck=0.302, mem=50M368
4.73/2.63 decisions=2240, wrong=611, backtracks=363, failedAssignments=334, nogoods=176, foundSolutions=3, bestBound=67
4.73/2.63
4.73/2.64
4.73/2.64 New Bounds: 67..66
4.73/2.64 num=22, depth=0..34, filters=18053, ccks=579, wck=0.316, mem=50M368
4.73/2.64 decisions=2332, wrong=658, backtracks=403, failedAssignments=346, foundSolutions=3, bestBound=67
4.73/2.64
4.73/2.64 Global
4.73/2.64 filters=18053, ccks=579
4.73/2.64 Stop=FULL_EXPLORATION, wrong=658, bestBound=67, bestBoundWck=0.766, bestBoundCpu=2.59, foundSolutions=3, firstSolCpu=2.478
4.73/2.64 wck=0.783, cpu=2.607, mem=50M368
4.73/2.64
4.73/2.64 v <instantiation id='sol3' type='solution' cost='67'> <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 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 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 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 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 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 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 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 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 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 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 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 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 </values> </instantiation>
4.73/2.64 s OPTIMUM FOUND
4.73/2.64
4.73/2.64 d WRONG_DECISIONS 658
4.73/2.64 d NUMBER_SOLUTIONS 3
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 (11653 MiB free)
memory of node 1: 16384 MiB (14337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391204-1568389324/watcher-4391204-1568389324 -o /tmp/evaluation-result-4391204-1568389324/solver-4391204-1568389324 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391204-1568389324.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3825, runsolver pid=3818
[startup+0.103321 s]*
/proc/loadavg: 1.13 1.66 1.84 6/227 3849
/proc/meminfo: memFree=26584664/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10659884 memory=29864 CPUtime=0.14 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 5994 0 0 0 13 1 0 0 20 0 15 0 414846228 10915721216 7466 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2664971 7466 2903 1 0 2627468 0
[pid=3825/tid=3827] ppid=3818 vsize=10659884 memory=-8680506247144633536 CPUtime=0.09 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 414846229 10915721216 7532 33554432000 4194304 4196468 140732758245760 139902227827976 139902215834430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) R 3818 3825 3758 0 -1 4202560 373 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901523660888 139902201344302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) S 3818 3825 3758 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901522627440 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0.02 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) R 3818 3825 3758 0 -1 4202560 608 0 0 0 2 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901521570296 139902202555024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 7532 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29864 KiB
[startup+0.211366 s]*
/proc/loadavg: 1.13 1.66 1.84 5/227 3849
/proc/meminfo: memFree=26569252/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10659884 memory=37404 CPUtime=0.32 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 9109 0 0 0 30 2 0 0 20 0 15 0 414846228 10915721216 9351 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2664971 9351 2988 1 0 2627468 0
[pid=3825/tid=3827] ppid=3818 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 6131 0 0 0 18 1 0 0 20 0 15 0 414846229 10915721216 9351 33554432000 4194304 4196468 140732758245760 139902227829264 139902223619229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10659884 memory=139904288645732 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) S 3818 3825 3758 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901523679984 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) S 3818 3825 3758 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901522627440 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0.05 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 647 0 0 0 5 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 9351 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37404 KiB
[startup+0.310113 s]*
/proc/loadavg: 1.13 1.66 1.84 3/227 3849
/proc/meminfo: memFree=26559248/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10659884 memory=39956 CPUtime=0.47 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 9304 0 0 0 44 3 0 0 20 0 15 0 414846228 10915721216 9989 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2664971 9989 3001 1 0 2627468 0
[pid=3825/tid=3827] ppid=3818 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 6252 0 0 0 28 2 0 0 20 0 15 0 414846229 10915721216 10049 33554432000 4194304 4196468 140732758245760 139902227829104 139902223619229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10659884 memory=14271034758665880 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) R 3818 3825 3758 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901523679984 139902223608450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) S 3818 3825 3758 0 -1 1077944384 577 0 0 0 5 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901522627440 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0.07 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) R 3818 3825 3758 0 -1 4202560 671 0 0 0 7 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901521574384 139902223609238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10659884 memory=139904287381120 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846234 10915721216 10049 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39956 KiB
[startup+0.700737 s]
/proc/loadavg: 1.13 1.66 1.84 4/227 3849
/proc/meminfo: memFree=26539836/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10661932 memory=63636 CPUtime=1.11 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 12876 0 0 0 106 5 0 0 20 0 15 0 414846228 10917818368 15909 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2665483 15909 3073 1 0 2627980 0
[pid=3825/tid=3827] ppid=3818 vsize=10661932 memory=1368 CPUtime=0.67 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 8817 0 0 0 64 3 0 0 20 0 15 0 414846229 10917818368 15909 33554432000 4194304 4196468 140732758245760 139902227829328 139902207677790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846231 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10661932 memory=4639098309541126765 CPUtime=0.09 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) S 3818 3825 3758 0 -1 1077944384 829 0 0 0 9 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901523679984 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10661932 memory=7380108234216663121 CPUtime=0.13 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) R 3818 3825 3758 0 -1 4202560 766 0 0 0 13 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901522627440 139902204298791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10661932 memory=5788908277929698645 CPUtime=0.18 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 1105 0 0 0 18 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846234 10917818368 15909 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63636 KiB
[startup+1.50079 s]
/proc/loadavg: 1.13 1.66 1.84 3/227 3849
/proc/meminfo: memFree=26508496/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10663980 memory=75680 CPUtime=2.01 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 17211 0 0 0 195 6 0 0 20 0 15 0 414846228 10919915520 18920 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2665995 18920 3093 1 0 2628492 0
[pid=3825/tid=3827] ppid=3818 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 11947 0 0 0 143 4 0 0 20 0 15 0 414846229 10919915520 18920 33554432000 4194304 4196468 140732758245760 139902227823184 139902203875704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10663980 memory=7451882158583147350 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10663980 memory=7524223418081306705 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10663980 memory=7524223418081306705 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414846231 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10663980 memory=7518026630507423081 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10663980 memory=7590086462374310248 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10663980 memory=7594285462906105169 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10663980 memory=7526543425226922359 CPUtime=0.11 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) S 3818 3825 3758 0 -1 1077944384 1180 0 0 0 11 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901523679984 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10663980 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) S 3818 3825 3758 0 -1 1077944384 1594 0 0 0 20 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901522627440 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 1107 0 0 0 18 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10919915520 18920 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75680 KiB
[startup+2.663 s]
# the end of solver process 3825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.7557 s, system=0.135703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60093 s]
/proc/loadavg: 1.13 1.66 1.84 3/227 3849
/proc/meminfo: memFree=26508496/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10666028 memory=76640 CPUtime=2.11 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 17524 0 0 0 205 6 0 0 20 0 15 0 414846228 10922012672 19160 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2666507 19160 3093 1 0 2629004 0
[pid=3825/tid=3827] ppid=3818 vsize=10666028 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) R 3818 3825 3758 0 -1 4202560 12256 0 0 0 153 4 0 0 20 0 15 0 414846229 10922012672 19160 33554432000 4194304 4196468 140732758245760 139902227823184 139902207683712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414846229 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414846229 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10666028 memory=139904287382833 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414846231 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10666028 memory=7163370367517021550 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414846231 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901526836384 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10666028 memory=7309167735419596644 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414846231 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901525783280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10666028 memory=6075463926040055888 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10666028 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) S 3818 3825 3758 0 -1 1077944384 1184 0 0 0 12 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901523679984 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10666028 memory=156375330172472 CPUtime=0.2 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) S 3818 3825 3758 0 -1 1077944384 1594 0 0 0 20 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901522627440 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 1107 0 0 0 18 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10666028 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414846234 10922012672 19160 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76640 KiB
[startup+2.41137 s]
/proc/loadavg: 1.13 1.66 1.84 9/229 3851
/proc/meminfo: memFree=26353536/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10748324 memory=152116 CPUtime=4.13 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 23663 0 0 0 401 12 0 0 20 0 16 0 414846228 11006283776 38029 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2687081 38029 3345 1 0 2647217 0
[pid=3825/tid=3827] ppid=3818 vsize=10748324 memory=1768 CPUtime=1.87 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) S 3818 3825 3758 0 -1 1077944384 14011 0 0 0 181 6 0 0 20 0 16 0 414846229 11006283776 38029 33554432000 4194304 4196468 140732758245760 139902227840176 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10748324 memory=4104 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10748324 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414846229 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10748324 memory=-6873162000112450758 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 16 0 414846231 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10748324 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414846231 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901526836448 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846231 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901525783296 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10748324 memory=7014751519717611364 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10748324 memory=7811022289770015848 CPUtime=0.54 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) R 3818 3825 3758 0 -1 4202560 1659 0 0 0 54 0 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901523672472 139902215886763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10748324 memory=5936424229786446438 CPUtime=0.56 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) R 3818 3825 3758 0 -1 4202560 1883 0 0 0 56 0 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901522617104 139902202815935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10748324 memory=7228955145225792618 CPUtime=0.55 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 2111 0 0 0 54 1 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10748324 memory=7379826879633122386 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10748324 memory=7237402701566469477 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3851] ppid=3818 vsize=10748324 memory=7164506175844804969 CPUtime=0.47 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) R 3818 3825 3758 0 -1 4202560 1731 0 0 0 47 0 0 0 20 0 16 0 414846417 11006283776 38029 33554432000 4194304 4196468 140732758245760 139901434704064 139902223609238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 152116 KiB
[startup+2.60139 s]
/proc/loadavg: 1.13 1.66 1.84 9/229 3851
/proc/meminfo: memFree=26353536/32770624 swapFree=66957012/67108860
[pid=3825] ppid=3818 vsize=10748324 memory=155912 CPUtime=4.73 cores=0,2,4,6
/proc/3825/stat : 3825 (java) S 3818 3825 3758 0 -1 1077944320 25570 0 0 0 460 13 0 0 20 0 16 0 414846228 11006283776 38978 33554432000 4194304 4196468 140732758245760 140732758228304 139902223597303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
/proc/3825/statm: 2687081 38978 3348 1 0 2647217 0
[pid=3825/tid=3827] ppid=3818 vsize=10748324 memory=7512114543601282149 CPUtime=1.87 cores=0,2,4,6
/proc/3825/task/3827/stat : 3827 (java) S 3818 3825 3758 0 -1 1077944384 14011 0 0 0 181 6 0 0 20 0 16 0 414846229 11006283776 38978 33554432000 4194304 4196468 140732758245760 139902227840176 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3829] ppid=3818 vsize=10748324 memory=7810763844726514514 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3829/stat : 3829 (java) S 3818 3825 3758 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901830667280 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3830] ppid=3818 vsize=10748324 memory=6226877830981244515 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3830/stat : 3830 (java) S 3818 3825 3758 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901829614736 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3831] ppid=3818 vsize=10748324 memory=7440056984007045732 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3831/stat : 3831 (java) S 3818 3825 3758 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 414846229 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901828561680 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3832] ppid=3818 vsize=10748324 memory=7306643260982913383 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3832/stat : 3832 (java) S 3818 3825 3758 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414846229 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901827509136 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3835] ppid=3818 vsize=10748324 memory=-7533781438821528511 CPUtime=0.01 cores=0,2,4,6
/proc/3825/task/3835/stat : 3835 (java) S 3818 3825 3758 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 16 0 414846231 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901527890160 139902223608450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3836] ppid=3818 vsize=10748324 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3836/stat : 3836 (java) S 3818 3825 3758 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414846231 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901526836448 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3837] ppid=3818 vsize=10748324 memory=7100839861466010267 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3837/stat : 3837 (java) S 3818 3825 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414846231 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901525783296 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3844] ppid=3818 vsize=10748324 memory=8514701219376621709 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3844/stat : 3844 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901524731856 139902223615899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3845] ppid=3818 vsize=10748324 memory=-6352457572378185174 CPUtime=0.72 cores=0,2,4,6
/proc/3825/task/3845/stat : 3845 (java) R 3818 3825 3758 0 -1 4202560 1698 0 0 0 72 0 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901523666528 139902206981903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3846] ppid=3818 vsize=10748324 memory=-7163974055829550171 CPUtime=0.75 cores=0,2,4,6
/proc/3825/task/3846/stat : 3846 (java) R 3818 3825 3758 0 -1 4202560 1976 0 0 0 75 0 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901522616112 139902201614315 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3847] ppid=3818 vsize=10748324 memory=7245577299922993209 CPUtime=0.6 cores=0,2,4,6
/proc/3825/task/3847/stat : 3847 (java) S 3818 3825 3758 0 -1 1077944384 2193 0 0 0 59 1 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901521574384 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3848] ppid=3818 vsize=10748324 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3848/stat : 3848 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901520522080 139902223607509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3849] ppid=3818 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3825/task/3849/stat : 3849 (java) S 3818 3825 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414846234 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901519469104 139902223608450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
[pid=3825/tid=3851] ppid=3818 vsize=10748324 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3825/task/3851/stat : 3851 (java) R 3818 3825 3758 0 -1 4202560 3424 0 0 0 66 1 0 0 20 0 16 0 414846417 11006283776 38978 33554432000 4194304 4196468 140732758245760 139901434702208 139902223609238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17973248 140732758250507 140732758250610 140732758250610 140732758253519 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 155912 KiB
Child status: 0
Real time (s): 2.66304
CPU time (s): 4.89141
CPU user time (s): 4.7557
CPU system time (s): 0.135703
CPU usage (%): 183.677
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 155912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.7557
system time used= 0.135703
maximum resident set size= 156852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2665
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 3825
# total CPU time (s): 4.89141
# total CPU user time (s): 4.7557
# total CPU system time (s): 0.135703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043535 second user time and 0.064772 second system time
The end