2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.92
3.24/2.13 Instance
3.24/2.13 name=instance-4390903-1568380636, framework=COP, bounds=-infty..+infty
3.24/2.13
3.24/2.13 Loading variables...
3.56/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64490a3c
3.56/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a9ef0c
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f5c8b1f
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3187cb31
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cc24b2a
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2937712b
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49740029
3.56/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6b77c8
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@689acd08
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e204131
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16de8483
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b42630
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df16b9e
3.56/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5a8c68
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fad0843
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6070e5e0
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1848f3
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60408beb
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797525
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22b4e8f3
3.56/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af6eec3
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23d594a5
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c73bc79
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed467f1
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc88403
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c372d94
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e42db9
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f2e7f8d
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d420877
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e75228c
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed308cb
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d94ee0
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c002166
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1dfe7b
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32601501
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87158
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16bf9fbb
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1df37bfb
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79617d59
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bde7e4
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f03d7d6
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d024c2e
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@466a230c
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e14ca0b
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@396d50f9
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3415eaa1
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6ae2d3
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2400b976
3.56/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ceb73b5
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7adb7c03
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ffb85df
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58aebc9e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3276b16e
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419d6ab6
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@779b07d
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1251f9ba
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4418a1ce
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eebb90f
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310bbc92
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2155bdce
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef59917
3.56/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a45dac1
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@485be3ee
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fdd5e4b
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3583a2f5
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc95dff
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128a688c
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b03486
3.93/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8d8558
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770a7b21
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d57f09
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77dd925
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7efba8bc
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67344cb1
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74250161
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@775bf839
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b6af3d6
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a8684a2
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e54de5
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a489b1a
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e3e10
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4898c10
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe17a8
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e286d97
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff46212
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ecb918
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1659ff23
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce9dbf
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b67cfb6
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc89580
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fae81ab
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec60eab
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c3e9c3
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fee5006
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f6898b
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763474cb
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad39747
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fbd053f
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dfe639
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fed588c
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ec0746
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b956d7d
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35022e2e
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@503861e9
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@808e3a1
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda2f6e
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3657d5bf
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e47a1
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d473de4
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38375bc0
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26726248
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@724a6177
3.93/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332adb42
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cfa9f5f
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a52ac9
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5668a803
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afba44a
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@616f2cd7
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771dc34a
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@385e0b87
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e2b968f
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae40f0c
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77a6d92c
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e2a7b1b
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5770024c
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a948452
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d2f30a9
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a4dc71a
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553c3b61
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e89a2df
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c8293a7
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43463245
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69a57ed2
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c908123
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@963211d
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dadbb96
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@251b790
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22a03259
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f92edaa
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@443e999c
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df0cc92
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ee888b
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329e279b
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16677df2
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a26427
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44bb691a
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d08ade7
3.93/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bead262
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@352183da
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f17a37
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f07dfdf
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713cd52
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d3dccc5
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d156ad
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5655ce55
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec5bb4c
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68979dc8
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49c84318
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8c9c7c
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efbb621
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77508932
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268320ef
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ac337d
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5538b56e
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760a3ae7
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17dfe9d3
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5439
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a572fe7
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b847cfc
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3d34db
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441e550a
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2effc775
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29244176
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6ec37c
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cda2bfd
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29dc4191
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476c669
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe326a9
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301cc646
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236a9a8e
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc2074
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9cd14b
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8e9f0
3.93/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a48927
3.93/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@258c4bc9
3.93/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bcbcd9b
3.93/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e13d06
4.57/2.55
4.57/2.55
4.57/2.55 Domains
4.57/2.55 nTypes=12, nValues=37074, sizes=[2#334,3#334,5#334,8#167...14#668,15#334,18#334,20#167]
4.57/2.55 Variables
4.57/2.55 count=3507, degrees=[3#207,4#3300]
4.57/2.55 Objectives
4.57/2.55 way=min, type=SumSimpleLE
4.57/2.55 Constraints
4.57/2.55 count=355, nSpecific=355, arities=[21#167,40#166,167#22]
4.57/2.55 distribution=[LexicographicLe#166,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#167]
4.57/2.55 wck=0.671, cpu=2.511, mem=92M576
4.57/2.55 Solver SolverBacktrack being built...
4.57/2.55
4.79/2.61
4.79/2.61 Solver
4.79/2.61 guaranteedGAC=false
4.79/2.61 wck=0.736, cpu=2.575, mem=111M146
4.79/2.69
4.79/2.69 Preprocessing
4.79/2.69 filters=167, nACremovedValues=27889, nTotalRemovedValues=27889, inconcistency=false
4.79/2.69 wck=0.076, cpu=2.654, mem=113M789
4.79/2.69
5.34/2.84 num=0, depth=0..157, filters=1973, wck=0.236, mem=113M789
5.34/2.84 decisions=179, wrong=16, backtracks=9, failedAssignments=10, nogoods=1
5.34/2.84
5.63/2.94 num=1, depth=0..59, filters=3447, wck=0.336, mem=113M789
5.63/2.94 decisions=250, wrong=27, backtracks=9, failedAssignments=21, nogoods=11
5.63/2.94
5.63/2.98 num=2, depth=0..34, filters=5338, wck=0.372, mem=113M789
5.63/2.98 decisions=302, wrong=42, backtracks=12, failedAssignments=33, nogoods=22
5.63/2.98
5.97/3.03 num=3, depth=0..181, filters=7184, wck=0.425, mem=113M789
5.97/3.03 decisions=497, wrong=55, backtracks=12, failedAssignments=46, nogoods=34
5.97/3.03
5.97/3.08 num=4, depth=0..195, filters=8686, wck=0.471, mem=113M789
5.97/3.08 decisions=720, wrong=76, backtracks=22, failedAssignments=60, nogoods=41
5.97/3.08
6.27/3.11 num=5, depth=265..370, filters=9363, wck=0.499, mem=113M789
6.27/3.11 decisions=1110, wrong=93, backtracks=23, failedAssignments=76, nogoods=57
6.27/3.11
6.27/3.18 num=6, depth=260..287, filters=10489, wck=0.569, mem=113M789
6.27/3.18 decisions=1523, wrong=161, backtracks=76, failedAssignments=93, nogoods=61
6.27/3.18
6.55/3.28 num=7, depth=118..257, filters=11664, wck=0.674, mem=113M789
6.55/3.28 decisions=1814, wrong=187, backtracks=83, failedAssignments=112, nogoods=74
6.55/3.28
6.85/3.34 num=8, depth=185..211, filters=13021, wck=0.735, mem=113M789
6.85/3.34 decisions=2109, wrong=238, backtracks=113, failedAssignments=133, nogoods=76
6.85/3.34
6.85/3.38 num=9, depth=67..113, filters=16207, wck=0.773, mem=113M789
6.85/3.38 decisions=2314, wrong=307, backtracks=159, failedAssignments=156, nogoods=77
6.85/3.38
7.07/3.40 num=10, depth=20..165, filters=17989, wck=0.794, mem=113M789
7.07/3.40 decisions=2573, wrong=360, backtracks=191, failedAssignments=181, nogoods=90
7.07/3.40
7.07/3.44 num=11, depth=25..129, filters=20060, wck=0.831, mem=113M789
7.07/3.44 decisions=2845, wrong=442, backtracks=250, failedAssignments=209, nogoods=97
7.07/3.44
7.07/3.47 num=12, depth=27..100, filters=22001, wck=0.859, mem=113M789
7.07/3.47 decisions=3053, wrong=501, backtracks=281, failedAssignments=240, nogoods=103
7.07/3.47
7.07/3.49 num=13, depth=27..112, filters=23747, wck=0.878, mem=113M789
7.07/3.49 decisions=3282, wrong=574, backtracks=322, failedAssignments=274, nogoods=109
7.07/3.49
7.24/3.51 num=14, depth=34..135, filters=25373, wck=0.898, mem=113M789
7.24/3.51 decisions=3521, wrong=643, backtracks=358, failedAssignments=311, nogoods=118
7.24/3.51
7.24/3.53 num=15, depth=32..61, filters=28112, wck=0.921, mem=113M789
7.24/3.53 decisions=3743, wrong=727, backtracks=402, failedAssignments=352, nogoods=126
7.24/3.53
7.24/3.57 num=16, depth=30..55, filters=32932, wck=0.963, mem=113M789
7.24/3.57 decisions=3988, wrong=829, backtracks=465, failedAssignments=397, nogoods=128
7.24/3.57
7.40/3.60 num=17, depth=27..62, filters=35988, wck=0.995, mem=113M789
7.40/3.60 decisions=4212, wrong=923, backtracks=521, failedAssignments=447, nogoods=130
7.40/3.60
7.40/3.63 num=18, depth=38..81, filters=39082, wck=1.026, mem=113M789
7.40/3.63 decisions=4528, wrong=1050, backtracks=604, failedAssignments=502, nogoods=140
7.40/3.63
7.40/3.68 num=19, depth=29..62, filters=44417, wck=1.076, mem=113M789
7.40/3.68 decisions=4913, wrong=1228, backtracks=750, failedAssignments=563, nogoods=142
7.40/3.68
7.60/3.72 num=20, depth=5..210, filters=48622, wck=1.114, mem=113M789
7.60/3.72 decisions=5381, wrong=1378, backtracks=842, failedAssignments=630, nogoods=159
7.60/3.72
7.60/3.76 num=21, depth=11..273, filters=52104, wck=1.149, mem=113M789
7.60/3.76 decisions=5943, wrong=1532, backtracks=973, failedAssignments=704, nogoods=167
7.60/3.76
7.72/3.81 o 152
7.72/3.83 num=22, depth=13..3506, filters=54334, ccks=355, wck=1.217, mem=116M431
7.72/3.83 decisions=6397, wrong=1587, backtracks=1000, failedAssignments=736, nogoods=185, foundSolutions=1, bestBound=152
7.72/3.83
8.03/3.93 o 151
8.03/3.94 num=23, depth=14..3506, filters=55968, ccks=710, wck=1.329, mem=116M431
8.03/3.94 decisions=6808, wrong=1614, backtracks=1004, failedAssignments=759, nogoods=206, foundSolutions=2, bestBound=151
8.03/3.94
8.29/4.01 num=24, depth=14..363, filters=57244, ccks=710, wck=1.399, mem=116M431
8.29/4.01 decisions=7184, wrong=1626, backtracks=1005, failedAssignments=770, nogoods=217, foundSolutions=2, bestBound=151
8.29/4.01
8.29/4.03 num=25, depth=15..307, filters=58417, ccks=710, wck=1.42, mem=116M431
8.29/4.03 decisions=7505, wrong=1637, backtracks=1005, failedAssignments=781, nogoods=228, foundSolutions=2, bestBound=151
8.29/4.03
8.29/4.05 num=26, depth=19..281, filters=59594, ccks=710, wck=1.441, mem=116M431
8.29/4.05 decisions=7803, wrong=1652, backtracks=1008, failedAssignments=793, nogoods=239, foundSolutions=2, bestBound=151
8.29/4.05
8.29/4.07 num=27, depth=27..365, filters=61030, ccks=710, wck=1.466, mem=116M431
8.29/4.07 decisions=8198, wrong=1671, backtracks=1015, failedAssignments=806, nogoods=250, foundSolutions=2, bestBound=151
8.29/4.07
8.29/4.10 num=28, depth=32..369, filters=62471, ccks=710, wck=1.492, mem=116M431
8.29/4.10 decisions=8606, wrong=1697, backtracks=1028, failedAssignments=820, nogoods=254, foundSolutions=2, bestBound=151
8.29/4.10
8.45/4.13 num=29, depth=28..381, filters=63811, ccks=710, wck=1.522, mem=116M431
8.45/4.13 decisions=9017, wrong=1718, backtracks=1034, failedAssignments=836, nogoods=261, foundSolutions=2, bestBound=151
8.45/4.13
8.45/4.16 num=30, depth=30..357, filters=65260, ccks=710, wck=1.547, mem=116M431
8.45/4.16 decisions=9420, wrong=1745, backtracks=1051, failedAssignments=853, nogoods=271, foundSolutions=2, bestBound=151
8.45/4.16
8.45/4.18 num=31, depth=30..344, filters=66776, ccks=710, wck=1.573, mem=116M431
8.45/4.18 decisions=9816, wrong=1778, backtracks=1068, failedAssignments=872, nogoods=281, foundSolutions=2, bestBound=151
8.45/4.18
8.55/4.21 num=32, depth=33..357, filters=68328, ccks=710, wck=1.6, mem=116M431
8.55/4.21 decisions=10232, wrong=1816, backtracks=1088, failedAssignments=893, nogoods=293, foundSolutions=2, bestBound=151
8.55/4.21
8.55/4.24 num=33, depth=49..363, filters=69771, ccks=710, wck=1.627, mem=116M431
8.55/4.24 decisions=10657, wrong=1853, backtracks=1110, failedAssignments=916, nogoods=303, foundSolutions=2, bestBound=151
8.55/4.24
8.55/4.26 num=34, depth=41..357, filters=71112, ccks=710, wck=1.652, mem=116M431
8.55/4.26 decisions=11056, wrong=1885, backtracks=1128, failedAssignments=941, nogoods=316, foundSolutions=2, bestBound=151
8.55/4.26
8.55/4.29 num=35, depth=45..379, filters=72862, ccks=710, wck=1.68, mem=116M431
8.55/4.29 decisions=11536, wrong=1947, backtracks=1174, failedAssignments=969, nogoods=330, foundSolutions=2, bestBound=151
8.55/4.29
8.65/4.32 num=36, depth=40..379, filters=74840, ccks=710, wck=1.711, mem=116M431
8.65/4.32 decisions=12039, wrong=2019, backtracks=1224, failedAssignments=1000, nogoods=344, foundSolutions=2, bestBound=151
8.65/4.32
8.65/4.35 num=37, depth=28..354, filters=76450, ccks=710, wck=1.738, mem=116M431
8.65/4.35 decisions=12487, wrong=2081, backtracks=1254, failedAssignments=1034, nogoods=356, foundSolutions=2, bestBound=151
8.65/4.35
8.65/4.38 num=38, depth=30..404, filters=78244, ccks=710, wck=1.769, mem=119M74
8.65/4.38 decisions=12979, wrong=2135, backtracks=1282, failedAssignments=1071, nogoods=373, foundSolutions=2, bestBound=151
8.65/4.38
8.77/4.41 num=39, depth=33..430, filters=80131, ccks=710, wck=1.803, mem=119M74
8.77/4.41 decisions=13527, wrong=2202, backtracks=1330, failedAssignments=1112, nogoods=382, foundSolutions=2, bestBound=151
8.77/4.41
8.77/4.47 o 145
8.77/4.47 num=40, depth=18..3506, filters=82693, ccks=1065, wck=1.862, mem=119M74
8.77/4.47 decisions=14102, wrong=2272, backtracks=1382, failedAssignments=1147, nogoods=397, foundSolutions=3, bestBound=145
8.77/4.47
8.87/4.55 num=41, depth=27..405, filters=84812, ccks=1065, wck=1.94, mem=119M74
8.87/4.55 decisions=14675, wrong=2367, backtracks=1450, failedAssignments=1197, nogoods=405, foundSolutions=3, bestBound=145
8.87/4.55
8.87/4.57 num=42, depth=32..274, filters=85664, ccks=1065, wck=1.958, mem=119M74
8.87/4.57 decisions=14972, wrong=2384, backtracks=1456, failedAssignments=1208, nogoods=412, foundSolutions=3, bestBound=145
8.87/4.57
8.87/4.58 num=43, depth=36..246, filters=86591, ccks=1065, wck=1.976, mem=119M74
8.87/4.58 decisions=15248, wrong=2407, backtracks=1467, failedAssignments=1220, nogoods=418, foundSolutions=3, bestBound=145
8.87/4.58
8.97/4.60 num=44, depth=41..237, filters=87584, ccks=1065, wck=1.994, mem=119M74
8.97/4.60 decisions=15526, wrong=2433, backtracks=1481, failedAssignments=1233, nogoods=423, foundSolutions=3, bestBound=145
8.97/4.60
8.97/4.62 num=45, depth=44..200, filters=88352, ccks=1065, wck=2.009, mem=119M74
8.97/4.62 decisions=15751, wrong=2452, backtracks=1490, failedAssignments=1247, nogoods=428, foundSolutions=3, bestBound=145
8.97/4.62
8.97/4.64 num=46, depth=48..367, filters=89499, ccks=1065, wck=2.033, mem=119M74
8.97/4.64 decisions=16161, wrong=2483, backtracks=1506, failedAssignments=1263, nogoods=436, foundSolutions=3, bestBound=145
8.97/4.64
8.97/4.66 num=47, depth=39..242, filters=90653, ccks=1065, wck=2.054, mem=119M74
8.97/4.66 decisions=16465, wrong=2521, backtracks=1529, failedAssignments=1280, nogoods=446, foundSolutions=3, bestBound=145
8.97/4.66
8.97/4.68 num=48, depth=50..168, filters=91597, ccks=1065, wck=2.069, mem=119M74
8.97/4.68 decisions=16670, wrong=2547, backtracks=1536, failedAssignments=1299, nogoods=460, foundSolutions=3, bestBound=145
8.97/4.68
8.97/4.69 num=49, depth=48..171, filters=92742, ccks=1065, wck=2.087, mem=119M74
8.97/4.69 decisions=16903, wrong=2588, backtracks=1557, failedAssignments=1320, nogoods=468, foundSolutions=3, bestBound=145
8.97/4.69
9.07/4.71 num=50, depth=53..94, filters=94295, ccks=1065, wck=2.104, mem=119M74
9.07/4.71 decisions=17098, wrong=2653, backtracks=1608, failedAssignments=1343, nogoods=474, foundSolutions=3, bestBound=145
9.07/4.71
9.07/4.74 num=51, depth=60..361, filters=95977, ccks=1065, wck=2.134, mem=119M74
9.07/4.74 decisions=17573, wrong=2716, backtracks=1656, failedAssignments=1368, nogoods=489, foundSolutions=3, bestBound=145
9.07/4.74
9.07/4.77 num=52, depth=67..385, filters=98096, ccks=1065, wck=2.164, mem=119M74
9.07/4.77 decisions=18061, wrong=2784, backtracks=1697, failedAssignments=1396, nogoods=498, foundSolutions=3, bestBound=145
9.07/4.77
9.17/4.82 o 141
9.17/4.82 num=53, depth=57..3506, filters=99215, ccks=1420, wck=2.211, mem=121M716
9.17/4.82 decisions=18533, wrong=2807, backtracks=1702, failedAssignments=1417, nogoods=515, foundSolutions=4, bestBound=141
9.17/4.82
9.28/4.90 o 140
9.28/4.91 num=54, depth=60..3506, filters=100267, ccks=1775, wck=2.298, mem=121M716
9.28/4.91 decisions=18988, wrong=2819, backtracks=1704, failedAssignments=1427, nogoods=525, foundSolutions=5, bestBound=140
9.28/4.91
9.28/4.99 o 139
9.28/5.00 num=55, depth=63..3506, filters=101374, ccks=2130, wck=2.389, mem=124M358
9.28/5.00 decisions=19456, wrong=2829, backtracks=1706, failedAssignments=1435, nogoods=533, foundSolutions=6, bestBound=139
9.28/5.00
9.54/5.08 o 138
9.54/5.08 num=56, depth=383..3506, filters=102353, ccks=2485, wck=2.476, mem=124M358
9.54/5.08 decisions=19912, wrong=2830, backtracks=1706, failedAssignments=1436, nogoods=534, foundSolutions=7, bestBound=138
9.54/5.08
9.67/5.15 num=57, depth=81..418, filters=103433, ccks=2485, wck=2.543, mem=124M358
9.67/5.15 decisions=20364, wrong=2855, backtracks=1723, failedAssignments=1447, nogoods=538, foundSolutions=7, bestBound=138
9.67/5.15
9.67/5.18 num=58, depth=67..414, filters=104483, ccks=2485, wck=2.568, mem=124M358
9.67/5.18 decisions=20796, wrong=2868, backtracks=1727, failedAssignments=1458, nogoods=547, foundSolutions=7, bestBound=138
9.67/5.18
9.78/5.20 num=59, depth=70..431, filters=105585, ccks=2485, wck=2.594, mem=124M358
9.78/5.20 decisions=21261, wrong=2889, backtracks=1738, failedAssignments=1470, nogoods=556, foundSolutions=7, bestBound=138
9.78/5.20
9.78/5.23 num=60, depth=80..417, filters=106555, ccks=2485, wck=2.62, mem=124M358
9.78/5.23 decisions=21694, wrong=2903, backtracks=1741, failedAssignments=1483, nogoods=567, foundSolutions=7, bestBound=138
9.78/5.23
9.78/5.25 num=61, depth=92..424, filters=107679, ccks=2485, wck=2.646, mem=124M358
9.78/5.25 decisions=22167, wrong=2935, backtracks=1765, failedAssignments=1497, nogoods=576, foundSolutions=7, bestBound=138
9.78/5.25
9.78/5.28 num=62, depth=84..421, filters=109056, ccks=2485, wck=2.674, mem=124M358
9.78/5.28 decisions=22630, wrong=2962, backtracks=1778, failedAssignments=1513, nogoods=587, foundSolutions=7, bestBound=138
9.78/5.28
9.90/5.31 num=63, depth=94..418, filters=110482, ccks=2485, wck=2.703, mem=124M358
9.90/5.31 decisions=23097, wrong=2993, backtracks=1797, failedAssignments=1530, nogoods=597, foundSolutions=7, bestBound=138
9.90/5.31
9.90/5.34 num=64, depth=96..427, filters=111957, ccks=2485, wck=2.733, mem=124M358
9.90/5.34 decisions=23582, wrong=3034, backtracks=1822, failedAssignments=1549, nogoods=609, foundSolutions=7, bestBound=138
9.90/5.34
9.90/5.37 num=65, depth=111..440, filters=113173, ccks=2485, wck=2.762, mem=124M358
9.90/5.37 decisions=24076, wrong=3068, backtracks=1840, failedAssignments=1570, nogoods=622, foundSolutions=7, bestBound=138
9.90/5.37
10.00/5.42 o 137
10.00/5.42 num=66, depth=120..3506, filters=114496, ccks=2840, wck=2.811, mem=127M29
10.00/5.42 decisions=24579, wrong=3088, backtracks=1846, failedAssignments=1584, nogoods=632, foundSolutions=8, bestBound=137
10.00/5.42
10.00/5.49 num=67, depth=434..450, filters=115799, ccks=2840, wck=2.881, mem=127M29
10.00/5.49 decisions=25126, wrong=3144, backtracks=1888, failedAssignments=1609, nogoods=634, foundSolutions=8, bestBound=137
10.00/5.49
10.10/5.57 num=68, depth=3..131, filters=123178, ccks=2840, wck=2.965, mem=127M29
10.10/5.57 decisions=25428, wrong=3285, backtracks=2018, failedAssignments=1620, nogoods=644, foundSolutions=8, bestBound=137
10.10/5.57
10.20/5.61 num=69, depth=3..234, filters=125871, ccks=2840, wck=3.0, mem=127M29
10.20/5.61 decisions=25717, wrong=3318, backtracks=2039, failedAssignments=1632, nogoods=655, foundSolutions=8, bestBound=137
10.20/5.61
10.20/5.63 num=70, depth=3..212, filters=127184, ccks=2840, wck=3.02, mem=127M29
10.20/5.63 decisions=25956, wrong=3339, backtracks=2049, failedAssignments=1645, nogoods=662, foundSolutions=8, bestBound=137
10.20/5.63
10.20/5.65 num=71, depth=4..208, filters=128297, ccks=2840, wck=3.039, mem=127M29
10.20/5.65 decisions=26181, wrong=3354, backtracks=2051, failedAssignments=1659, nogoods=675, foundSolutions=8, bestBound=137
10.20/5.65
10.20/5.67 num=72, depth=4..192, filters=129585, ccks=2840, wck=3.058, mem=127M29
10.20/5.67 decisions=26423, wrong=3389, backtracks=2075, failedAssignments=1675, nogoods=683, foundSolutions=8, bestBound=137
10.20/5.67
10.20/5.68 num=73, depth=8..147, filters=130927, ccks=2840, wck=3.076, mem=127M29
10.20/5.68 decisions=26625, wrong=3429, backtracks=2107, failedAssignments=1692, nogoods=688, foundSolutions=8, bestBound=137
10.20/5.68
10.30/5.70 num=74, depth=11..240, filters=132356, ccks=2840, wck=3.097, mem=127M29
10.30/5.70 decisions=26924, wrong=3465, backtracks=2125, failedAssignments=1711, nogoods=698, foundSolutions=8, bestBound=137
10.30/5.70
10.30/5.73 num=75, depth=15..248, filters=133849, ccks=2840, wck=3.119, mem=127M29
10.30/5.73 decisions=27242, wrong=3507, backtracks=2151, failedAssignments=1732, nogoods=711, foundSolutions=8, bestBound=137
10.30/5.73
10.30/5.75 num=76, depth=19..262, filters=135010, ccks=2840, wck=3.14, mem=127M29
10.30/5.75 decisions=27557, wrong=3541, backtracks=2162, failedAssignments=1755, nogoods=729, foundSolutions=8, bestBound=137
10.30/5.75
10.30/5.77 num=77, depth=25..183, filters=136737, ccks=2840, wck=3.163, mem=127M29
10.30/5.77 decisions=27816, wrong=3584, backtracks=2187, failedAssignments=1780, nogoods=740, foundSolutions=8, bestBound=137
10.30/5.77
10.40/5.80 num=78, depth=44..270, filters=138373, ccks=2840, wck=3.189, mem=127M29
10.40/5.80 decisions=28171, wrong=3634, backtracks=2214, failedAssignments=1808, nogoods=756, foundSolutions=8, bestBound=137
10.40/5.80
10.40/5.82 num=79, depth=42..188, filters=139934, ccks=2840, wck=3.211, mem=127M29
10.40/5.82 decisions=28443, wrong=3689, backtracks=2242, failedAssignments=1839, nogoods=768, foundSolutions=8, bestBound=137
10.40/5.82
10.40/5.84 num=80, depth=44..208, filters=141736, ccks=2840, wck=3.235, mem=127M29
10.40/5.84 decisions=28743, wrong=3744, backtracks=2271, failedAssignments=1873, nogoods=783, foundSolutions=8, bestBound=137
10.40/5.84
10.40/5.87 num=81, depth=21..172, filters=143386, ccks=2840, wck=3.259, mem=127M29
10.40/5.87 decisions=29040, wrong=3819, backtracks=2316, failedAssignments=1910, nogoods=791, foundSolutions=8, bestBound=137
10.40/5.87
10.40/5.89 num=82, depth=33..248, filters=144797, ccks=2840, wck=3.282, mem=127M29
10.40/5.89 decisions=29373, wrong=3880, backtracks=2338, failedAssignments=1951, nogoods=814, foundSolutions=8, bestBound=137
10.40/5.89
10.50/5.94 num=83, depth=38..186, filters=149026, ccks=2840, wck=3.327, mem=127M29
10.50/5.94 decisions=29776, wrong=4013, backtracks=2436, failedAssignments=1996, nogoods=821, foundSolutions=8, bestBound=137
10.50/5.94
10.50/5.97 num=84, depth=30..276, filters=151308, ccks=2840, wck=3.362, mem=127M29
10.50/5.97 decisions=30241, wrong=4118, backtracks=2509, failedAssignments=2046, nogoods=837, foundSolutions=8, bestBound=137
10.50/5.97
10.61/6.02 o 129
10.61/6.03 num=85, depth=132..3506, filters=153467, ccks=3195, wck=3.418, mem=127M29
10.61/6.03 decisions=30737, wrong=4191, backtracks=2560, failedAssignments=2078, nogoods=843, foundSolutions=9, bestBound=129
10.61/6.03
10.71/6.11 o 127
10.71/6.11 num=86, depth=112..3506, filters=155220, ccks=3550, wck=3.506, mem=129M671
10.71/6.11 decisions=31148, wrong=4255, backtracks=2596, failedAssignments=2114, nogoods=859, foundSolutions=10, bestBound=127
10.71/6.11
10.71/6.17 num=87, depth=15..137, filters=156161, ccks=3550, wck=3.561, mem=129M671
10.71/6.17 decisions=31300, wrong=4266, backtracks=2596, failedAssignments=2125, nogoods=870, foundSolutions=10, bestBound=127
10.71/6.17
10.71/6.18 num=88, depth=19..158, filters=157190, ccks=3550, wck=3.575, mem=129M671
10.71/6.18 decisions=31480, wrong=4283, backtracks=2602, failedAssignments=2136, nogoods=878, foundSolutions=10, bestBound=127
10.71/6.18
10.80/6.20 num=89, depth=19..150, filters=158048, ccks=3550, wck=3.589, mem=129M671
10.80/6.20 decisions=31651, wrong=4297, backtracks=2606, failedAssignments=2148, nogoods=888, foundSolutions=10, bestBound=127
10.80/6.20
10.80/6.21 num=90, depth=20..150, filters=159260, ccks=3550, wck=3.605, mem=129M671
10.80/6.21 decisions=31834, wrong=4321, backtracks=2621, failedAssignments=2161, nogoods=895, foundSolutions=10, bestBound=127
10.80/6.21
10.80/6.23 num=91, depth=23..242, filters=160315, ccks=3550, wck=3.626, mem=129M671
10.80/6.23 decisions=32107, wrong=4347, backtracks=2634, failedAssignments=2175, nogoods=908, foundSolutions=10, bestBound=127
10.80/6.23
10.80/6.26 num=92, depth=26..269, filters=161628, ccks=3550, wck=3.648, mem=129M671
10.80/6.26 decisions=32422, wrong=4379, backtracks=2654, failedAssignments=2191, nogoods=917, foundSolutions=10, bestBound=127
10.80/6.26
10.91/6.30 o 126
10.91/6.30 num=93, depth=29..3506, filters=162919, ccks=3905, wck=3.694, mem=132M314
10.91/6.30 decisions=32753, wrong=4401, backtracks=2662, failedAssignments=2205, nogoods=930, foundSolutions=11, bestBound=126
10.91/6.30
10.91/6.37 num=94, depth=26..273, filters=164466, ccks=3905, wck=3.759, mem=132M314
10.91/6.37 decisions=33083, wrong=4437, backtracks=2683, failedAssignments=2224, nogoods=940, foundSolutions=11, bestBound=126
10.91/6.37
10.91/6.39 num=95, depth=26..144, filters=165953, ccks=3905, wck=3.781, mem=132M314
10.91/6.39 decisions=33273, wrong=4464, backtracks=2701, failedAssignments=2235, nogoods=945, foundSolutions=11, bestBound=126
10.91/6.39
11.01/6.41 num=96, depth=31..143, filters=167030, ccks=3905, wck=3.798, mem=132M314
11.01/6.41 decisions=33451, wrong=4485, backtracks=2710, failedAssignments=2247, nogoods=952, foundSolutions=11, bestBound=126
11.01/6.41
11.01/6.42 num=97, depth=32..155, filters=168045, ccks=3905, wck=3.813, mem=132M314
11.01/6.42 decisions=33640, wrong=4510, backtracks=2723, failedAssignments=2260, nogoods=957, foundSolutions=11, bestBound=126
11.01/6.42
11.01/6.45 num=98, depth=35..152, filters=169730, ccks=3905, wck=3.838, mem=132M314
11.01/6.45 decisions=33823, wrong=4533, backtracks=2732, failedAssignments=2274, nogoods=965, foundSolutions=11, bestBound=126
11.01/6.45
11.01/6.46 num=99, depth=40..169, filters=170736, ccks=3905, wck=3.855, mem=132M314
11.01/6.46 decisions=34028, wrong=4560, backtracks=2743, failedAssignments=2290, nogoods=974, foundSolutions=11, bestBound=126
11.01/6.46
11.11/6.50 o 125
11.11/6.50 num=100, depth=45..3506, filters=171657, ccks=4260, wck=3.895, mem=132M314
11.11/6.50 decisions=34322, wrong=4565, backtracks=2743, failedAssignments=2295, nogoods=979, foundSolutions=12, bestBound=125
11.11/6.50
11.11/6.58 o 124
11.11/6.58 num=101, depth=121..3506, filters=172569, ccks=4615, wck=3.976, mem=134M956
11.11/6.58 decisions=34630, wrong=4578, backtracks=2744, failedAssignments=2307, nogoods=991, foundSolutions=13, bestBound=124
11.11/6.58
11.22/6.65 num=102, depth=60..160, filters=173590, ccks=4615, wck=4.037, mem=134M956
11.22/6.65 decisions=34817, wrong=4597, backtracks=2754, failedAssignments=2318, nogoods=994, foundSolutions=13, bestBound=124
11.22/6.65
11.22/6.68 o 123
11.22/6.68 num=103, depth=49..3506, filters=174412, ccks=4970, wck=4.076, mem=134M956
11.22/6.68 decisions=35109, wrong=4602, backtracks=2754, failedAssignments=2323, nogoods=999, foundSolutions=14, bestBound=123
11.22/6.68
11.32/6.74 num=104, depth=125..132, filters=175124, ccks=4970, wck=4.13, mem=134M956
11.32/6.74 decisions=35277, wrong=4623, backtracks=2770, failedAssignments=2335, nogoods=1003, foundSolutions=14, bestBound=123
11.32/6.74
11.32/6.76 num=105, depth=52..154, filters=176419, ccks=4970, wck=4.148, mem=134M956
11.32/6.76 decisions=35515, wrong=4697, backtracks=2838, failedAssignments=2346, nogoods=1007, foundSolutions=14, bestBound=123
11.32/6.76
11.32/6.78 num=106, depth=53..110, filters=177749, ccks=4970, wck=4.169, mem=134M956
11.32/6.78 decisions=35680, wrong=4730, backtracks=2862, failedAssignments=2358, nogoods=1014, foundSolutions=14, bestBound=123
11.32/6.78
11.32/6.79 num=107, depth=58..121, filters=178895, ccks=4970, wck=4.186, mem=134M956
11.32/6.79 decisions=35854, wrong=4766, backtracks=2892, failedAssignments=2371, nogoods=1018, foundSolutions=14, bestBound=123
11.32/6.79
11.42/6.81 num=108, depth=56..119, filters=180265, ccks=4970, wck=4.207, mem=134M956
11.42/6.81 decisions=36053, wrong=4815, backtracks=2936, failedAssignments=2385, nogoods=1022, foundSolutions=14, bestBound=123
11.42/6.81
11.42/6.84 num=109, depth=80..97, filters=181710, ccks=4970, wck=4.229, mem=134M956
11.42/6.84 decisions=36211, wrong=4851, backtracks=2963, failedAssignments=2401, nogoods=1024, foundSolutions=14, bestBound=123
11.42/6.84
11.42/6.86 num=110, depth=85..113, filters=183025, ccks=4970, wck=4.248, mem=134M956
11.42/6.86 decisions=36375, wrong=4881, backtracks=2977, failedAssignments=2418, nogoods=1031, foundSolutions=14, bestBound=123
11.42/6.86
11.42/6.87 num=111, depth=13..42, filters=184532, ccks=4970, wck=4.266, mem=134M956
11.42/6.87 decisions=36524, wrong=4945, backtracks=3028, failedAssignments=2437, nogoods=1033, foundSolutions=14, bestBound=123
11.42/6.87
11.54/6.92
11.54/6.92 New Bounds: 123..122
11.54/6.92 num=112, depth=0..77, filters=188916, ccks=4970, wck=4.313, mem=134M956
11.54/6.92 decisions=36752, wrong=5060, backtracks=3137, failedAssignments=2453, foundSolutions=14, bestBound=123
11.54/6.92
11.54/6.92 Global
11.54/6.92 filters=188916, ccks=4970
11.54/6.92 Stop=FULL_EXPLORATION, wrong=5060, bestBound=123, bestBoundWck=4.812, bestBoundCpu=6.639, foundSolutions=14, firstSolCpu=3.774
11.54/6.92 wck=5.051, cpu=6.878, mem=134M956
11.54/6.92
11.54/6.92 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>
11.54/6.92 s OPTIMUM FOUND
11.54/6.92
11.54/6.92 d WRONG_DECISIONS 5060
11.54/6.92 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 (15199 MiB free)
memory of node 1: 16384 MiB (15232 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390903-1568380636/watcher-4390903-1568380636 -o /tmp/evaluation-result-4390903-1568380636/solver-4390903-1568380636 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390903-1568380636.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31181, runsolver pid=31178
[startup+0.102249 s]*
/proc/loadavg: 1.99 0.75 0.31 4/228 31197
/proc/meminfo: memFree=31145932/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10659884 memory=27936 CPUtime=0.14 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 5503 0 0 0 13 1 0 0 20 0 15 0 414326313 10915721216 6984 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2664971 6984 2874 1 0 2627468 0
[pid=31181/tid=31183] ppid=31178 vsize=10659884 memory=-8269626465541198458 CPUtime=0.09 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) R 31178 31181 30397 0 -1 4202560 3225 0 0 0 9 0 0 0 20 0 15 0 414326313 10915721216 6984 33554432000 4194304 4196468 140733969073824 139627175577872 139627171370141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 6984 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 6984 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326315 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626339382944 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626338329840 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326318 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 414326318 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 414326318 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0.02 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) R 31178 31181 30397 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 414326318 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626334116600 139627163585342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 6984 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27936 KiB
[startup+0.210475 s]*
/proc/loadavg: 1.99 0.75 0.31 3/228 31197
/proc/meminfo: memFree=31138848/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10659884 memory=35176 CPUtime=0.32 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 6933 0 0 0 31 1 0 0 20 0 15 0 414326313 10915721216 8794 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2664971 8794 2990 1 0 2627468 0
[pid=31181/tid=31183] ppid=31178 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) R 31178 31181 30397 0 -1 4202560 3872 0 0 0 19 1 0 0 20 0 15 0 414326313 10915721216 8794 33554432000 4194304 4196468 140733969073824 139627175574576 139627171370141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 8794 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10659884 memory=288370023546951296 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 8794 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326315 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626339382944 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626338329840 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326318 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 414326318 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 414326318 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0.05 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 15 0 414326318 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 8794 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35176 KiB
[startup+0.310067 s]*
/proc/loadavg: 1.99 0.75 0.31 3/228 31197
/proc/meminfo: memFree=31130948/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10659884 memory=40304 CPUtime=0.47 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 9450 0 0 0 44 3 0 0 20 0 15 0 414326313 10915721216 10076 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2664971 10076 3002 1 0 2627468 0
[pid=31181/tid=31183] ppid=31178 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) R 31178 31181 30397 0 -1 4202560 6324 0 0 0 28 2 0 0 20 0 15 0 414326313 10915721216 10076 33554432000 4194304 4196468 140733969073824 139627175580016 139627157041696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10659884 memory=4297963160 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 10076 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10659884 memory=288370023546951296 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 10076 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326315 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626339382944 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326316 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626338329840 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326318 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 705 0 0 0 4 0 0 0 20 0 15 0 414326318 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 352 0 0 0 3 0 0 0 20 0 15 0 414326318 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0.08 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 414326318 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10659884 memory=139647395239552 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326319 10915721216 10076 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40304 KiB
[startup+0.700753 s]
/proc/loadavg: 1.99 0.77 0.32 3/228 31197
/proc/meminfo: memFree=31124020/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10661932 memory=62136 CPUtime=1.08 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 12679 0 0 0 103 5 0 0 20 0 15 0 414326313 10917818368 15534 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2665483 15534 3066 1 0 2627980 0
[pid=31181/tid=31183] ppid=31178 vsize=10661932 memory=273598677814579 CPUtime=0.68 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) R 31178 31181 30397 0 -1 4202560 8881 0 0 0 64 4 0 0 20 0 15 0 414326313 10917818368 15534 33554432000 4194304 4196468 140733969073824 139627175580240 139627151626616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10661932 memory=3158301 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10917818368 15534 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10917818368 15534 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326315 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326316 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626339382944 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326316 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626338329840 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326318 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10661932 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) R 31178 31181 30397 0 -1 4202560 813 0 0 0 9 0 0 0 20 0 15 0 414326318 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626336225520 139627163637681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 583 0 0 0 10 0 0 0 20 0 15 0 414326318 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 1043 0 0 0 18 0 0 0 20 0 15 0 414326318 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326319 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326319 10917818368 15534 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62136 KiB
[startup+1.5008 s]
/proc/loadavg: 1.99 0.77 0.32 3/228 31197
/proc/meminfo: memFree=31107692/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10663980 memory=75172 CPUtime=1.99 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 16703 0 0 0 193 6 0 0 20 0 15 0 414326313 10919915520 18793 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2665995 18793 3094 1 0 2628492 0
[pid=31181/tid=31183] ppid=31178 vsize=10663980 memory=2996107 CPUtime=1.48 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) R 31178 31181 30397 0 -1 4202560 11690 0 0 0 144 4 0 0 20 0 15 0 414326313 10919915520 18793 33554432000 4194304 4196468 140733969073824 139627175580240 139627152721984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10919915520 18793 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326314 10919915520 18793 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10919915520 18793 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326314 10919915520 18793 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414326315 10919915520 18793 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
################
# More data... #
################
[pid=31181/tid=31184] ppid=31178 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10748324 memory=3620 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10748324 memory=19436 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10748324 memory=237200 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10748324 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 16 0 414326315 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626339383008 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10748324 memory=19436 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626338329856 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10748324 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10748324 memory=139647238158161 CPUtime=1.86 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 5132 0 0 0 186 0 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10748324 memory=279294475912928 CPUtime=1.96 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 4234 0 0 0 195 1 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10748324 memory=-7233780906022716832 CPUtime=0.73 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 3450 0 0 0 72 1 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10748324 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10748324 memory=-8341965534555837031 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31198] ppid=31178 vsize=10748324 memory=4951091520899160964 CPUtime=4.34 cores=0,2,4,6
/proc/31181/task/31198/stat : 31198 (java) R 31178 31181 30397 0 -1 4202560 5293 0 0 0 431 3 0 0 20 0 16 0 414326503 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626315351056 139626793947454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241440 KiB
[startup+6.93577 s]
# the end of solver process 31181 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.4042 s, system=0.181051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40095 s]
/proc/loadavg: 1.99 0.79 0.33 3/229 31198
/proc/meminfo: memFree=30936920/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10748324 memory=241440 CPUtime=11.01 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 34414 0 0 0 1085 16 0 0 20 0 16 0 414326313 11006283776 60360 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2687081 60360 3356 1 0 2647217 0
[pid=31181/tid=31183] ppid=31178 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) S 31178 31181 30397 0 -1 1077944384 13715 0 0 0 182 6 0 0 20 0 16 0 414326313 11006283776 60360 33554432000 4194304 4196468 140733969073824 139627175591088 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10748324 memory=-7966001734536614954 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10748324 memory=6944613755495348631 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10748324 memory=8978591356805939607 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10748324 memory=-8672958532971446211 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10748324 memory=-6519195332864097942 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 16 0 414326315 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10748324 memory=230784 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626339383008 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10748324 memory=230784 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626338329856 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10748324 memory=288291090698863470 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10748324 memory=3620 CPUtime=1.86 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 5132 0 0 0 186 0 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10748324 memory=235148 CPUtime=1.96 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 4234 0 0 0 195 1 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10748324 memory=223928 CPUtime=0.74 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 3647 0 0 0 73 1 0 0 20 0 16 0 414326318 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10748324 memory=13412 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31198] ppid=31178 vsize=10748324 memory=1060 CPUtime=4.44 cores=0,2,4,6
/proc/31181/task/31198/stat : 31198 (java) R 31178 31181 30397 0 -1 4202560 5294 0 0 0 441 3 0 0 20 0 16 0 414326503 11006283776 60360 33554432000 4194304 4196468 140733969073824 139626315351056 139626794265020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 11.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241440 KiB
[startup+6.80076 s]
/proc/loadavg: 1.99 0.79 0.33 3/229 31198
/proc/meminfo: memFree=30936920/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10748324 memory=245616 CPUtime=11.42 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 35820 0 0 0 1126 16 0 0 20 0 16 0 414326313 11006283776 61404 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2687081 61404 3356 1 0 2647217 0
[pid=31181/tid=31183] ppid=31178 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) S 31178 31181 30397 0 -1 1077944384 13715 0 0 0 182 6 0 0 20 0 16 0 414326313 11006283776 61404 33554432000 4194304 4196468 140733969073824 139627175591088 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 61404 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 61404 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 16 0 414326315 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10748324 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626339383008 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10748324 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626338329856 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10748324 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326318 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10748324 memory=1440 CPUtime=1.86 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 5132 0 0 0 186 0 0 0 20 0 16 0 414326318 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10748324 memory=920 CPUtime=1.96 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 4603 0 0 0 195 1 0 0 20 0 16 0 414326318 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10748324 memory=1984 CPUtime=0.74 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 4230 0 0 0 73 1 0 0 20 0 16 0 414326318 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10748324 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10748324 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31198] ppid=31178 vsize=10748324 memory=111632 CPUtime=4.85 cores=0,2,4,6
/proc/31181/task/31198/stat : 31198 (java) R 31178 31181 30397 0 -1 4202560 5735 0 0 0 481 4 0 0 20 0 16 0 414326503 11006283776 61404 33554432000 4194304 4196468 140733969073824 139626315345968 139626793814632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245616 KiB
[startup+6.90073 s]
/proc/loadavg: 1.99 0.79 0.33 3/229 31198
/proc/meminfo: memFree=30936920/32770624 swapFree=66981380/67108860
[pid=31181] ppid=31178 vsize=10748324 memory=245648 CPUtime=11.54 cores=0,2,4,6
/proc/31181/stat : 31181 (java) S 31178 31181 30397 0 -1 1077944320 36890 0 0 0 1137 17 0 0 20 0 16 0 414326313 11006283776 61412 33554432000 4194304 4196468 140733969073824 140733969056368 139627171348215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
/proc/31181/statm: 2687081 61412 3356 1 0 2647217 0
[pid=31181/tid=31183] ppid=31178 vsize=10748324 memory=6944656592455360604 CPUtime=1.88 cores=0,2,4,6
/proc/31181/task/31183/stat : 31183 (java) S 31178 31181 30397 0 -1 1077944384 13715 0 0 0 182 6 0 0 20 0 16 0 414326313 11006283776 61412 33554432000 4194304 4196468 140733969073824 139627175591088 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31184] ppid=31178 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31184/stat : 31184 (java) S 31178 31181 30397 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 61412 33554432000 4194304 4196468 140733969073824 139627108039184 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31185] ppid=31178 vsize=10748324 memory=3620 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31185/stat : 31185 (java) S 31178 31181 30397 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414326314 11006283776 61412 33554432000 4194304 4196468 140733969073824 139627106986640 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31186] ppid=31178 vsize=10748324 memory=19436 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31186/stat : 31186 (java) S 31178 31181 30397 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626775701776 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31187] ppid=31178 vsize=10748324 memory=237200 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31187/stat : 31187 (java) S 31178 31181 30397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414326314 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626774649232 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31188] ppid=31178 vsize=10748324 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/31181/task/31188/stat : 31188 (java) S 31178 31181 30397 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 16 0 414326315 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626340436720 139627171359362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31189] ppid=31178 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31189/stat : 31189 (java) S 31178 31181 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626339383008 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31190] ppid=31178 vsize=10748324 memory=19436 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31190/stat : 31190 (java) S 31178 31181 30397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414326316 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626338329856 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31191] ppid=31178 vsize=10748324 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31191/stat : 31191 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326318 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626337278416 139627171366811 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31192] ppid=31178 vsize=10748324 memory=139647238158161 CPUtime=1.88 cores=0,2,4,6
/proc/31181/task/31192/stat : 31192 (java) S 31178 31181 30397 0 -1 1077944384 5862 0 0 0 187 1 0 0 20 0 16 0 414326318 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626336225520 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31194] ppid=31178 vsize=10748324 memory=279294475912928 CPUtime=1.96 cores=0,2,4,6
/proc/31181/task/31194/stat : 31194 (java) S 31178 31181 30397 0 -1 1077944384 4603 0 0 0 195 1 0 0 20 0 16 0 414326318 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626335172976 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31195] ppid=31178 vsize=10748324 memory=-7233780906022716832 CPUtime=0.74 cores=0,2,4,6
/proc/31181/task/31195/stat : 31195 (java) S 31178 31181 30397 0 -1 1077944384 4563 0 0 0 73 1 0 0 20 0 16 0 414326318 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626334119920 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31196] ppid=31178 vsize=10748324 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31196/stat : 31196 (java) S 31178 31181 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626333067616 139627171358421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31197] ppid=31178 vsize=10748324 memory=-8341965534555837031 CPUtime=0 cores=0,2,4,6
/proc/31181/task/31197/stat : 31197 (java) S 31178 31181 30397 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414326319 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626332015664 139627171359362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
[pid=31181/tid=31198] ppid=31178 vsize=10748324 memory=4951091520899160964 CPUtime=4.95 cores=0,2,4,6
/proc/31181/task/31198/stat : 31198 (java) R 31178 31181 30397 0 -1 4202560 5742 0 0 0 491 4 0 0 20 0 16 0 414326503 11006283776 61412 33554432000 4194304 4196468 140733969073824 139626315345968 139626793819880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28364800 140733969081355 140733969081458 140733969081458 140733969084367 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245648 KiB
Child status: 0
Real time (s): 6.93582
CPU time (s): 11.5853
CPU user time (s): 11.4042
CPU system time (s): 0.181051
CPU usage (%): 167.036
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 245648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4042
system time used= 0.181051
maximum resident set size= 250116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37634
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= 2890
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 31181
# total CPU time (s): 11.5853
# total CPU user time (s): 11.4042
# total CPU system time (s): 0.181051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055502 second user time and 0.126831 second system time
The end