2.46/1.87
2.46/1.87 AbsCon 2
2.46/1.88
3.67/2.29 Instance
3.67/2.29 name=instance-4391334-1568391217, framework=COP, bounds=-infty..+infty
3.67/2.29
3.67/2.29 Loading variables...
4.70/2.57 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.98/4.44 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.98/4.45 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.98/4.46 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.98/4.47 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.98/4.48 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
10.98/4.49 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
10.98/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
10.98/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.30/4.50 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.30/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.30/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.66/4.62
11.66/4.62
11.66/4.62 Domains
11.66/4.62 nTypes=4, nValues=43623, sizes=[2#12321,12#111,48#111,111#111]
11.66/4.62 Variables
11.66/4.62 count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.66/4.62 Objectives
11.66/4.62 way=min, type=SumSimpleLE
11.66/4.62 Constraints
11.66/4.62 count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.66/4.62 distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.66/4.62 nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.66/4.62 wck=2.777, cpu=4.14, mem=935M756
11.66/4.65 Solver SolverBacktrack being built...
11.66/4.65
11.98/4.75
11.98/4.75 Solver
11.98/4.75 guaranteedGAC=false
11.98/4.75 wck=2.914, cpu=4.275, mem=967M992
13.09/5.47
13.09/5.47 Preprocessing
13.09/5.47 filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.09/5.47 wck=0.714, cpu=4.994, mem=967M992
13.09/5.47
13.27/5.53 num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.773, mem=967M992
13.27/5.53 decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.27/5.53
13.27/5.58 num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.822, mem=967M992
13.27/5.58 decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.27/5.58
13.59/5.63 num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.878, mem=967M992
13.59/5.63 decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.59/5.63
13.91/5.71 num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.952, mem=967M992
13.91/5.71 decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.91/5.71
14.21/5.80 num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.038, mem=967M992
14.21/5.80 decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.21/5.80
14.21/5.88 num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.131, mem=967M992
14.21/5.88 decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.21/5.88
14.36/5.99 num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.235, mem=967M992
14.36/5.99 decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.36/5.99
14.60/6.12 num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.369, mem=967M992
14.60/6.12 decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.60/6.12
14.69/6.26 num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.511, mem=967M992
14.69/6.26 decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.69/6.26
14.91/6.43 num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.672, mem=967M992
14.91/6.43 decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.91/6.43
15.16/6.60 num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=1.847, mem=967M992
15.16/6.60 decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.16/6.60
15.29/6.79 num=11, depth=1198..1198, filters=33617, revisions=(580167,useless=548510), ccks=1602109, wck=2.033, mem=972M50
15.29/6.79 decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.29/6.79
15.50/6.99 num=12, depth=1307..1307, filters=38877, revisions=(695735,useless=659264), ccks=1640500, wck=2.237, mem=972M50
15.50/6.99 decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.50/6.99
15.82/7.21 num=13, depth=1416..1416, filters=44501, revisions=(818519,useless=776880), ccks=1680040, wck=2.455, mem=972M50
15.82/7.21 decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.82/7.21
16.02/7.45 num=14, depth=1524..1526, filters=50962, revisions=(964838,useless=917354), ccks=1730506, wck=2.694, mem=972M50
16.02/7.45 decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.02/7.45
16.32/7.70 num=15, depth=1630..1631, filters=58321, revisions=(1134694,useless=1080630), ccks=1792643, wck=2.949, mem=972M50
16.32/7.70 decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.32/7.70
16.55/7.99 num=16, depth=1848..1849, filters=66447, revisions=(1329973,useless=1268685), ccks=1872446, wck=3.24, mem=980M129
16.55/7.99 decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.55/7.99
16.95/8.31 num=17, depth=2066..2068, filters=75461, revisions=(1542903,useless=1473553), ccks=1945437, wck=3.556, mem=980M129
16.95/8.31 decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
16.95/8.31
17.25/8.66 num=18, depth=2283..2284, filters=85266, revisions=(1777482,useless=1699368), ccks=2030880, wck=3.902, mem=980M129
17.25/8.66 decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.25/8.66
17.67/9.03 num=19, depth=2501..2502, filters=95850, revisions=(2025827,useless=1938184), ccks=2110140, wck=4.274, mem=980M129
17.67/9.03 decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.67/9.03
18.07/9.43 num=20, depth=2719..2720, filters=107177, revisions=(2287938,useless=2190037), ccks=2191284, wck=4.672, mem=980M129
18.07/9.43 decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.07/9.43
18.47/9.85 num=21, depth=2937..2939, filters=119579, revisions=(2572140,useless=2462994), ccks=2281488, wck=5.101, mem=980M129
18.47/9.85 decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.47/9.85
18.97/10.33 num=22, depth=3262..3264, filters=133476, revisions=(2897974,useless=2776306), ccks=2386962, wck=5.574, mem=988M221
18.97/10.33 decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
18.97/10.33
19.47/10.84 num=23, depth=3588..3590, filters=148656, revisions=(3251452,useless=3116067), ccks=2497047, wck=6.086, mem=988M221
19.47/10.84 decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
19.47/10.84
19.97/11.39 num=24, depth=3914..3916, filters=165285, revisions=(3640677,useless=3490286), ccks=2618716, wck=6.639, mem=988M221
19.97/11.39 decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
19.97/11.39
20.58/11.98 num=25, depth=4241..4243, filters=183176, revisions=(4055879,useless=3889288), ccks=2747553, wck=7.229, mem=988M221
20.58/11.98 decisions=44729, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
20.58/11.98
21.28/12.62 num=26, depth=4565..4568, filters=203204, revisions=(4520929,useless=4336292), ccks=2892109, wck=7.862, mem=991M519
21.28/12.62 decisions=49535, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
21.28/12.62
23.79/13.79 num=27, depth=5001..5004, filters=224850, revisions=(5013511,useless=4809238), ccks=3043544, wck=9.033, mem=724M189
23.79/13.79 decisions=54801, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
23.79/13.79
24.49/14.49 num=28, depth=5437..5440, filters=248048, revisions=(5533847,useless=5308415), ccks=3198985, wck=9.74, mem=724M189
24.49/14.49 decisions=60529, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
24.49/14.49
25.35/15.26 num=29, depth=5873..5877, filters=273273, revisions=(6082270,useless=5833683), ccks=3359522, wck=10.504, mem=732M234
25.35/15.26 decisions=66722, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
25.35/15.26
26.16/16.08 num=30, depth=6418..6422, filters=300537, revisions=(6665330,useless=6391585), ccks=3528085, wck=11.329, mem=740M304
26.16/16.08 decisions=73492, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
26.16/16.08
27.05/16.98 num=31, depth=6820..6928, filters=330815, revisions=(7296671,useless=6994989), ccks=3710450, wck=12.226, mem=740M304
27.05/16.98 decisions=81058, wrong=2147, backtracks=152, failedAssignments=1997, nogoods=1890
27.05/16.98
28.30/17.89 num=32, depth=6929..7072, filters=360491, revisions=(7937502,useless=7608474), ccks=3882301, wck=13.14, mem=748M376
28.30/17.89 decisions=88766, wrong=2467, backtracks=262, failedAssignments=2208, nogoods=1993
28.30/17.89
29.58/19.10 num=33, depth=7038..7205, filters=466319, revisions=(8941246,useless=8512801), ccks=4492790, wck=14.348, mem=748M376
29.58/19.10 decisions=101579, wrong=5310, backtracks=2904, failedAssignments=2440, nogoods=2132
29.58/19.10
33.66/23.06 num=34, depth=7036..7257, filters=1975673, revisions=(12851721,useless=10956102), ccks=9172425, wck=18.302, mem=748M376
33.66/23.06 decisions=163691, wrong=32796, backtracks=30388, failedAssignments=2695, nogoods=2135
33.66/23.06
37.66/27.01 num=35, depth=7252..7475, filters=3515888, revisions=(16838447,useless=13445896), ccks=13942163, wck=22.261, mem=756M421
37.66/27.01 decisions=228200, wrong=61409, backtracks=59007, failedAssignments=2976, nogoods=2137
37.66/27.01
40.09/29.43 num=36, depth=7257..7476, filters=4297685, revisions=(19155677,useless=15003651), ccks=16397972, wck=24.68, mem=756M421
40.09/29.43 decisions=263790, wrong=75508, backtracks=72924, failedAssignments=3285, nogoods=2203
40.09/29.43
42.19/31.53 num=37, depth=7259..7507, filters=4934397, revisions=(21161773,useless=16391285), ccks=18417407, wck=26.776, mem=756M421
42.19/31.53 decisions=294085, wrong=86904, backtracks=84081, failedAssignments=3625, nogoods=2228
42.19/31.53
43.09/32.42 num=38, depth=7478..7617, filters=4969579, revisions=(21844831,useless=17041400), ccks=18604817, wck=27.666, mem=764M496
43.09/32.42 decisions=302452, wrong=87281, backtracks=84084, failedAssignments=3999, nogoods=2282
43.09/32.42
44.29/33.63 num=39, depth=7583..7700, filters=5089568, revisions=(22742781,useless=17825946), ccks=19010400, wck=28.871, mem=764M496
44.29/33.63 decisions=315209, wrong=89835, backtracks=86527, failedAssignments=4410, nogoods=2284
44.29/33.63
46.29/35.61 num=40, depth=7589..8003, filters=5574685, revisions=(24785928,useless=19403226), ccks=20980046, wck=30.856, mem=764M496
46.29/35.61 decisions=343852, wrong=100256, backtracks=96677, failedAssignments=4862, nogoods=2290
46.29/35.61
47.19/36.54 num=41, depth=7504..7831, filters=5627275, revisions=(25506097,useless=20073224), ccks=21217836, wck=31.784, mem=764M496
47.19/36.54 decisions=352978, wrong=100949, backtracks=96875, failedAssignments=5359, nogoods=2359
47.19/36.54
48.09/37.45 num=42, depth=7724..7859, filters=5671496, revisions=(26220718,useless=20745841), ccks=21435591, wck=32.692, mem=764M496
48.09/37.45 decisions=361935, wrong=101501, backtracks=96880, failedAssignments=5906, nogoods=2367
48.09/37.45
51.80/41.19 num=43, depth=7725..8024, filters=6902373, revisions=(30607172,useless=23950880), ccks=25910604, wck=36.439, mem=772M572
51.80/41.19 decisions=424137, wrong=128666, backtracks=123854, failedAssignments=6508, nogoods=2471
51.80/41.19
58.90/48.26 num=44, depth=7829..8127, filters=10097793, revisions=(38293825,useless=28530675), ccks=35736462, wck=43.511, mem=772M572
58.90/48.26 decisions=550665, wrong=187999, backtracks=183078, failedAssignments=7170, nogoods=2474
58.90/48.26
67.90/57.20 num=45, depth=7833..8268, filters=14301637, revisions=(48283406,useless=34460192), ccks=49326835, wck=52.444, mem=780M616
67.90/57.20 decisions=712298, wrong=264769, backtracks=259858, failedAssignments=7898, nogoods=2482
67.90/57.20
71.90/61.22 num=46, depth=8054..8288, filters=15623030, revisions=(52972444,useless=37874289), ccks=53757476, wck=56.469, mem=780M616
71.90/61.22 decisions=784485, wrong=296792, backtracks=291911, failedAssignments=8699, nogoods=2487
71.90/61.22
72.81/62.19 num=47, depth=8283..8291, filters=15688742, revisions=(53776350,useless=38614947), ccks=54049967, wck=57.437, mem=780M616
72.81/62.19 decisions=794546, wrong=297681, backtracks=291919, failedAssignments=9580, nogoods=2513
72.81/62.19
73.81/63.19 num=48, depth=8182..8293, filters=15761019, revisions=(54707208,useless=39477080), ccks=54415848, wck=58.44, mem=788M661
73.81/63.19 decisions=804786, wrong=298660, backtracks=291929, failedAssignments=10550, nogoods=2520
73.81/63.19
76.62/65.97 num=49, depth=8181..8489, filters=16716112, revisions=(57584889,useless=41440263), ccks=57651388, wck=61.214, mem=788M661
76.62/65.97 decisions=847846, wrong=315962, backtracks=308337, failedAssignments=11617, nogoods=2562
76.62/65.97
89.23/78.52 num=50, depth=8235..8488, filters=22793426, revisions=(71882373,useless=49883239), ccks=77705164, wck=73.769, mem=796M705
89.23/78.52 decisions=1082230, wrong=429036, backtracks=421427, failedAssignments=12790, nogoods=2564
89.23/78.52
97.63/86.94 num=51, depth=8381..8665, filters=26190384, revisions=(83030600,useless=57751598), ccks=89656355, wck=82.184, mem=804M784
97.63/86.94 decisions=1244837, wrong=506070, backtracks=498150, failedAssignments=14081, nogoods=2605
97.63/86.94
113.63/102.98 num=52, depth=8333..8662, filters=34474286, revisions=(102161642,useless=68823041), ccks=115151241, wck=98.231, mem=812M828
113.63/102.98 decisions=1559239, wrong=659055, backtracks=651096, failedAssignments=15501, nogoods=2608
113.63/102.98
124.34/113.63 num=53, depth=8557..8879, filters=39889460, revisions=(114939984,useless=76332986), ccks=131858885, wck=108.875, mem=812M828
124.34/113.63 decisions=1768588, wrong=759387, backtracks=750812, failedAssignments=17063, nogoods=2611
124.34/113.63
136.44/125.76 num=54, depth=8668..8995, filters=46196858, revisions=(129706467,useless=84962986), ccks=151293486, wck=121.01, mem=820M872
136.44/125.76 decisions=2011255, wrong=876329, backtracks=867148, failedAssignments=18781, nogoods=2614
136.44/125.76
141.94/131.23 num=55, depth=8778..9105, filters=48776418, revisions=(136203688,useless=88950554), ccks=159320836, wck=126.472, mem=828M917
141.94/131.23 decisions=2115592, wrong=924002, backtracks=913382, failedAssignments=20671, nogoods=2663
141.94/131.23
143.24/132.51 num=56, depth=8889..9107, filters=49021426, revisions=(137542813,useless=90051148), ccks=160217472, wck=127.76, mem=828M917
143.24/132.51 decisions=2132811, wrong=928125, backtracks=915444, failedAssignments=22750, nogoods=2684
143.24/132.51
165.55/154.87 num=57, depth=8999..9327, filters=61387280, revisions=(165721174,useless=106201387), ccks=198156673, wck=150.118, mem=845M6
165.55/154.87 decisions=2604989, wrong=1159629, backtracks=1147018, failedAssignments=25037, nogoods=2687
165.55/154.87
173.15/162.45 num=58, depth=9211..9539, filters=65163405, revisions=(175247657,useless=112060186), ccks=210003888, wck=157.697, mem=845M6
173.15/162.45 decisions=2762264, wrong=1233613, backtracks=1219237, failedAssignments=27553, nogoods=2689
173.15/162.45
178.76/168.02 num=59, depth=9329..9644, filters=67308742, revisions=(183384196,useless=118127790), ccks=217864911, wck=163.266, mem=853M50
178.76/168.02 decisions=2875445, wrong=1285436, backtracks=1269323, failedAssignments=30321, nogoods=2758
178.76/168.02
184.05/173.34 num=60, depth=9483..9747, filters=69230606, revisions=(190824911,useless=123726846), ccks=226161423, wck=168.588, mem=861M95
184.05/173.34 decisions=2986322, wrong=1336073, backtracks=1318159, failedAssignments=33365, nogoods=2760
184.05/173.34
190.77/180.05 num=61, depth=9446..9774, filters=72760165, revisions=(199592830,useless=129059274), ccks=237178522, wck=175.291, mem=861M95
190.77/180.05 decisions=3125229, wrong=1400712, backtracks=1380012, failedAssignments=36714, nogoods=2763
190.77/180.05
200.07/189.39 num=62, depth=9666..9989, filters=76944548, revisions=(213626008,useless=139063159), ccks=252154153, wck=184.633, mem=869M139
200.07/189.39 decisions=3334574, wrong=1500510, backtracks=1477828, failedAssignments=40398, nogoods=2766
200.07/189.39
201.57/190.87 num=63, depth=9981..10095, filters=77225603, revisions=(215327656,useless=140494197), ccks=253184950, wck=186.115, mem=877M224
201.57/190.87 decisions=3353059, wrong=1504707, backtracks=1477975, failedAssignments=44450, nogoods=2914
201.57/190.87
212.78/202.06 num=64, depth=9984..10308, filters=83737184, revisions=(231108298,useless=149940951), ccks=273517320, wck=197.308, mem=885M268
212.78/202.06 decisions=3607542, wrong=1626892, backtracks=1596883, failedAssignments=48907, nogoods=3005
212.78/202.06
256.49/245.77 num=65, depth=10019..10419, filters=110873320, revisions=(294341665,useless=186899410), ccks=360230334, wck=241.017, mem=917M446
256.49/245.77 decisions=4627527, wrong=2131783, backtracks=2101969, failedAssignments=53810, nogoods=3009
256.49/245.77
258.40/247.69 num=66, depth=10335..10557, filters=111528678, revisions=(296930708,useless=188848444), ccks=362510802, wck=242.939, mem=917M446
258.40/247.69 decisions=4660451, wrong=2143018, backtracks=2107863, failedAssignments=59204, nogoods=3072
258.40/247.69
260.50/249.72 num=67, depth=10540..10677, filters=111986277, revisions=(300043771,useless=191524822), ccks=364695076, wck=244.97, mem=927M205
260.50/249.72 decisions=4698622, wrong=2156780, backtracks=2116049, failedAssignments=65137, nogoods=3081
260.50/249.72
282.40/271.61 num=68, depth=10870..11085, filters=125792648, revisions=(330922250,useless=209010470), ccks=406354701, wck=266.856, mem=943M294
282.40/271.61 decisions=5267845, wrong=2435880, backtracks=2394678, failedAssignments=71663, nogoods=3085
282.40/271.61
319.61/308.84 num=69, depth=7238..10590, filters=146576248, revisions=(376591336,useless=234624090), ccks=468607749, wck=304.089, mem=967M427
319.61/308.84 decisions=6289818, wrong=2941670, backtracks=2900775, failedAssignments=78842, nogoods=3107
319.61/308.84
330.63/319.82 num=70, depth=5621..10643, filters=153182224, revisions=(392626436,useless=244235762), ccks=489218382, wck=315.069, mem=975M472
330.63/319.82 decisions=6549529, wrong=3066324, backtracks=3018651, failedAssignments=86739, nogoods=3137
330.63/319.82
402.09/391.20 num=71, depth=10381..10713, filters=199662296, revisions=(498660409,useless=305352670), ccks=639727542, wck=386.442, mem=1031M783
402.09/391.20 decisions=8293881, wrong=3933259, backtracks=3885684, failedAssignments=95426, nogoods=3140
402.09/391.20
442.48/431.55 num=72, depth=10489..10749, filters=218127743, revisions=(578710028,useless=367761712), ccks=714748807, wck=426.797, mem=1055M916
442.48/431.55 decisions=9344171, wrong=4453068, backtracks=4405776, failedAssignments=104981, nogoods=3144
442.48/431.55
482.04/470.43 num=73, depth=8635..10988, filters=218298285, revisions=(593944696,useless=382842782), ccks=717010155, wck=465.672, mem=790M419
482.04/470.43 decisions=9386019, wrong=4468645, backtracks=6529418, failedAssignments=115492, nogoods=3168
482.04/470.43
518.47/506.63 num=74, depth=6680..10657, filters=231289958, revisions=(635876407,useless=412287745), ccks=760331469, wck=501.881, mem=823M183
518.47/506.63 decisions=10010341, wrong=4775664, backtracks=8047909, failedAssignments=127054, nogoods=3219
518.47/506.63
546.79/534.99 num=75, depth=4993..10306, filters=231427680, revisions=(654601599,useless=430900777), ccks=761708662, wck=530.238, mem=909M280
546.79/534.99 decisions=10052113, wrong=4791530, backtracks=10641920, failedAssignments=139772, nogoods=3284
546.79/534.99
577.40/565.54 num=76, depth=4985..10286, filters=231648277, revisions=(674600767,useless=450710109), ccks=763422833, wck=560.789, mem=1009M727
577.40/565.54 decisions=10099340, wrong=4810164, backtracks=13459695, failedAssignments=153762, nogoods=3329
577.40/565.54
608.54/596.62 num=77, depth=4986..10069, filters=231785350, revisions=(694017918,useless=470021488), ccks=765010836, wck=591.863, mem=1095M825
608.54/596.62 decisions=10146995, wrong=4829065, backtracks=16386341, failedAssignments=169151, nogoods=3358
608.54/596.62
643.26/631.31 num=78, depth=4877..10006, filters=231911043, revisions=(715483952,useless=491389678), ccks=766694743, wck=626.553, mem=1210M621
643.26/631.31 decisions=10193776, wrong=4847597, backtracks=19747169, failedAssignments=186079, nogoods=3394
643.26/631.31
679.88/668.00 num=79, depth=6830..9858, filters=232063503, revisions=(738029386,useless=513811950), ccks=768573092, wck=663.247, mem=1325M418
679.88/668.00 decisions=10245339, wrong=4868599, backtracks=23359464, failedAssignments=204700, nogoods=3427
679.88/668.00
720.10/708.13 num=80, depth=4812..9770, filters=233046209, revisions=(762358497,useless=537204682), ccks=773375113, wck=703.374, mem=1497M613
720.10/708.13 decisions=10343093, wrong=4912697, backtracks=27230315, failedAssignments=225184, nogoods=3462
720.10/708.13
763.73/751.65 num=81, depth=4661..9658, filters=233733354, revisions=(789494202,useless=563692770), ccks=777668480, wck=746.897, mem=971M92
763.73/751.65 decisions=10435313, wrong=4954102, backtracks=31509904, failedAssignments=247716, nogoods=3522
763.73/751.65
805.05/792.98 num=82, depth=4736..9405, filters=234065325, revisions=(813289978,useless=587177956), ccks=780649583, wck=788.23, mem=1111M660
805.05/792.98 decisions=10502246, wrong=4982996, backtracks=35723370, failedAssignments=272501, nogoods=3556
805.05/792.98
854.18/842.07 num=83, depth=4575..9358, filters=234225335, revisions=(841707857,useless=615447957), ccks=783415699, wck=837.319, mem=1292M389
854.18/842.07 decisions=10569781, wrong=5012204, backtracks=40821905, failedAssignments=299765, nogoods=3590
854.18/842.07
911.49/899.31 num=84, depth=4644..9246, filters=240819786, revisions=(883208469,useless=650674756), ccks=808303428, wck=894.553, mem=1794M416
911.49/899.31 decisions=11014696, wrong=5230174, backtracks=45514960, failedAssignments=329755, nogoods=3622
911.49/899.31
947.38/935.11 num=85, depth=4906..8700, filters=254072130, revisions=(931034550,useless=686209760), ccks=852654220, wck=930.359, mem=1519M312
947.38/935.11 decisions=11857146, wrong=5647084, backtracks=45922293, failedAssignments=362744, nogoods=3669
947.38/935.11
987.51/975.23 num=86, depth=5205..8889, filters=268579016, revisions=(992466890,useless=734140417), ccks=907419718, wck=970.48, mem=1405M463
987.51/975.23 decisions=12830820, wrong=6129508, backtracks=46396447, failedAssignments=399032, nogoods=3719
987.51/975.23
1227.46/1215.10 num=87, depth=5648..9262, filters=412857539, revisions=(1328635088,useless=930182096), ccks=1355806454, wck=1210.349, mem=949M215
1227.46/1215.10 decisions=18555705, wrong=8987411, backtracks=49254400, failedAssignments=438949, nogoods=3794
1227.46/1215.10
1234.85/1222.45 num=88, depth=4140..9179, filters=415572875, revisions=(1344749996,useless=943725818), ccks=1368646490, wck=1217.696, mem=1137M459
1234.85/1222.45 decisions=18741716, wrong=9075860, backtracks=49299541, failedAssignments=482858, nogoods=3901
1234.85/1222.45
1523.73/1511.16 num=89, depth=8220..9295, filters=589313615, revisions=(1740343085,useless=1170652411), ccks=1902640409, wck=1506.402, mem=1259M676
1523.73/1511.16 decisions=25725584, wrong=12563259, backtracks=52786860, failedAssignments=531158, nogoods=3908
1523.73/1511.16
1629.60/1616.95 num=90, depth=4390..9371, filters=647135715, revisions=(1878949362,useless=1253517804), ccks=2083470238, wck=1612.193, mem=1250M968
1629.60/1616.95 decisions=28391358, wrong=13891501, backtracks=54105274, failedAssignments=584288, nogoods=3923
1629.60/1616.95
1716.33/1703.69 num=91, depth=4691..9443, filters=654418592, revisions=(1940231549,useless=1307901924), ccks=2117464516, wck=1698.935, mem=2003M502
1716.33/1703.69 decisions=28976464, wrong=14179457, backtracks=62086216, failedAssignments=642731, nogoods=3947
1716.33/1703.69
1839.70/1826.96 num=92, depth=4735..9395, filters=671636775, revisions=(2025223577,useless=1376416211), ccks=2180605132, wck=1822.207, mem=1875M127
1839.70/1826.96 decisions=29965402, wrong=14669429, backtracks=72833490, failedAssignments=707018, nogoods=4008
1839.70/1826.96
1951.98/1939.13 num=93, depth=5017..9297, filters=683218703, revisions=(2108172372,useless=1448586377), ccks=2231278823, wck=1934.377, mem=1628M645
1951.98/1939.13 decisions=30919431, wrong=15141920, backtracks=83232880, failedAssignments=777734, nogoods=4094
1951.98/1939.13
1970.48/1957.61 num=94, depth=3294..9087, filters=690723389, revisions=(2138907847,useless=1472112061), ccks=2260172834, wck=1952.859, mem=2064M661
1970.48/1957.61 decisions=31368973, wrong=15362265, backtracks=83602206, failedAssignments=855521, nogoods=4237
1970.48/1957.61
1995.31/1982.44 num=95, depth=3484..9019, filters=703604980, revisions=(2182693184,useless=1503417120), ccks=2306454343, wck=1977.685, mem=1504M407
1995.31/1982.44 decisions=32008720, wrong=15677713, backtracks=83832836, failedAssignments=941087, nogoods=4392
1995.31/1982.44
2155.48/2142.46 num=96, depth=3556..9101, filters=790627040, revisions=(2400815313,useless=1637461586), ccks=2577167530, wck=2137.708, mem=1301M891
2155.48/2142.46 decisions=36097506, wrong=17717636, backtracks=85863335, failedAssignments=1035210, nogoods=4436
2155.48/2142.46
2167.38/2154.30 num=97, depth=3957..9122, filters=797543906, revisions=(2427909085,useless=1657819608), ccks=2603621607, wck=2149.548, mem=1658M228
2167.38/2154.30 decisions=36411891, wrong=17870368, backtracks=85913028, failedAssignments=1138745, nogoods=4541
2167.38/2154.30
2400.09/2386.70
2400.09/2386.70 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 (14287 MiB free)
memory of node 1: 16384 MiB (15587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391334-1568391217/watcher-4391334-1568391217 -o /tmp/evaluation-result-4391334-1568391217/solver-4391334-1568391217 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568388776-32033 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391334-1568391217.xml -cm
running on 4 cores: 1,3,5,7
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=32562, runsolver pid=32559
[startup+0.100756 s]*
/proc/loadavg: 1.66 1.61 1.61 5/228 32577
/proc/meminfo: memFree=30571780/32770624 swapFree=66995008/67108860
[pid=32562] ppid=32559 vsize=10659884 memory=30292 CPUtime=0.14 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 5487 0 0 0 13 1 0 0 20 0 15 0 415373151 10915721216 7573 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2664971 7573 2917 1 0 2627468 0
[pid=32562/tid=32564] ppid=32559 vsize=10659884 memory=-8773748148830243969 CPUtime=0.09 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) R 32559 32562 29470 0 -1 4202560 2984 0 0 0 9 0 0 0 20 0 15 0 415373151 10915721216 7573 33554432000 4194304 4196468 140727744349056 139923343742552 139923339525526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 7573 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 7573 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 7573 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 7573 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373153 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922829669152 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922828616816 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) R 32559 32562 29470 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 15 0 415373156 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) R 32559 32562 29470 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922825460208 139923323911997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0.02 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) R 32559 32562 29470 0 -1 4202560 621 0 0 0 2 0 0 0 20 0 15 0 415373156 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922824404728 139923318469929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373157 10915721216 7573 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30292 KiB
[startup+0.210574 s]*
/proc/loadavg: 1.66 1.61 1.61 4/228 32577
/proc/meminfo: memFree=30562804/32770624 swapFree=66995008/67108860
[pid=32562] ppid=32559 vsize=10659884 memory=35456 CPUtime=0.33 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 6473 0 0 0 32 1 0 0 20 0 15 0 415373151 10915721216 8864 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2664971 8864 2987 1 0 2627468 0
[pid=32562/tid=32564] ppid=32559 vsize=10659884 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) R 32559 32562 29470 0 -1 4202560 3461 0 0 0 20 1 0 0 20 0 15 0 415373151 10915721216 8864 33554432000 4194304 4196468 140727744349056 139923343745392 139923339535517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 8864 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10659884 memory=140525346368159 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 8864 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 8864 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 8864 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373153 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922829669152 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922828616816 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 730 0 0 0 3 0 0 0 20 0 15 0 415373156 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 222 0 0 0 3 0 0 0 20 0 15 0 415373156 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0.05 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 415373156 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373157 10915721216 8864 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35456 KiB
[startup+0.310558 s]*
/proc/loadavg: 1.66 1.61 1.61 4/228 32577
/proc/meminfo: memFree=30555108/32770624 swapFree=66995008/67108860
[pid=32562] ppid=32559 vsize=10659884 memory=40352 CPUtime=0.48 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 8940 0 0 0 45 3 0 0 20 0 15 0 415373151 10915721216 10088 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2664971 10088 2999 1 0 2627468 0
[pid=32562/tid=32564] ppid=32559 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) R 32559 32562 29470 0 -1 4202560 5865 0 0 0 28 2 0 0 20 0 15 0 415373151 10915721216 10088 33554432000 4194304 4196468 140727744349056 139923343750192 139923339535517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10659884 memory=4297776180 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 10088 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10659884 memory=140525346368101 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 10088 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 10088 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373152 10915721216 10088 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373153 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922829669152 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415373154 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922828616816 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 772 0 0 0 4 0 0 0 20 0 15 0 415373156 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 415373156 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0.08 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) R 32559 32562 29470 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 15 0 415373156 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922824407920 139923323594078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10659884 memory=140525346338432 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373157 10915721216 10088 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40352 KiB
[startup+0.701413 s]
/proc/loadavg: 1.66 1.61 1.61 4/228 32577
/proc/meminfo: memFree=30545684/32770624 swapFree=66995008/67108860
[pid=32562] ppid=32559 vsize=10661932 memory=64176 CPUtime=1.12 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 12632 0 0 0 107 5 0 0 20 0 15 0 415373151 10917818368 16044 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2665483 16044 3071 1 0 2627980 0
[pid=32562/tid=32564] ppid=32559 vsize=10661932 memory=280408012919448 CPUtime=0.68 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) R 32559 32562 29470 0 -1 4202560 8417 0 0 0 65 3 0 0 20 0 15 0 415373151 10917818368 16044 33554432000 4194304 4196468 140727744349056 139923343745504 139923339535517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10661932 memory=288230376154685133 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10917818368 16044 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10917818368 16044 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10917818368 16044 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373152 10917818368 16044 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373153 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10661932 memory=4947374179459833472 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415373154 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922829669152 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10661932 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415373154 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922828616816 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10661932 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) R 32559 32562 29470 0 -1 4202560 1034 0 0 0 13 0 0 0 20 0 15 0 415373156 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922826499552 139923322899104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 622 0 0 0 9 0 0 0 20 0 15 0 415373156 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 1200 0 0 0 18 0 0 0 20 0 15 0 415373156 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415373156 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10661932 memory=6344 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373157 10917818368 16044 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64176 KiB
[startup+1.50072 s]
/proc/loadavg: 1.66 1.61 1.61 4/228 32577
/proc/meminfo: memFree=30524032/32770624 swapFree=66995008/67108860
[pid=32562] ppid=32559 vsize=10663980 memory=76068 CPUtime=2.01 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 17966 0 0 0 195 6 0 0 20 0 15 0 415373151 10919915520 19017 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2665995 19017 3095 1 0 2628492 0
[pid=32562/tid=32564] ppid=32559 vsize=10663980 memory=2809127 CPUtime=1.48 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) R 32559 32562 29470 0 -1 4202560 12440 0 0 0 144 4 0 0 20 0 15 0 415373151 10919915520 19017 33554432000 4194304 4196468 140727744349056 139923343745616 139923319788894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10919915520 19017 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10919915520 19017 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415373152 10919915520 19017 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415373152 10919915520 19017 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 415373153 10919915520 19017 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
################
# More data... #
################
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 13765 0 0 0 90 42 0 0 20 0 16 0 415373152 11006283776 471458 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0.12 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 14319 0 0 0 9 3 0 0 20 0 16 0 415373153 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922829669216 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922828616832 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10748324 memory=1970468 CPUtime=3.67 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 14222 0 0 0 365 2 0 0 20 0 16 0 415373156 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10748324 memory=3632 CPUtime=3.71 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 13717 0 0 0 369 2 0 0 20 0 16 0 415373156 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10748324 memory=988 CPUtime=1.19 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 17053 0 0 0 116 3 0 0 20 0 16 0 415373156 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10748324 memory=1885832 CPUtime=0.55 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 1994 0 0 0 25 30 0 0 20 0 16 0 415373157 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32578] ppid=32559 vsize=10748324 memory=3440 CPUtime=2319.12 cores=1,3,5,7
/proc/32562/task/32578/stat : 32578 (java) R 32559 32562 29470 0 -1 4202560 59945 0 0 0 231889 23 0 0 20 0 16 0 415373338 11006283776 471458 33554432000 4194304 4196468 140727744349056 139922805640096 139922939733308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 2335.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1885832 KiB
[startup+2382.3 s]
/proc/loadavg: 1.87 1.91 1.91 2/208 381
/proc/meminfo: memFree=29855416/32770624 swapFree=66995056/67108860
[pid=32562] ppid=32559 vsize=10748324 memory=1811448 CPUtime=2395.69 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 210265 0 0 0 239332 237 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2687081 452862 3384 1 0 2647217 0
[pid=32562/tid=32564] ppid=32559 vsize=10748324 memory=1885832 CPUtime=1.85 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) S 32559 32562 29470 0 -1 1077944384 14572 0 0 0 179 6 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923343756464 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10748324 memory=1926868 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 17913 0 0 0 91 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.33 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 13763 0 0 0 90 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10748324 memory=1846848 CPUtime=1.35 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 25359 0 0 0 93 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10748324 memory=1846848 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 14217 0 0 0 92 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0.12 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 14806 0 0 0 9 3 0 0 20 0 16 0 415373153 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922829669216 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922828616832 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10748324 memory=54 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10748324 memory=1811448 CPUtime=3.67 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 14230 0 0 0 365 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10748324 memory=1811448 CPUtime=3.71 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 13720 0 0 0 369 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10748324 memory=3632 CPUtime=1.19 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 17057 0 0 0 116 3 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10748324 memory=808 CPUtime=0.57 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 2031 0 0 0 26 31 0 0 20 0 16 0 415373157 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32578] ppid=32559 vsize=10748324 memory=1808 CPUtime=2379.1 cores=1,3,5,7
/proc/32562/task/32578/stat : 32578 (java) R 32559 32562 29470 0 -1 4202560 61176 0 0 0 237887 23 0 0 20 0 16 0 415373338 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922805640096 139922940322752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 2395.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1811448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.7 s]
/proc/loadavg: 1.80 1.89 1.90 2/208 381
/proc/meminfo: memFree=29855416/32770624 swapFree=66995056/67108860
[pid=32562] ppid=32559 vsize=10748324 memory=1811448 CPUtime=2400.09 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 210382 0 0 0 239772 237 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2687081 452862 3384 1 0 2647217 0
[pid=32562/tid=32564] ppid=32559 vsize=10748324 memory=20480 CPUtime=1.85 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) S 32559 32562 29470 0 -1 1077944384 14572 0 0 0 179 6 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923343756464 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 17913 0 0 0 91 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.33 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 13763 0 0 0 90 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10748324 memory=1885832 CPUtime=1.35 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 25359 0 0 0 93 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10748324 memory=1926868 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 14217 0 0 0 92 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0.12 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 14806 0 0 0 9 3 0 0 20 0 16 0 415373153 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10748324 memory=1846848 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922829669216 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10748324 memory=1846848 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922828616832 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10748324 memory=1811448 CPUtime=3.67 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 14230 0 0 0 365 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10748324 memory=54 CPUtime=3.71 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 13720 0 0 0 369 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.19 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 17057 0 0 0 116 3 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0.57 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 2031 0 0 0 26 31 0 0 20 0 16 0 415373157 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32578] ppid=32559 vsize=10748324 memory=1811448 CPUtime=2383.5 cores=1,3,5,7
/proc/32562/task/32578/stat : 32578 (java) R 32559 32562 29470 0 -1 4202560 61293 0 0 0 238327 23 0 0 20 0 16 0 415373338 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922805640096 139922939122614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1811448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.72 s]
# the end of solver process 32562 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.73 s, system=2.38545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.7 s]
/proc/loadavg: 1.80 1.89 1.90 2/208 381
/proc/meminfo: memFree=29855416/32770624 swapFree=66995056/67108860
[pid=32562] ppid=32559 vsize=10748324 memory=1811448 CPUtime=2400.09 cores=1,3,5,7
/proc/32562/stat : 32562 (java) S 32559 32562 29470 0 -1 1077944320 210382 0 0 0 239772 237 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 140727744331600 139923339513591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
/proc/32562/statm: 2687081 452862 3384 1 0 2647217 0
[pid=32562/tid=32564] ppid=32559 vsize=10748324 memory=20480 CPUtime=1.85 cores=1,3,5,7
/proc/32562/task/32564/stat : 32564 (java) S 32559 32562 29470 0 -1 1077944384 14572 0 0 0 179 6 0 0 20 0 16 0 415373151 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923343756464 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32565] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32565/stat : 32565 (java) S 32559 32562 29470 0 -1 1077944384 17913 0 0 0 91 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923265588112 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32566] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.33 cores=1,3,5,7
/proc/32562/task/32566/stat : 32566 (java) S 32559 32562 29470 0 -1 1077944384 13763 0 0 0 90 43 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923264535312 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32567] ppid=32559 vsize=10748324 memory=1885832 CPUtime=1.35 cores=1,3,5,7
/proc/32562/task/32567/stat : 32567 (java) S 32559 32562 29470 0 -1 1077944384 25359 0 0 0 93 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923263483024 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32568] ppid=32559 vsize=10748324 memory=1926868 CPUtime=1.34 cores=1,3,5,7
/proc/32562/task/32568/stat : 32568 (java) S 32559 32562 29470 0 -1 1077944384 14217 0 0 0 92 42 0 0 20 0 16 0 415373152 11006283776 452862 33554432000 4194304 4196468 140727744349056 139923262430224 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32569] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0.12 cores=1,3,5,7
/proc/32562/task/32569/stat : 32569 (java) S 32559 32562 29470 0 -1 1077944384 14806 0 0 0 9 3 0 0 20 0 16 0 415373153 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922830723184 139923339524738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32570] ppid=32559 vsize=10748324 memory=1846848 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32570/stat : 32570 (java) S 32559 32562 29470 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922829669216 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32571] ppid=32559 vsize=10748324 memory=1846848 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32571/stat : 32571 (java) S 32559 32562 29470 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415373154 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922828616832 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32572] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32572/stat : 32572 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922827565136 139923339532187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32573] ppid=32559 vsize=10748324 memory=1811448 CPUtime=3.67 cores=1,3,5,7
/proc/32562/task/32573/stat : 32573 (java) S 32559 32562 29470 0 -1 1077944384 14230 0 0 0 365 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922826513008 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32574] ppid=32559 vsize=10748324 memory=54 CPUtime=3.71 cores=1,3,5,7
/proc/32562/task/32574/stat : 32574 (java) S 32559 32562 29470 0 -1 1077944384 13720 0 0 0 369 2 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922825460208 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32575] ppid=32559 vsize=10748324 memory=1811448 CPUtime=1.19 cores=1,3,5,7
/proc/32562/task/32575/stat : 32575 (java) S 32559 32562 29470 0 -1 1077944384 17057 0 0 0 116 3 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922824407920 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32576] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0 cores=1,3,5,7
/proc/32562/task/32576/stat : 32576 (java) S 32559 32562 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415373156 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922823355360 139923339523797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32577] ppid=32559 vsize=10748324 memory=1811448 CPUtime=0.57 cores=1,3,5,7
/proc/32562/task/32577/stat : 32577 (java) S 32559 32562 29470 0 -1 1077944384 2031 0 0 0 26 31 0 0 20 0 16 0 415373157 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922822302128 139923339524738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
[pid=32562/tid=32578] ppid=32559 vsize=10748324 memory=1811448 CPUtime=2383.5 cores=1,3,5,7
/proc/32562/task/32578/stat : 32578 (java) R 32559 32562 29470 0 -1 4202560 61293 0 0 0 238327 23 0 0 20 0 16 0 415373338 11006283776 452862 33554432000 4194304 4196468 140727744349056 139922805640096 139922939122614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8482816 140727744353291 140727744353394 140727744353394 140727744356303 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1811448 KiB
Child status: 143
Real time (s): 2386.72
CPU time (s): 2400.11
CPU user time (s): 2397.73
CPU system time (s): 2.38545
CPU usage (%): 100.561
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 2776732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.73
system time used= 2.38545
maximum resident set size= 2777236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56059
involuntary context switches= 1102
# summary of solver processes directly reported to runsolver:
# pid: 32562
# total CPU time (s): 2400.11
# total CPU user time (s): 2397.73
# total CPU system time (s): 2.38545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.252 second user time and 21.6538 second system time
The end