2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
2.95/2.05 Instance
2.95/2.05 name=instance-4390483-1568387402, framework=CSP
2.95/2.05
2.95/2.05 Loading variables...
2.95/2.08 Loading constraints...
3.57/2.29
3.57/2.29 Domains
3.57/2.29 nTypes=20, nValues=1780, sizes=[35#2,36#2,37#2,38#2...51#2,52#2,53#2,54#2]
3.57/2.29 Variables
3.57/2.29 count=40, degrees=[19#40]
3.57/2.29 Constraints
3.57/2.29 count=190, arities=[4#190]
3.57/2.29 distribution=[CtrIntension#190]
3.57/2.29 nIntStructures=(190,shared:0)
3.57/2.29 wck=0.452, cpu=2.261, mem=52M936
3.57/2.29 Solver SolverBacktrack being built...
3.57/2.30
3.89/2.32
3.89/2.32 Solver
3.89/2.32 guaranteedGAC=false
3.89/2.32 wck=0.481, cpu=2.288, mem=63M579
3.89/2.32
3.89/2.32 Preprocessing
3.89/2.32 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.89/2.32 wck=0.001, cpu=2.29, mem=63M579
3.89/2.32
4.16/2.44 num=0, depth=25..25, filters=359, revisions=(3026,useless=2654), ccks=223107, wck=0.117, mem=63M579
4.16/2.44 decisions=45, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.16/2.44
4.37/2.51 num=1, depth=17..17, filters=482, revisions=(5113,useless=4610), ccks=394348, wck=0.19, mem=63M579
4.37/2.51 decisions=84, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
4.37/2.51
4.37/2.59 num=2, depth=11..20, filters=580, revisions=(7112,useless=6509), ccks=587831, wck=0.27, mem=63M579
4.37/2.59 decisions=128, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
4.37/2.59
4.50/2.64 num=3, depth=13..21, filters=690, revisions=(9288,useless=8573), ccks=714082, wck=0.324, mem=63M579
4.50/2.64 decisions=175, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
4.50/2.64
4.60/2.74 num=4, depth=10..24, filters=858, revisions=(12407,useless=11487), ccks=923025, wck=0.42, mem=63M579
4.60/2.74 decisions=227, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
4.60/2.74
4.92/3.08 num=5, depth=6..7, filters=966, revisions=(15656,useless=14627), ccks=1777463, wck=0.756, mem=66M221
4.92/3.08 decisions=272, wrong=79, backtracks=3, failedAssignments=76, nogoods=64
4.92/3.08
5.02/3.17 num=6, depth=10..13, filters=1055, revisions=(17651,useless=16532), ccks=2007535, wck=0.849, mem=66M221
5.02/3.17 decisions=319, wrong=96, backtracks=3, failedAssignments=93, nogoods=81
5.02/3.17
5.12/3.26 num=7, depth=10..12, filters=1131, revisions=(19447,useless=18250), ccks=2218225, wck=0.936, mem=66M221
5.12/3.26 decisions=369, wrong=115, backtracks=3, failedAssignments=112, nogoods=100
5.12/3.26
5.32/3.41 num=8, depth=12..14, filters=1244, revisions=(21807,useless=20496), ccks=2609636, wck=1.086, mem=66M221
5.32/3.41 decisions=425, wrong=136, backtracks=3, failedAssignments=133, nogoods=121
5.32/3.41
5.44/3.52 num=9, depth=9..10, filters=1434, revisions=(26202,useless=24693), ccks=2920119, wck=1.204, mem=68M864
5.44/3.52 decisions=486, wrong=162, backtracks=6, failedAssignments=156, nogoods=142
5.44/3.52
5.75/3.88 num=10, depth=6..7, filters=1595, revisions=(30801,useless=29126), ccks=3909778, wck=1.559, mem=68M864
5.75/3.88 decisions=551, wrong=191, backtracks=10, failedAssignments=181, nogoods=149
5.75/3.88
6.07/4.13 num=11, depth=6..8, filters=1765, revisions=(35843,useless=33994), ccks=4593816, wck=1.808, mem=68M864
6.07/4.13 decisions=620, wrong=222, backtracks=13, failedAssignments=209, nogoods=152
6.07/4.13
6.26/4.34 num=12, depth=6..10, filters=1902, revisions=(39505,useless=37518), ccks=5185320, wck=2.023, mem=68M864
6.26/4.34 decisions=694, wrong=254, backtracks=14, failedAssignments=240, nogoods=172
6.26/4.34
6.77/4.88 num=13, depth=7..8, filters=2158, revisions=(46104,useless=43852), ccks=6689251, wck=2.56, mem=68M864
6.77/4.88 decisions=780, wrong=293, backtracks=19, failedAssignments=274, nogoods=178
6.77/4.88
6.98/5.02 num=14, depth=11..16, filters=2320, revisions=(49516,useless=47098), ccks=7080692, wck=2.704, mem=68M864
6.98/5.02 decisions=870, wrong=330, backtracks=19, failedAssignments=311, nogoods=215
6.98/5.02
7.48/5.53 num=15, depth=9..10, filters=2772, revisions=(57063,useless=54174), ccks=8507699, wck=3.212, mem=71M506
7.48/5.53 decisions=967, wrong=374, backtracks=22, failedAssignments=352, nogoods=246
7.48/5.53
7.68/5.71 num=16, depth=9..15, filters=2994, revisions=(60582,useless=57471), ccks=8989642, wck=3.389, mem=71M506
7.68/5.71 decisions=1072, wrong=419, backtracks=22, failedAssignments=397, nogoods=291
7.68/5.71
8.10/6.15 num=17, depth=7..8, filters=3343, revisions=(68171,useless=64697), ccks=10214469, wck=3.832, mem=71M506
8.10/6.15 decisions=1188, wrong=473, backtracks=26, failedAssignments=447, nogoods=300
8.10/6.15
8.29/6.30 num=18, depth=9..28, filters=3634, revisions=(72192,useless=68427), ccks=10624951, wck=3.983, mem=71M506
8.29/6.30 decisions=1326, wrong=528, backtracks=26, failedAssignments=502, nogoods=355
8.29/6.30
8.59/6.63 num=19, depth=8..9, filters=4163, revisions=(82348,useless=78018), ccks=11510333, wck=4.309, mem=71M506
8.59/6.63 decisions=1467, wrong=594, backtracks=31, failedAssignments=563, nogoods=361
8.59/6.63
8.69/6.78 num=20, depth=8..18, filters=4397, revisions=(86858,useless=82294), ccks=11904790, wck=4.458, mem=71M506
8.69/6.78 decisions=1619, wrong=661, backtracks=31, failedAssignments=630, nogoods=428
8.69/6.78
8.91/6.94 num=21, depth=10..21, filters=4714, revisions=(91796,useless=86914), ccks=12336849, wck=4.621, mem=71M506
8.91/6.94 decisions=1788, wrong=735, backtracks=31, failedAssignments=704, nogoods=502
8.91/6.94
9.42/7.45 num=22, depth=9..10, filters=5520, revisions=(107047,useless=101323), ccks=13716424, wck=5.127, mem=71M506
9.42/7.45 decisions=1974, wrong=823, backtracks=38, failedAssignments=785, nogoods=519
9.42/7.45
9.72/7.73 num=23, depth=10..26, filters=5931, revisions=(113002,useless=106867), ccks=14492035, wck=5.408, mem=71M506
9.72/7.73 decisions=2178, wrong=912, backtracks=38, failedAssignments=874, nogoods=608
9.72/7.73
10.03/8.03 num=24, depth=9..10, filters=6835, revisions=(126544,useless=119482), ccks=15297084, wck=5.715, mem=71M506
10.03/8.03 decisions=2403, wrong=1020, backtracks=48, failedAssignments=972, nogoods=622
10.03/8.03
10.22/8.21 num=25, depth=12..34, filters=7379, revisions=(133192,useless=125586), ccks=15780332, wck=5.895, mem=71M506
10.22/8.21 decisions=2655, wrong=1130, backtracks=50, failedAssignments=1080, nogoods=697
10.22/8.21
10.52/8.52 num=26, depth=9..23, filters=7818, revisions=(141023,useless=132978), ccks=16619893, wck=6.203, mem=71M506
10.52/8.52 decisions=2918, wrong=1251, backtracks=52, failedAssignments=1199, nogoods=789
10.52/8.52
11.73/9.78 num=27, depth=7..10, filters=9026, revisions=(166216,useless=156904), ccks=20077333, wck=7.456, mem=74M149
11.73/9.78 decisions=3224, wrong=1400, backtracks=70, failedAssignments=1330, nogoods=794
11.73/9.78
12.23/10.27 num=28, depth=4..20, filters=9552, revisions=(175722,useless=165883), ccks=21438065, wck=7.948, mem=74M149
12.23/10.27 decisions=3541, wrong=1552, backtracks=78, failedAssignments=1474, nogoods=858
12.23/10.27
12.74/10.72 num=29, depth=7..22, filters=10129, revisions=(185464,useless=175045), ccks=22695479, wck=8.404, mem=74M149
12.74/10.72 decisions=3884, wrong=1713, backtracks=82, failedAssignments=1632, nogoods=931
12.74/10.72
14.34/12.34 num=30, depth=8..12, filters=11465, revisions=(214638,useless=202820), ccks=27215724, wck=10.025, mem=74M149
14.34/12.34 decisions=4288, wrong=1911, backtracks=106, failedAssignments=1806, nogoods=948
14.34/12.34
14.74/12.72 num=31, depth=10..21, filters=12171, revisions=(225806,useless=213282), ccks=28247578, wck=10.404, mem=74M149
14.74/12.72 decisions=4702, wrong=2110, backtracks=117, failedAssignments=1997, nogoods=981
14.74/12.72
15.06/13.09 num=32, depth=10..28, filters=12903, revisions=(238604,useless=225348), ccks=29226694, wck=10.774, mem=74M149
15.06/13.09 decisions=5152, wrong=2321, backtracks=117, failedAssignments=2208, nogoods=1192
15.06/13.09
17.85/15.81 num=33, depth=7..11, filters=16679, revisions=(293704,useless=276508), ccks=36731658, wck=13.486, mem=76M791
17.85/15.81 decisions=5708, wrong=2595, backtracks=162, failedAssignments=2440, nogoods=1228
17.85/15.81
18.46/16.41 num=34, depth=12..20, filters=17567, revisions=(307863,useless=289775), ccks=38395603, wck=14.094, mem=76M791
18.46/16.41 decisions=6251, wrong=2858, backtracks=172, failedAssignments=2695, nogoods=1307
18.46/16.41
18.90/16.82 num=35, depth=8..33, filters=18604, revisions=(325290,useless=306164), ccks=39478814, wck=14.503, mem=76M791
18.90/16.82 decisions=6852, wrong=3145, backtracks=178, failedAssignments=2976, nogoods=1499
18.90/16.82
19.50/17.44 num=36, depth=8..19, filters=19685, revisions=(343776,useless=323568), ccks=41130797, wck=15.119, mem=76M791
19.50/17.44 decisions=7495, wrong=3459, backtracks=185, failedAssignments=3285, nogoods=1585
19.50/17.44
20.26/18.11 num=37, depth=11..19, filters=20845, revisions=(364211,useless=342835), ccks=42941745, wck=15.787, mem=76M791
20.26/18.11 decisions=8204, wrong=3805, backtracks=194, failedAssignments=3625, nogoods=1670
20.26/18.11
22.26/20.12 num=38, depth=6..21, filters=22466, revisions=(400238,useless=377218), ccks=48515213, wck=17.796, mem=79M434
22.26/20.12 decisions=9018, wrong=4203, backtracks=218, failedAssignments=3999, nogoods=1758
22.26/20.12
24.96/22.85 num=39, depth=6..9, filters=25650, revisions=(475771,useless=449475), ccks=55998484, wck=20.532, mem=79M434
24.96/22.85 decisions=9962, wrong=4671, backtracks=276, failedAssignments=4410, nogoods=1773
24.96/22.85
28.46/26.24 num=40, depth=7..9, filters=28815, revisions=(550739,useless=521196), ccks=65340132, wck=23.92, mem=79M434
28.46/26.24 decisions=10961, wrong=5167, backtracks=321, failedAssignments=4862, nogoods=1836
28.46/26.24
29.57/27.33 num=41, depth=9..21, filters=30472, revisions=(578919,useless=547714), ccks=68314893, wck=25.013, mem=82M76
29.57/27.33 decisions=12032, wrong=5695, backtracks=357, failedAssignments=5359, nogoods=1893
29.57/27.33
33.57/31.32 num=42, depth=7..19, filters=34900, revisions=(661625,useless=625831), ccks=79363395, wck=29.005, mem=82M76
33.57/31.32 decisions=13264, wrong=6303, backtracks=421, failedAssignments=5906, nogoods=1932
33.57/31.32
34.69/32.46 num=43, depth=12..22, filters=37408, revisions=(698081,useless=659674), ccks=82458680, wck=30.143, mem=82M76
34.69/32.46 decisions=14528, wrong=6926, backtracks=463, failedAssignments=6508, nogoods=2036
34.69/32.46
36.09/33.81 num=44, depth=12..21, filters=39774, revisions=(738762,useless=697980), ccks=86148398, wck=31.494, mem=84M719
36.09/33.81 decisions=15918, wrong=7612, backtracks=504, failedAssignments=7170, nogoods=2125
36.09/33.81
37.49/35.24 num=45, depth=11..19, filters=42094, revisions=(781383,useless=738240), ccks=90025866, wck=32.916, mem=84M719
37.49/35.24 decisions=17421, wrong=8356, backtracks=533, failedAssignments=7898, nogoods=2209
37.49/35.24
38.89/36.67 num=46, depth=7..18, filters=44862, revisions=(834224,useless=788281), ccks=93871290, wck=34.353, mem=84M719
38.89/36.67 decisions=19088, wrong=9182, backtracks=577, failedAssignments=8699, nogoods=2279
38.89/36.67
41.11/38.87 num=47, depth=6..20, filters=48245, revisions=(892329,useless=842861), ccks=99905153, wck=36.553, mem=87M361
41.11/38.87 decisions=20974, wrong=10118, backtracks=657, failedAssignments=9580, nogoods=2325
41.11/38.87
42.71/40.49 num=48, depth=8..19, filters=51149, revisions=(951352,useless=898962), ccks=104231733, wck=38.169, mem=87M361
42.71/40.49 decisions=22983, wrong=11115, backtracks=722, failedAssignments=10550, nogoods=2482
42.71/40.49
45.11/42.83 num=49, depth=6..20, filters=55694, revisions=(1025840,useless=968864), ccks=110575605, wck=40.512, mem=90M3
45.11/42.83 decisions=25271, wrong=12251, backtracks=795, failedAssignments=11617, nogoods=2632
45.11/42.83
46.87/44.55 num=50, depth=8..21, filters=59387, revisions=(1095765,useless=1035076), ccks=115107577, wck=42.232, mem=92M646
46.87/44.55 decisions=27706, wrong=13463, backtracks=848, failedAssignments=12790, nogoods=2699
46.87/44.55
48.88/46.53 num=51, depth=10..20, filters=63874, revisions=(1170798,useless=1105606), ccks=120406556, wck=44.21, mem=92M646
48.88/46.53 decisions=30367, wrong=14785, backtracks=902, failedAssignments=14081, nogoods=2840
48.88/46.53
51.57/49.21 num=52, depth=8..19, filters=68885, revisions=(1256898,useless=1186670), ccks=127703485, wck=46.894, mem=95M288
51.57/49.21 decisions=33285, wrong=16237, backtracks=984, failedAssignments=15501, nogoods=2921
51.57/49.21
55.08/52.73 num=53, depth=10..18, filters=73651, revisions=(1358036,useless=1282544), ccks=137302239, wck=50.406, mem=97M931
55.08/52.73 decisions=36523, wrong=17850, backtracks=1103, failedAssignments=17063, nogoods=2986
55.08/52.73
58.68/56.33 num=54, depth=10..18, filters=78775, revisions=(1471409,useless=1390357), ccks=146943553, wck=54.014, mem=100M573
58.68/56.33 decisions=40158, wrong=19661, backtracks=1266, failedAssignments=18781, nogoods=3056
58.68/56.33
62.79/60.47 num=55, depth=8..20, filters=87095, revisions=(1607968,useless=1518576), ccks=158053273, wck=58.153, mem=103M216
62.79/60.47 decisions=44272, wrong=21710, backtracks=1434, failedAssignments=20671, nogoods=3096
62.79/60.47
68.69/66.30 num=56, depth=4..18, filters=93741, revisions=(1755788,useless=1659248), ccks=174009725, wck=63.979, mem=105M858
68.69/66.30 decisions=48580, wrong=23857, backtracks=1674, failedAssignments=22750, nogoods=3158
68.69/66.30
73.89/71.51 num=57, depth=4..21, filters=102639, revisions=(1921456,useless=1815930), ccks=188177171, wck=69.187, mem=108M500
73.89/71.51 decisions=53299, wrong=26208, backtracks=1774, failedAssignments=25037, nogoods=3308
73.89/71.51
79.19/76.87 num=58, depth=8..18, filters=109563, revisions=(2081111,useless=1968508), ccks=202782477, wck=74.554, mem=111M143
79.19/76.87 decisions=58451, wrong=28778, backtracks=2007, failedAssignments=27553, nogoods=3402
79.19/76.87
83.79/81.46 num=59, depth=3..16, filters=115879, revisions=(2250362,useless=2131376), ccks=215163687, wck=79.143, mem=113M785
83.79/81.46 decisions=64080, wrong=31586, backtracks=2267, failedAssignments=30321, nogoods=3579
83.79/81.46
92.09/89.73 num=60, depth=3..18, filters=125588, revisions=(2464147,useless=2335183), ccks=237751267, wck=87.409, mem=116M428
92.09/89.73 decisions=70435, wrong=34757, backtracks=2541, failedAssignments=33365, nogoods=3660
92.09/89.73
98.79/96.46 num=61, depth=8..18, filters=136989, revisions=(2670189,useless=2529643), ccks=256002036, wck=94.136, mem=121M713
98.79/96.46 decisions=77395, wrong=38231, backtracks=2758, failedAssignments=36714, nogoods=3759
98.79/96.46
104.09/101.78 num=62, depth=10..18, filters=147353, revisions=(2902600,useless=2751358), ccks=270129492, wck=99.458, mem=126M998
104.09/101.78 decisions=84996, wrong=42025, backtracks=3059, failedAssignments=40398, nogoods=3862
104.09/101.78
110.51/108.19 num=63, depth=4..19, filters=159158, revisions=(3154681,useless=2991335), ccks=287196414, wck=105.871, mem=129M640
110.51/108.19 decisions=93394, wrong=46217, backtracks=3334, failedAssignments=44450, nogoods=3973
110.51/108.19
125.00/122.64 num=64, depth=7..17, filters=175112, revisions=(3484902,useless=3304085), ccks=327383365, wck=120.319, mem=137M567
125.00/122.64 decisions=102557, wrong=50792, backtracks=3706, failedAssignments=48907, nogoods=4041
125.00/122.64
132.81/130.43 num=65, depth=4..18, filters=196434, revisions=(3928578,useless=3725492), ccks=347841002, wck=128.114, mem=142M778
132.81/130.43 decisions=112876, wrong=55945, backtracks=4177, failedAssignments=53810, nogoods=4175
132.81/130.43
140.89/138.48 num=66, depth=11..19, filters=215962, revisions=(4350168,useless=4126506), ccks=369175413, wck=136.161, mem=29M880
140.89/138.48 decisions=124591, wrong=61795, backtracks=4838, failedAssignments=59204, nogoods=4304
140.89/138.48
151.79/149.39 num=67, depth=8..20, filters=233463, revisions=(4719854,useless=4477736), ccks=398969993, wck=147.071, mem=37M490
151.79/149.39 decisions=136727, wrong=67857, backtracks=5332, failedAssignments=65137, nogoods=4478
151.79/149.39
158.20/155.70 num=68, depth=12..21, filters=255197, revisions=(5128175,useless=4863887), ccks=415439203, wck=153.384, mem=45M100
158.20/155.70 decisions=150087, wrong=74528, backtracks=5795, failedAssignments=71663, nogoods=4628
158.20/155.70
167.51/165.05 num=69, depth=12..22, filters=277864, revisions=(5566621,useless=5278533), ccks=440554652, wck=162.735, mem=52M711
167.51/165.05 decisions=164782, wrong=81866, backtracks=6494, failedAssignments=78842, nogoods=4735
167.51/165.05
181.30/178.87 num=70, depth=9..19, filters=304388, revisions=(6075131,useless=5758496), ccks=478239907, wck=176.546, mem=60M321
181.30/178.87 decisions=181053, wrong=89995, backtracks=7086, failedAssignments=86739, nogoods=4847
181.30/178.87
191.94/189.40 num=71, depth=7..19, filters=334139, revisions=(6648183,useless=6301553), ccks=506054619, wck=187.08, mem=73M4
191.94/189.40 decisions=198862, wrong=98891, backtracks=7542, failedAssignments=95426, nogoods=4954
191.94/189.40
208.08/205.55 num=72, depth=10..20, filters=365118, revisions=(7288175,useless=6909362), ccks=549874862, wck=203.228, mem=83M151
208.08/205.55 decisions=218789, wrong=108847, backtracks=8490, failedAssignments=104981, nogoods=5015
208.08/205.55
218.39/215.86 num=73, depth=4..22, filters=399367, revisions=(7932941,useless=7519615), ccks=576793719, wck=213.536, mem=95M835
218.39/215.86 decisions=240452, wrong=119670, backtracks=9411, failedAssignments=115492, nogoods=5101
218.39/215.86
237.60/235.07 num=74, depth=12..22, filters=437672, revisions=(8721006,useless=8267182), ccks=628956896, wck=232.751, mem=108M518
237.60/235.07 decisions=264947, wrong=131910, backtracks=10812, failedAssignments=127054, nogoods=5181
237.60/235.07
258.20/255.62 num=75, depth=8..20, filters=477880, revisions=(9516302,useless=9021073), ccks=684459770, wck=253.3, mem=123M739
258.20/255.62 decisions=291095, wrong=144977, backtracks=11916, failedAssignments=139772, nogoods=5300
258.20/255.62
272.63/270.08 num=76, depth=6..20, filters=518548, revisions=(10395416,useless=9858686), ccks=722303637, wck=267.758, mem=138M959
272.63/270.08 decisions=320085, wrong=159464, backtracks=13232, failedAssignments=153762, nogoods=5398
272.63/270.08
294.46/291.88 num=77, depth=10..21, filters=578230, revisions=(11518179,useless=10920581), ccks=780547282, wck=289.561, mem=27M589
294.46/291.88 decisions=352347, wrong=175589, backtracks=14559, failedAssignments=169151, nogoods=5584
294.46/291.88
312.57/309.91 num=78, depth=11..22, filters=630022, revisions=(12622911,useless=11972259), ccks=828248031, wck=307.588, mem=45M605
312.57/309.91 decisions=386982, wrong=192898, backtracks=15848, failedAssignments=186079, nogoods=5673
312.57/309.91
342.18/339.57 num=79, depth=10..20, filters=691734, revisions=(13781562,useless=13067918), ccks=908617042, wck=337.25, mem=68M769
342.18/339.57 decisions=425738, wrong=212269, backtracks=17434, failedAssignments=204700, nogoods=5788
342.18/339.57
372.09/369.45 num=80, depth=10..21, filters=759587, revisions=(15102508,useless=14320389), ccks=988828291, wck=367.134, mem=91M932
372.09/369.45 decisions=468585, wrong=233684, backtracks=19085, failedAssignments=225184, nogoods=5871
372.09/369.45
408.59/405.95 num=81, depth=8..20, filters=831242, revisions=(16464372,useless=15609874), ccks=1087039345, wck=403.634, mem=120M243
408.59/405.95 decisions=514936, wrong=256853, backtracks=20432, failedAssignments=247716, nogoods=6036
408.59/405.95
440.81/438.15 num=82, depth=3..21, filters=915834, revisions=(18105829,useless=17165927), ccks=1172498510, wck=435.83, mem=151M128
440.81/438.15 decisions=565912, wrong=282333, backtracks=22486, failedAssignments=272501, nogoods=6158
440.81/438.15
490.24/487.55 num=83, depth=10..20, filters=1024329, revisions=(20400688,useless=19340806), ccks=1305646751, wck=485.232, mem=53M746
490.24/487.55 decisions=623599, wrong=311170, backtracks=26048, failedAssignments=299765, nogoods=6256
490.24/487.55
527.36/524.68 num=84, depth=10..20, filters=1108891, revisions=(22238107,useless=21093300), ccks=1404148068, wck=522.362, mem=87M517
527.36/524.68 decisions=684945, wrong=341836, backtracks=28081, failedAssignments=329755, nogoods=6334
527.36/524.68
575.66/573.00 num=85, depth=8..22, filters=1228392, revisions=(24525146,useless=23257145), ccks=1533161908, wck=570.685, mem=126M483
575.66/573.00 decisions=753272, wrong=375992, backtracks=30468, failedAssignments=362744, nogoods=6522
575.66/573.00
620.91/618.13 num=86, depth=5..21, filters=1341878, revisions=(26973338,useless=25586454), ccks=1653101221, wck=615.809, mem=32M926
620.91/618.13 decisions=828488, wrong=413592, backtracks=33856, failedAssignments=399032, nogoods=6700
620.91/618.13
703.32/700.50 num=87, depth=8..18, filters=1459458, revisions=(29498712,useless=27989797), ccks=1879103072, wck=698.178, mem=79M220
703.32/700.50 decisions=911390, wrong=455037, backtracks=37552, failedAssignments=438949, nogoods=6802
703.32/700.50
767.34/764.54 num=88, depth=6..20, filters=1599989, revisions=(32362033,useless=30707571), ccks=2050723566, wck=762.216, mem=130M659
767.34/764.54 decisions=1001809, wrong=500239, backtracks=41024, failedAssignments=482858, nogoods=6876
767.34/764.54
850.01/847.12 num=89, depth=8..20, filters=1769065, revisions=(35492058,useless=33665297), ccks=2272815996, wck=844.802, mem=58M178
850.01/847.12 decisions=1102504, wrong=550577, backtracks=44813, failedAssignments=531158, nogoods=6986
850.01/847.12
909.71/906.84 num=90, depth=8..23, filters=1944203, revisions=(38922167,useless=36916293), ccks=2430683562, wck=904.518, mem=114M63
909.71/906.84 decisions=1213239, wrong=605937, backtracks=49502, failedAssignments=584288, nogoods=7154
909.71/906.84
988.16/985.23 num=91, depth=8..22, filters=2146169, revisions=(42620148,useless=40408443), ccks=2640525550, wck=982.909, mem=60M286
988.16/985.23 decisions=1333878, wrong=666249, backtracks=54382, failedAssignments=642731, nogoods=7380
988.16/985.23
1098.11/1095.16 num=92, depth=6..20, filters=2371463, revisions=(47088029,useless=44643779), ccks=2937929637, wck=1092.842, mem=140M443
1098.11/1095.16 decisions=1467111, wrong=732858, backtracks=60289, failedAssignments=707018, nogoods=7553
1098.11/1095.16
1160.74/1157.70 num=93, depth=10..33, filters=2594772, revisions=(51627567,useless=48957417), ccks=3101113660, wck=1155.377, mem=91M808
1160.74/1157.70 decisions=1612059, wrong=805326, backtracks=65108, failedAssignments=777734, nogoods=7661
1160.74/1157.70
1268.51/1265.46 num=94, depth=6..22, filters=2874145, revisions=(56809058,useless=53855928), ccks=3389120053, wck=1263.138, mem=66M532
1268.51/1265.46 decisions=1772421, wrong=885498, backtracks=70035, failedAssignments=855521, nogoods=7724
1268.51/1265.46
1377.26/1374.18 num=95, depth=10..20, filters=3122542, revisions=(62622784,useless=59410878), ccks=3678266125, wck=1371.864, mem=25M250
1377.26/1374.18 decisions=1949306, wrong=973934, backtracks=79741, failedAssignments=941087, nogoods=7839
1377.26/1374.18
1533.79/1530.68 num=96, depth=10..22, filters=3437476, revisions=(68767390,useless=65218478), ccks=4102505545, wck=1528.364, mem=127M921
1533.79/1530.68 decisions=2146312, wrong=1072431, backtracks=90231, failedAssignments=1035210, nogoods=7949
1533.79/1530.68
1651.92/1648.74 num=97, depth=8..20, filters=3716534, revisions=(75297720,useless=71463100), ccks=4414311056, wck=1646.425, mem=110M84
1651.92/1648.74 decisions=2358753, wrong=1178645, backtracks=100396, failedAssignments=1138745, nogoods=8141
1651.92/1648.74
1874.78/1871.58 num=98, depth=10..20, filters=4106207, revisions=(82686850,useless=78444786), ccks=5013202698, wck=1869.262, mem=122M905
1874.78/1871.58 decisions=2594595, wrong=1296559, backtracks=111166, failedAssignments=1252634, nogoods=8238
1874.78/1871.58
2017.01/2013.79 num=99, depth=3..22, filters=4514817, revisions=(90759192,useless=86095094), ccks=5371111993, wck=2011.473, mem=25M159
2017.01/2013.79 decisions=2853141, wrong=1425825, backtracks=122263, failedAssignments=1377912, nogoods=8425
2017.01/2013.79
2268.27/2264.90 num=100, depth=10..23, filters=4982525, revisions=(101595210,useless=96431574), ccks=6018157469, wck=2262.578, mem=83M222
2268.27/2264.90 decisions=3140859, wrong=1569675, backtracks=138488, failedAssignments=1515718, nogoods=8524
2268.27/2264.90
2517.34/2513.92 num=101, depth=8..20, filters=5467097, revisions=(111544671,useless=105871033), ccks=6662178015, wck=2511.603, mem=133M51
2517.34/2513.92 decisions=3452609, wrong=1725544, backtracks=153954, failedAssignments=1667304, nogoods=8616
2517.34/2513.92
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 (11948 MiB free)
memory of node 1: 16384 MiB (14088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390483-1568387402/watcher-4390483-1568387402 -o /tmp/evaluation-result-4390483-1568387402/solver-4390483-1568387402 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390483-1568387402.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23862, runsolver pid=23859
Current StackSize limit: 8192 KiB
[startup+0.100714 s]*
/proc/loadavg: 2.16 2.06 1.99 4/228 23877
/proc/meminfo: memFree=26645828/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10659884 memory=28112 CPUtime=0.14 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 5556 0 0 0 13 1 0 0 20 0 15 0 415008033 10915721216 7028 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2664971 7028 2860 1 0 2627468 0
[pid=23862/tid=23864] ppid=23859 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) R 23859 23862 20852 0 -1 4202560 3274 0 0 0 9 0 0 0 20 0 15 0 415008034 10915721216 7094 33554432000 4194304 4196468 140725685904320 139895349157520 139895330607400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 7094 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 7094 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 7094 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 7094 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 7094 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 7094 33554432000 4194304 4196468 140725685904320 139894835664160 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 7094 33554432000 4194304 4196468 140725685904320 139894834611824 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 7094 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 7094 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) R 23859 23862 20852 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 7160 33554432000 4194304 4196468 140725685904320 139894831446856 139895322948738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0.02 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) R 23859 23862 20852 0 -1 4202560 459 0 0 0 2 0 0 0 20 0 15 0 415008039 10915721216 7160 33554432000 4194304 4196468 140725685904320 139894830398744 139895324324971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 7226 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 7226 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28112 KiB
[startup+0.210822 s]*
/proc/loadavg: 2.16 2.06 1.99 3/228 23877
/proc/meminfo: memFree=26638572/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10659884 memory=35340 CPUtime=0.33 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 6952 0 0 0 31 2 0 0 20 0 15 0 415008033 10915721216 8835 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2664971 8835 2989 1 0 2627468 0
[pid=23862/tid=23864] ppid=23859 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) R 23859 23862 20852 0 -1 4202560 3876 0 0 0 19 1 0 0 20 0 15 0 415008034 10915721216 8835 33554432000 4194304 4196468 140725685904320 139895349152816 139895344948381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 8835 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10659884 memory=3545097934734874272 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 8835 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 8835 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 8835 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894835664160 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894834611824 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 619 0 0 0 3 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0.05 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 8835 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35340 KiB
[startup+0.313048 s]*
/proc/loadavg: 2.16 2.06 1.99 3/228 23877
/proc/meminfo: memFree=26630616/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10659884 memory=40728 CPUtime=0.48 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 9505 0 0 0 45 3 0 0 20 0 15 0 415008033 10915721216 10182 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2664971 10182 3002 1 0 2627468 0
[pid=23862/tid=23864] ppid=23859 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) R 23859 23862 20852 0 -1 4202560 6353 0 0 0 28 2 0 0 20 0 15 0 415008034 10915721216 10182 33554432000 4194304 4196468 140725685904320 139895349158256 139895329006942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 10182 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10659884 memory=3690901968376026784 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 10182 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 10182 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008034 10915721216 10182 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894835664160 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415008036 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894834611824 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 661 0 0 0 4 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0.08 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10659884 memory=140294097196672 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008039 10915721216 10182 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40728 KiB
[startup+0.701085 s]
/proc/loadavg: 2.16 2.06 1.99 3/228 23877
/proc/meminfo: memFree=26621956/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10661932 memory=64148 CPUtime=1.11 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 13113 0 0 0 105 6 0 0 20 0 15 0 415008033 10917818368 16037 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2665483 16037 3066 1 0 2627980 0
[pid=23862/tid=23864] ppid=23859 vsize=10661932 memory=1276 CPUtime=0.68 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) R 23859 23862 20852 0 -1 4202560 8894 0 0 0 64 4 0 0 20 0 15 0 415008034 10917818368 16037 33554432000 4194304 4196468 140725685904320 139895349158480 139895326491114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10917818368 16037 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10917818368 16037 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10917818368 16037 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008034 10917818368 16037 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008036 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415008036 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894835664160 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415008036 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894834611824 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10661932 memory=7594592247738553961 CPUtime=0.13 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) R 23859 23862 20852 0 -1 4202560 967 0 0 0 13 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894832493088 139895330051176 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10661932 memory=5787213857196369745 CPUtime=0.09 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 717 0 0 0 9 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 1176 0 0 0 18 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008039 10917818368 16037 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64148 KiB
[startup+1.50076 s]
/proc/loadavg: 2.16 2.06 1.99 3/228 23877
/proc/meminfo: memFree=26606384/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10663980 memory=75924 CPUtime=2.01 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 18723 0 0 0 194 7 0 0 20 0 15 0 415008033 10919915520 18981 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2665995 18981 3094 1 0 2628492 0
[pid=23862/tid=23864] ppid=23859 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) R 23859 23862 20852 0 -1 4202560 13090 0 0 0 143 5 0 0 20 0 15 0 415008034 10919915520 18981 33554432000 4194304 4196468 140725685904320 139895349152336 139895329006942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10919915520 18981 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10919915520 18981 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415008034 10919915520 18981 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415008034 10919915520 18981 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 415008036 10919915520 18981 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
################
# More data... #
################
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2733 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.05 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 4953 0 0 0 3 2 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894835664224 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894834611840 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10748324 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 7523 0 0 0 83 2 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10748324 memory=3620 CPUtime=1.04 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 12724 0 0 0 103 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10748324 memory=39868 CPUtime=0.66 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 7516 0 0 0 65 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10748324 memory=2004 CPUtime=0.46 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1358 0 0 0 21 25 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23878] ppid=23859 vsize=10748324 memory=1276 CPUtime=2380.27 cores=1,3,5,7
/proc/23862/task/23878/stat : 23878 (java) R 23859 23862 20852 0 -1 4202560 19529 0 0 0 238022 5 0 0 20 0 16 0 415008220 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894811410096 139894959606805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 2385.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 259816 KiB
[startup+2442.3 s]
/proc/loadavg: 0.98 1.01 1.31 2/208 24162
/proc/meminfo: memFree=28459908/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10748324 memory=259816 CPUtime=2445.72 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 84867 0 0 0 244529 43 0 0 20 0 16 0 415008033 11006283776 64954 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2687081 64954 3383 1 0 2647217 0
[pid=23862/tid=23864] ppid=23859 vsize=10748324 memory=259816 CPUtime=1.84 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) S 23859 23862 20852 0 -1 1077944384 15326 0 0 0 178 6 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895349169328 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.1 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 4479 0 0 0 10 0 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 3705 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 3523 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2733 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.05 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 4953 0 0 0 3 2 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894835664224 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894834611840 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10748324 memory=39868 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.85 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 7523 0 0 0 83 2 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10748324 memory=259816 CPUtime=1.04 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 12724 0 0 0 103 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.66 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 7516 0 0 0 65 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10748324 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.47 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1362 0 0 0 21 26 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23878] ppid=23859 vsize=10748324 memory=259816 CPUtime=2440.27 cores=1,3,5,7
/proc/23862/task/23878/stat : 23878 (java) R 23859 23862 20852 0 -1 4202560 19574 0 0 0 244022 5 0 0 20 0 16 0 415008220 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894811410096 139894959597440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 2445.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 259816 KiB
[startup+2502.3 s]
/proc/loadavg: 1.44 1.15 1.34 2/208 24168
/proc/meminfo: memFree=28460520/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10748324 memory=259816 CPUtime=2505.74 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 85197 0 0 0 250530 44 0 0 20 0 16 0 415008033 11006283776 64954 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2687081 64954 3383 1 0 2647217 0
[pid=23862/tid=23864] ppid=23859 vsize=10748324 memory=259816 CPUtime=1.84 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) S 23859 23862 20852 0 -1 1077944384 15326 0 0 0 178 6 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895349169328 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.1 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 4479 0 0 0 10 0 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 3705 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 3523 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2733 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64954 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10748324 memory=280587932610080 CPUtime=0.05 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 4959 0 0 0 3 2 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894835664224 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894834611840 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10748324 memory=259816 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.85 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 7526 0 0 0 83 2 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10748324 memory=259816 CPUtime=1.04 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 12726 0 0 0 103 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10748324 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 7666 0 0 0 65 1 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.48 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1394 0 0 0 22 26 0 0 20 0 16 0 415008039 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23878] ppid=23859 vsize=10748324 memory=3620 CPUtime=2500.27 cores=1,3,5,7
/proc/23862/task/23878/stat : 23878 (java) R 23859 23862 20852 0 -1 4202560 19711 0 0 0 250022 5 0 0 20 0 16 0 415008220 11006283776 64954 33554432000 4194304 4196468 140725685904320 139894811409640 139894959607559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 2505.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 259816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.6 s]
/proc/loadavg: 1.34 1.14 1.33 2/208 24168
/proc/meminfo: memFree=28463256/32770624 swapFree=67004752/67108860
[pid=23862] ppid=23859 vsize=10748324 memory=257252 CPUtime=2520.05 cores=1,3,5,7
/proc/23862/stat : 23862 (java) S 23859 23862 20852 0 -1 1077944320 85928 0 0 0 251961 44 0 0 20 0 16 0 415008033 11006283776 64313 33554432000 4194304 4196468 140725685904320 140725685886864 139895344926455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
/proc/23862/statm: 2687081 64313 3383 1 0 2647217 0
[pid=23862/tid=23864] ppid=23859 vsize=10748324 memory=3848 CPUtime=1.84 cores=1,3,5,7
/proc/23862/task/23864/stat : 23864 (java) S 23859 23862 20852 0 -1 1077944384 15326 0 0 0 178 6 0 0 20 0 16 0 415008034 11006283776 64313 33554432000 4194304 4196468 140725685904320 139895349169328 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23865] ppid=23859 vsize=10748324 memory=3972 CPUtime=0.1 cores=1,3,5,7
/proc/23862/task/23865/stat : 23865 (java) S 23859 23862 20852 0 -1 1077944384 4490 0 0 0 10 0 0 0 20 0 16 0 415008034 11006283776 64313 33554432000 4194304 4196468 140725685904320 139895281617296 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23866] ppid=23859 vsize=10748324 memory=4104 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23866/stat : 23866 (java) S 23859 23862 20852 0 -1 1077944384 3945 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64313 33554432000 4194304 4196468 140725685904320 139895280564496 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23867] ppid=23859 vsize=10748324 memory=1408 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23867/stat : 23867 (java) S 23859 23862 20852 0 -1 1077944384 3552 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64313 33554432000 4194304 4196468 140725685904320 139895279512208 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23868] ppid=23859 vsize=10748324 memory=3268 CPUtime=0.11 cores=1,3,5,7
/proc/23862/task/23868/stat : 23868 (java) S 23859 23862 20852 0 -1 1077944384 2736 0 0 0 10 1 0 0 20 0 16 0 415008034 11006283776 64313 33554432000 4194304 4196468 140725685904320 139895278459408 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23869] ppid=23859 vsize=10748324 memory=259816 CPUtime=0.05 cores=1,3,5,7
/proc/23862/task/23869/stat : 23869 (java) S 23859 23862 20852 0 -1 1077944384 5126 0 0 0 3 2 0 0 20 0 16 0 415008036 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894836718192 139895344937602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23870] ppid=23859 vsize=10748324 memory=1780 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23870/stat : 23870 (java) S 23859 23862 20852 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894835664224 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23871] ppid=23859 vsize=10748324 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23871/stat : 23871 (java) S 23859 23862 20852 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 415008036 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894834611840 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23872] ppid=23859 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23872/stat : 23872 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894833560144 139895344945051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23873] ppid=23859 vsize=10748324 memory=33220 CPUtime=0.85 cores=1,3,5,7
/proc/23862/task/23873/stat : 23873 (java) S 23859 23862 20852 0 -1 1077944384 7526 0 0 0 83 2 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894832506992 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23874] ppid=23859 vsize=10748324 memory=35428 CPUtime=1.04 cores=1,3,5,7
/proc/23862/task/23874/stat : 23874 (java) S 23859 23862 20852 0 -1 1077944384 12726 0 0 0 103 1 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894831454192 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23875] ppid=23859 vsize=10748324 memory=37636 CPUtime=0.66 cores=1,3,5,7
/proc/23862/task/23875/stat : 23875 (java) S 23859 23862 20852 0 -1 1077944384 7666 0 0 0 65 1 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894830401904 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23876] ppid=23859 vsize=10748324 memory=39844 CPUtime=0 cores=1,3,5,7
/proc/23862/task/23876/stat : 23876 (java) S 23859 23862 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894829349344 139895344936661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23877] ppid=23859 vsize=10748324 memory=42052 CPUtime=0.48 cores=1,3,5,7
/proc/23862/task/23877/stat : 23877 (java) S 23859 23862 20852 0 -1 1077944384 1396 0 0 0 22 26 0 0 20 0 16 0 415008039 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894828297136 139895344937602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
[pid=23862/tid=23878] ppid=23859 vsize=10748324 memory=6791534058613427641 CPUtime=2514.57 cores=1,3,5,7
/proc/23862/task/23878/stat : 23878 (java) R 23859 23862 20852 0 -1 4202560 19990 0 0 0 251452 5 0 0 20 0 16 0 415008220 11006283776 64313 33554432000 4194304 4196468 140725685904320 139894811410096 139894954721451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22736896 140725685908491 140725685908594 140725685908594 140725685911503 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 257252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.61 s]
# the end of solver process 23862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.62 s, system=0.449048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2516.61
CPU time (s): 2520.07
CPU user time (s): 2519.62
CPU system time (s): 0.449048
CPU usage (%): 100.137
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 265972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.449048
maximum resident set size= 265972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57915
involuntary context switches= 1633
# summary of solver processes directly reported to runsolver:
# pid: 23862
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.62
# total CPU system time (s): 0.449048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0584 second user time and 17.81 second system time
The end