2.38/1.90
2.38/1.90 AbsCon 2
2.62/1.91
3.24/2.12 Instance
3.24/2.12 name=instance-4391203-1568389316, framework=COP, bounds=-infty..+infty
3.24/2.12
3.24/2.12 Loading variables...
3.57/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6207032a
3.57/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452eb772
3.57/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79586a72
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6788355d
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f00210
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742addb6
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41eedca4
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c52fc5
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5087d
3.57/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aeb0bed
3.57/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a0f89ea
3.57/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a4531e
3.57/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c9f138
3.57/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@254b46aa
3.57/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65fde470
3.57/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a6fb7e7
3.57/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6995c77f
3.57/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d4088ee
3.57/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@320834c0
3.57/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe3fa08
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0026b4
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a030c
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d1b9c0
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52aae6a6
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e0d903
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2813bc4d
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@595eedb9
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e755971
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fabffa7
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bece099
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc258b4
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a8de919
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e693c84
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f432af
3.57/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c2f5ff2
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9def36
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd30697
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a72489
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f35f23e
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336fa5a0
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e97213
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b993ead
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9d1c30
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a54722
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c46376a
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa98ae9
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eedbb6b
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d76e026
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54acd463
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea441dc
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c79b4b
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3416ebf3
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68fb835f
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a2a532
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7daadb86
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9168dd
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3744f86c
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4c941
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c997be
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a190181
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@520d441e
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e994156
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c943e9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1c6645
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@582ecdb7
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73bbea8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d0076e9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790d45a3
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e622e7c
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ac1a5a
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f9ef04
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7bef8d
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619dc88
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e644dd8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc7aa84
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@108260ff
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73389a1f
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0514f
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad9b205
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291f047e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6275c1da
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613e8efa
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40a8f129
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0eb328
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8946bcc
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dea95b4
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eb4427c
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f995583
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a366377
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5010825c
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a71178
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2627a12
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c00b367
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6686ed
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20608ed7
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b65dd21
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225073c6
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186835ef
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6ecc07
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627a8f04
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa824e5
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f5aabb
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66674b0d
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75098281
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78db97e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468f66e2
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292b5f8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fecbaf1
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155b16f0
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b4a0b
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b2e709
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31334745
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77097276
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ddf559
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3428776e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c398f81
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc1af5
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3640f800
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65213615
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2ce290
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24270709
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed17651
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1caa5e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542314c1
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a2f49a
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73590e84
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49285c2
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42acc6e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58e148fc
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535e0be9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22817182
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb8e58e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dbcd8e0
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c36f3ec
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668bb0d1
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef35ba3
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50497fb3
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a97a868
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@106fc0cc
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3713b3dc
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564cbea9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f565f8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38517b9e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c548e46
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d4e8148
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45cadf3b
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679e1f8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2179e2
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1a5e51
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d60e368
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb43e9e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3566950
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57905c7e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639ae514
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ac6970
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@672920c8
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f750ed
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79be7b9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74fff571
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@500eade9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c802ed9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3016cda3
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4264c334
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43949445
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e4ce4d
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dc4fa66
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41e1302e
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a06fbe1
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc784a9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb3aa51
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e245a2
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a480e6d
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46108f0
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@182da0a3
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40693c46
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c2164f
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798e2e81
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@609f69d9
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d4a72e7
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d1bc27a
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53676429
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb08a88
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b14232
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ba7b32
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799e81d2
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fac0a35
4.53/2.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da33da
4.53/2.58
4.53/2.58
4.53/2.58 Domains
4.53/2.58 nTypes=12, nValues=37074, sizes=[2#334,3#334,5#334,8#167...14#668,15#334,18#334,20#167]
4.53/2.58 Variables
4.53/2.58 count=3507, degrees=[3#207,4#3300]
4.53/2.58 Objectives
4.53/2.58 way=min, type=SumSimpleLE
4.53/2.58 Constraints
4.53/2.58 count=355, nSpecific=355, arities=[21#167,40#166,167#22]
4.53/2.58 distribution=[LexicographicLe#166,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#167]
4.53/2.58 wck=0.668, cpu=2.494, mem=92M573
4.53/2.58 Solver SolverBacktrack being built...
4.53/2.58
4.53/2.60
4.53/2.60 Solver
4.53/2.60 guaranteedGAC=false
4.53/2.60 wck=0.734, cpu=2.559, mem=111M143
4.72/2.68
4.72/2.68 Preprocessing
4.72/2.68 filters=167, nACremovedValues=27889, nTotalRemovedValues=27889, inconcistency=false
4.72/2.68 wck=0.076, cpu=2.638, mem=113M785
4.72/2.68
5.27/2.83 num=0, depth=0..157, filters=1973, wck=0.231, mem=113M785
5.27/2.83 decisions=179, wrong=16, backtracks=9, failedAssignments=10, nogoods=1
5.27/2.83
5.27/2.88 num=1, depth=0..59, filters=3447, wck=0.282, mem=113M785
5.27/2.88 decisions=250, wrong=27, backtracks=9, failedAssignments=21, nogoods=11
5.27/2.88
5.58/2.91 num=2, depth=0..34, filters=5338, wck=0.315, mem=113M785
5.58/2.91 decisions=302, wrong=42, backtracks=12, failedAssignments=33, nogoods=22
5.58/2.91
5.58/2.96 num=3, depth=0..181, filters=7184, wck=0.365, mem=113M785
5.58/2.96 decisions=497, wrong=55, backtracks=12, failedAssignments=46, nogoods=34
5.58/2.96
5.58/2.99 num=4, depth=0..195, filters=8686, wck=0.394, mem=113M785
5.58/2.99 decisions=720, wrong=76, backtracks=22, failedAssignments=60, nogoods=41
5.58/2.99
5.91/3.02 num=5, depth=265..370, filters=9363, wck=0.418, mem=113M785
5.91/3.02 decisions=1110, wrong=93, backtracks=23, failedAssignments=76, nogoods=57
5.91/3.02
5.91/3.05 num=6, depth=260..287, filters=10489, wck=0.449, mem=113M785
5.91/3.05 decisions=1523, wrong=161, backtracks=76, failedAssignments=93, nogoods=61
5.91/3.05
5.91/3.08 num=7, depth=118..257, filters=11664, wck=0.476, mem=113M785
5.91/3.08 decisions=1814, wrong=187, backtracks=83, failedAssignments=112, nogoods=74
5.91/3.08
5.91/3.10 num=8, depth=185..211, filters=13021, wck=0.497, mem=113M785
5.91/3.10 decisions=2109, wrong=238, backtracks=113, failedAssignments=133, nogoods=76
5.91/3.10
6.16/3.12 num=9, depth=67..113, filters=16207, wck=0.526, mem=113M785
6.16/3.12 decisions=2314, wrong=307, backtracks=159, failedAssignments=156, nogoods=77
6.16/3.12
6.16/3.15 num=10, depth=20..165, filters=17989, wck=0.547, mem=113M785
6.16/3.15 decisions=2573, wrong=360, backtracks=191, failedAssignments=181, nogoods=90
6.16/3.15
6.16/3.18 num=11, depth=25..129, filters=20060, wck=0.582, mem=113M785
6.16/3.18 decisions=2845, wrong=442, backtracks=250, failedAssignments=209, nogoods=97
6.16/3.18
6.35/3.21 num=12, depth=27..100, filters=22001, wck=0.61, mem=113M785
6.35/3.21 decisions=3053, wrong=501, backtracks=281, failedAssignments=240, nogoods=103
6.35/3.21
6.35/3.23 num=13, depth=27..112, filters=23747, wck=0.629, mem=113M785
6.35/3.23 decisions=3282, wrong=574, backtracks=322, failedAssignments=274, nogoods=109
6.35/3.23
6.35/3.25 num=14, depth=34..135, filters=25373, wck=0.648, mem=113M785
6.35/3.25 decisions=3521, wrong=643, backtracks=358, failedAssignments=311, nogoods=118
6.35/3.25
6.35/3.27 num=15, depth=32..61, filters=28112, wck=0.671, mem=113M785
6.35/3.27 decisions=3743, wrong=727, backtracks=402, failedAssignments=352, nogoods=126
6.35/3.27
6.51/3.31 num=16, depth=30..55, filters=32932, wck=0.711, mem=113M785
6.51/3.31 decisions=3988, wrong=829, backtracks=465, failedAssignments=397, nogoods=128
6.51/3.31
6.51/3.34 num=17, depth=27..62, filters=35988, wck=0.74, mem=113M785
6.51/3.34 decisions=4212, wrong=923, backtracks=521, failedAssignments=447, nogoods=130
6.51/3.34
6.51/3.37 num=18, depth=38..81, filters=39082, wck=0.771, mem=113M785
6.51/3.37 decisions=4528, wrong=1050, backtracks=604, failedAssignments=502, nogoods=140
6.51/3.37
6.70/3.42 num=19, depth=29..62, filters=44417, wck=0.817, mem=113M785
6.70/3.42 decisions=4913, wrong=1228, backtracks=750, failedAssignments=563, nogoods=142
6.70/3.42
6.70/3.45 num=20, depth=5..210, filters=48622, wck=0.854, mem=113M785
6.70/3.45 decisions=5381, wrong=1378, backtracks=842, failedAssignments=630, nogoods=159
6.70/3.45
6.70/3.49 num=21, depth=11..273, filters=52104, wck=0.889, mem=113M785
6.70/3.49 decisions=5943, wrong=1532, backtracks=973, failedAssignments=704, nogoods=167
6.70/3.49
6.81/3.54 o 152
6.81/3.55 num=22, depth=13..3506, filters=54334, ccks=355, wck=0.955, mem=116M428
6.81/3.55 decisions=6397, wrong=1587, backtracks=1000, failedAssignments=736, nogoods=185, foundSolutions=1, bestBound=152
6.81/3.55
7.03/3.65 o 151
7.03/3.66 num=23, depth=14..3506, filters=55968, ccks=710, wck=1.058, mem=119M70
7.03/3.66 decisions=6808, wrong=1614, backtracks=1004, failedAssignments=759, nogoods=206, foundSolutions=2, bestBound=151
7.03/3.66
7.32/3.72 num=24, depth=14..363, filters=57244, ccks=710, wck=1.124, mem=119M70
7.32/3.72 decisions=7184, wrong=1626, backtracks=1005, failedAssignments=770, nogoods=217, foundSolutions=2, bestBound=151
7.32/3.72
7.32/3.74 num=25, depth=15..307, filters=58417, ccks=710, wck=1.145, mem=119M70
7.32/3.74 decisions=7505, wrong=1637, backtracks=1005, failedAssignments=781, nogoods=228, foundSolutions=2, bestBound=151
7.32/3.74
7.32/3.77 num=26, depth=19..281, filters=59594, ccks=710, wck=1.166, mem=119M70
7.32/3.77 decisions=7803, wrong=1652, backtracks=1008, failedAssignments=793, nogoods=239, foundSolutions=2, bestBound=151
7.32/3.77
7.32/3.79 num=27, depth=27..365, filters=61030, ccks=710, wck=1.191, mem=119M70
7.32/3.79 decisions=8198, wrong=1671, backtracks=1015, failedAssignments=806, nogoods=250, foundSolutions=2, bestBound=151
7.32/3.79
7.62/3.82 num=28, depth=32..369, filters=62471, ccks=710, wck=1.217, mem=119M70
7.62/3.82 decisions=8606, wrong=1697, backtracks=1028, failedAssignments=820, nogoods=254, foundSolutions=2, bestBound=151
7.62/3.82
7.62/3.85 num=29, depth=28..381, filters=63811, ccks=710, wck=1.247, mem=119M70
7.62/3.85 decisions=9017, wrong=1718, backtracks=1034, failedAssignments=836, nogoods=261, foundSolutions=2, bestBound=151
7.62/3.85
7.62/3.87 num=30, depth=30..357, filters=65260, ccks=710, wck=1.272, mem=119M70
7.62/3.87 decisions=9420, wrong=1745, backtracks=1051, failedAssignments=853, nogoods=271, foundSolutions=2, bestBound=151
7.62/3.87
7.62/3.90 num=31, depth=30..344, filters=66776, ccks=710, wck=1.297, mem=119M70
7.62/3.90 decisions=9816, wrong=1778, backtracks=1068, failedAssignments=872, nogoods=281, foundSolutions=2, bestBound=151
7.62/3.90
7.87/3.92 num=32, depth=33..357, filters=68328, ccks=710, wck=1.324, mem=119M70
7.87/3.92 decisions=10232, wrong=1816, backtracks=1088, failedAssignments=893, nogoods=293, foundSolutions=2, bestBound=151
7.87/3.92
7.87/3.95 num=33, depth=49..363, filters=69771, ccks=710, wck=1.35, mem=119M70
7.87/3.95 decisions=10657, wrong=1853, backtracks=1110, failedAssignments=916, nogoods=303, foundSolutions=2, bestBound=151
7.87/3.95
7.87/3.97 num=34, depth=41..357, filters=71112, ccks=710, wck=1.375, mem=119M70
7.87/3.97 decisions=11056, wrong=1885, backtracks=1128, failedAssignments=941, nogoods=316, foundSolutions=2, bestBound=151
7.87/3.97
7.87/4.00 num=35, depth=45..379, filters=72862, ccks=710, wck=1.403, mem=121M713
7.87/4.00 decisions=11536, wrong=1947, backtracks=1174, failedAssignments=969, nogoods=330, foundSolutions=2, bestBound=151
7.87/4.00
8.05/4.03 num=36, depth=40..379, filters=74840, ccks=710, wck=1.433, mem=121M713
8.05/4.03 decisions=12039, wrong=2019, backtracks=1224, failedAssignments=1000, nogoods=344, foundSolutions=2, bestBound=151
8.05/4.03
8.05/4.06 num=37, depth=28..354, filters=76450, ccks=710, wck=1.46, mem=121M713
8.05/4.06 decisions=12487, wrong=2081, backtracks=1254, failedAssignments=1034, nogoods=356, foundSolutions=2, bestBound=151
8.05/4.06
8.05/4.09 num=38, depth=30..404, filters=78244, ccks=710, wck=1.49, mem=121M713
8.05/4.09 decisions=12979, wrong=2135, backtracks=1282, failedAssignments=1071, nogoods=373, foundSolutions=2, bestBound=151
8.05/4.09
8.15/4.12 num=39, depth=33..430, filters=80131, ccks=710, wck=1.522, mem=121M713
8.15/4.12 decisions=13527, wrong=2202, backtracks=1330, failedAssignments=1112, nogoods=382, foundSolutions=2, bestBound=151
8.15/4.12
8.15/4.18 o 145
8.15/4.18 num=40, depth=18..3506, filters=82693, ccks=1065, wck=1.579, mem=121M713
8.15/4.18 decisions=14102, wrong=2272, backtracks=1382, failedAssignments=1147, nogoods=397, foundSolutions=3, bestBound=145
8.15/4.18
8.25/4.25 num=41, depth=27..405, filters=84812, ccks=1065, wck=1.655, mem=121M713
8.25/4.25 decisions=14675, wrong=2367, backtracks=1450, failedAssignments=1197, nogoods=405, foundSolutions=3, bestBound=145
8.25/4.25
8.25/4.27 num=42, depth=32..274, filters=85664, ccks=1065, wck=1.673, mem=121M713
8.25/4.27 decisions=14972, wrong=2384, backtracks=1456, failedAssignments=1208, nogoods=412, foundSolutions=3, bestBound=145
8.25/4.27
8.25/4.29 num=43, depth=36..246, filters=86591, ccks=1065, wck=1.69, mem=121M713
8.25/4.29 decisions=15248, wrong=2407, backtracks=1467, failedAssignments=1220, nogoods=418, foundSolutions=3, bestBound=145
8.25/4.29
8.35/4.31 num=44, depth=41..237, filters=87584, ccks=1065, wck=1.707, mem=121M713
8.35/4.31 decisions=15526, wrong=2433, backtracks=1481, failedAssignments=1233, nogoods=423, foundSolutions=3, bestBound=145
8.35/4.31
8.35/4.32 num=45, depth=44..200, filters=88352, ccks=1065, wck=1.721, mem=121M713
8.35/4.32 decisions=15751, wrong=2452, backtracks=1490, failedAssignments=1247, nogoods=428, foundSolutions=3, bestBound=145
8.35/4.32
8.35/4.34 num=46, depth=48..367, filters=89499, ccks=1065, wck=1.744, mem=121M713
8.35/4.34 decisions=16161, wrong=2483, backtracks=1506, failedAssignments=1263, nogoods=436, foundSolutions=3, bestBound=145
8.35/4.34
8.35/4.36 num=47, depth=39..242, filters=90653, ccks=1065, wck=1.764, mem=121M713
8.35/4.36 decisions=16465, wrong=2521, backtracks=1529, failedAssignments=1280, nogoods=446, foundSolutions=3, bestBound=145
8.35/4.36
8.35/4.38 num=48, depth=50..168, filters=91597, ccks=1065, wck=1.779, mem=121M713
8.35/4.38 decisions=16670, wrong=2547, backtracks=1536, failedAssignments=1299, nogoods=460, foundSolutions=3, bestBound=145
8.35/4.38
8.35/4.39 num=49, depth=48..171, filters=92742, ccks=1065, wck=1.796, mem=121M713
8.35/4.39 decisions=16903, wrong=2588, backtracks=1557, failedAssignments=1320, nogoods=468, foundSolutions=3, bestBound=145
8.35/4.39
8.45/4.41 num=50, depth=53..94, filters=94295, ccks=1065, wck=1.813, mem=121M713
8.45/4.41 decisions=17098, wrong=2653, backtracks=1608, failedAssignments=1343, nogoods=474, foundSolutions=3, bestBound=145
8.45/4.41
8.45/4.44 num=51, depth=60..361, filters=95977, ccks=1065, wck=1.842, mem=121M713
8.45/4.44 decisions=17573, wrong=2716, backtracks=1656, failedAssignments=1368, nogoods=489, foundSolutions=3, bestBound=145
8.45/4.44
8.45/4.47 num=52, depth=67..385, filters=98096, ccks=1065, wck=1.872, mem=121M713
8.45/4.47 decisions=18061, wrong=2784, backtracks=1697, failedAssignments=1396, nogoods=498, foundSolutions=3, bestBound=145
8.45/4.47
8.56/4.51 o 141
8.56/4.52 num=53, depth=57..3506, filters=99215, ccks=1420, wck=1.917, mem=124M355
8.56/4.52 decisions=18533, wrong=2807, backtracks=1702, failedAssignments=1417, nogoods=515, foundSolutions=4, bestBound=141
8.56/4.52
8.67/4.60 o 140
8.67/4.60 num=54, depth=60..3506, filters=100267, ccks=1775, wck=2.003, mem=124M355
8.67/4.60 decisions=18988, wrong=2819, backtracks=1704, failedAssignments=1427, nogoods=525, foundSolutions=5, bestBound=140
8.67/4.60
8.67/4.69 o 139
8.67/4.69 num=55, depth=63..3506, filters=101374, ccks=2130, wck=2.092, mem=126M998
8.67/4.69 decisions=19456, wrong=2829, backtracks=1706, failedAssignments=1435, nogoods=533, foundSolutions=6, bestBound=139
8.67/4.69
8.91/4.77 o 138
8.91/4.78 num=56, depth=383..3506, filters=102353, ccks=2485, wck=2.178, mem=126M998
8.91/4.78 decisions=19912, wrong=2830, backtracks=1706, failedAssignments=1436, nogoods=534, foundSolutions=7, bestBound=138
8.91/4.78
9.04/4.84 num=57, depth=81..418, filters=103433, ccks=2485, wck=2.243, mem=126M998
9.04/4.84 decisions=20364, wrong=2855, backtracks=1723, failedAssignments=1447, nogoods=538, foundSolutions=7, bestBound=138
9.04/4.84
9.04/4.87 num=58, depth=67..414, filters=104483, ccks=2485, wck=2.268, mem=126M998
9.04/4.87 decisions=20796, wrong=2868, backtracks=1727, failedAssignments=1458, nogoods=547, foundSolutions=7, bestBound=138
9.04/4.87
9.04/4.89 num=59, depth=70..431, filters=105585, ccks=2485, wck=2.293, mem=126M998
9.04/4.89 decisions=21261, wrong=2889, backtracks=1738, failedAssignments=1470, nogoods=556, foundSolutions=7, bestBound=138
9.04/4.89
9.17/4.92 num=60, depth=80..417, filters=106555, ccks=2485, wck=2.319, mem=126M998
9.17/4.92 decisions=21694, wrong=2903, backtracks=1741, failedAssignments=1483, nogoods=567, foundSolutions=7, bestBound=138
9.17/4.92
9.17/4.94 num=61, depth=92..424, filters=107679, ccks=2485, wck=2.344, mem=126M998
9.17/4.94 decisions=22167, wrong=2935, backtracks=1765, failedAssignments=1497, nogoods=576, foundSolutions=7, bestBound=138
9.17/4.94
9.17/4.97 num=62, depth=84..421, filters=109056, ccks=2485, wck=2.372, mem=126M998
9.17/4.97 decisions=22630, wrong=2962, backtracks=1778, failedAssignments=1513, nogoods=587, foundSolutions=7, bestBound=138
9.17/4.97
9.17/5.00 num=63, depth=94..418, filters=110482, ccks=2485, wck=2.399, mem=126M998
9.17/5.00 decisions=23097, wrong=2993, backtracks=1797, failedAssignments=1530, nogoods=597, foundSolutions=7, bestBound=138
9.17/5.00
9.29/5.03 num=64, depth=96..427, filters=111957, ccks=2485, wck=2.429, mem=126M998
9.29/5.03 decisions=23582, wrong=3034, backtracks=1822, failedAssignments=1549, nogoods=609, foundSolutions=7, bestBound=138
9.29/5.03
9.29/5.06 num=65, depth=111..440, filters=113173, ccks=2485, wck=2.457, mem=126M998
9.29/5.06 decisions=24076, wrong=3068, backtracks=1840, failedAssignments=1570, nogoods=622, foundSolutions=7, bestBound=138
9.29/5.06
9.29/5.10 o 137
9.29/5.10 num=66, depth=120..3506, filters=114496, ccks=2840, wck=2.505, mem=129M640
9.29/5.10 decisions=24579, wrong=3088, backtracks=1846, failedAssignments=1584, nogoods=632, foundSolutions=8, bestBound=137
9.29/5.10
9.39/5.17 num=67, depth=434..450, filters=115799, ccks=2840, wck=2.574, mem=129M640
9.39/5.17 decisions=25126, wrong=3144, backtracks=1888, failedAssignments=1609, nogoods=634, foundSolutions=8, bestBound=137
9.39/5.17
9.48/5.25 num=68, depth=3..131, filters=123178, ccks=2840, wck=2.654, mem=129M640
9.48/5.25 decisions=25428, wrong=3285, backtracks=2018, failedAssignments=1620, nogoods=644, foundSolutions=8, bestBound=137
9.48/5.25
9.48/5.29 num=69, depth=3..234, filters=125871, ccks=2840, wck=2.687, mem=129M640
9.48/5.29 decisions=25717, wrong=3318, backtracks=2039, failedAssignments=1632, nogoods=655, foundSolutions=8, bestBound=137
9.48/5.29
9.58/5.31 num=70, depth=3..212, filters=127184, ccks=2840, wck=2.707, mem=129M640
9.58/5.31 decisions=25956, wrong=3339, backtracks=2049, failedAssignments=1645, nogoods=662, foundSolutions=8, bestBound=137
9.58/5.31
9.58/5.32 num=71, depth=4..208, filters=128297, ccks=2840, wck=2.725, mem=129M640
9.58/5.32 decisions=26181, wrong=3354, backtracks=2051, failedAssignments=1659, nogoods=675, foundSolutions=8, bestBound=137
9.58/5.32
9.58/5.34 num=72, depth=4..192, filters=129585, ccks=2840, wck=2.743, mem=129M640
9.58/5.34 decisions=26423, wrong=3389, backtracks=2075, failedAssignments=1675, nogoods=683, foundSolutions=8, bestBound=137
9.58/5.34
9.58/5.36 num=73, depth=8..147, filters=130927, ccks=2840, wck=2.761, mem=129M640
9.58/5.36 decisions=26625, wrong=3429, backtracks=2107, failedAssignments=1692, nogoods=688, foundSolutions=8, bestBound=137
9.58/5.36
9.58/5.38 num=74, depth=11..240, filters=132356, ccks=2840, wck=2.781, mem=129M640
9.58/5.38 decisions=26924, wrong=3465, backtracks=2125, failedAssignments=1711, nogoods=698, foundSolutions=8, bestBound=137
9.58/5.38
9.70/5.40 num=75, depth=15..248, filters=133849, ccks=2840, wck=2.803, mem=129M640
9.70/5.40 decisions=27242, wrong=3507, backtracks=2151, failedAssignments=1732, nogoods=711, foundSolutions=8, bestBound=137
9.70/5.40
9.70/5.42 num=76, depth=19..262, filters=135010, ccks=2840, wck=2.824, mem=129M640
9.70/5.42 decisions=27557, wrong=3541, backtracks=2162, failedAssignments=1755, nogoods=729, foundSolutions=8, bestBound=137
9.70/5.42
9.70/5.45 num=77, depth=25..183, filters=136737, ccks=2840, wck=2.846, mem=129M640
9.70/5.45 decisions=27816, wrong=3584, backtracks=2187, failedAssignments=1780, nogoods=740, foundSolutions=8, bestBound=137
9.70/5.45
9.70/5.47 num=78, depth=44..270, filters=138373, ccks=2840, wck=2.871, mem=129M640
9.70/5.47 decisions=28171, wrong=3634, backtracks=2214, failedAssignments=1808, nogoods=756, foundSolutions=8, bestBound=137
9.70/5.47
9.70/5.49 num=79, depth=42..188, filters=139934, ccks=2840, wck=2.892, mem=129M640
9.70/5.49 decisions=28443, wrong=3689, backtracks=2242, failedAssignments=1839, nogoods=768, foundSolutions=8, bestBound=137
9.70/5.49
9.80/5.52 num=80, depth=44..208, filters=141736, ccks=2840, wck=2.916, mem=129M640
9.80/5.52 decisions=28743, wrong=3744, backtracks=2271, failedAssignments=1873, nogoods=783, foundSolutions=8, bestBound=137
9.80/5.52
9.80/5.54 num=81, depth=21..172, filters=143386, ccks=2840, wck=2.938, mem=129M640
9.80/5.54 decisions=29040, wrong=3819, backtracks=2316, failedAssignments=1910, nogoods=791, foundSolutions=8, bestBound=137
9.80/5.54
9.80/5.56 num=82, depth=33..248, filters=144797, ccks=2840, wck=2.962, mem=129M640
9.80/5.56 decisions=29373, wrong=3880, backtracks=2338, failedAssignments=1951, nogoods=814, foundSolutions=8, bestBound=137
9.80/5.56
9.90/5.60 num=83, depth=38..186, filters=149026, ccks=2840, wck=3.004, mem=129M640
9.90/5.60 decisions=29776, wrong=4013, backtracks=2436, failedAssignments=1996, nogoods=821, foundSolutions=8, bestBound=137
9.90/5.60
9.90/5.64 num=84, depth=30..276, filters=151308, ccks=2840, wck=3.039, mem=129M640
9.90/5.64 decisions=30241, wrong=4118, backtracks=2509, failedAssignments=2046, nogoods=837, foundSolutions=8, bestBound=137
9.90/5.64
9.90/5.69 o 129
9.90/5.69 num=85, depth=132..3506, filters=153467, ccks=3195, wck=3.093, mem=132M283
9.90/5.69 decisions=30737, wrong=4191, backtracks=2560, failedAssignments=2078, nogoods=843, foundSolutions=9, bestBound=129
9.90/5.69
10.00/5.78 o 127
10.00/5.78 num=86, depth=112..3506, filters=155220, ccks=3550, wck=3.179, mem=132M283
10.00/5.78 decisions=31148, wrong=4255, backtracks=2596, failedAssignments=2114, nogoods=859, foundSolutions=10, bestBound=127
10.00/5.78
10.10/5.83 num=87, depth=15..137, filters=156161, ccks=3550, wck=3.233, mem=132M283
10.10/5.83 decisions=31300, wrong=4266, backtracks=2596, failedAssignments=2125, nogoods=870, foundSolutions=10, bestBound=127
10.10/5.83
10.10/5.85 num=88, depth=19..158, filters=157190, ccks=3550, wck=3.247, mem=132M283
10.10/5.85 decisions=31480, wrong=4283, backtracks=2602, failedAssignments=2136, nogoods=878, foundSolutions=10, bestBound=127
10.10/5.85
10.10/5.86 num=89, depth=19..150, filters=158048, ccks=3550, wck=3.261, mem=132M283
10.10/5.86 decisions=31651, wrong=4297, backtracks=2606, failedAssignments=2148, nogoods=888, foundSolutions=10, bestBound=127
10.10/5.86
10.10/5.88 num=90, depth=20..150, filters=159260, ccks=3550, wck=3.276, mem=132M283
10.10/5.88 decisions=31834, wrong=4321, backtracks=2621, failedAssignments=2161, nogoods=895, foundSolutions=10, bestBound=127
10.10/5.88
10.10/5.90 num=91, depth=23..242, filters=160315, ccks=3550, wck=3.296, mem=132M283
10.10/5.90 decisions=32107, wrong=4347, backtracks=2634, failedAssignments=2175, nogoods=908, foundSolutions=10, bestBound=127
10.10/5.90
10.20/5.92 num=92, depth=26..269, filters=161628, ccks=3550, wck=3.318, mem=132M283
10.20/5.92 decisions=32422, wrong=4379, backtracks=2654, failedAssignments=2191, nogoods=917, foundSolutions=10, bestBound=127
10.20/5.92
10.20/5.96 o 126
10.20/5.96 num=93, depth=29..3506, filters=162919, ccks=3905, wck=3.363, mem=134M925
10.20/5.96 decisions=32753, wrong=4401, backtracks=2662, failedAssignments=2205, nogoods=930, foundSolutions=11, bestBound=126
10.20/5.96
10.32/6.03 num=94, depth=26..273, filters=164466, ccks=3905, wck=3.428, mem=134M925
10.32/6.03 decisions=33083, wrong=4437, backtracks=2683, failedAssignments=2224, nogoods=940, foundSolutions=11, bestBound=126
10.32/6.03
10.32/6.05 num=95, depth=26..144, filters=165953, ccks=3905, wck=3.45, mem=134M925
10.32/6.05 decisions=33273, wrong=4464, backtracks=2701, failedAssignments=2235, nogoods=945, foundSolutions=11, bestBound=126
10.32/6.05
10.32/6.06 num=96, depth=31..143, filters=167030, ccks=3905, wck=3.465, mem=134M925
10.32/6.06 decisions=33451, wrong=4485, backtracks=2710, failedAssignments=2247, nogoods=952, foundSolutions=11, bestBound=126
10.32/6.06
10.32/6.08 num=97, depth=32..155, filters=168045, ccks=3905, wck=3.481, mem=134M925
10.32/6.08 decisions=33640, wrong=4510, backtracks=2723, failedAssignments=2260, nogoods=957, foundSolutions=11, bestBound=126
10.32/6.08
10.32/6.10 num=98, depth=35..152, filters=169730, ccks=3905, wck=3.505, mem=134M925
10.32/6.10 decisions=33823, wrong=4533, backtracks=2732, failedAssignments=2274, nogoods=965, foundSolutions=11, bestBound=126
10.32/6.10
10.42/6.12 num=99, depth=40..169, filters=170736, ccks=3905, wck=3.521, mem=134M925
10.42/6.12 decisions=34028, wrong=4560, backtracks=2743, failedAssignments=2290, nogoods=974, foundSolutions=11, bestBound=126
10.42/6.12
10.42/6.16 o 125
10.42/6.16 num=100, depth=45..3506, filters=171657, ccks=4260, wck=3.56, mem=134M925
10.42/6.16 decisions=34322, wrong=4565, backtracks=2743, failedAssignments=2295, nogoods=979, foundSolutions=12, bestBound=125
10.42/6.16
10.51/6.24 o 124
10.51/6.24 num=101, depth=121..3506, filters=172569, ccks=4615, wck=3.639, mem=137M589
10.51/6.24 decisions=34630, wrong=4578, backtracks=2744, failedAssignments=2307, nogoods=991, foundSolutions=13, bestBound=124
10.51/6.24
10.62/6.30 num=102, depth=60..160, filters=173590, ccks=4615, wck=3.698, mem=137M589
10.62/6.30 decisions=34817, wrong=4597, backtracks=2754, failedAssignments=2318, nogoods=994, foundSolutions=13, bestBound=124
10.62/6.30
10.62/6.33 o 123
10.62/6.34 num=103, depth=49..3506, filters=174412, ccks=4970, wck=3.737, mem=137M589
10.62/6.34 decisions=35109, wrong=4602, backtracks=2754, failedAssignments=2323, nogoods=999, foundSolutions=14, bestBound=123
10.62/6.34
10.62/6.39 num=104, depth=125..132, filters=175124, ccks=4970, wck=3.79, mem=137M589
10.62/6.39 decisions=35277, wrong=4623, backtracks=2770, failedAssignments=2335, nogoods=1003, foundSolutions=14, bestBound=123
10.62/6.39
10.72/6.41 num=105, depth=52..154, filters=176419, ccks=4970, wck=3.808, mem=137M589
10.72/6.41 decisions=35515, wrong=4697, backtracks=2838, failedAssignments=2346, nogoods=1007, foundSolutions=14, bestBound=123
10.72/6.41
10.72/6.43 num=106, depth=53..110, filters=177749, ccks=4970, wck=3.829, mem=137M589
10.72/6.43 decisions=35680, wrong=4730, backtracks=2862, failedAssignments=2358, nogoods=1014, foundSolutions=14, bestBound=123
10.72/6.43
10.72/6.44 num=107, depth=58..121, filters=178895, ccks=4970, wck=3.844, mem=137M589
10.72/6.44 decisions=35854, wrong=4766, backtracks=2892, failedAssignments=2371, nogoods=1018, foundSolutions=14, bestBound=123
10.72/6.44
10.72/6.46 num=108, depth=56..119, filters=180265, ccks=4970, wck=3.864, mem=137M589
10.72/6.46 decisions=36053, wrong=4815, backtracks=2936, failedAssignments=2385, nogoods=1022, foundSolutions=14, bestBound=123
10.72/6.46
10.72/6.48 num=109, depth=80..97, filters=181710, ccks=4970, wck=3.886, mem=137M589
10.72/6.48 decisions=36211, wrong=4851, backtracks=2963, failedAssignments=2401, nogoods=1024, foundSolutions=14, bestBound=123
10.72/6.48
10.82/6.50 num=110, depth=85..113, filters=183025, ccks=4970, wck=3.905, mem=137M589
10.82/6.50 decisions=36375, wrong=4881, backtracks=2977, failedAssignments=2418, nogoods=1031, foundSolutions=14, bestBound=123
10.82/6.50
10.82/6.52 num=111, depth=13..42, filters=184532, ccks=4970, wck=3.923, mem=137M589
10.82/6.52 decisions=36524, wrong=4945, backtracks=3028, failedAssignments=2437, nogoods=1033, foundSolutions=14, bestBound=123
10.82/6.52
10.82/6.56
10.82/6.56 New Bounds: 123..122
10.82/6.57 num=112, depth=0..77, filters=188916, ccks=4970, wck=3.967, mem=137M589
10.82/6.57 decisions=36752, wrong=5060, backtracks=3137, failedAssignments=2453, foundSolutions=14, bestBound=123
10.82/6.57
10.82/6.57 Global
10.82/6.57 filters=188916, ccks=4970
10.82/6.57 Stop=FULL_EXPLORATION, wrong=5060, bestBound=123, bestBoundWck=4.469, bestBoundCpu=6.292, foundSolutions=14, firstSolCpu=3.497
10.82/6.57 wck=4.702, cpu=6.525, mem=137M589
10.82/6.57
10.82/6.57 v <instantiation id='sol14' type='solution' cost='123'> <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 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 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
10.82/6.57 s OPTIMUM FOUND
10.82/6.57
10.82/6.57 d WRONG_DECISIONS 5060
10.82/6.57 d NUMBER_SOLUTIONS 14
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 (12862 MiB free)
memory of node 1: 16384 MiB (13306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391203-1568389316/watcher-4391203-1568389316 -o /tmp/evaluation-result-4391203-1568389316/solver-4391203-1568389316 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568389273-19857 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391203-1568389316.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
solver pid=19887, runsolver pid=19880
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.32 1.78 1.89 7/228 19916
/proc/meminfo: memFree=26766928/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10659884 memory=25768 CPUtime=0.13 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 5485 0 0 0 12 1 0 0 20 0 15 0 415178927 10915721216 6442 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2664971 6442 2869 1 0 2627468 0
[pid=19887/tid=19890] ppid=19880 vsize=10659884 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) S 19880 19887 19826 0 -1 1077944384 3256 0 0 0 8 1 0 0 20 0 15 0 415178927 10915721216 6442 33554432000 4194304 4196468 140722668230672 139785111956512 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784426911136 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784425858544 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) R 19880 19887 19826 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784423753712 139785107737218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) R 19880 19887 19826 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784422701168 139785089054416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0.02 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) R 19880 19887 19826 0 -1 4202560 391 0 0 0 2 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784421648624 139785107738006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 6442 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25768 KiB
[startup+0.210566 s]*
/proc/loadavg: 1.32 1.78 1.89 6/228 19916
/proc/meminfo: memFree=26747160/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10659884 memory=36268 CPUtime=0.33 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 9316 0 0 0 30 3 0 0 20 0 15 0 415178927 10915721216 9067 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2664971 9067 2990 1 0 2627468 0
[pid=19887/tid=19890] ppid=19880 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) R 19880 19887 19826 0 -1 4202560 6164 0 0 0 18 2 0 0 20 0 15 0 415178927 10915721216 9067 33554432000 4194304 4196468 140722668230672 139785111952432 139785107747997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10659884 memory=3834732157458785952 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784426911136 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784425858544 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) R 19880 19887 19826 0 -1 4202560 661 0 0 0 3 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784423739736 139785092841105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0.05 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 870 0 0 0 5 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9067 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36268 KiB
[startup+0.310182 s]*
/proc/loadavg: 1.32 1.78 1.89 5/228 19916
/proc/meminfo: memFree=26737888/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10659884 memory=39084 CPUtime=0.47 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 9568 0 0 0 44 3 0 0 20 0 15 0 415178927 10915721216 9771 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2664971 9771 3038 1 0 2627468 0
[pid=19887/tid=19890] ppid=19880 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) R 19880 19887 19826 0 -1 4202560 6283 0 0 0 28 2 0 0 20 0 15 0 415178927 10915721216 9771 33554432000 4194304 4196468 140722668230672 139785111956640 139785107747997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10659884 memory=4051466790014363296 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784426911136 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415178930 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784425858544 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) S 19880 19887 19826 0 -1 1077944384 732 0 0 0 4 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784423753712 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0.07 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 921 0 0 0 7 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10659884 memory=140029977765504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415178933 10915721216 9771 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39084 KiB
[startup+0.700776 s]
/proc/loadavg: 1.32 1.78 1.89 4/228 19916
/proc/meminfo: memFree=26719964/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10661932 memory=60348 CPUtime=1.09 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 13142 0 0 0 105 4 0 0 20 0 15 0 415178927 10917818368 15087 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2665483 15087 3071 1 0 2627980 0
[pid=19887/tid=19890] ppid=19880 vsize=10661932 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) R 19880 19887 19826 0 -1 4202560 8822 0 0 0 64 3 0 0 20 0 15 0 415178927 10917818368 15087 33554432000 4194304 4196468 140722668230672 139785111958096 139785093164639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178930 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415178930 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784426911136 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415178930 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784425858544 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) S 19880 19887 19826 0 -1 1077944384 939 0 0 0 11 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784423753712 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10661932 memory=7019257425709197167 CPUtime=0.1 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 627 0 0 0 10 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 1393 0 0 0 19 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415178933 10917818368 15087 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60348 KiB
[startup+1.50074 s]
/proc/loadavg: 1.37 1.79 1.89 4/228 19916
/proc/meminfo: memFree=26687456/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10663980 memory=74516 CPUtime=2 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 17412 0 0 0 195 5 0 0 20 0 15 0 415178927 10919915520 18629 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2665995 18629 3094 1 0 2628492 0
[pid=19887/tid=19890] ppid=19880 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) R 19880 19887 19826 0 -1 4202560 11961 0 0 0 144 4 0 0 20 0 15 0 415178927 10919915520 18629 33554432000 4194304 4196468 140722668230672 139785111951952 139785091806558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10663980 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10919915520 18629 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10663980 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10919915520 18629 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10919915520 18629 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415178928 10919915520 18629 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 415178930 10919915520 18629 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
################
# More data... #
################
[pid=19887/tid=19895] ppid=19880 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 415178928 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10748324 memory=4639341352798146640 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10748324 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10748324 memory=7377837828434061144 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 16 0 415178930 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10748324 memory=85538568687051 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784426911200 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784425858560 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10748324 memory=39736 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10748324 memory=2028 CPUtime=1.12 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) R 19880 19887 19826 0 -1 4202560 3338 0 0 0 111 1 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784423753712 139785089270250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10748324 memory=988 CPUtime=1.22 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) R 19880 19887 19826 0 -1 4202560 2549 0 0 0 121 1 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784422687600 139785087579632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10748324 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 2695 0 0 0 67 0 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10748324 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19918] ppid=19880 vsize=10748324 memory=1540 CPUtime=1.17 cores=0,2,4,6
/proc/19887/task/19918/stat : 19918 (java) R 19880 19887 19826 0 -1 4202560 3862 0 0 0 114 3 0 0 20 0 16 0 415179117 11006283776 51252 33554432000 4194304 4196468 140722668230672 139784318863984 139784752707941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205008 KiB
[startup+6.30083 s]
/proc/loadavg: 1.35 1.77 1.89 4/231 19921
/proc/meminfo: memFree=26348460/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10748324 memory=230588 CPUtime=10.62 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 32823 0 0 0 1048 14 0 0 20 0 16 0 415178927 11006283776 57647 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2687081 57647 3366 1 0 2647217 0
[pid=19887/tid=19890] ppid=19880 vsize=10748324 memory=280059651249504 CPUtime=1.88 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) S 19880 19887 19826 0 -1 1077944384 14042 0 0 0 183 5 0 0 20 0 16 0 415178927 11006283776 57647 33554432000 4194304 4196468 140722668230672 139785111968944 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10748324 memory=668169 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 415178928 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10748324 memory=222236 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10748324 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10748324 memory=73 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 16 0 415178930 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784426911200 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10748324 memory=296 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784425858560 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10748324 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) S 19880 19887 19826 0 -1 1077944384 4044 0 0 0 176 1 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784423753712 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10748324 memory=4783 CPUtime=1.74 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 3021 0 0 0 173 1 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10748324 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 3963 0 0 0 75 0 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10748324 memory=225412768635767 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10748324 memory=225412768635768 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19918] ppid=19880 vsize=10748324 memory=0 CPUtime=4.36 cores=0,2,4,6
/proc/19887/task/19918/stat : 19918 (java) R 19880 19887 19826 0 -1 4202560 5384 0 0 0 433 3 0 0 20 0 16 0 415179117 11006283776 57647 33554432000 4194304 4196468 140722668230672 139784318866576 139784753497153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 230588 KiB
[startup+6.58026 s]
# the end of solver process 19887 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.7879 s, system=0.157532 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40093 s]
/proc/loadavg: 1.35 1.77 1.89 4/231 19921
/proc/meminfo: memFree=26348460/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10748324 memory=232644 CPUtime=10.72 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 32839 0 0 0 1058 14 0 0 20 0 16 0 415178927 11006283776 58161 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2687081 58161 3366 1 0 2647217 0
[pid=19887/tid=19890] ppid=19880 vsize=10748324 memory=-7595718316223324558 CPUtime=1.88 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) S 19880 19887 19826 0 -1 1077944384 14042 0 0 0 183 5 0 0 20 0 16 0 415178927 11006283776 58161 33554432000 4194304 4196468 140722668230672 139785111968944 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10748324 memory=8028676333680759155 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 415178928 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10748324 memory=6944613755479294112 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10748324 memory=-7606742951091920751 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 16 0 415178930 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784426911200 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784425858560 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10748324 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) S 19880 19887 19826 0 -1 1077944384 4044 0 0 0 176 1 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784423753712 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10748324 memory=0 CPUtime=1.75 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 3030 0 0 0 174 1 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10748324 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 3966 0 0 0 75 0 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10748324 memory=6370719275257063784 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19918] ppid=19880 vsize=10748324 memory=39736 CPUtime=4.46 cores=0,2,4,6
/proc/19887/task/19918/stat : 19918 (java) R 19880 19887 19826 0 -1 4202560 5388 0 0 0 443 3 0 0 20 0 16 0 415179117 11006283776 58161 33554432000 4194304 4196468 140722668230672 139784318866576 139784753121393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 10.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232644 KiB
[startup+6.5007 s]
/proc/loadavg: 1.35 1.77 1.89 4/231 19921
/proc/meminfo: memFree=26348460/32770624 swapFree=66927240/67108860
[pid=19887] ppid=19880 vsize=10748324 memory=232656 CPUtime=10.82 cores=0,2,4,6
/proc/19887/stat : 19887 (java) S 19880 19887 19826 0 -1 1077944320 32900 0 0 0 1068 14 0 0 20 0 16 0 415178927 11006283776 58164 33554432000 4194304 4196468 140722668230672 140722668213216 139785107726071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
/proc/19887/statm: 2687081 58164 3366 1 0 2647217 0
[pid=19887/tid=19890] ppid=19880 vsize=10748324 memory=222236 CPUtime=1.88 cores=0,2,4,6
/proc/19887/task/19890/stat : 19890 (java) S 19880 19887 19826 0 -1 1077944384 14042 0 0 0 183 5 0 0 20 0 16 0 415178927 11006283776 58164 33554432000 4194304 4196468 140722668230672 139785111968944 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19895] ppid=19880 vsize=10748324 memory=8475934422144292502 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19895/stat : 19895 (java) S 19880 19887 19826 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 415178928 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784714815760 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19896] ppid=19880 vsize=10748324 memory=280059651249504 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19896/stat : 19896 (java) S 19880 19887 19826 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784713763216 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19897] ppid=19880 vsize=10748324 memory=668169 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19897/stat : 19897 (java) S 19880 19887 19826 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784712710672 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19898] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19898/stat : 19898 (java) S 19880 19887 19826 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415178928 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784711658128 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19900] ppid=19880 vsize=10748324 memory=225412768635767 CPUtime=0.01 cores=0,2,4,6
/proc/19887/task/19900/stat : 19900 (java) S 19880 19887 19826 0 -1 1077944384 716 0 0 0 1 0 0 0 20 0 16 0 415178930 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784427964912 139785107737218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19903] ppid=19880 vsize=10748324 memory=225412768635768 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19903/stat : 19903 (java) S 19880 19887 19826 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784426911200 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19904] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19904/stat : 19904 (java) S 19880 19887 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415178930 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784425858560 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19910] ppid=19880 vsize=10748324 memory=73 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19910/stat : 19910 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784424807120 139785107744667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19911] ppid=19880 vsize=10748324 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/19887/task/19911/stat : 19911 (java) R 19880 19887 19826 0 -1 4202560 4064 0 0 0 176 1 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784423753712 139785093421937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19912] ppid=19880 vsize=10748324 memory=0 CPUtime=1.75 cores=0,2,4,6
/proc/19887/task/19912/stat : 19912 (java) S 19880 19887 19826 0 -1 1077944384 3030 0 0 0 174 1 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784422701168 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19913] ppid=19880 vsize=10748324 memory=296 CPUtime=0.75 cores=0,2,4,6
/proc/19887/task/19913/stat : 19913 (java) S 19880 19887 19826 0 -1 1077944384 4005 0 0 0 75 0 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784421648624 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19915] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19915/stat : 19915 (java) S 19880 19887 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784420596320 139785107736277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19916] ppid=19880 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19887/task/19916/stat : 19916 (java) S 19880 19887 19826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415178933 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784419543856 139785107737218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
[pid=19887/tid=19918] ppid=19880 vsize=10748324 memory=4783 CPUtime=4.55 cores=0,2,4,6
/proc/19887/task/19918/stat : 19918 (java) R 19880 19887 19826 0 -1 4202560 5391 0 0 0 452 3 0 0 20 0 16 0 415179117 11006283776 58164 33554432000 4194304 4196468 140722668230672 139784318861168 139784752834099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140722668233739 140722668233842 140722668233842 140722668236751 0
Current children cumulated CPU time: 10.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 232656 KiB
Child status: 0
Real time (s): 6.58031
CPU time (s): 10.9455
CPU user time (s): 10.7879
CPU system time (s): 0.157532
CPU usage (%): 166.336
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 232656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7879
system time used= 0.157532
maximum resident set size= 235072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34134
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= 3021
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 19887
# total CPU time (s): 10.9455
# total CPU user time (s): 10.7879
# total CPU system time (s): 0.157532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067827 second user time and 0.112175 second system time
The end