2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
4.01/2.31 Instance
4.01/2.31 name=instance-4391027-1568386313, framework=COP, bounds=-infty..+infty
4.01/2.31
4.01/2.31 Loading variables...
4.71/2.56 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
10.97/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
10.97/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
10.97/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
10.97/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
10.97/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
10.97/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
10.97/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
10.97/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
10.97/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
10.97/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
10.97/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
11.25/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
11.25/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
11.25/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
11.25/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
11.25/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
11.25/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
11.25/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.60/4.63
11.60/4.63
11.60/4.63 Domains
11.60/4.63 nTypes=4, nValues=43845, sizes=[2#12321,11#111,51#111,111#111]
11.60/4.63 Variables
11.60/4.63 count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.60/4.63 Objectives
11.60/4.63 way=min, type=SumSimpleLE
11.60/4.63 Constraints
11.60/4.63 count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.60/4.63 distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.60/4.63 nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.60/4.63 wck=2.781, cpu=4.14, mem=938M160
11.60/4.65 Solver SolverBacktrack being built...
11.60/4.65
11.92/4.75
11.92/4.75 Solver
11.92/4.75 guaranteedGAC=false
11.92/4.75 wck=2.912, cpu=4.269, mem=970M384
12.99/5.47
12.99/5.47 Preprocessing
12.99/5.47 filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
12.99/5.47 wck=0.714, cpu=4.987, mem=970M384
12.99/5.47
13.16/5.52 num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.768, mem=970M384
13.16/5.52 decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.16/5.52
13.16/5.57 num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.813, mem=970M384
13.16/5.57 decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.16/5.57
13.48/5.62 num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.86, mem=970M384
13.48/5.62 decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.48/5.62
13.48/5.68 num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.922, mem=970M384
13.48/5.68 decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.48/5.68
13.79/5.75 num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=0.997, mem=970M384
13.79/5.75 decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.79/5.75
14.10/5.84 num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.085, mem=970M384
14.10/5.84 decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.10/5.84
14.40/5.94 num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.184, mem=970M384
14.40/5.94 decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.40/5.94
14.69/6.06 num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.305, mem=970M384
14.69/6.06 decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.69/6.06
14.93/6.19 num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.433, mem=970M384
14.93/6.19 decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.93/6.19
15.13/6.33 num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.576, mem=970M384
15.13/6.33 decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.13/6.33
15.27/6.49 num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=1.731, mem=970M384
15.27/6.49 decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.27/6.49
15.49/6.65 num=11, depth=1198..1198, filters=33617, revisions=(580167,useless=548510), ccks=1602109, wck=1.898, mem=974M442
15.49/6.65 decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.49/6.65
15.71/6.84 num=12, depth=1307..1307, filters=38877, revisions=(695735,useless=659264), ccks=1640500, wck=2.079, mem=974M442
15.71/6.84 decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.71/6.84
15.97/7.03 num=13, depth=1416..1417, filters=44681, revisions=(818963,useless=777148), ccks=1680837, wck=2.275, mem=974M442
15.97/7.03 decisions=10586, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.97/7.03
16.17/7.26 num=14, depth=1632..1634, filters=51559, revisions=(979160,useless=931159), ccks=1737353, wck=2.5, mem=974M442
16.17/7.26 decisions=12294, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.17/7.26
16.47/7.51 num=15, depth=1849..1850, filters=59170, revisions=(1161339,useless=1106512), ccks=1807019, wck=2.755, mem=974M442
16.47/7.51 decisions=14226, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.47/7.51
16.69/7.79 num=16, depth=2067..2068, filters=67445, revisions=(1358394,useless=1296103), ccks=1870903, wck=3.035, mem=974M442
16.69/7.79 decisions=16384, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.69/7.79
17.00/8.10 num=17, depth=2285..2286, filters=76407, revisions=(1567439,useless=1496996), ccks=1935060, wck=3.339, mem=974M442
17.00/8.10 decisions=18770, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
17.00/8.10
17.39/8.42 num=18, depth=2503..2504, filters=86059, revisions=(1790028,useless=1710756), ccks=2000889, wck=3.668, mem=974M442
17.39/8.42 decisions=21384, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.39/8.42
17.71/8.78 num=19, depth=2721..2722, filters=96460, revisions=(2026383,useless=1937547), ccks=2068614, wck=4.023, mem=974M442
17.71/8.78 decisions=24228, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.71/8.78
18.13/9.16 num=20, depth=2939..2941, filters=107810, revisions=(2276615,useless=2177281), ccks=2138664, wck=4.402, mem=982M529
18.13/9.16 decisions=27303, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.13/9.16
18.52/9.58 num=21, depth=3266..3268, filters=120364, revisions=(2553934,useless=2442979), ccks=2220386, wck=4.82, mem=982M529
18.52/9.58 decisions=30719, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.52/9.58
19.03/10.04 num=22, depth=3591..3593, filters=134397, revisions=(2875882,useless=2752072), ccks=2316767, wck=5.279, mem=982M529
19.03/10.04 decisions=34474, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.03/10.04
19.52/10.53 num=23, depth=3916..3918, filters=149823, revisions=(3235799,useless=3097925), ccks=2422099, wck=5.776, mem=982M529
19.52/10.53 decisions=38570, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
19.52/10.53
20.03/11.06 num=24, depth=4243..4246, filters=166702, revisions=(3623913,useless=3470611), ccks=2537125, wck=6.308, mem=982M529
20.03/11.06 decisions=43012, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
20.03/11.06
20.62/11.64 num=25, depth=4677..4680, filters=185390, revisions=(4056102,useless=3885748), ccks=2664744, wck=6.888, mem=990M622
20.62/11.64 decisions=47908, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
20.62/11.64
21.22/12.27 num=26, depth=5112..5115, filters=205785, revisions=(4527813,useless=4338840), ccks=2802125, wck=7.512, mem=990M622
21.22/12.27 decisions=53261, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
21.22/12.27
21.92/12.93 num=27, depth=5548..5552, filters=227916, revisions=(5027167,useless=4817868), ccks=2943803, wck=8.176, mem=990M622
21.92/12.93 decisions=59075, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
21.92/12.93
22.65/13.65 num=28, depth=6093..6097, filters=251922, revisions=(5560492,useless=5329025), ccks=3093251, wck=8.892, mem=995M27
22.65/13.65 decisions=65460, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
22.65/13.65
25.37/14.94 num=29, depth=6638..6643, filters=277888, revisions=(6128121,useless=5872561), ccks=3247537, wck=10.181, mem=732M742
25.37/14.94 decisions=72419, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
25.37/14.94
26.22/15.75 num=30, depth=7291..7292, filters=300390, revisions=(6736114,useless=6459964), ccks=3399007, wck=10.992, mem=732M742
26.22/15.75 decisions=80060, wrong=1807, backtracks=1, failedAssignments=1806, nogoods=1699
26.22/15.75
27.29/16.60 num=31, depth=7260..7368, filters=330531, revisions=(7367160,useless=7062976), ccks=3557300, wck=11.843, mem=740M819
27.29/16.60 decisions=88056, wrong=2138, backtracks=143, failedAssignments=1997, nogoods=1783
27.29/16.60
28.16/17.45 num=32, depth=7369..7510, filters=360518, revisions=(8008136,useless=7676073), ccks=3717541, wck=12.697, mem=740M819
28.16/17.45 decisions=96202, wrong=2458, backtracks=253, failedAssignments=2208, nogoods=1886
28.16/17.45
30.85/19.98 num=33, depth=7371..7650, filters=1205653, revisions=(10559118,useless=9414297), ccks=6628275, wck=15.225, mem=740M819
30.85/19.98 decisions=134702, wrong=17948, backtracks=15762, failedAssignments=2440, nogoods=1889
30.85/19.98
33.36/22.40 num=34, depth=7550..7771, filters=2090906, revisions=(12958555,useless=10951345), ccks=9309785, wck=17.642, mem=748M899
33.36/22.40 decisions=173215, wrong=33330, backtracks=31049, failedAssignments=2695, nogoods=1977
33.36/22.40
37.20/26.21 num=35, depth=7220..7767, filters=3771141, revisions=(16986984,useless=13340367), ccks=14332977, wck=21.457, mem=748M899
37.20/26.21 decisions=239462, wrong=62645, backtracks=60369, failedAssignments=2976, nogoods=1982
37.20/26.21
38.81/27.87 num=36, depth=7657..7874, filters=4262948, revisions=(18593344,useless=14467619), ccks=15864918, wck=23.111, mem=748M899
38.81/27.87 decisions=263962, wrong=71001, backtracks=68491, failedAssignments=3285, nogoods=2004
38.81/27.87
40.81/29.81 num=37, depth=7656..7903, filters=4830373, revisions=(20347101,useless=15671095), ccks=17582394, wck=25.058, mem=756M978
40.81/29.81 decisions=294683, wrong=82412, backtracks=79750, failedAssignments=3625, nogoods=2063
40.81/29.81
45.64/34.60 num=38, depth=7435..7976, filters=6999091, revisions=(25440338,useless=18650255), ccks=24030306, wck=29.849, mem=756M978
45.64/34.60 decisions=378586, wrong=120505, backtracks=117854, failedAssignments=3999, nogoods=2067
45.64/34.60
46.44/35.47 num=39, depth=8098..8135, filters=7031634, revisions=(26136663,useless=19316173), ccks=24224630, wck=30.718, mem=756M978
46.44/35.47 decisions=387642, wrong=120984, backtracks=117925, failedAssignments=4410, nogoods=2068
46.44/35.47
51.77/40.73 num=40, depth=7989..8215, filters=9500917, revisions=(31985983,useless=22757450), ccks=31660027, wck=35.972, mem=756M978
51.77/40.73 decisions=485271, wrong=165803, backtracks=162772, failedAssignments=4862, nogoods=2070
51.77/40.73
53.17/42.18 num=41, depth=8071..8289, filters=9868634, revisions=(33408806,useless=23822528), ccks=32853061, wck=37.423, mem=765M59
53.17/42.18 decisions=505831, wrong=171963, backtracks=168487, failedAssignments=5359, nogoods=2089
53.17/42.18
54.08/43.09 num=42, depth=8182..8291, filters=9915199, revisions=(34160166,useless=24529926), ccks=33083293, wck=38.332, mem=765M59
54.08/43.09 decisions=515700, wrong=172784, backtracks=168762, failedAssignments=5906, nogoods=2150
54.08/43.09
59.08/48.05 num=43, depth=7956..8228, filters=12209661, revisions=(39443221,useless=27575793), ccks=39885750, wck=43.292, mem=765M59
59.08/48.05 decisions=604886, wrong=213396, backtracks=209089, failedAssignments=6508, nogoods=2153
59.08/48.05
60.77/49.77 num=44, depth=7953..8500, filters=12750451, revisions=(41194949,useless=28800216), ccks=41575199, wck=45.014, mem=773M141
60.77/49.77 decisions=631584, wrong=222556, backtracks=217665, failedAssignments=7170, nogoods=2203
60.77/49.77
68.87/57.85 num=45, depth=3993..8495, filters=16967643, revisions=(50512998,useless=34003038), ccks=54128741, wck=53.093, mem=773M141
68.87/57.85 decisions=789681, wrong=297464, backtracks=292536, failedAssignments=7898, nogoods=2209
68.87/57.85
69.87/58.81 num=46, depth=8498..8605, filters=17041579, revisions=(51410755,useless=34830153), ccks=54482194, wck=54.056, mem=773M141
69.87/58.81 decisions=800195, wrong=298467, backtracks=292740, failedAssignments=8699, nogoods=2261
69.87/58.81
71.57/60.57 num=47, depth=8389..8627, filters=17591219, revisions=(53213054,useless=36096455), ccks=56203302, wck=55.807, mem=781M189
71.57/60.57 decisions=827550, wrong=307836, backtracks=301307, failedAssignments=9580, nogoods=2315
71.57/60.57
82.37/71.31 num=48, depth=8280..8606, filters=23437325, revisions=(65889297,useless=43065970), ccks=73571793, wck=66.557, mem=789M237
82.37/71.31 decisions=1041725, wrong=410720, backtracks=404210, failedAssignments=10550, nogoods=2318
82.37/71.31
83.27/72.29 num=49, depth=8608..8719, filters=23526614, revisions=(66784861,useless=43875187), ccks=73962131, wck=67.536, mem=789M237
83.27/72.29 decisions=1053035, wrong=412035, backtracks=404459, failedAssignments=11617, nogoods=2422
83.27/72.29
85.18/74.12 num=50, depth=8499..8717, filters=24132577, revisions=(68747021,useless=45246276), ccks=75869640, wck=69.359, mem=789M237
85.18/74.12 decisions=1082208, wrong=422308, backtracks=413642, failedAssignments=12790, nogoods=2442
85.18/74.12
96.28/85.28 num=51, depth=8499..8827, filters=30368019, revisions=(82296983,useless=52708697), ccks=94439054, wck=80.526, mem=797M286
96.28/85.28 decisions=1309618, wrong=531650, backtracks=522724, failedAssignments=14081, nogoods=2503
96.28/85.28
111.28/100.21 num=52, depth=8609..8936, filters=38930461, revisions=(100621239,useless=62673465), ccks=119886027, wck=95.455, mem=813M382
111.28/100.21 decisions=1619574, wrong=682259, backtracks=673370, failedAssignments=15501, nogoods=2506
111.28/100.21
112.98/101.98 num=53, depth=8828..9047, filters=39498358, revisions=(102565787,useless=64064146), ccks=121708127, wck=97.221, mem=813M382
112.98/101.98 decisions=1647867, wrong=691932, backtracks=681548, failedAssignments=17063, nogoods=2606
112.98/101.98
130.70/119.67 num=54, depth=8720..9047, filters=49679094, revisions=(124337962,useless=75901550), ccks=151895438, wck=114.915, mem=821M430
130.70/119.67 decisions=2015224, wrong=871229, backtracks=860918, failedAssignments=18781, nogoods=2609
130.70/119.67
133.00/121.98 num=55, depth=9051..9361, filters=50444076, revisions=(127309919,useless=78130382), ccks=154625752, wck=117.226, mem=829M478
133.00/121.98 decisions=2056049, wrong=887032, backtracks=875013, failedAssignments=20671, nogoods=2612
133.00/121.98
134.53/123.44 num=56, depth=9255..9454, filters=50736793, revisions=(129043415,useless=79580024), ccks=155888220, wck=118.684, mem=829M478
134.53/123.44 decisions=2077815, wrong=893237, backtracks=879231, failedAssignments=22750, nogoods=2634
134.53/123.44
143.84/132.79 num=57, depth=9238..9566, filters=56139395, revisions=(140976874,useless=86238465), ccks=172024809, wck=128.031, mem=837M526
143.84/132.79 decisions=2276956, wrong=988085, backtracks=972718, failedAssignments=25037, nogoods=2646
143.84/132.79
145.44/134.30 num=58, depth=9460..9650, filters=56491389, revisions=(142773434,useless=87692843), ccks=173405082, wck=129.542, mem=837M526
145.44/134.30 decisions=2300981, wrong=995313, backtracks=977550, failedAssignments=27553, nogoods=2659
145.44/134.30
157.65/146.56 num=59, depth=9510..9792, filters=61737703, revisions=(161540308,useless=101397765), ccks=196097880, wck=141.808, mem=845M574
157.65/146.56 decisions=2576132, wrong=1128093, backtracks=1110900, failedAssignments=30321, nogoods=2661
157.65/146.56
158.96/147.82 num=60, depth=3873..9911, filters=61914195, revisions=(163181445,useless=102869474), ccks=196955214, wck=143.067, mem=845M574
158.96/147.82 decisions=2592196, wrong=1131171, backtracks=1110936, failedAssignments=33365, nogoods=2768
158.96/147.82
191.66/180.54 num=61, depth=9687..10015, filters=82692922, revisions=(207290451,useless=126934803), ccks=264248915, wck=175.787, mem=869M719
191.66/180.54 decisions=3318103, wrong=1489275, backtracks=1469112, failedAssignments=36714, nogoods=2770
191.66/180.54
207.87/196.70 num=62, depth=9916..10265, filters=91245903, revisions=(232409544,useless=143754199), ccks=292152200, wck=191.943, mem=877M767
207.87/196.70 decisions=3706596, wrong=1678512, backtracks=1658421, failedAssignments=40398, nogoods=2773
207.87/196.70
217.07/205.93 num=63, depth=10120..10449, filters=96841190, revisions=(245032569,useless=150922377), ccks=308906876, wck=201.177, mem=885M815
217.07/205.93 decisions=3921187, wrong=1780667, backtracks=1757637, failedAssignments=44450, nogoods=2776
217.07/205.93
221.57/210.40 num=64, depth=10448..10657, filters=99084180, revisions=(251254388,useless=154963298), ccks=316058465, wck=205.642, mem=893M863
221.57/210.40 decisions=4018863, wrong=1824253, backtracks=1797749, failedAssignments=48907, nogoods=2779
221.57/210.40
239.57/228.44 num=65, depth=10460..10787, filters=109020973, revisions=(280477640,useless=174558865), ccks=350082924, wck=223.687, mem=901M912
239.57/228.44 decisions=4480747, wrong=2049885, backtracks=2022666, failedAssignments=53810, nogoods=2782
239.57/228.44
247.59/236.48 num=66, depth=10578..10782, filters=111730887, revisions=(294136889,useless=185672221), ccks=362420217, wck=231.723, mem=909M960
247.59/236.48 decisions=4687925, wrong=2148146, backtracks=2118965, failedAssignments=59204, nogoods=2784
247.59/236.48
249.09/237.96 num=67, depth=8091..10584, filters=112020130, revisions=(296125222,useless=187381042), ccks=363662658, wck=233.205, mem=919M164
249.09/237.96 decisions=4713215, wrong=2155548, backtracks=2120534, failedAssignments=65137, nogoods=2858
249.09/237.96
260.60/249.47 num=68, depth=9586..10406, filters=115005842, revisions=(314150801,useless=202643602), ccks=377102782, wck=244.715, mem=927M212
260.60/249.47 decisions=5037174, wrong=2312401, backtracks=2277775, failedAssignments=71663, nogoods=2863
260.60/249.47
291.11/279.96 num=69, depth=8056..10257, filters=133829219, revisions=(353430363,useless=223593277), ccks=432453216, wck=275.2, mem=943M309
291.11/279.96 decisions=5769031, wrong=2673306, backtracks=2637812, failedAssignments=78842, nogoods=2876
291.11/279.96
351.82/340.61 num=70, depth=7193..10202, filters=171016578, revisions=(439048039,useless=273005087), ccks=546644679, wck=335.85, mem=991M598
351.82/340.61 decisions=7233249, wrong=3400462, backtracks=3365149, failedAssignments=86739, nogoods=2883
351.82/340.61
429.45/418.21 num=71, depth=7222..10266, filters=223301052, revisions=(547897151,useless=330805954), ccks=701862227, wck=413.45, mem=1039M887
429.45/418.21 decisions=9086625, wrong=4322138, backtracks=4287049, failedAssignments=95426, nogoods=2889
429.45/418.21
478.66/467.44 num=72, depth=10190..10431, filters=249075432, revisions=(630453211,useless=388373184), ccks=791893072, wck=462.687, mem=1080M127
478.66/467.44 decisions=10334976, wrong=4941155, backtracks=4906133, failedAssignments=104981, nogoods=2892
478.66/467.44
514.38/503.18 num=73, depth=7505..10579, filters=270353402, revisions=(682265093,useless=419520200), ccks=857433959, wck=498.419, mem=1104M272
514.38/503.18 decisions=11256756, wrong=5396795, backtracks=5361920, failedAssignments=115492, nogoods=2899
514.38/503.18
582.75/571.12 num=74, depth=9626..10685, filters=312609683, revisions=(784095136,useless=480467148), ccks=1000101913, wck=566.364, mem=800M860
582.75/571.12 decisions=12902299, wrong=6214312, backtracks=6180186, failedAssignments=127054, nogoods=2909
582.75/571.12
616.55/604.95 num=75, depth=10379..10670, filters=334335292, revisions=(829772340,useless=505003407), ccks=1064287974, wck=600.191, mem=829M488
616.55/604.95 decisions=13802259, wrong=6659042, backtracks=6617373, failedAssignments=139772, nogoods=2958
616.55/604.95
627.05/615.40 num=76, depth=7257..10787, filters=338559944, revisions=(841650403,useless=512881381), ccks=1076779395, wck=610.645, mem=829M488
627.05/615.40 decisions=14128576, wrong=6816831, backtracks=6772977, failedAssignments=153762, nogoods=2974
627.05/615.40
646.96/635.34 num=77, depth=10527..10845, filters=346520971, revisions=(878778689,useless=542437664), ccks=1109907281, wck=630.58, mem=843M781
646.96/635.34 decisions=14678228, wrong=7086293, backtracks=7040299, failedAssignments=169151, nogoods=2981
646.96/635.34
659.47/647.81 num=78, depth=9037..11080, filters=352935193, revisions=(894255285,useless=551752299), ccks=1129194637, wck=643.055, mem=858M74
659.47/647.81 decisions=15038277, wrong=7260830, backtracks=7201423, failedAssignments=186079, nogoods=3025
659.47/647.81
710.28/698.60 num=79, depth=7869..11145, filters=385385006, revisions=(961373872,useless=587404245), ccks=1224088394, wck=693.841, mem=900M954
710.28/698.60 decisions=16514113, wrong=7993285, backtracks=7932680, failedAssignments=204700, nogoods=3051
710.28/698.60
834.12/822.46 num=80, depth=8121..11276, filters=472456520, revisions=(1143239823,useless=684570078), ccks=1482223830, wck=817.706, mem=1001M6
834.12/822.46 decisions=20007938, wrong=9734636, backtracks=9674592, failedAssignments=225184, nogoods=3077
834.12/822.46
866.84/855.14 num=81, depth=6019..11281, filters=488380404, revisions=(1204949362,useless=731030678), ccks=1541056518, wck=850.38, mem=1029M592
866.84/855.14 decisions=20958133, wrong=10204208, backtracks=10141572, failedAssignments=247716, nogoods=3094
866.84/855.14
1004.57/992.86 num=82, depth=9668..11283, filters=584215796, revisions=(1405472243,useless=838234073), ccks=1824792558, wck=988.107, mem=1143M938
1004.57/992.86 decisions=24809267, wrong=12124244, backtracks=12060570, failedAssignments=272501, nogoods=3114
1004.57/992.86
1105.87/1094.07 num=83, depth=7192..11204, filters=650678006, revisions=(1547929657,useless=916324356), ccks=2023008399, wck=1089.319, mem=1229M697
1105.87/1094.07 decisions=27781874, wrong=13605046, backtracks=13533901, failedAssignments=299765, nogoods=3167
1105.87/1094.07
1139.07/1127.24 num=84, depth=6169..11245, filters=668929160, revisions=(1585946739,useless=936945859), ccks=2075155362, wck=1122.481, mem=1258M283
1139.07/1127.24 decisions=28858478, wrong=14137786, backtracks=14059728, failedAssignments=329755, nogoods=3216
1139.07/1127.24
1234.50/1222.43 num=85, depth=6340..11410, filters=701928928, revisions=(1686016009,useless=1005241595), ccks=2180316840, wck=1217.671, mem=1401M215
1234.50/1222.43 decisions=30412132, wrong=14909079, backtracks=18497186, failedAssignments=362744, nogoods=3273
1234.50/1222.43
1388.98/1376.65 num=86, depth=6579..10876, filters=809683282, revisions=(1908950720,useless=1123397397), ccks=2498096486, wck=1371.893, mem=818M227
1388.98/1376.65 decisions=34639853, wrong=17017630, backtracks=20597138, failedAssignments=399032, nogoods=3329
1388.98/1376.65
1669.87/1657.42 num=87, depth=6228..10991, filters=1016680948, revisions=(2329958393,useless=1342410285), ccks=3106696691, wck=1652.66, mem=1033M112
1669.87/1657.42 decisions=42339106, wrong=20861885, backtracks=24441460, failedAssignments=438949, nogoods=3391
1669.87/1657.42
1769.92/1757.42 num=88, depth=6502..11030, filters=1021622158, revisions=(2404436012,useless=1412315045), ccks=3131243066, wck=1752.659, mem=1233M671
1769.92/1757.42 decisions=42826545, wrong=21100255, backtracks=32072115, failedAssignments=482858, nogoods=3453
1769.92/1757.42
1862.45/1849.98 num=89, depth=6688..10677, filters=1070402302, revisions=(2580843102,useless=1541607723), ccks=3313262559, wck=1845.227, mem=1319M625
1862.45/1849.98 decisions=45349599, wrong=22356560, backtracks=33329289, failedAssignments=531158, nogoods=3509
1862.45/1849.98
1909.77/1897.20 num=90, depth=7042..11136, filters=1086746772, revisions=(2633736117,useless=1578758524), ccks=3366278606, wck=1892.443, mem=1391M291
1909.77/1897.20 decisions=46147262, wrong=22750025, backtracks=35527482, failedAssignments=584288, nogoods=3671
1909.77/1897.20
2028.13/2015.47 num=91, depth=7141..10976, filters=1092784442, revisions=(2721329303,useless=1660698389), ccks=3395495493, wck=2010.711, mem=964M630
2028.13/2015.47 decisions=46662234, wrong=23002142, backtracks=46394144, failedAssignments=642731, nogoods=3762
2028.13/2015.47
2153.08/2140.37 num=92, depth=7457..11009, filters=1119569469, revisions=(2829564073,useless=1743391621), ccks=3487007009, wck=2135.616, mem=1204M678
2153.08/2140.37 decisions=48184576, wrong=23757982, backtracks=55130133, failedAssignments=707018, nogoods=3826
2153.08/2140.37
2357.14/2344.38 num=93, depth=7595..11053, filters=1241028368, revisions=(3163464033,useless=1960132182), ccks=3889021209, wck=2339.627, mem=1364M709
2357.14/2344.38 decisions=53517781, wrong=26419212, backtracks=58335023, failedAssignments=777734, nogoods=3879
2357.14/2344.38
2520.00/2507.11
2520.00/2507.11 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 (14534 MiB free)
memory of node 1: 16384 MiB (15588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391027-1568386313/watcher-4391027-1568386313 -o /tmp/evaluation-result-4391027-1568386313/solver-4391027-1568386313 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29502 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391027-1568386313.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=31662, runsolver pid=31659
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 2.02 2.09 2.02 4/229 31677
/proc/meminfo: memFree=30829972/32770624 swapFree=66994864/67108860
[pid=31662] ppid=31659 vsize=10659884 memory=28672 CPUtime=0.14 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 5636 0 0 0 13 1 0 0 20 0 15 0 414882732 10915721216 7168 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2664971 7168 2902 1 0 2627468 0
[pid=31662/tid=31664] ppid=31659 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) R 31659 31662 29470 0 -1 4202560 3282 0 0 0 9 0 0 0 20 0 15 0 414882732 10915721216 7168 33554432000 4194304 4196468 140733592102848 140492415457424 140492411258013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 7168 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10659884 memory=288370059119646336 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 7168 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 7168 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 7168 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882734 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491901121824 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491900069488 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882737 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) R 31659 31662 29470 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 414882737 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491897964752 140492411246293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 414882737 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0.02 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) R 31659 31662 29470 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 15 0 414882737 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491895859696 140492390177678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 7168 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28672 KiB
[startup+0.210672 s]*
/proc/loadavg: 2.02 2.09 2.02 3/229 31677
/proc/meminfo: memFree=30822344/32770624 swapFree=66994864/67108860
[pid=31662] ppid=31659 vsize=10659884 memory=35488 CPUtime=0.33 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 6971 0 0 0 32 1 0 0 20 0 15 0 414882732 10915721216 8872 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2664971 8872 2989 1 0 2627468 0
[pid=31662/tid=31664] ppid=31659 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) R 31659 31662 29470 0 -1 4202560 3883 0 0 0 19 1 0 0 20 0 15 0 414882732 10915721216 8872 33554432000 4194304 4196468 140733592102848 140492415474256 140492411258013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 8872 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10659884 memory=139682967964008 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 8872 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 8872 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 8872 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882734 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491901121824 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491900069488 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882737 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 414882737 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 414882737 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0.05 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 680 0 0 0 5 0 0 0 20 0 15 0 414882737 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 8872 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35488 KiB
[startup+0.309922 s]*
/proc/loadavg: 2.02 2.09 2.02 3/229 31677
/proc/meminfo: memFree=30815148/32770624 swapFree=66994864/67108860
[pid=31662] ppid=31659 vsize=10659884 memory=40604 CPUtime=0.47 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 9504 0 0 0 45 2 0 0 20 0 15 0 414882732 10915721216 10151 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2664971 10151 3001 1 0 2627468 0
[pid=31662/tid=31664] ppid=31659 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) R 31659 31662 29470 0 -1 4202560 6348 0 0 0 28 2 0 0 20 0 15 0 414882732 10915721216 10151 33554432000 4194304 4196468 140733592102848 140492415467888 140492411248022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10659884 memory=4297776180 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 10151 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10659884 memory=139682967963965 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 10151 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 10151 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10915721216 10151 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882734 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491901121824 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414882735 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491900069488 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882737 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 635 0 0 0 4 0 0 0 20 0 15 0 414882737 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) R 31659 31662 29470 0 -1 1077944384 455 0 0 0 4 0 0 0 20 0 15 0 414882737 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0.08 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) R 31659 31662 29470 0 -1 4202560 705 0 0 0 8 0 0 0 20 0 15 0 414882737 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491895855328 140492390197747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10659884 memory=139682967934592 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882738 10915721216 10151 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40604 KiB
[startup+0.700755 s]
/proc/loadavg: 2.02 2.09 2.02 3/229 31677
/proc/meminfo: memFree=30806872/32770624 swapFree=66994864/67108860
[pid=31662] ppid=31659 vsize=10661932 memory=63264 CPUtime=1.1 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 12959 0 0 0 106 4 0 0 20 0 15 0 414882732 10917818368 15816 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2665483 15816 3061 1 0 2627980 0
[pid=31662/tid=31664] ppid=31659 vsize=10661932 memory=20140 CPUtime=0.68 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) R 31659 31662 29470 0 -1 4202560 8891 0 0 0 64 4 0 0 20 0 15 0 414882732 10917818368 15816 33554432000 4194304 4196468 140733592102848 140492415459024 140492392799668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882733 10917818368 15816 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10917818368 15816 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10917818368 15816 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10917818368 15816 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882734 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10661932 memory=26 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414882735 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491901121824 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10661932 memory=41 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414882735 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491900069488 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882737 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 930 0 0 0 10 0 0 0 20 0 15 0 414882737 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10661932 memory=1014 CPUtime=0.12 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) R 31659 31662 29470 0 -1 4202560 658 0 0 0 12 0 0 0 20 0 15 0 414882737 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491896911856 140492392423979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10661932 memory=69867 CPUtime=0.18 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 1119 0 0 0 18 0 0 0 20 0 15 0 414882737 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414882738 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882738 10917818368 15816 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63264 KiB
[startup+1.50077 s]
/proc/loadavg: 2.02 2.09 2.02 3/229 31677
/proc/meminfo: memFree=30790804/32770624 swapFree=66994864/67108860
[pid=31662] ppid=31659 vsize=10663980 memory=75500 CPUtime=2 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 18502 0 0 0 195 5 0 0 20 0 15 0 414882732 10919915520 18875 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2665995 18875 3093 1 0 2628492 0
[pid=31662/tid=31664] ppid=31659 vsize=10663980 memory=20140 CPUtime=1.47 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) R 31659 31662 29470 0 -1 4202560 13076 0 0 0 143 4 0 0 20 0 15 0 414882732 10919915520 18875 33554432000 4194304 4196468 140733592102848 140492415468112 140492411258013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414882733 10919915520 18875 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10919915520 18875 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10919915520 18875 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414882733 10919915520 18875 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 414882734 10919915520 18875 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
################
# More data... #
################
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2881 0 0 0 71 37 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0.08 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 10021 0 0 0 6 2 0 0 20 0 16 0 414882734 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10748324 memory=279365612367120 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491901121888 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491900069504 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10748324 memory=1988252 CPUtime=3.79 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 16582 0 0 0 377 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10748324 memory=1988252 CPUtime=3.78 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 17110 0 0 0 376 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.18 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 14384 0 0 0 116 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10748324 memory=3632 CPUtime=0.52 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 2466 0 0 0 23 29 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31678] ppid=31659 vsize=10748324 memory=20272 CPUtime=2439.42 cores=1,3,5,7
/proc/31662/task/31678/stat : 31678 (java) R 31659 31662 29470 0 -1 4202560 39002 0 0 0 243933 9 0 0 20 0 16 0 414882920 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491877084800 140492024115700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 2455.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988252 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/208 31982
/proc/meminfo: memFree=29683008/32770624 swapFree=66994936/67108860
[pid=31662] ppid=31659 vsize=10748324 memory=1988252 CPUtime=2515.19 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 129957 0 0 0 251312 207 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2687081 497063 3382 1 0 2647217 0
[pid=31662/tid=31664] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.84 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) S 31659 31662 29470 0 -1 1077944384 15335 0 0 0 179 5 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492415478960 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.11 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 3636 0 0 0 70 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10748324 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 4717 0 0 0 72 40 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2117 0 0 0 71 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.08 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2881 0 0 0 71 37 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10748324 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 10027 0 0 0 6 2 0 0 20 0 16 0 414882734 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10748324 memory=7306916055891837008 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491901121888 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491900069504 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10748324 memory=808 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10748324 memory=5904 CPUtime=3.79 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 16584 0 0 0 377 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10748324 memory=664 CPUtime=3.78 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 17118 0 0 0 376 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.18 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 14386 0 0 0 116 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10748324 memory=3632 CPUtime=0.53 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 2497 0 0 0 23 30 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31678] ppid=31659 vsize=10748324 memory=6791534058613427641 CPUtime=2499.43 cores=1,3,5,7
/proc/31662/task/31678/stat : 31678 (java) R 31659 31662 29470 0 -1 4202560 39239 0 0 0 249934 9 0 0 20 0 16 0 414882920 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491877084800 140492026313066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 2515.19 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.11 s]
/proc/loadavg: 1.00 1.10 1.48 2/208 31982
/proc/meminfo: memFree=29683008/32770624 swapFree=66994936/67108860
[pid=31662] ppid=31659 vsize=10748324 memory=1988252 CPUtime=2520 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 130049 0 0 0 251793 207 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2687081 497063 3382 1 0 2647217 0
[pid=31662/tid=31664] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.84 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) S 31659 31662 29470 0 -1 1077944384 15335 0 0 0 179 5 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492415478960 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.11 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 3636 0 0 0 70 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 4717 0 0 0 72 40 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2117 0 0 0 71 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.08 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2881 0 0 0 71 37 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10748324 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 10033 0 0 0 6 2 0 0 20 0 16 0 414882734 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10748324 memory=28691 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491901121888 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491900069504 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10748324 memory=2016 CPUtime=3.79 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 16584 0 0 0 377 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10748324 memory=0 CPUtime=3.78 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 17118 0 0 0 376 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10748324 memory=7306916055891837008 CPUtime=1.18 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 14386 0 0 0 116 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10748324 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10748324 memory=664 CPUtime=0.53 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 2523 0 0 0 23 30 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31678] ppid=31659 vsize=10748324 memory=3632 CPUtime=2504.23 cores=1,3,5,7
/proc/31662/task/31678/stat : 31678 (java) R 31659 31662 29470 0 -1 4202560 39299 0 0 0 250414 9 0 0 20 0 16 0 414882920 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491877084800 140492026313704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.13 s]
# the end of solver process 31662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=2.08545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.11 s]
/proc/loadavg: 1.00 1.10 1.48 2/208 31982
/proc/meminfo: memFree=29683008/32770624 swapFree=66994936/67108860
[pid=31662] ppid=31659 vsize=10748324 memory=1988252 CPUtime=2520 cores=1,3,5,7
/proc/31662/stat : 31662 (java) S 31659 31662 29470 0 -1 1077944320 130049 0 0 0 251793 207 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140733592085392 140492411236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
/proc/31662/statm: 2687081 497063 3382 1 0 2647217 0
[pid=31662/tid=31664] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.84 cores=1,3,5,7
/proc/31662/task/31664/stat : 31664 (java) S 31659 31662 29470 0 -1 1077944384 15335 0 0 0 179 5 0 0 20 0 16 0 414882732 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492415478960 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31665] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.11 cores=1,3,5,7
/proc/31662/task/31665/stat : 31665 (java) S 31659 31662 29470 0 -1 1077944384 3636 0 0 0 70 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492347926928 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31666] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31666/stat : 31666 (java) S 31659 31662 29470 0 -1 1077944384 4717 0 0 0 72 40 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492346874128 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31667] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.12 cores=1,3,5,7
/proc/31662/task/31667/stat : 31667 (java) S 31659 31662 29470 0 -1 1077944384 2117 0 0 0 71 41 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492345821840 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31668] ppid=31659 vsize=10748324 memory=1988252 CPUtime=1.08 cores=1,3,5,7
/proc/31662/task/31668/stat : 31668 (java) S 31659 31662 29470 0 -1 1077944384 2881 0 0 0 71 37 0 0 20 0 16 0 414882733 11006283776 497063 33554432000 4194304 4196468 140733592102848 140492344769040 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31669] ppid=31659 vsize=10748324 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31662/task/31669/stat : 31669 (java) S 31659 31662 29470 0 -1 1077944384 10033 0 0 0 6 2 0 0 20 0 16 0 414882734 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491902175856 140492411247234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31670] ppid=31659 vsize=10748324 memory=28691 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31670/stat : 31670 (java) S 31659 31662 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491901121888 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31671] ppid=31659 vsize=10748324 memory=1988252 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31671/stat : 31671 (java) S 31659 31662 29470 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414882735 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491900069504 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31672] ppid=31659 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31672/stat : 31672 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491899017808 140492411254683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31673] ppid=31659 vsize=10748324 memory=2016 CPUtime=3.79 cores=1,3,5,7
/proc/31662/task/31673/stat : 31673 (java) S 31659 31662 29470 0 -1 1077944384 16584 0 0 0 377 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491897964656 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31674] ppid=31659 vsize=10748324 memory=0 CPUtime=3.78 cores=1,3,5,7
/proc/31662/task/31674/stat : 31674 (java) S 31659 31662 29470 0 -1 1077944384 17118 0 0 0 376 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491896911856 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31675] ppid=31659 vsize=10748324 memory=7306916055891837008 CPUtime=1.18 cores=1,3,5,7
/proc/31662/task/31675/stat : 31675 (java) S 31659 31662 29470 0 -1 1077944384 14386 0 0 0 116 2 0 0 20 0 16 0 414882737 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491895859568 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31676] ppid=31659 vsize=10748324 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/31662/task/31676/stat : 31676 (java) S 31659 31662 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491894807008 140492411246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31677] ppid=31659 vsize=10748324 memory=664 CPUtime=0.53 cores=1,3,5,7
/proc/31662/task/31677/stat : 31677 (java) S 31659 31662 29470 0 -1 1077944384 2523 0 0 0 23 30 0 0 20 0 16 0 414882738 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491893754800 140492411247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
[pid=31662/tid=31678] ppid=31659 vsize=10748324 memory=3632 CPUtime=2504.23 cores=1,3,5,7
/proc/31662/task/31678/stat : 31678 (java) R 31659 31662 29470 0 -1 4202560 39299 0 0 0 250414 9 0 0 20 0 16 0 414882920 11006283776 497063 33554432000 4194304 4196468 140733592102848 140491877084800 140492026313704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28872704 140733592105995 140733592106098 140733592106098 140733592109007 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988252 KiB
Child status: 143
Real time (s): 2507.13
CPU time (s): 2520.03
CPU user time (s): 2517.94
CPU system time (s): 2.08545
CPU usage (%): 100.514
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1988252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.08546
maximum resident set size= 1988748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58282
involuntary context switches= 767
# summary of solver processes directly reported to runsolver:
# pid: 31662
# total CPU time (s): 2520.03
# total CPU user time (s): 2517.94
# total CPU system time (s): 2.08545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8378 second user time and 22.8531 second system time
The end