2.38/1.89
2.38/1.89 AbsCon 2
2.61/1.90
3.98/2.33 Instance
3.98/2.33 name=instance-4391325-1568391211, framework=COP, bounds=-infty..+infty
3.98/2.33
3.98/2.33 Loading variables...
4.64/2.57 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.91/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.91/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.91/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.91/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.91/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.91/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.91/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.91/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.91/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.91/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.16/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.16/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.16/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.16/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.16/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.52/4.63
11.52/4.63
11.52/4.63 Domains
11.52/4.63 nTypes=4, nValues=43734, sizes=[2#12321,10#111,51#111,111#111]
11.52/4.63 Variables
11.52/4.63 count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.52/4.63 Objectives
11.52/4.63 way=min, type=SumSimpleLE
11.52/4.63 Constraints
11.52/4.63 count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.52/4.63 distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.52/4.63 nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.52/4.63 wck=2.773, cpu=4.141, mem=929M257
11.52/4.66 Solver SolverBacktrack being built...
11.52/4.66
11.84/4.77
11.84/4.77 Solver
11.84/4.77 guaranteedGAC=false
11.84/4.77 wck=2.911, cpu=4.276, mem=961M507
13.07/5.52
13.07/5.52 Preprocessing
13.07/5.52 filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.07/5.52 wck=0.747, cpu=5.028, mem=961M507
13.07/5.52
13.07/5.58 num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.801, mem=961M507
13.07/5.58 decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.07/5.58
13.36/5.62 num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.846, mem=961M507
13.36/5.62 decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.36/5.62
13.36/5.66 num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.892, mem=969M590
13.36/5.66 decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.36/5.66
13.68/5.73 num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.961, mem=969M590
13.68/5.73 decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.68/5.73
13.98/5.81 num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.042, mem=969M590
13.98/5.81 decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.98/5.81
14.29/5.91 num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.136, mem=969M590
14.29/5.91 decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.29/5.91
14.61/6.01 num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.241, mem=969M590
14.61/6.01 decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.61/6.01
14.85/6.14 num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.374, mem=969M590
14.85/6.14 decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.85/6.14
15.08/6.28 num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.511, mem=969M590
15.08/6.28 decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.08/6.28
15.49/6.43 num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.664, mem=969M590
15.49/6.43 decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.49/6.43
15.94/6.60 num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=1.831, mem=969M590
15.94/6.60 decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.94/6.60
16.17/6.78 num=11, depth=1198..1199, filters=33759, revisions=(580500,useless=548704), ccks=1602628, wck=2.007, mem=972M227
16.17/6.78 decisions=7733, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.17/6.78
16.58/6.98 num=12, depth=1416..1417, filters=39360, revisions=(702951,useless=666010), ccks=1645908, wck=2.211, mem=972M227
16.58/6.98 decisions=9212, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.58/6.98
17.19/7.22 num=13, depth=1632..1634, filters=46026, revisions=(861927,useless=819004), ccks=1701697, wck=2.45, mem=972M227
17.19/7.22 decisions=10914, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
17.19/7.22
17.61/7.49 num=14, depth=1849..1850, filters=53320, revisions=(1043218,useless=993782), ccks=1771265, wck=2.719, mem=972M227
17.61/7.49 decisions=12838, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
17.61/7.49
18.14/7.78 num=15, depth=2067..2068, filters=61276, revisions=(1239496,useless=1182912), ccks=1834589, wck=3.014, mem=972M227
18.14/7.78 decisions=14988, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
18.14/7.78
18.45/8.10 num=16, depth=2285..2286, filters=69818, revisions=(1447431,useless=1383110), ccks=1897786, wck=3.33, mem=972M227
18.45/8.10 decisions=17364, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
18.45/8.10
18.84/8.44 num=17, depth=2503..2504, filters=79050, revisions=(1668910,useless=1596175), ccks=1962655, wck=3.671, mem=980M321
18.84/8.44 decisions=19968, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
18.84/8.44
19.24/8.81 num=18, depth=2721..2723, filters=89111, revisions=(1904044,useless=1822080), ccks=2029498, wck=4.038, mem=980M321
19.24/8.81 decisions=22801, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
19.24/8.81
19.65/9.22 num=19, depth=3048..3050, filters=100198, revisions=(2161159,useless=2068976), ccks=2104160, wck=4.446, mem=980M321
19.65/9.22 decisions=25973, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
19.65/9.22
20.06/9.66 num=20, depth=3375..3377, filters=112233, revisions=(2437924,useless=2334589), ccks=2180646, wck=4.891, mem=980M321
20.06/9.66 decisions=29484, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
20.06/9.66
20.57/10.15 num=21, depth=3700..3702, filters=125748, revisions=(2760539,useless=2644828), ccks=2272739, wck=5.377, mem=980M321
20.57/10.15 decisions=33334, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
20.57/10.15
21.06/10.67 num=22, depth=4025..4028, filters=140790, revisions=(3125341,useless=2995950), ccks=2377495, wck=5.903, mem=988M420
21.06/10.67 decisions=37524, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
21.06/10.67
21.66/11.25 num=23, depth=4461..4464, filters=157242, revisions=(3522226,useless=3377818), ccks=2493642, wck=6.477, mem=988M420
21.66/11.25 decisions=42166, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
21.66/11.25
22.26/11.87 num=24, depth=4894..4897, filters=175604, revisions=(3976841,useless=3815818), ccks=2626199, wck=7.102, mem=988M420
22.26/11.87 decisions=47259, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
22.26/11.87
22.96/12.54 num=25, depth=5330..5334, filters=195501, revisions=(4458655,useless=4279509), ccks=2762434, wck=7.769, mem=993M845
22.96/12.54 decisions=52809, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
22.96/12.54
25.45/13.77 num=26, depth=5875..5879, filters=217117, revisions=(4973996,useless=4775039), ccks=2906330, wck=9.002, mem=727M179
25.45/13.77 decisions=58926, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
25.45/13.77
26.47/14.54 num=27, depth=6420..6425, filters=240530, revisions=(5523197,useless=5302665), ccks=3054520, wck=9.765, mem=727M179
26.47/14.54 decisions=65613, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
26.47/14.54
27.27/15.37 num=28, depth=7074..7077, filters=264436, revisions=(6112364,useless=5869800), ccks=3207963, wck=10.602, mem=735M271
27.27/15.37 decisions=72978, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
27.27/15.37
28.21/16.24 num=29, depth=7369..7477, filters=286382, revisions=(6730141,useless=6467590), ccks=3351047, wck=11.471, mem=735M271
28.21/16.24 decisions=80782, wrong=1644, backtracks=14, failedAssignments=1632, nogoods=1525
28.21/16.24
30.22/18.08 num=30, depth=7489..7695, filters=781670, revisions=(8305681,useless=7561806), ccks=4867704, wck=13.313, mem=759M462
30.22/18.08 decisions=106531, wrong=10758, backtracks=9053, failedAssignments=1806, nogoods=1530
30.22/18.08
33.31/21.01 num=31, depth=211..7824, filters=1904636, revisions=(11236025,useless=9396900), ccks=8284170, wck=16.244, mem=815M908
33.31/21.01 decisions=153386, wrong=30369, backtracks=28656, failedAssignments=1997, nogoods=1535
33.31/21.01
34.40/22.05 num=32, depth=7637..7759, filters=2014495, revisions=(12029834,useless=10084853), ccks=8667429, wck=17.277, mem=823M972
34.40/22.05 decisions=164933, wrong=32293, backtracks=30384, failedAssignments=2208, nogoods=1610
34.40/22.05
35.99/23.66 num=33, depth=7540..7764, filters=2446547, revisions=(13494281,useless=11128632), ccks=10001799, wck=18.889, mem=848M163
35.99/23.66 decisions=187197, wrong=39544, backtracks=37468, failedAssignments=2440, nogoods=1671
35.99/23.66
37.40/25.07 num=34, depth=7807..7897, filters=2575073, revisions=(15016881,useless=12532234), ccks=10905634, wck=20.296, mem=856M226
37.40/25.07 decisions=206157, wrong=45119, backtracks=43040, failedAssignments=2695, nogoods=1673
37.40/25.07
38.30/25.93 num=35, depth=8077..8129, filters=2597079, revisions=(15650047,useless=13145317), ccks=11045602, wck=21.162, mem=856M226
38.30/25.93 decisions=214900, wrong=45452, backtracks=43092, failedAssignments=2976, nogoods=1677
38.30/25.93
42.61/30.21 num=36, depth=7754..8082, filters=4550979, revisions=(20217972,useless=15805757), ccks=16876639, wck=25.438, mem=952M991
42.61/30.21 decisions=290279, wrong=79203, backtracks=76841, failedAssignments=3285, nogoods=1680
42.61/30.21
44.31/31.94 num=37, depth=7920..8141, filters=5054567, revisions=(21831729,useless=16928547), ccks=18428818, wck=27.169, mem=977M182
44.31/31.94 decisions=315478, wrong=87734, backtracks=85107, failedAssignments=3625, nogoods=1732
44.31/31.94
46.61/34.22 num=38, depth=7920..8139, filters=5872341, revisions=(24119540,useless=18418749), ccks=20925987, wck=29.452, mem=1017M501
46.61/34.22 decisions=351585, wrong=101723, backtracks=98848, failedAssignments=3999, nogoods=1768
46.61/34.22
47.81/35.45 num=39, depth=8133..8251, filters=6012639, revisions=(25077864,useless=19243349), ccks=21406305, wck=30.679, mem=1025M564
47.81/35.45 decisions=366663, wrong=105170, backtracks=102297, failedAssignments=4410, nogoods=1770
47.81/35.45
49.21/36.80 num=40, depth=8249..8467, filters=6293614, revisions=(26305583,useless=20197831), ccks=22326816, wck=32.033, mem=1041M692
49.21/36.80 decisions=384802, wrong=110008, backtracks=106723, failedAssignments=4862, nogoods=1857
49.21/36.80
50.11/37.71 num=41, depth=8323..8359, filters=6314875, revisions=(27004747,useless=20878165), ccks=22487530, wck=32.939, mem=1049M755
50.11/37.71 decisions=394189, wrong=110540, backtracks=106760, failedAssignments=5359, nogoods=1888
50.11/37.71
51.91/39.52 num=42, depth=8135..8354, filters=6862986, revisions=(28774410,useless=22114086), ccks=24197940, wck=34.746, mem=1073M947
51.91/39.52 decisions=420980, wrong=119846, backtracks=115603, failedAssignments=5906, nogoods=1925
51.91/39.52
52.83/40.47 num=43, depth=8499..8571, filters=6905331, revisions=(29524015,useless=22824033), ccks=24439305, wck=35.699, mem=1082M10
52.83/40.47 decisions=430848, wrong=120530, backtracks=115690, failedAssignments=6508, nogoods=1975
52.83/40.47
60.44/47.75 num=44, depth=8389..8709, filters=10563127, revisions=(37891656,useless=27622277), ccks=35442932, wck=42.978, mem=887M379
60.44/47.75 decisions=570614, wrong=186100, backtracks=181294, failedAssignments=7170, nogoods=1978
60.44/47.75
63.54/50.81 num=45, depth=8553..8682, filters=11704573, revisions=(40886953,useless=29509905), ccks=38838965, wck=46.035, mem=930M482
63.54/50.81 decisions=622036, wrong=207497, backtracks=202514, failedAssignments=7898, nogoods=1982
63.54/50.81
72.75/60.08 num=46, depth=3485..8678, filters=16648444, revisions=(51642779,useless=35439510), ccks=53499856, wck=55.307, mem=1174M736
72.75/60.08 decisions=802040, wrong=293282, backtracks=288298, failedAssignments=8699, nogoods=1991
72.75/60.08
73.95/61.28 num=47, depth=4282..8681, filters=16870967, revisions=(52747302,useless=36327224), ccks=54252955, wck=56.509, mem=1189M103
73.95/61.28 decisions=817914, wrong=296940, backtracks=291091, failedAssignments=9580, nogoods=2000
73.95/61.28
84.54/71.81 num=48, depth=8463..8786, filters=22634099, revisions=(65229604,useless=43183297), ccks=71382245, wck=67.035, mem=1462M92
84.54/71.81 decisions=1029446, wrong=398431, backtracks=392620, failedAssignments=10550, nogoods=2003
84.54/71.81
85.54/72.88 num=49, depth=8682..8794, filters=22722344, revisions=(66087442,useless=43955391), ccks=71744331, wck=68.105, mem=764M971
85.54/72.88 decisions=1040809, wrong=399721, backtracks=392844, failedAssignments=11617, nogoods=2103
85.54/72.88
87.96/75.07 num=50, depth=8573..8792, filters=23532034, revisions=(68434672,useless=45512213), ccks=74246767, wck=70.302, mem=808M137
87.96/75.07 decisions=1077219, wrong=413542, backtracks=405607, failedAssignments=12790, nogoods=2199
87.96/75.07
101.96/89.02 num=51, depth=8631..8900, filters=31494399, revisions=(85463912,useless=54766448), ccks=97909172, wck=84.248, mem=1182M247
101.96/89.02 decisions=1364080, wrong=552655, backtracks=544744, failedAssignments=14081, nogoods=2201
101.96/89.02
102.96/90.06 num=52, depth=8902..9012, filters=31614945, revisions=(86429208,useless=55614288), ccks=98391298, wck=85.286, mem=1196M635
102.96/90.06 decisions=1376653, wrong=554480, backtracks=545151, failedAssignments=15501, nogoods=2229
102.96/90.06
119.52/106.54 num=53, depth=8684..9010, filters=41164180, revisions=(106752661,useless=66613285), ccks=126754144, wck=101.77, mem=936M854
119.52/106.54 decisions=1719831, wrong=721669, backtracks=712388, failedAssignments=17063, nogoods=2232
119.52/106.54
120.92/107.96 num=54, depth=9012..9231, filters=41481336, revisions=(108223551,useless=67775745), ccks=127851795, wck=103.185, mem=956M992
120.92/107.96 decisions=1741135, wrong=727712, backtracks=716749, failedAssignments=18781, nogoods=2237
120.92/107.96
122.72/109.77 num=55, depth=9122..9430, filters=42081199, revisions=(110242764,useless=69209424), ccks=129772370, wck=104.999, mem=997M270
122.72/109.77 decisions=1771143, wrong=738071, backtracks=725289, failedAssignments=20671, nogoods=2240
122.72/109.77
124.04/111.10 num=56, depth=9312..9450, filters=42379107, revisions=(111660050,useless=70335834), ccks=130806102, wck=106.331, mem=997M270
124.04/111.10 decisions=1790300, wrong=742993, backtracks=728146, failedAssignments=22750, nogoods=2262
124.04/111.10
143.43/130.46 num=57, depth=9257..9562, filters=53837382, revisions=(135438293,useless=82928656), ccks=164450984, wck=125.689, mem=1561M151
143.43/130.46 decisions=2230634, wrong=958475, backtracks=943709, failedAssignments=25037, nogoods=2265
143.43/130.46
144.63/131.68 num=58, depth=3736..9541, filters=54009762, revisions=(136917201,useless=84241645), ccks=165256374, wck=126.909, mem=1561M151
144.63/131.68 decisions=2245263, wrong=961049, backtracks=943768, failedAssignments=27553, nogoods=2320
144.63/131.68
146.93/134.00 num=59, depth=9364..9650, filters=54853084, revisions=(139646774,useless=86155962), ccks=168033518, wck=129.226, mem=1601M428
146.93/134.00 decisions=2286851, wrong=977082, backtracks=957249, failedAssignments=30321, nogoods=2408
146.93/134.00
175.77/162.74 num=60, depth=7254..9823, filters=72967860, revisions=(177739165,useless=106564254), ccks=221876020, wck=157.967, mem=1487M800
175.77/162.74 decisions=2933545, wrong=1295680, backtracks=1275935, failedAssignments=33365, nogoods=2414
175.77/162.74
187.60/174.51 num=61, depth=9615..9934, filters=78420169, revisions=(195867779,useless=119420270), ccks=241424437, wck=169.735, mem=789M103
187.60/174.51 decisions=3205752, wrong=1426905, backtracks=1406533, failedAssignments=36714, nogoods=2420
187.60/174.51
209.22/196.19 num=62, depth=8021..10046, filters=92597755, revisions=(226009597,useless=135718138), ccks=283638617, wck=191.418, mem=1478M881
209.22/196.19 decisions=3712833, wrong=1675551, backtracks=1653835, failedAssignments=40398, nogoods=2426
209.22/196.19
233.73/220.60 num=63, depth=9723..10050, filters=108587594, revisions=(259841179,useless=153934003), ccks=331231655, wck=215.832, mem=922M157
233.73/220.60 decisions=4281318, wrong=1954839, backtracks=1931710, failedAssignments=44450, nogoods=2493
233.73/220.60
258.45/245.38 num=64, depth=9748..10052, filters=123173996, revisions=(297827258,useless=177730731), ccks=378142962, wck=240.605, mem=1691M728
258.45/245.38 decisions=4868089, wrong=2243293, backtracks=2218900, failedAssignments=48907, nogoods=2547
258.45/245.38
262.05/248.94 num=65, depth=9994..10295, filters=124945963, revisions=(302655011,useless=180831487), ccks=383687110, wck=244.17, mem=1771M339
262.05/248.94 decisions=4943553, wrong=2275997, backtracks=2246994, failedAssignments=53810, nogoods=2550
262.05/248.94
263.55/250.42 num=66, depth=10321..10349, filters=125221761, revisions=(304802098,useless=182712158), ccks=385025345, wck=245.645, mem=1797M876
263.55/250.42 decisions=4967818, wrong=2282966, backtracks=2248641, failedAssignments=59204, nogoods=2629
263.55/250.42
270.55/257.44 num=67, depth=10321..10545, filters=129408877, revisions=(314789461,useless=188621647), ccks=397779283, wck=252.669, mem=2013M817
270.55/257.44 decisions=5131744, wrong=2359712, backtracks=2320818, failedAssignments=65137, nogoods=2631
270.55/257.44
303.17/289.99 num=68, depth=10229..10626, filters=151838828, revisions=(361760001,useless=213723818), ccks=464207200, wck=285.225, mem=1783M565
303.17/289.99 decisions=5989112, wrong=2783205, backtracks=2743632, failedAssignments=71663, nogoods=2636
303.17/289.99
309.77/296.55 num=69, depth=6580..10586, filters=154565254, revisions=(370844116,useless=220227311), ccks=473362275, wck=291.78, mem=1914M176
309.77/296.55 decisions=6147089, wrong=2856923, backtracks=2813754, failedAssignments=78842, nogoods=2655
309.77/296.55
341.81/328.53 num=70, depth=10180..10658, filters=171712524, revisions=(423182854,useless=256016487), ccks=531953963, wck=323.757, mem=1262M284
341.81/328.53 decisions=7028402, wrong=3292326, backtracks=3249263, failedAssignments=86739, nogoods=2675
341.81/328.53
351.51/338.28 num=71, depth=6296..10746, filters=175058431, revisions=(437217560,useless=266917095), ccks=544848062, wck=333.505, mem=1458M288
351.51/338.28 decisions=7308178, wrong=3426936, backtracks=3378354, failedAssignments=95426, nogoods=2694
351.51/338.28
394.16/380.80 num=72, depth=7054..10818, filters=201041069, revisions=(490074632,useless=294579732), ccks=620260869, wck=376.028, mem=1076M323
394.16/380.80 decisions=8553913, wrong=4044477, backtracks=3996234, failedAssignments=104981, nogoods=2718
394.16/380.80
404.37/391.02 num=73, depth=4339..10854, filters=205898385, revisions=(507232132,useless=307089367), ccks=640310658, wck=386.248, mem=1341M8
404.37/391.02 decisions=8810708, wrong=4167528, backtracks=4111862, failedAssignments=115492, nogoods=2744
404.37/391.02
427.25/413.87 num=74, depth=7465..10842, filters=220936372, revisions=(542110390,useless=327406137), ccks=686021987, wck=409.101, mem=2097M251
427.25/413.87 decisions=9375459, wrong=4444576, backtracks=4382426, failedAssignments=127054, nogoods=2760
427.25/413.87
457.08/443.48 num=75, depth=7827..10983, filters=221887162, revisions=(562015675,useless=346474634), ccks=691040265, wck=438.712, mem=2248M500
457.08/443.48 decisions=9521001, wrong=4512012, backtracks=6684229, failedAssignments=139772, nogoods=2778
457.08/443.48
485.93/472.20 num=76, depth=4855..10907, filters=234069044, revisions=(608916166,useless=381786281), ccks=738021902, wck=467.432, mem=1117M54
485.93/472.20 decisions=10307380, wrong=4899921, backtracks=7244800, failedAssignments=153762, nogoods=2808
485.93/472.20
521.34/507.62 num=77, depth=5118..10920, filters=234328095, revisions=(628518365,useless=401169937), ccks=740602939, wck=502.849, mem=1230M512
521.34/507.62 decisions=10364590, wrong=4923201, backtracks=10157645, failedAssignments=169151, nogoods=2856
521.34/507.62
553.35/539.62 num=78, depth=6444..10668, filters=234825727, revisions=(649175722,useless=421384028), ccks=744154002, wck=534.846, mem=1343M970
553.35/539.62 decisions=10445517, wrong=4958437, backtracks=13283145, failedAssignments=186079, nogoods=2901
553.35/539.62
707.67/693.87 num=79, depth=5011..10427, filters=334591563, revisions=(890577968,useless=566008966), ccks=1062055423, wck=689.098, mem=2634M131
707.67/693.87 decisions=14372756, wrong=6916953, backtracks=15241912, failedAssignments=204700, nogoods=2934
707.67/693.87
745.62/731.79 num=80, depth=6953..10743, filters=334787416, revisions=(909018430,useless=584275072), ccks=1064475786, wck=727.02, mem=855M683
745.62/731.79 decisions=14432806, wrong=6941753, backtracks=19172310, failedAssignments=225184, nogoods=2964
745.62/731.79
788.24/774.31 num=81, depth=8647..10581, filters=336731374, revisions=(931882681,useless=605282604), ccks=1072870133, wck=769.539, mem=1077M435
788.24/774.31 decisions=14575808, wrong=7008132, backtracks=23432213, failedAssignments=247716, nogoods=2981
788.24/774.31
797.54/783.67 num=82, depth=8741..10183, filters=341543469, revisions=(945209264,useless=613968621), ccks=1088209261, wck=778.901, mem=1336M146
797.54/783.67 decisions=14832672, wrong=7131520, backtracks=23533424, failedAssignments=272501, nogoods=3079
797.54/783.67
850.79/836.88 num=83, depth=9092..10399, filters=372354779, revisions=(1015133949,useless=654267161), ccks=1181735313, wck=832.109, mem=1034M960
850.79/836.88 decisions=16354958, wrong=7887523, backtracks=24288859, failedAssignments=299765, nogoods=3100
850.79/836.88
967.91/953.86 num=84, depth=4798..9920, filters=434604443, revisions=(1214354781,useless=793348164), ccks=1399653288, wck=949.087, mem=1145M98
967.91/953.86 decisions=19319625, wrong=9365015, backtracks=25765181, failedAssignments=329755, nogoods=3146
967.91/953.86
1037.54/1023.46 num=85, depth=9066..10150, filters=449093405, revisions=(1270648568,useless=835819229), ccks=1446746312, wck=1018.685, mem=2021M317
1037.54/1023.46 decisions=20226476, wrong=9813508, backtracks=30569780, failedAssignments=362744, nogoods=3230
1037.54/1023.46
1101.00/1086.83 num=86, depth=5148..9864, filters=474117218, revisions=(1358716536,useless=900353355), ccks=1541419369, wck=1082.056, mem=1881M154
1101.00/1086.83 decisions=22092161, wrong=10741474, backtracks=31494177, failedAssignments=399032, nogoods=3289
1101.00/1086.83
1147.06/1132.86 num=87, depth=5388..9727, filters=497414212, revisions=(1418812691,useless=938190931), ccks=1614789705, wck=1128.085, mem=1539M823
1147.06/1132.86 decisions=23256829, wrong=11319005, backtracks=32053188, failedAssignments=438949, nogoods=3335
1147.06/1132.86
1189.24/1174.99 num=88, depth=6442..9679, filters=518672914, revisions=(1469030743,useless=967896602), ccks=1679335807, wck=1170.218, mem=1110M478
1189.24/1174.99 decisions=24453183, wrong=11912412, backtracks=32611635, failedAssignments=482858, nogoods=3418
1189.24/1174.99
1221.25/1206.95 num=89, depth=6728..9706, filters=535400193, revisions=(1510087888,useless=992894620), ccks=1731315821, wck=1202.181, mem=1967M682
1221.25/1206.95 decisions=25301125, wrong=12331591, backtracks=32998580, failedAssignments=531158, nogoods=3495
1221.25/1206.95
1344.13/1329.62 num=90, depth=7107..9844, filters=603616852, revisions=(1648057801,useless=1065099363), ccks=1927911905, wck=1324.848, mem=1104M361
1344.13/1329.62 decisions=28831322, wrong=14091814, backtracks=34742014, failedAssignments=584288, nogoods=3558
1344.13/1329.62
1459.25/1444.66 num=91, depth=6567..10169, filters=636593317, revisions=(1768798909,useless=1154579893), ccks=2039672062, wck=1439.894, mem=1796M932
1459.25/1444.66 decisions=31091727, wrong=15217060, backtracks=40212498, failedAssignments=642731, nogoods=3625
1459.25/1444.66
1728.57/1713.68 num=92, depth=6810..10060, filters=775185062, revisions=(2122093203,useless=1374019238), ccks=2478970637, wck=1708.913, mem=1523M467
1728.57/1713.68 decisions=37356417, wrong=18344578, backtracks=46547776, failedAssignments=707018, nogoods=3698
1728.57/1713.68
2122.09/2106.73 num=93, depth=2982..9862, filters=1007974202, revisions=(2626639014,useless=1652840144), ccks=3179932916, wck=2101.964, mem=1134M236
2122.09/2106.73 decisions=47420097, wrong=23371586, backtracks=51571995, failedAssignments=777734, nogoods=3779
2122.09/2106.73
2400.08/2384.30
2400.08/2384.30 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 (15323 MiB free)
memory of node 1: 16384 MiB (15382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391325-1568391211/watcher-4391325-1568391211 -o /tmp/evaluation-result-4391325-1568391211/solver-4391325-1568391211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568388776-32032 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391325-1568391211.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32480, runsolver pid=32477
[startup+0.100058 s]*
/proc/loadavg: 1.70 1.62 1.61 4/228 32495
/proc/meminfo: memFree=31427256/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=29288 CPUtime=0.13 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 5814 0 0 0 12 1 0 0 20 0 15 0 415372536 10915721216 7322 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 7322 2897 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=-8125511277465210241 CPUtime=0.09 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 3215 0 0 0 8 1 0 0 20 0 15 0 415372536 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590799967928 140590788074443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) R 32477 32480 29470 0 -1 4202560 561 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589825228152 140590780287913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29288 KiB
[startup+0.21067 s]*
/proc/loadavg: 1.70 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31420356/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=34852 CPUtime=0.33 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 6815 0 0 0 31 2 0 0 20 0 15 0 415372536 10915721216 8713 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 8713 2991 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 3884 0 0 0 19 1 0 0 20 0 15 0 415372536 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590799965232 140590795760797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800943775 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 786 0 0 0 3 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.05 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 601 0 0 0 5 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34852 KiB
[startup+0.310195 s]*
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31413004/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=40028 CPUtime=0.47 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 9378 0 0 0 44 3 0 0 20 0 15 0 415372536 10915721216 10007 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 10007 3003 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 6362 0 0 0 28 2 0 0 20 0 15 0 415372536 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590799971280 140590795760797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=4297776180 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800943717 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) R 32477 32480 29470 0 -1 4202560 839 0 0 0 5 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589827337072 140590787757394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) R 32477 32480 29470 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.07 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) R 32477 32480 29470 0 -1 4202560 625 0 0 0 7 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40028 KiB
[startup+0.706846 s]
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31406220/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10661932 memory=62228 CPUtime=1.09 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 12684 0 0 0 104 5 0 0 20 0 15 0 415372536 10917818368 15557 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2665483 15557 3072 1 0 2627980 0
[pid=32480/tid=32482] ppid=32477 vsize=10661932 memory=279737259823686 CPUtime=0.69 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 8914 0 0 0 65 4 0 0 20 0 15 0 415372536 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590799970896 140590778925680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10661932 memory=288230376154685133 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10661932 memory=4947374179459833472 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10661932 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10661932 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) R 32477 32480 29470 0 -1 4202560 1095 0 0 0 12 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589827323168 140590775431948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10661932 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 344 0 0 0 7 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 972 0 0 0 18 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10661932 memory=6344 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62228 KiB
[startup+1.50071 s]
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31389780/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10663980 memory=74912 CPUtime=1.97 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 16195 0 0 0 192 5 0 0 20 0 15 0 415372536 10919915520 18728 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2665995 18728 3094 1 0 2628492 0
[pid=32480/tid=32482] ppid=32477 vsize=10663980 memory=2809127 CPUtime=1.48 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 11432 0 0 0 144 4 0 0 20 0 15 0 415372536 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590799970896 140590778925701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 415372538 10919915520 18728 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
################
# More data... #
################
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23298 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 327434 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17378 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1430808 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=2353 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1309736 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16291 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0.65 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2450 0 0 0 28 37 0 0 20 0 16 0 415372542 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=920 CPUtime=2318.62 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 69702 0 0 0 231834 28 0 0 20 0 16 0 415372725 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589806169216 140590410956373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2337.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1309736 KiB
[startup+2382.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28584272/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2398.07 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247713 0 0 0 239559 248 0 0 20 0 16 0 415372536 11006283776 317431 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 317431 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.63 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 114 49 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 119 42 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17546 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=3632 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=1269724 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2378.58 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70057 0 0 0 237830 28 0 0 20 0 16 0 415372725 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589806169216 140590408388268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2398.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1269724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2384.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28594608/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1258952 CPUtime=2400.08 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247734 0 0 0 239760 248 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 314738 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.64 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 115 49 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.62 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1258952 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=6944656592455359580 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17548 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1269724 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=3632 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2380.57 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70076 0 0 0 238029 28 0 0 20 0 16 0 415372725 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589806169328 140590410480489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1258952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2384.32 s]
# the end of solver process 32480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.62 s, system=2.4905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2384.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28594608/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1258952 CPUtime=2400.08 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247734 0 0 0 239760 248 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 314738 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.64 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 115 49 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.62 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1258952 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=6944656592455359580 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17548 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1269724 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=3632 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2380.57 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70076 0 0 0 238029 28 0 0 20 0 16 0 415372725 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589806169328 140590410480489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1258952 KiB
Child status: 143
Real time (s): 2384.32
CPU time (s): 2400.11
CPU user time (s): 2397.62
CPU system time (s): 2.4905
CPU usage (%): 100.662
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 2929836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.62
system time used= 2.4905
maximum resident set size= 2948480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56712
involuntary context switches= 2731
# summary of solver processes directly reported to runsolver:
# pid: 32480
# total CPU time (s): 2400.11
# total CPU user time (s): 2397.62
# total CPU system time (s): 2.4905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8653 second user time and 21.4041 second system time
The end