2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
4.03/2.32 Instance
4.03/2.32 name=instance-4390986-1568386126, framework=COP, bounds=-infty..+infty
4.03/2.32
4.03/2.32 Loading variables...
4.70/2.56 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
11.02/4.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
11.41/4.67 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
11.41/4.68 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
11.41/4.69 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
11.41/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
11.41/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
11.51/4.70 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
11.51/4.71 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
11.51/4.72 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
11.51/4.73 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
11.51/4.74 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
11.51/4.75 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.85/4.85
11.85/4.85
11.85/4.85 Domains
11.85/4.85 nTypes=4, nValues=43956, sizes=[2#12321,13#111,50#111,111#111]
11.85/4.85 Variables
11.85/4.85 count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.85/4.85 Objectives
11.85/4.85 way=min, type=SumSimpleLE
11.85/4.85 Constraints
11.85/4.85 count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.85/4.85 distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.85/4.85 nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.85/4.85 wck=3.003, cpu=4.138, mem=933M142
11.85/4.87 Solver SolverBacktrack being built...
11.85/4.87
12.18/4.98
12.18/4.98 Solver
12.18/4.98 guaranteedGAC=false
12.18/4.98 wck=3.135, cpu=4.269, mem=965M110
13.44/5.72
13.44/5.72 Preprocessing
13.44/5.72 filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.44/5.72 wck=0.742, cpu=5.015, mem=965M110
13.44/5.72
13.44/5.77 num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.792, mem=965M110
13.44/5.77 decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.44/5.77
13.71/5.83 num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.85, mem=973M99
13.71/5.83 decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.71/5.83
13.71/5.89 num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=0.904, mem=973M99
13.71/5.89 decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.71/5.89
14.03/5.96 num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=0.975, mem=973M99
14.03/5.96 decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
14.03/5.96
14.36/6.04 num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=1.06, mem=973M99
14.36/6.04 decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.36/6.04
14.66/6.14 num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=1.163, mem=973M99
14.66/6.14 decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.66/6.14
14.93/6.25 num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=1.266, mem=973M99
14.93/6.25 decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.93/6.25
15.23/6.37 num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=1.39, mem=973M99
15.23/6.37 decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.23/6.37
15.74/6.51 num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=1.523, mem=973M99
15.74/6.51 decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.74/6.51
15.99/6.65 num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=1.669, mem=973M99
15.99/6.65 decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.99/6.65
16.44/6.81 num=10, depth=1089..1090, filters=28976, revisions=(475034,useless=447611), ccks=1567887, wck=1.828, mem=973M99
16.44/6.81 decisions=6479, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
16.44/6.81
16.66/6.99 num=11, depth=1307..1308, filters=34196, revisions=(589714,useless=557512), ccks=1609670, wck=2.012, mem=977M121
16.66/6.99 decisions=7843, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.66/6.99
17.27/7.21 num=12, depth=1524..1526, filters=40319, revisions=(731815,useless=694074), ccks=1660676, wck=2.229, mem=977M121
17.27/7.21 decisions=9431, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
17.27/7.21
17.66/7.45 num=13, depth=1630..1631, filters=47252, revisions=(900117,useless=856215), ccks=1723662, wck=2.465, mem=977M121
17.66/7.45 decisions=11130, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
17.66/7.45
17.97/7.71 num=14, depth=1958..1959, filters=54723, revisions=(1087625,useless=1037037), ccks=1790651, wck=2.733, mem=977M121
17.97/7.71 decisions=13163, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
17.97/7.71
18.30/8.01 num=15, depth=2176..2178, filters=62951, revisions=(1291119,useless=1233124), ccks=1855328, wck=3.027, mem=977M121
18.30/8.01 decisions=15423, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
18.30/8.01
18.59/8.33 num=16, depth=2393..2394, filters=71875, revisions=(1517483,useless=1451486), ccks=1934599, wck=3.35, mem=977M121
18.59/8.33 decisions=17907, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
18.59/8.33
18.92/8.68 num=17, depth=2611..2613, filters=81657, revisions=(1757502,useless=1682659), ccks=2006326, wck=3.695, mem=977M121
18.92/8.68 decisions=20620, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
18.92/8.68
19.33/9.06 num=18, depth=2938..2940, filters=92358, revisions=(2019280,useless=1934707), ccks=2085807, wck=4.078, mem=977M121
19.33/9.06 decisions=23670, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
19.33/9.06
19.72/9.48 num=19, depth=3265..3267, filters=104010, revisions=(2300708,useless=2205469), ccks=2167112, wck=4.497, mem=977M121
19.72/9.48 decisions=27059, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
19.72/9.48
20.23/9.94 num=20, depth=3590..3592, filters=117049, revisions=(2627431,useless=2520391), ccks=2263476, wck=4.956, mem=982M33
20.23/9.94 decisions=30785, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
20.23/9.94
20.73/10.43 num=21, depth=3915..3918, filters=131677, revisions=(2996896,useless=2876694), ccks=2373065, wck=5.454, mem=982M33
20.73/10.43 decisions=34851, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
20.73/10.43
21.23/10.98 num=22, depth=4351..4354, filters=147586, revisions=(3397334,useless=3262753), ccks=2493237, wck=5.999, mem=982M33
21.23/10.98 decisions=39367, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
21.23/10.98
23.60/12.07 num=23, depth=4784..4787, filters=165322, revisions=(3855946,useless=3705476), ccks=2630025, wck=7.093, mem=719M532
23.60/12.07 decisions=44332, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
23.60/12.07
24.45/12.70 num=24, depth=5220..5224, filters=184550, revisions=(4341535,useless=4173710), ccks=2770288, wck=7.716, mem=719M532
24.45/12.70 decisions=49752, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
24.45/12.70
25.05/13.37 num=25, depth=5765..5769, filters=205383, revisions=(4860429,useless=4673674), ccks=2918129, wck=8.388, mem=719M532
25.05/13.37 decisions=55737, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
25.05/13.37
25.76/14.09 num=26, depth=6310..6315, filters=227989, revisions=(5412961,useless=5205535), ccks=3070098, wck=9.106, mem=727M525
25.76/14.09 decisions=62290, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
25.76/14.09
26.61/14.88 num=27, depth=6964..6966, filters=249577, revisions=(6005126,useless=5778082), ccks=3224423, wck=9.895, mem=727M525
26.61/14.88 decisions=69518, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
26.61/14.88
28.60/16.56 num=28, depth=7040..7256, filters=703468, revisions=(7515710,useless=6847256), ccks=4651964, wck=11.577, mem=736M626
28.60/16.56 decisions=92283, wrong=9095, backtracks=7690, failedAssignments=1474, nogoods=1405
28.60/16.56
29.67/17.57 num=29, depth=7255..7370, filters=787111, revisions=(8279257,useless=7531476), ccks=4967039, wck=12.585, mem=736M626
29.67/17.57 decisions=102652, wrong=10638, backtracks=9231, failedAssignments=1632, nogoods=1407
29.67/17.57
30.59/18.43 num=30, depth=7478..7583, filters=821143, revisions=(8930399,useless=8150775), ccks=5144682, wck=13.451, mem=736M626
30.59/18.43 decisions=110989, wrong=11017, backtracks=9439, failedAssignments=1806, nogoods=1472
30.59/18.43
32.42/20.19 num=31, depth=7367..7584, filters=1329412, revisions=(10570429,useless=9296288), ccks=6720349, wck=15.206, mem=736M626
32.42/20.19 decisions=136088, wrong=19777, backtracks=18089, failedAssignments=1997, nogoods=1476
32.42/20.19
33.42/21.20 num=32, depth=7583..7678, filters=1405752, revisions=(11401155,useless=10055255), ccks=7047141, wck=16.216, mem=736M626
33.42/21.20 decisions=146729, wrong=21273, backtracks=19401, failedAssignments=2208, nogoods=1482
33.42/21.20
36.93/24.67 num=33, depth=7444..7671, filters=2846412, revisions=(14951436,useless=12201093), ccks=11388354, wck=19.688, mem=736M626
36.93/24.67 decisions=204437, wrong=46363, backtracks=44496, failedAssignments=2440, nogoods=1484
36.93/24.67
37.84/25.54 num=34, depth=7894..7896, filters=2874139, revisions=(15603258,useless=12827089), ccks=11557076, wck=20.555, mem=744M593
37.84/25.54 decisions=212845, wrong=46620, backtracks=44498, failedAssignments=2695, nogoods=1524
37.84/25.54
39.58/27.24 num=35, depth=7681..7893, filters=3336646, revisions=(17231473,useless=14005548), ccks=13030490, wck=22.262, mem=744M593
39.58/27.24 decisions=237035, wrong=54807, backtracks=52480, failedAssignments=2976, nogoods=1623
39.58/27.24
40.98/28.68 num=36, depth=7786..8005, filters=3695122, revisions=(18580741,useless=15006212), ccks=14170795, wck=23.697, mem=744M593
40.98/28.68 decisions=257152, wrong=60873, backtracks=58292, failedAssignments=3285, nogoods=1666
40.98/28.68
42.19/29.87 num=37, depth=7896..8115, filters=3905318, revisions=(19663099,useless=15885011), ccks=14888300, wck=24.89, mem=752M561
42.19/29.87 decisions=272257, wrong=64400, backtracks=61511, failedAssignments=3625, nogoods=1763
42.19/29.87
44.09/31.77 num=38, depth=8064..8226, filters=4367132, revisions=(21730659,useless=17507516), ccks=16485864, wck=26.791, mem=752M561
44.09/31.77 decisions=302367, wrong=75391, backtracks=72471, failedAssignments=3999, nogoods=1765
44.09/31.77
44.99/32.70 num=39, depth=8225..8414, filters=4414941, revisions=(22480183,useless=18212181), ccks=16703884, wck=27.715, mem=752M561
44.99/32.70 decisions=311908, wrong=75994, backtracks=72665, failedAssignments=4410, nogoods=1797
44.99/32.70
49.29/36.95 num=40, depth=8261..8446, filters=6054706, revisions=(28082852,useless=22221393), ccks=22403577, wck=31.967, mem=760M528
49.29/36.95 decisions=390749, wrong=111247, backtracks=107922, failedAssignments=4862, nogoods=1799
49.29/36.95
50.89/38.51 num=41, depth=8432..8587, filters=6432883, revisions=(29678835,useless=23451078), ccks=23685900, wck=33.534, mem=760M528
50.89/38.51 decisions=413351, wrong=118258, backtracks=114515, failedAssignments=5359, nogoods=1898
50.89/38.51
51.79/39.43 num=42, depth=8481..8590, filters=6474277, revisions=(30442848,useless=24176159), ccks=23905713, wck=34.451, mem=760M528
51.79/39.43 decisions=423463, wrong=119026, backtracks=114737, failedAssignments=5906, nogoods=1914
51.79/39.43
53.09/40.70 num=43, depth=8352..8471, filters=6719949, revisions=(31629141,useless=25124358), ccks=24736875, wck=35.718, mem=760M528
53.09/40.70 decisions=440656, wrong=123446, backtracks=118559, failedAssignments=6508, nogoods=1934
53.09/40.70
54.19/41.88 num=44, depth=8627..8845, filters=6922550, revisions=(32710922,useless=26009440), ccks=25427078, wck=36.902, mem=768M496
54.19/41.88 decisions=456094, wrong=126806, backtracks=121284, failedAssignments=7170, nogoods=2037
54.19/41.88
60.79/48.47 num=45, depth=8519..8848, filters=10351189, revisions=(40504461,useless=30459346), ccks=35698300, wck=43.488, mem=776M463
60.79/48.47 decisions=585664, wrong=187211, backtracks=181544, failedAssignments=7898, nogoods=2099
60.79/48.47
61.99/49.69 num=46, depth=8739..8958, filters=10582176, revisions=(41665548,useless=31395861), ccks=36480812, wck=44.708, mem=776M463
61.99/49.69 decisions=602156, wrong=191035, backtracks=184597, failedAssignments=8699, nogoods=2123
61.99/49.69
71.69/59.38 num=47, depth=8739..9064, filters=16010070, revisions=(53626665,useless=38062315), ccks=52712802, wck=54.402, mem=784M431
71.69/59.38 decisions=801564, wrong=286327, backtracks=279899, failedAssignments=9580, nogoods=2126
71.69/59.38
81.50/69.17 num=48, depth=8848..9176, filters=21470047, revisions=(65724717,useless=44835544), ccks=69061744, wck=64.188, mem=792M435
81.50/69.17 decisions=1003363, wrong=382681, backtracks=376187, failedAssignments=10550, nogoods=2202
81.50/69.17
92.79/80.47 num=49, depth=8850..9176, filters=27894799, revisions=(79814627,useless=52659795), ccks=88264207, wck=75.491, mem=800M402
92.79/80.47 decisions=1240075, wrong=496543, backtracks=490077, failedAssignments=11617, nogoods=2205
92.79/80.47
93.79/81.49 num=50, depth=9178..9285, filters=27989263, revisions=(80747786,useless=53501415), ccks=88654079, wck=76.512, mem=800M402
93.79/81.49 decisions=1252016, wrong=497921, backtracks=490284, failedAssignments=12790, nogoods=2308
93.79/81.49
100.19/87.85 num=51, depth=9069..9389, filters=31457417, revisions=(88727860,useless=58098976), ccks=99093461, wck=82.872, mem=808M370
100.19/87.85 decisions=1383388, wrong=559005, backtracks=550627, failedAssignments=14081, nogoods=2311
100.19/87.85
109.41/97.03 num=52, depth=9179..9508, filters=36698919, revisions=(100374168,useless=64633996), ccks=114784798, wck=92.047, mem=816M337
109.41/97.03 decisions=1578956, wrong=652098, backtracks=643232, failedAssignments=15501, nogoods=2417
109.41/97.03
112.51/100.11 num=53, depth=9398..9614, filters=37555619, revisions=(104182370,useless=67623807), ccks=118442269, wck=95.125, mem=816M337
112.51/100.11 decisions=1635190, wrong=675486, backtracks=665990, failedAssignments=17063, nogoods=2420
112.51/100.11
129.41/117.09 num=54, depth=9558..9835, filters=48058482, revisions=(126756874,useless=79953575), ccks=149769891, wck=112.112, mem=832M272
129.41/117.09 decisions=2015525, wrong=860872, backtracks=851420, failedAssignments=18781, nogoods=2422
129.41/117.09
139.71/127.36 num=55, depth=9543..9867, filters=54157739, revisions=(140298077,useless=87547510), ccks=168050237, wck=122.382, mem=832M272
139.71/127.36 decisions=2243473, wrong=970040, backtracks=959769, failedAssignments=20671, nogoods=2425
139.71/127.36
140.91/128.54 num=56, depth=9763..9874, filters=54303387, revisions=(141658156,useless=88767637), ccks=168725353, wck=123.557, mem=840M240
140.91/128.54 decisions=2257563, wrong=972179, backtracks=959830, failedAssignments=22750, nogoods=2471
140.91/128.54
151.57/139.15 num=57, depth=9693..9971, filters=59400061, revisions=(156670370,useless=98866454), ccks=187292542, wck=134.17, mem=848M207
151.57/139.15 decisions=2504420, wrong=1090707, backtracks=1078563, failedAssignments=25037, nogoods=2474
151.57/139.15
175.57/163.12 num=58, depth=4202..9936, filters=74696452, revisions=(189302726,useless=116577083), ccks=232947428, wck=158.142, mem=864M142
175.57/163.12 decisions=3053564, wrong=1360400, backtracks=1348347, failedAssignments=27553, nogoods=2483
175.57/163.12
201.27/188.86 num=59, depth=9719..10047, filters=91221164, revisions=(224698028,useless=135857484), ccks=282330147, wck=183.882, mem=880M77
201.27/188.86 decisions=3651738, wrong=1654542, backtracks=1642589, failedAssignments=30321, nogoods=2486
201.27/188.86
202.47/190.06 num=60, depth=9942..10053, filters=91426511, revisions=(226070570,useless=137029599), ccks=283121211, wck=185.081, mem=880M77
202.47/190.06 decisions=3668147, wrong=1657748, backtracks=1642751, failedAssignments=33365, nogoods=2519
202.47/190.06
213.87/201.41 num=61, depth=9835..10221, filters=96921094, revisions=(243649117,useless=149303469), ccks=304822918, wck=196.428, mem=888M45
213.87/201.41 decisions=3932171, wrong=1784798, backtracks=1769185, failedAssignments=36714, nogoods=2522
213.87/201.41
215.20/202.77 num=62, depth=10272..10385, filters=97169260, revisions=(245264640,useless=150679209), ccks=305744332, wck=197.788, mem=896M54
215.20/202.77 decisions=3949988, wrong=1788519, backtracks=1769224, failedAssignments=40398, nogoods=2652
215.20/202.77
229.62/217.17 num=63, depth=10365..10601, filters=105636731, revisions=(267548881,useless=164741140), ccks=332324118, wck=212.194, mem=904M21
229.62/217.17 decisions=4313762, wrong=1965212, backtracks=1946042, failedAssignments=44450, nogoods=2654
229.62/217.17
268.12/255.69 num=64, depth=10422..10749, filters=132664490, revisions=(324707815,useless=195534276), ccks=412968121, wck=250.712, mem=935M891
268.12/255.69 decisions=5279584, wrong=2442856, backtracks=2423807, failedAssignments=48907, nogoods=2657
268.12/255.69
269.63/257.19 num=65, depth=10642..10690, filters=132988181, revisions=(326544502,useless=197057861), ccks=414189664, wck=252.211, mem=935M891
269.63/257.19 decisions=5305174, wrong=2450329, backtracks=2426461, failedAssignments=53810, nogoods=2745
269.63/257.19
271.53/259.08 num=66, depth=10203..10739, filters=133679581, revisions=(329158564,useless=198995694), ccks=416545742, wck=254.101, mem=943M859
271.53/259.08 decisions=5339276, wrong=2462093, backtracks=2432871, failedAssignments=59204, nogoods=2787
271.53/259.08
287.83/275.36 num=67, depth=10717..10980, filters=143845156, revisions=(353086043,useless=213050549), ccks=447678913, wck=270.383, mem=951M826
287.83/275.36 decisions=5779683, wrong=2676846, backtracks=2646869, failedAssignments=65137, nogoods=2791
287.83/275.36
293.64/281.19 num=68, depth=7886..10910, filters=146492155, revisions=(359375720,useless=216813917), ccks=455258122, wck=276.209, mem=959M794
293.64/281.19 decisions=5947932, wrong=2755542, backtracks=2722983, failedAssignments=71663, nogoods=2801
293.64/281.19
321.83/309.31 num=69, depth=8278..10895, filters=164943961, revisions=(398298630,useless=237822718), ccks=509734778, wck=304.332, mem=983M696
321.83/309.31 decisions=6723616, wrong=3137996, backtracks=3104253, failedAssignments=78842, nogoods=2809
321.83/309.31
364.86/352.35 num=70, depth=4081..10600, filters=193466269, revisions=(461170286,useless=272929440), ccks=595817664, wck=347.372, mem=1015M566
364.86/352.35 decisions=7828118, wrong=3685047, backtracks=3651605, failedAssignments=86739, nogoods=2820
364.86/352.35
376.67/364.13 num=71, depth=8142..10627, filters=201175217, revisions=(478744291,useless=282986528), ccks=619198648, wck=359.153, mem=1023M534
376.67/364.13 decisions=8114622, wrong=3823025, backtracks=3782145, failedAssignments=95426, nogoods=2892
376.67/364.13
403.77/391.24 num=72, depth=6247..10625, filters=212848489, revisions=(527240744,useless=320613897), ccks=674959603, wck=386.26, mem=1047M436
403.77/391.24 decisions=8802137, wrong=4161535, backtracks=4120257, failedAssignments=104981, nogoods=2902
403.77/391.24
457.29/444.74 num=73, depth=6542..10384, filters=240049450, revisions=(619082606,useless=386260125), ccks=772589755, wck=439.759, mem=1087M274
457.29/444.74 decisions=10207722, wrong=4859267, backtracks=4818436, failedAssignments=115492, nogoods=2935
457.29/444.74
495.44/482.87 num=74, depth=6836..10443, filters=259234277, revisions=(685255208,useless=434035618), ccks=841611264, wck=477.888, mem=1113M675
495.44/482.87 decisions=11204107, wrong=5352358, backtracks=5311667, failedAssignments=127054, nogoods=2974
495.44/482.87
501.89/488.99 num=75, depth=9937..10718, filters=262372259, revisions=(695314618,useless=441054263), ccks=852153107, wck=484.013, mem=797M987
501.89/488.99 decisions=11344743, wrong=5417394, backtracks=5364294, failedAssignments=139772, nogoods=3051
501.89/488.99
572.51/559.53 num=76, depth=10537..10869, filters=304180563, revisions=(801662835,useless=506972907), ccks=985047618, wck=554.549, mem=854M542
572.51/559.53 decisions=13307334, wrong=6393376, backtracks=6340593, failedAssignments=153762, nogoods=3081
572.51/559.53
638.63/625.64 num=77, depth=6247..11044, filters=345215623, revisions=(888855503,useless=554588183), ccks=1107214894, wck=620.661, mem=911M97
638.63/625.64 decisions=15238440, wrong=7353542, backtracks=7301074, failedAssignments=169151, nogoods=3139
638.63/625.64
709.56/696.53 num=78, depth=7250..11050, filters=390444424, revisions=(983972852,useless=605946173), ccks=1240562093, wck=691.551, mem=967M652
709.56/696.53 decisions=17287726, wrong=8372715, backtracks=8318436, failedAssignments=186079, nogoods=3156
709.56/696.53
785.18/772.19 num=79, depth=7285..11085, filters=441318672, revisions=(1090544578,useless=663320165), ccks=1401287023, wck=767.208, mem=1024M206
785.18/772.19 decisions=19340094, wrong=9393490, backtracks=9338714, failedAssignments=204700, nogoods=3187
785.18/772.19
874.20/861.13 num=80, depth=7008..10995, filters=490947009, revisions=(1252401231,useless=777211676), ccks=1576348371, wck=856.146, mem=1109M81
874.20/861.13 decisions=21774136, wrong=10605102, backtracks=10550382, failedAssignments=225184, nogoods=3281
874.20/861.13
975.13/962.04 num=81, depth=8327..11128, filters=560024924, revisions=(1413751744,useless=871307241), ccks=1788674180, wck=957.059, mem=1179M774
975.13/962.04 decisions=24498960, wrong=11962041, backtracks=11901166, failedAssignments=247716, nogoods=3316
975.13/962.04
1025.82/1012.70 num=82, depth=8438..11189, filters=582058987, revisions=(1508409197,useless=945155807), ccks=1878210845, wck=1007.722, mem=1222M191
1025.82/1012.70 decisions=25999157, wrong=12706610, backtracks=12643670, failedAssignments=272501, nogoods=3415
1025.82/1012.70
1156.65/1143.56 num=83, depth=6936..11212, filters=672105388, revisions=(1696292775,useless=1045632823), ccks=2144414631, wck=1138.579, mem=1335M300
1156.65/1143.56 decisions=29796902, wrong=14599945, backtracks=14536087, failedAssignments=299765, nogoods=3511
1156.65/1143.56
1371.21/1357.95 num=84, depth=7274..11141, filters=828049960, revisions=(2023686004,useless=1221095985), ccks=2609160472, wck=1352.969, mem=824M898
1371.21/1357.95 decisions=35520944, wrong=17456551, backtracks=17392347, failedAssignments=329755, nogoods=3608
1371.21/1357.95
1419.46/1406.03 num=85, depth=6785..11279, filters=850454109, revisions=(2078957143,useless=1255382689), ccks=2676933623, wck=1401.052, mem=867M419
1419.46/1406.03 decisions=37297902, wrong=18339417, backtracks=18271536, failedAssignments=362744, nogoods=3676
1419.46/1406.03
1582.99/1569.17 num=86, depth=6940..11627, filters=947794845, revisions=(2319433196,useless=1402216558), ccks=2985624744, wck=1564.194, mem=1436M515
1582.99/1569.17 decisions=42250308, wrong=20809997, backtracks=21444913, failedAssignments=399032, nogoods=3768
1582.99/1569.17
1798.08/1784.19 num=87, depth=3010..11276, filters=1097095190, revisions=(2658992556,useless=1596824188), ccks=3440362432, wck=1779.206, mem=2575M191
1798.08/1784.19 decisions=48556606, wrong=23957656, backtracks=24587289, failedAssignments=438949, nogoods=3866
1798.08/1784.19
1813.05/1799.04 num=88, depth=6408..11533, filters=1099339230, revisions=(2673210489,useless=1608933585), ccks=3449310997, wck=1794.056, mem=926M134
1813.05/1799.04 decisions=48695321, wrong=24021397, backtracks=25560428, failedAssignments=482858, nogoods=4046
1813.05/1799.04
1872.11/1858.06 num=89, depth=6405..11393, filters=1118401077, revisions=(2742838272,useless=1660539111), ccks=3515389021, wck=1853.079, mem=2048M87
1872.11/1858.06 decisions=49798050, wrong=24567211, backtracks=28546296, failedAssignments=531158, nogoods=4128
1872.11/1858.06
1902.04/1887.91 num=90, depth=3629..11474, filters=1129942956, revisions=(2777560866,useless=1684369851), ccks=3551118155, wck=1882.934, mem=932M184
1902.04/1887.91 decisions=50501019, wrong=24913097, backtracks=29713866, failedAssignments=584288, nogoods=4204
1902.04/1887.91
1986.08/1971.93 num=91, depth=6769..11393, filters=1135739025, revisions=(2841595656,useless=1743155610), ccks=3578703176, wck=1966.946, mem=1536M500
1986.08/1971.93 decisions=51157484, wrong=25235760, backtracks=36617011, failedAssignments=642731, nogoods=4278
1986.08/1971.93
2054.10/2040.00 num=92, depth=3507..11158, filters=1138274772, revisions=(2893509736,useless=1792801622), ccks=3595057046, wck=2035.015, mem=1972M994
2054.10/2040.00 decisions=51491642, wrong=25397426, backtracks=43030939, failedAssignments=707018, nogoods=4432
2054.10/2040.00
2120.06/2105.89 num=93, depth=3532..11102, filters=1160520391, revisions=(3023092697,useless=1901563501), ccks=3693794921, wck=2100.912, mem=1936M609
2120.06/2105.89 decisions=53555876, wrong=26424130, backtracks=44747656, failedAssignments=777734, nogoods=4512
2120.06/2105.89
2249.13/2234.85 num=94, depth=3770..11234, filters=1170571366, revisions=(3129354080,useless=1998839003), ccks=3742992596, wck=2229.873, mem=1431M711
2249.13/2234.85 decisions=54797207, wrong=27039307, backtracks=56250123, failedAssignments=855521, nogoods=4626
2249.13/2234.85
2352.96/2338.63 num=95, depth=3949..11057, filters=1174836099, revisions=(3220242903,useless=2086041284), ccks=3771029345, wck=2333.654, mem=2140M496
2352.96/2338.63 decisions=55467414, wrong=27369105, backtracks=66573224, failedAssignments=941087, nogoods=4689
2352.96/2338.63
2454.83/2440.40 num=96, depth=6219..11019, filters=1177298334, revisions=(3304222576,useless=2167954131), ccks=3791610611, wck=2435.416, mem=1207M284
2454.83/2440.40 decisions=55954469, wrong=27607278, backtracks=77808297, failedAssignments=1035210, nogoods=4765
2454.83/2440.40
2515.96/2501.50 num=97, depth=6177..10877, filters=1181900800, revisions=(3359599824,useless=2219113579), ccks=3812994806, wck=2496.524, mem=1679M889
2515.96/2501.50 decisions=56286836, wrong=27768159, backtracks=83630096, failedAssignments=1138745, nogoods=4805
2515.96/2501.50
2520.06/2505.60
2520.06/2505.60 s UNKNOWN
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 (12255 MiB free)
memory of node 1: 16384 MiB (13725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390986-1568386126/watcher-4390986-1568386126 -o /tmp/evaluation-result-4390986-1568386126/solver-4390986-1568386126 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568380476-12475 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390986-1568386126.xml -cm
running on 4 cores: 1,3,5,7
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
solver pid=14146, runsolver pid=14143
Current StackSize limit: 8192 KiB
[startup+0.103939 s]*
/proc/loadavg: 1.93 1.79 1.78 5/228 14161
/proc/meminfo: memFree=26587896/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10659884 memory=29528 CPUtime=0.15 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 5864 0 0 0 14 1 0 0 20 0 15 0 414881425 10915721216 7382 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2664971 7382 2904 1 0 2627468 0
[pid=14146/tid=14148] ppid=14143 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) R 14143 14146 12443 0 -1 4202560 3223 0 0 0 9 0 0 0 20 0 15 0 414881425 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659904005952 140659883857246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881427 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659457839904 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659456787568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881430 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) R 14143 14146 12443 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 414881430 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) R 14143 14146 12443 0 -1 4202560 229 0 0 0 0 0 0 0 20 0 15 0 414881430 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659453630960 140659880477056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0.03 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) R 14143 14146 12443 0 -1 4202560 614 0 0 0 3 0 0 0 20 0 15 0 414881430 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659452574552 140659878603888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 7382 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29528 KiB
[startup+0.210736 s]*
/proc/loadavg: 1.93 1.79 1.78 3/228 14161
/proc/meminfo: memFree=26580772/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10659884 memory=34884 CPUtime=0.33 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 6838 0 0 0 31 2 0 0 20 0 15 0 414881425 10915721216 8721 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2664971 8721 2987 1 0 2627468 0
[pid=14146/tid=14148] ppid=14143 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) R 14143 14146 12443 0 -1 4202560 3873 0 0 0 19 1 0 0 20 0 15 0 414881425 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659904003120 140659899798685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10659884 memory=140489747556994 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881427 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659457839904 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659456787568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881430 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 414881430 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 414881430 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0.05 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 643 0 0 0 5 0 0 0 20 0 15 0 414881430 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 8721 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34884 KiB
[startup+0.315181 s]*
/proc/loadavg: 1.93 1.79 1.78 4/228 14161
/proc/meminfo: memFree=26572952/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10659884 memory=40356 CPUtime=0.48 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 9542 0 0 0 45 3 0 0 20 0 15 0 414881425 10915721216 10089 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2664971 10089 3000 1 0 2627468 0
[pid=14146/tid=14148] ppid=14143 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) R 14143 14146 12443 0 -1 4202560 6485 0 0 0 28 2 0 0 20 0 15 0 414881425 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659904013360 140659899798685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10659884 memory=1946931 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10659884 memory=140489747553985 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881426 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881427 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659457839904 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881428 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659456787568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881430 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 15 0 414881430 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10659884 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 480 0 0 0 5 0 0 0 20 0 15 0 414881430 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0.08 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 682 0 0 0 8 0 0 0 20 0 15 0 414881430 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10659884 memory=140489744488064 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881431 10915721216 10089 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40356 KiB
[startup+0.700746 s]
/proc/loadavg: 1.94 1.79 1.78 3/228 14161
/proc/meminfo: memFree=26564148/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10661932 memory=63904 CPUtime=1.11 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 13065 0 0 0 106 5 0 0 20 0 15 0 414881425 10917818368 15976 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2665483 15976 3063 1 0 2627980 0
[pid=14146/tid=14148] ppid=14143 vsize=10661932 memory=21836 CPUtime=0.68 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) R 14143 14146 12443 0 -1 4202560 8903 0 0 0 64 4 0 0 20 0 15 0 414881425 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659904008784 140659899798106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10661932 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10661932 memory=524 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10661932 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881426 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10661932 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881427 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881428 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659457839904 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10661932 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881428 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659456787568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10661932 memory=816 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881430 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10661932 memory=6153431502485415268 CPUtime=0.09 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 892 0 0 0 9 0 0 0 20 0 15 0 414881430 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10661932 memory=7453282923461503316 CPUtime=0.13 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) R 14143 14146 12443 0 -1 4202560 735 0 0 0 13 0 0 0 20 0 15 0 414881430 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659453630960 140659883672826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 1176 0 0 0 18 0 0 0 20 0 15 0 414881430 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881431 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881431 10917818368 15976 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63904 KiB
[startup+1.50076 s]
/proc/loadavg: 1.94 1.79 1.78 3/228 14161
/proc/meminfo: memFree=26547832/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10663980 memory=75916 CPUtime=2 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 18695 0 0 0 194 6 0 0 20 0 15 0 414881425 10919915520 18979 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2665995 18979 3096 1 0 2628492 0
[pid=14146/tid=14148] ppid=14143 vsize=10663980 memory=6378026435766 CPUtime=1.48 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) R 14143 14146 12443 0 -1 4202560 13182 0 0 0 143 5 0 0 20 0 15 0 414881425 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659904002640 140659883857246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881426 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881426 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414881427 10919915520 18979 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
################
# More data... #
################
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 10124 0 0 0 81 41 0 0 20 0 16 0 414881426 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10748324 memory=39924 CPUtime=0.09 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 10859 0 0 0 6 3 0 0 20 0 16 0 414881427 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10748324 memory=2750912 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659457839968 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659456787584 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10748324 memory=2750912 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881430 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10748324 memory=2750912 CPUtime=4.99 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 22795 0 0 0 496 3 0 0 20 0 16 0 414881430 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10748324 memory=916 CPUtime=4.25 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 15668 0 0 0 423 2 0 0 20 0 16 0 414881430 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10748324 memory=3848 CPUtime=1.19 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 19598 0 0 0 115 4 0 0 20 0 16 0 414881430 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881431 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10748324 memory=39924 CPUtime=0.51 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1944 0 0 0 24 27 0 0 20 0 16 0 414881431 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14162] ppid=14143 vsize=10748324 memory=2750912 CPUtime=2378.8 cores=1,3,5,7
/proc/14146/task/14162/stat : 14162 (java) R 14143 14146 12443 0 -1 4202560 54142 0 0 0 237858 22 0 0 20 0 16 0 414881613 11006283776 687728 33554432000 4194304 4196468 140730577250480 140659442711680 140659527456209 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 2396.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2750912 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.23 1.60 2/207 14464
/proc/meminfo: memFree=26313560/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10748324 memory=2746096 CPUtime=2456.73 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 179175 0 0 0 245450 223 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2687081 686524 3387 1 0 2647217 0
[pid=14146/tid=14148] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.85 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) S 14143 14146 12443 0 -1 1077944384 15416 0 0 0 179 6 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659904019632 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.25 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 6248 0 0 0 86 39 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10748324 memory=2750912 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 8419 0 0 0 82 40 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 10760 0 0 0 84 38 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.24 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 10396 0 0 0 83 41 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0.1 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 11125 0 0 0 7 3 0 0 20 0 16 0 414881427 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659457839968 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659456787584 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10748324 memory=2746096 CPUtime=4.99 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 22798 0 0 0 496 3 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10748324 memory=2746096 CPUtime=4.25 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 15671 0 0 0 423 2 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10748324 memory=1056 CPUtime=1.19 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 19607 0 0 0 115 4 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0.53 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 1981 0 0 0 26 27 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14162] ppid=14143 vsize=10748324 memory=111632 CPUtime=2438.78 cores=1,3,5,7
/proc/14146/task/14162/stat : 14162 (java) R 14143 14146 12443 0 -1 4202560 55334 0 0 0 243856 22 0 0 20 0 16 0 414881613 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659442711680 140659531592928 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 2456.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2746096 KiB
[startup+2502.3 s]
/proc/loadavg: 1.04 1.20 1.57 2/207 14468
/proc/meminfo: memFree=26313220/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10748324 memory=2746096 CPUtime=2516.76 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 180639 0 0 0 251451 225 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2687081 686524 3387 1 0 2647217 0
[pid=14146/tid=14148] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.85 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) S 14143 14146 12443 0 -1 1077944384 15416 0 0 0 179 6 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659904019632 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.25 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 6248 0 0 0 86 39 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 8419 0 0 0 82 40 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 10760 0 0 0 84 38 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.24 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 10396 0 0 0 83 41 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0.1 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 11135 0 0 0 7 3 0 0 20 0 16 0 414881427 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659457839968 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659456787584 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10748324 memory=2746096 CPUtime=4.99 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 22801 0 0 0 496 3 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10748324 memory=3624 CPUtime=4.25 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 15674 0 0 0 423 2 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.19 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 19621 0 0 0 115 4 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10748324 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10748324 memory=2746096 CPUtime=0.54 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 2048 0 0 0 26 28 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14162] ppid=14143 vsize=10748324 memory=2746096 CPUtime=2498.79 cores=1,3,5,7
/proc/14146/task/14162/stat : 14162 (java) R 14143 14146 12443 0 -1 4202560 56701 0 0 0 249856 23 0 0 20 0 16 0 414881613 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659442711680 140659532916810 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 2516.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2746096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.6 s]
/proc/loadavg: 1.04 1.20 1.57 2/207 14468
/proc/meminfo: memFree=26313468/32770624 swapFree=66998528/67108860
[pid=14146] ppid=14143 vsize=10748324 memory=2746096 CPUtime=2520.06 cores=1,3,5,7
/proc/14146/stat : 14146 (java) S 14143 14146 12443 0 -1 1077944320 180747 0 0 0 251781 225 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140730577233024 140659899776759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
/proc/14146/statm: 2687081 686524 3387 1 0 2647217 0
[pid=14146/tid=14148] ppid=14143 vsize=10748324 memory=9592 CPUtime=1.85 cores=1,3,5,7
/proc/14146/task/14148/stat : 14148 (java) S 14143 14146 12443 0 -1 1077944384 15416 0 0 0 179 6 0 0 20 0 16 0 414881425 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659904019632 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14149] ppid=14143 vsize=10748324 memory=2828 CPUtime=1.25 cores=1,3,5,7
/proc/14146/task/14149/stat : 14149 (java) S 14143 14146 12443 0 -1 1077944384 6248 0 0 0 86 39 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659852397456 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14150] ppid=14143 vsize=10748324 memory=780 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14150/stat : 14150 (java) S 14143 14146 12443 0 -1 1077944384 8419 0 0 0 82 40 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659851344656 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14151] ppid=14143 vsize=10748324 memory=2746096 CPUtime=1.22 cores=1,3,5,7
/proc/14146/task/14151/stat : 14151 (java) S 14143 14146 12443 0 -1 1077944384 10760 0 0 0 84 38 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659850292368 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14152] ppid=14143 vsize=10748324 memory=39928 CPUtime=1.24 cores=1,3,5,7
/proc/14146/task/14152/stat : 14152 (java) S 14143 14146 12443 0 -1 1077944384 10396 0 0 0 83 41 0 0 20 0 16 0 414881426 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659849239568 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14153] ppid=14143 vsize=10748324 memory=988 CPUtime=0.1 cores=1,3,5,7
/proc/14146/task/14153/stat : 14153 (java) S 14143 14146 12443 0 -1 1077944384 11145 0 0 0 7 3 0 0 20 0 16 0 414881427 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659458893936 140659899787906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14154] ppid=14143 vsize=10748324 memory=816 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14154/stat : 14154 (java) S 14143 14146 12443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659457839968 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14155] ppid=14143 vsize=10748324 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14155/stat : 14155 (java) S 14143 14146 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414881428 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659456787584 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14156] ppid=14143 vsize=10748324 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14156/stat : 14156 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659455735888 140659899795355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14157] ppid=14143 vsize=10748324 memory=111632 CPUtime=4.99 cores=1,3,5,7
/proc/14146/task/14157/stat : 14157 (java) S 14143 14146 12443 0 -1 1077944384 22804 0 0 0 496 3 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659454683760 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14158] ppid=14143 vsize=10748324 memory=6791534058613427641 CPUtime=4.25 cores=1,3,5,7
/proc/14146/task/14158/stat : 14158 (java) S 14143 14146 12443 0 -1 1077944384 15677 0 0 0 423 2 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659453630960 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14159] ppid=14143 vsize=10748324 memory=3624 CPUtime=1.19 cores=1,3,5,7
/proc/14146/task/14159/stat : 14159 (java) S 14143 14146 12443 0 -1 1077944384 19630 0 0 0 115 4 0 0 20 0 16 0 414881430 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659452578672 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14160] ppid=14143 vsize=10748324 memory=39928 CPUtime=0 cores=1,3,5,7
/proc/14146/task/14160/stat : 14160 (java) S 14143 14146 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659451526112 140659899786965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14161] ppid=14143 vsize=10748324 memory=988 CPUtime=0.54 cores=1,3,5,7
/proc/14146/task/14161/stat : 14161 (java) S 14143 14146 12443 0 -1 1077944384 2052 0 0 0 26 28 0 0 20 0 16 0 414881431 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659450472880 140659899787906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
[pid=14146/tid=14162] ppid=14143 vsize=10748324 memory=6791534058613427641 CPUtime=2502.09 cores=1,3,5,7
/proc/14146/task/14162/stat : 14162 (java) R 14143 14146 12443 0 -1 4202560 56780 0 0 0 250186 23 0 0 20 0 16 0 414881613 11006283776 686524 33554432000 4194304 4196468 140730577250480 140659442711680 140659527628305 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 23896064 140730577253387 140730577253490 140730577253490 140730577256399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2746096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.63 s]
# the end of solver process 14146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.82 s, system=2.27223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2505.63
CPU time (s): 2520.09
CPU user time (s): 2517.82
CPU system time (s): 2.27223
CPU usage (%): 100.577
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 2779240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.82
system time used= 2.27223
maximum resident set size= 2787248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58506
involuntary context switches= 1169
# summary of solver processes directly reported to runsolver:
# pid: 14146
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.82
# total CPU system time (s): 2.27223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8113 second user time and 20.7638 second system time
The end