2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.94/2.01 Instance
2.94/2.01 name=instance-4390755-1568380732, framework=CSP
2.94/2.01
2.94/2.01 Loading variables...
2.94/2.04 Loading constraints...
3.19/2.17
3.19/2.17 Domains
3.19/2.17 nTypes=1, nValues=8100, sizes=[90#90]
3.19/2.17 Variables
3.19/2.17 count=90, degrees=[2#60,3#30]
3.19/2.17 Constraints
3.19/2.17 count=61, nSpecific=1, arities=[2#60,90#1]
3.19/2.17 distribution=[AllDifferent#1,CtrIntension#60]
3.19/2.17 nIntStructures=(30,shared:30), nCftStructures=(30,shared:30,unbuilt:1)
3.19/2.17 wck=0.323, cpu=2.131, mem=21M228
3.19/2.17 Solver SolverBacktrack being built...
3.19/2.17
3.19/2.19
3.19/2.19 Solver
3.19/2.19 guaranteedGAC=true
3.19/2.19 wck=0.355, cpu=2.161, mem=34M513
3.48/2.28
3.48/2.28 Preprocessing
3.48/2.28 filters=90, revisions=(150,useless=0), ccks=597360, nACremovedValues=2970, nTotalRemovedValues=2970, inconcistency=false
3.48/2.28 wck=0.085, cpu=2.247, mem=34M513
3.48/2.28
3.76/2.35 num=0, depth=11..13, filters=996, revisions=(1198,useless=87), ccks=661233, wck=0.155, mem=34M513
3.76/2.35 decisions=37, wrong=13, backtracks=4, failedAssignments=10, nogoods=3
3.76/2.35
3.98/2.46 num=1, depth=12..15, filters=2403, revisions=(3155,useless=206), ccks=762191, wck=0.26, mem=34M513
3.98/2.46 decisions=84, wrong=30, backtracks=10, failedAssignments=21, nogoods=10
3.98/2.46
4.23/2.55 num=2, depth=15..17, filters=3620, revisions=(4847,useless=278), ccks=856794, wck=0.351, mem=34M513
4.23/2.55 decisions=128, wrong=44, backtracks=12, failedAssignments=33, nogoods=20
4.23/2.55
4.36/2.65 num=3, depth=12..15, filters=5299, revisions=(7067,useless=406), ccks=954519, wck=0.452, mem=34M513
4.36/2.65 decisions=180, wrong=63, backtracks=19, failedAssignments=46, nogoods=23
4.36/2.65
4.47/2.75 num=4, depth=14..18, filters=6716, revisions=(8997,useless=508), ccks=1050255, wck=0.554, mem=34M513
4.47/2.75 decisions=232, wrong=81, backtracks=23, failedAssignments=60, nogoods=32
4.47/2.75
4.56/2.84 num=5, depth=15..18, filters=8310, revisions=(11082,useless=665), ccks=1142120, wck=0.645, mem=34M513
4.56/2.84 decisions=291, wrong=102, backtracks=28, failedAssignments=76, nogoods=35
4.56/2.84
4.66/2.93 num=6, depth=14..17, filters=9903, revisions=(13127,useless=760), ccks=1234583, wck=0.738, mem=34M513
4.66/2.93 decisions=354, wrong=126, backtracks=36, failedAssignments=93, nogoods=37
4.66/2.93
4.78/3.03 num=7, depth=16..18, filters=11730, revisions=(15506,useless=949), ccks=1328422, wck=0.837, mem=34M513
4.78/3.03 decisions=425, wrong=153, backtracks=44, failedAssignments=112, nogoods=46
4.78/3.03
4.88/3.13 num=8, depth=15..19, filters=13488, revisions=(17789,useless=1123), ccks=1419489, wck=0.931, mem=34M513
4.88/3.13 decisions=502, wrong=183, backtracks=53, failedAssignments=133, nogoods=53
4.88/3.13
4.98/3.22 num=9, depth=15..20, filters=15323, revisions=(20071,useless=1310), ccks=1506323, wck=1.023, mem=34M513
4.98/3.22 decisions=586, wrong=217, backtracks=65, failedAssignments=156, nogoods=55
4.98/3.22
5.08/3.31 num=10, depth=16..20, filters=17268, revisions=(22547,useless=1516), ccks=1594974, wck=1.119, mem=37M155
5.08/3.31 decisions=675, wrong=253, backtracks=78, failedAssignments=181, nogoods=60
5.08/3.31
5.20/3.42 num=11, depth=14..18, filters=19113, revisions=(24946,useless=1683), ccks=1693321, wck=1.22, mem=37M155
5.20/3.42 decisions=769, wrong=293, backtracks=94, failedAssignments=209, nogoods=61
5.20/3.42
5.31/3.55 num=12, depth=14..19, filters=21934, revisions=(28587,useless=2008), ccks=1802045, wck=1.353, mem=37M155
5.31/3.55 decisions=888, wrong=345, backtracks=118, failedAssignments=240, nogoods=66
5.31/3.55
5.41/3.65 num=13, depth=13..18, filters=23830, revisions=(31089,useless=2220), ccks=1901673, wck=1.458, mem=37M155
5.41/3.65 decisions=982, wrong=384, backtracks=123, failedAssignments=274, nogoods=82
5.41/3.65
5.52/3.76 num=14, depth=16..19, filters=25967, revisions=(33800,useless=2462), ccks=1994961, wck=1.561, mem=37M155
5.52/3.76 decisions=1099, wrong=434, backtracks=139, failedAssignments=311, nogoods=93
5.52/3.76
5.73/3.90 num=15, depth=12..18, filters=29232, revisions=(38024,useless=2815), ccks=2112111, wck=1.709, mem=37M155
5.73/3.90 decisions=1235, wrong=495, backtracks=162, failedAssignments=352, nogoods=97
5.73/3.90
5.84/4.01 num=16, depth=16..20, filters=31811, revisions=(41214,useless=3085), ccks=2206876, wck=1.82, mem=39M798
5.84/4.01 decisions=1374, wrong=556, backtracks=181, failedAssignments=397, nogoods=110
5.84/4.01
5.94/4.15 num=17, depth=15..20, filters=35156, revisions=(45408,useless=3463), ccks=2311315, wck=1.956, mem=39M798
5.94/4.15 decisions=1538, wrong=630, backtracks=214, failedAssignments=447, nogoods=118
5.94/4.15
6.03/4.28 num=18, depth=16..20, filters=38422, revisions=(49464,useless=3855), ccks=2410669, wck=2.086, mem=39M798
6.03/4.28 decisions=1714, wrong=709, backtracks=241, failedAssignments=502, nogoods=129
6.03/4.28
6.23/4.41 num=19, depth=15..19, filters=41594, revisions=(53417,useless=4287), ccks=2506238, wck=2.21, mem=39M798
6.23/4.41 decisions=1889, wrong=788, backtracks=264, failedAssignments=563, nogoods=151
6.23/4.41
6.33/4.55 num=20, depth=14..17, filters=45374, revisions=(58040,useless=4766), ccks=2613918, wck=2.358, mem=39M798
6.33/4.55 decisions=2082, wrong=877, backtracks=290, failedAssignments=630, nogoods=172
6.33/4.55
6.43/4.69 num=21, depth=16..20, filters=49302, revisions=(62751,useless=5305), ccks=2715990, wck=2.497, mem=39M798
6.43/4.69 decisions=2305, wrong=980, backtracks=323, failedAssignments=704, nogoods=182
6.43/4.69
6.65/4.83 num=22, depth=14..19, filters=53178, revisions=(67371,useless=5868), ccks=2824085, wck=2.64, mem=39M798
6.65/4.83 decisions=2528, wrong=1084, backtracks=351, failedAssignments=785, nogoods=195
6.65/4.83
6.87/5.04 num=23, depth=13..18, filters=58306, revisions=(73718,useless=6482), ccks=2959535, wck=2.841, mem=39M798
6.87/5.04 decisions=2791, wrong=1208, backtracks=393, failedAssignments=874, nogoods=210
6.87/5.04
7.06/5.24 num=24, depth=15..21, filters=63961, revisions=(80827,useless=7292), ccks=3089651, wck=3.046, mem=39M798
7.06/5.24 decisions=3094, wrong=1352, backtracks=451, failedAssignments=972, nogoods=219
7.06/5.24
7.28/5.44 num=25, depth=14..20, filters=69561, revisions=(87795,useless=8059), ccks=3219952, wck=3.248, mem=39M798
7.28/5.44 decisions=3414, wrong=1504, backtracks=508, failedAssignments=1080, nogoods=237
7.28/5.44
7.48/5.63 num=26, depth=14..20, filters=74951, revisions=(94284,useless=8777), ccks=3337133, wck=3.435, mem=39M798
7.48/5.63 decisions=3753, wrong=1665, backtracks=554, failedAssignments=1199, nogoods=244
7.48/5.63
7.68/5.83 num=27, depth=14..19, filters=80735, revisions=(101466,useless=9706), ccks=3466037, wck=3.633, mem=39M798
7.68/5.83 decisions=4116, wrong=1838, backtracks=607, failedAssignments=1330, nogoods=250
7.68/5.83
7.89/6.02 num=28, depth=15..19, filters=86691, revisions=(108572,useless=10706), ccks=3580311, wck=3.824, mem=39M798
7.89/6.02 decisions=4510, wrong=2027, backtracks=660, failedAssignments=1474, nogoods=270
7.89/6.02
8.19/6.30 num=29, depth=14..19, filters=94848, revisions=(118511,useless=11629), ccks=3748661, wck=4.103, mem=42M440
8.19/6.30 decisions=4964, wrong=2246, backtracks=736, failedAssignments=1632, nogoods=289
8.19/6.30
8.40/6.55 num=30, depth=14..20, filters=102501, revisions=(127722,useless=12632), ccks=3893446, wck=4.355, mem=42M440
8.40/6.55 decisions=5452, wrong=2481, backtracks=814, failedAssignments=1806, nogoods=297
8.40/6.55
8.70/6.83 num=31, depth=14..19, filters=111023, revisions=(138111,useless=13749), ccks=4057543, wck=4.631, mem=42M440
8.70/6.83 decisions=6004, wrong=2749, backtracks=901, failedAssignments=1997, nogoods=323
8.70/6.83
8.95/7.09 num=32, depth=14..19, filters=119616, revisions=(148367,useless=15068), ccks=4200005, wck=4.895, mem=42M440
8.95/7.09 decisions=6570, wrong=3024, backtracks=974, failedAssignments=2208, nogoods=345
8.95/7.09
9.34/7.40 num=33, depth=14..19, filters=129535, revisions=(160302,useless=16595), ccks=4365537, wck=5.205, mem=42M440
9.34/7.40 decisions=7213, wrong=3338, backtracks=1073, failedAssignments=2440, nogoods=357
9.34/7.40
9.64/7.74 num=34, depth=14..20, filters=140563, revisions=(173598,useless=18250), ccks=4543069, wck=5.547, mem=42M440
9.64/7.74 decisions=7921, wrong=3683, backtracks=1181, failedAssignments=2695, nogoods=375
9.64/7.74
10.07/8.13 num=35, depth=13..20, filters=153027, revisions=(188480,useless=20042), ccks=4748121, wck=5.936, mem=45M83
10.07/8.13 decisions=8713, wrong=4070, backtracks=1307, failedAssignments=2976, nogoods=386
10.07/8.13
10.47/8.56 num=36, depth=13..19, filters=167117, revisions=(205482,useless=22148), ccks=4958265, wck=6.364, mem=45M83
10.47/8.56 decisions=9583, wrong=4497, backtracks=1452, failedAssignments=3285, nogoods=408
10.47/8.56
10.90/8.96 num=37, depth=13..20, filters=180420, revisions=(221383,useless=24141), ccks=5153643, wck=6.762, mem=45M83
10.90/8.96 decisions=10484, wrong=4940, backtracks=1582, failedAssignments=3625, nogoods=419
10.90/8.96
11.31/9.36 num=38, depth=13..20, filters=194169, revisions=(238042,useless=26341), ccks=5350244, wck=7.162, mem=45M83
11.31/9.36 decisions=11492, wrong=5436, backtracks=1726, failedAssignments=3999, nogoods=427
11.31/9.36
11.71/9.79 num=39, depth=14..19, filters=209707, revisions=(256615,useless=29018), ccks=5545775, wck=7.6, mem=45M83
11.71/9.79 decisions=12611, wrong=5988, backtracks=1914, failedAssignments=4410, nogoods=444
11.71/9.79
12.25/10.30 num=40, depth=14..20, filters=227884, revisions=(278077,useless=32011), ccks=5764059, wck=8.1, mem=47M725
12.25/10.30 decisions=13897, wrong=6622, backtracks=2123, failedAssignments=4862, nogoods=458
12.25/10.30
12.95/10.92 num=41, depth=13..19, filters=248959, revisions=(304040,useless=36131), ccks=6024283, wck=8.724, mem=47M725
12.95/10.92 decisions=15302, wrong=7317, backtracks=2352, failedAssignments=5359, nogoods=485
12.95/10.92
13.56/11.58 num=42, depth=14..20, filters=272878, revisions=(332355,useless=40108), ccks=6278690, wck=9.382, mem=47M725
13.56/11.58 decisions=16796, wrong=8057, backtracks=2596, failedAssignments=5906, nogoods=498
13.56/11.58
14.36/12.31 num=43, depth=14..20, filters=300377, revisions=(365051,useless=44832), ccks=6535735, wck=10.117, mem=47M725
14.36/12.31 decisions=18561, wrong=8931, backtracks=2926, failedAssignments=6508, nogoods=503
14.36/12.31
15.17/13.16 num=44, depth=12..20, filters=329998, revisions=(400568,useless=49222), ccks=6911841, wck=10.963, mem=50M368
15.17/13.16 decisions=20406, wrong=9846, backtracks=3230, failedAssignments=7170, nogoods=530
15.17/13.16
16.07/14.08 num=45, depth=13..21, filters=362154, revisions=(438322,useless=53447), ccks=7329682, wck=11.885, mem=50M368
16.07/14.08 decisions=22409, wrong=10840, backtracks=3562, failedAssignments=7898, nogoods=559
16.07/14.08
17.17/15.11 num=46, depth=12..19, filters=396580, revisions=(479957,useless=58592), ccks=7758589, wck=12.911, mem=53M10
17.17/15.11 decisions=24599, wrong=11927, backtracks=3900, failedAssignments=8699, nogoods=581
17.17/15.11
18.17/16.19 num=47, depth=12..20, filters=435238, revisions=(526350,useless=65047), ccks=8163072, wck=13.996, mem=53M10
18.17/16.19 decisions=26945, wrong=13091, backtracks=4258, failedAssignments=9580, nogoods=594
18.17/16.19
19.26/17.21 num=48, depth=14..20, filters=474555, revisions=(572824,useless=72091), ccks=8500184, wck=15.017, mem=55M652
19.26/17.21 decisions=29664, wrong=14443, backtracks=4706, failedAssignments=10550, nogoods=608
19.26/17.21
20.37/18.30 num=49, depth=13..21, filters=514638, revisions=(620868,useless=79385), ccks=8964705, wck=16.108, mem=55M652
20.37/18.30 decisions=32532, wrong=15869, backtracks=5145, failedAssignments=11617, nogoods=630
20.37/18.30
21.67/19.62 num=50, depth=13..20, filters=563728, revisions=(679652,useless=88339), ccks=9424904, wck=17.428, mem=58M295
21.67/19.62 decisions=35704, wrong=17447, backtracks=5640, failedAssignments=12790, nogoods=645
21.67/19.62
23.27/21.22 num=51, depth=12..20, filters=619219, revisions=(746369,useless=96987), ccks=10037660, wck=19.021, mem=60M937
23.27/21.22 decisions=39162, wrong=19169, backtracks=6160, failedAssignments=14081, nogoods=655
23.27/21.22
24.97/22.90 num=52, depth=13..21, filters=681173, revisions=(820019,useless=107260), ccks=10635103, wck=20.707, mem=60M937
24.97/22.90 decisions=43142, wrong=21151, backtracks=6848, failedAssignments=15501, nogoods=661
24.97/22.90
26.77/24.71 num=53, depth=13..20, filters=749461, revisions=(900650,useless=118774), ccks=11274608, wck=22.518, mem=63M580
26.77/24.71 decisions=47524, wrong=23333, backtracks=7603, failedAssignments=17063, nogoods=673
26.77/24.71
28.67/26.68 num=54, depth=13..21, filters=821668, revisions=(987115,useless=130634), ccks=11994557, wck=24.483, mem=66M222
28.67/26.68 decisions=52229, wrong=25678, backtracks=8371, failedAssignments=18781, nogoods=683
28.67/26.68
30.87/28.86 num=55, depth=12..20, filters=900953, revisions=(1083108,useless=143923), ccks=12791289, wck=26.668, mem=68M865
30.87/28.86 decisions=57472, wrong=28292, backtracks=9285, failedAssignments=20671, nogoods=696
30.87/28.86
33.27/31.26 num=56, depth=13..20, filters=986178, revisions=(1187636,useless=159099), ccks=13611976, wck=29.061, mem=71M507
33.27/31.26 decisions=63189, wrong=31143, backtracks=10255, failedAssignments=22750, nogoods=720
33.27/31.26
35.97/33.99 num=57, depth=12..19, filters=1083724, revisions=(1304243,useless=174073), ccks=14685116, wck=31.795, mem=76M792
35.97/33.99 decisions=69383, wrong=34231, backtracks=11265, failedAssignments=25037, nogoods=738
35.97/33.99
38.97/36.91 num=58, depth=13..19, filters=1190438, revisions=(1433994,useless=193406), ccks=15684441, wck=34.716, mem=79M434
38.97/36.91 decisions=76511, wrong=37787, backtracks=12531, failedAssignments=27553, nogoods=764
38.97/36.91
42.18/40.13 num=59, depth=13..20, filters=1309485, revisions=(1576331,useless=213225), ccks=16730361, wck=37.935, mem=84M719
42.18/40.13 decisions=83883, wrong=41464, backtracks=13674, failedAssignments=30321, nogoods=786
42.18/40.13
45.48/43.49 num=60, depth=13..21, filters=1434165, revisions=(1724371,useless=231868), ccks=18051420, wck=41.293, mem=87M362
45.48/43.49 decisions=92284, wrong=45657, backtracks=15092, failedAssignments=33365, nogoods=798
45.48/43.49
49.58/47.56 num=61, depth=12..20, filters=1579970, revisions=(1900144,useless=256190), ccks=19430948, wck=45.369, mem=92M646
49.58/47.56 decisions=101409, wrong=50212, backtracks=16559, failedAssignments=36714, nogoods=822
49.58/47.56
53.68/51.67 num=62, depth=12..20, filters=1734134, revisions=(2084274,useless=281966), ccks=20798697, wck=49.472, mem=97M931
53.68/51.67 decisions=111469, wrong=55233, backtracks=18184, failedAssignments=40398, nogoods=853
53.68/51.67
58.24/56.18 num=63, depth=12..20, filters=1903910, revisions=(2286566,useless=311104), ccks=22307791, wck=53.982, mem=103M216
58.24/56.18 decisions=122384, wrong=60683, backtracks=19897, failedAssignments=44450, nogoods=864
58.24/56.18
63.15/61.05 num=64, depth=12..20, filters=2088388, revisions=(2506424,useless=341945), ccks=23997811, wck=58.853, mem=108M501
63.15/61.05 decisions=134757, wrong=66862, backtracks=22025, failedAssignments=48907, nogoods=901
63.15/61.05
68.85/66.73 num=65, depth=11..20, filters=2290713, revisions=(2748713,useless=370742), ccks=26400396, wck=64.531, mem=116M428
68.85/66.73 decisions=148105, wrong=73528, backtracks=24243, failedAssignments=53810, nogoods=917
68.85/66.73
75.26/73.19 num=66, depth=13..20, filters=2527619, revisions=(3033391,useless=412250), ccks=28715074, wck=70.992, mem=124M355
75.26/73.19 decisions=163348, wrong=81141, backtracks=26939, failedAssignments=59204, nogoods=945
75.26/73.19
81.95/79.85 num=67, depth=12..21, filters=2782218, revisions=(3335858,useless=454153), ccks=30906653, wck=77.655, mem=132M283
81.95/79.85 decisions=180065, wrong=89492, backtracks=29894, failedAssignments=65137, nogoods=958
81.95/79.85
89.36/87.26 num=68, depth=11..21, filters=3052862, revisions=(3659962,useless=496139), ccks=33871982, wck=85.06, mem=142M778
89.36/87.26 decisions=197939, wrong=98421, backtracks=32741, failedAssignments=71663, nogoods=970
89.36/87.26
97.41/95.22 num=69, depth=12..20, filters=3359032, revisions=(4023676,useless=548916), ccks=36586578, wck=93.026, mem=30M562
97.41/95.22 decisions=217876, wrong=108382, backtracks=36149, failedAssignments=78842, nogoods=985
97.41/95.22
106.22/104.08 num=70, depth=12..21, filters=3696881, revisions=(4426489,useless=606168), ccks=39589400, wck=101.885, mem=40M919
106.22/104.08 decisions=239907, wrong=119389, backtracks=39921, failedAssignments=86739, nogoods=1000
106.22/104.08
116.23/114.01 num=71, depth=11..21, filters=4060326, revisions=(4866238,useless=664963), ccks=43125901, wck=111.813, mem=53M865
116.23/114.01 decisions=263669, wrong=131263, backtracks=43887, failedAssignments=95426, nogoods=1018
116.23/114.01
127.23/125.06 num=72, depth=12..20, filters=4477596, revisions=(5371124,useless=744466), ccks=46588540, wck=122.864, mem=69M400
127.23/125.06 decisions=290076, wrong=144459, backtracks=48391, failedAssignments=104981, nogoods=1029
127.23/125.06
139.52/137.36 num=73, depth=11..20, filters=4937293, revisions=(5918607,useless=819059), ccks=50898571, wck=135.163, mem=84M936
139.52/137.36 decisions=319253, wrong=159041, backtracks=53398, failedAssignments=115492, nogoods=1054
139.52/137.36
151.34/149.11 num=74, depth=12..21, filters=5384632, revisions=(6453286,useless=896578), ccks=55356888, wck=146.918, mem=100M471
151.34/149.11 decisions=350303, wrong=174559, backtracks=58113, failedAssignments=127054, nogoods=1094
151.34/149.11
165.93/163.75 num=75, depth=12..22, filters=5943710, revisions=(7122207,useless=988573), ccks=59784719, wck=161.557, mem=118M595
165.93/163.75 decisions=385447, wrong=192123, backtracks=63989, failedAssignments=139772, nogoods=1106
165.93/163.75
180.93/178.77 num=76, depth=12..21, filters=6519292, revisions=(7806829,useless=1087325), ccks=64907188, wck=176.571, mem=136M720
180.93/178.77 decisions=423842, wrong=211313, backtracks=70291, failedAssignments=153762, nogoods=1122
180.93/178.77
197.06/194.83 num=77, depth=12..22, filters=7122360, revisions=(8527553,useless=1184105), ccks=71153732, wck=192.634, mem=28M37
197.06/194.83 decisions=464981, wrong=231875, backtracks=76706, failedAssignments=169151, nogoods=1154
197.06/194.83
216.86/214.66 num=78, depth=12..20, filters=7895677, revisions=(9455276,useless=1321408), ccks=76906327, wck=212.46, mem=51M507
216.86/214.66 decisions=512975, wrong=255864, backtracks=85191, failedAssignments=186079, nogoods=1159
216.86/214.66
235.87/233.64 num=79, depth=12..21, filters=8639595, revisions=(10326011,useless=1442278), ccks=83352161, wck=231.445, mem=74M978
235.87/233.64 decisions=563364, wrong=281050, backtracks=93178, failedAssignments=204700, nogoods=1170
235.87/233.64
261.38/259.17 num=80, depth=11..21, filters=9561530, revisions=(11433303,useless=1590902), ccks=93832325, wck=256.976, mem=108M880
261.38/259.17 decisions=620597, wrong=309660, backtracks=103278, failedAssignments=225184, nogoods=1180
261.38/259.17
287.18/284.91 num=81, depth=12..22, filters=10516585, revisions=(12580398,useless=1748143), ccks=102873300, wck=282.716, mem=140M174
287.18/284.91 decisions=682544, wrong=340626, backtracks=113648, failedAssignments=247716, nogoods=1219
287.18/284.91
314.81/312.51 num=82, depth=11..21, filters=11559538, revisions=(13821962,useless=1915967), ccks=112540203, wck=310.317, mem=43M801
314.81/312.51 decisions=750084, wrong=374388, backtracks=124626, failedAssignments=272501, nogoods=1249
314.81/312.51
346.22/343.91 num=83, depth=12..21, filters=12771622, revisions=(15257727,useless=2128840), ccks=123159503, wck=341.716, mem=83M100
346.22/343.91 decisions=827218, wrong=412948, backtracks=138508, failedAssignments=299765, nogoods=1275
346.22/343.91
381.82/379.51 num=84, depth=11..22, filters=14060629, revisions=(16808447,useless=2327739), ccks=137911461, wck=377.312, mem=130M259
381.82/379.51 decisions=909016, wrong=453840, backtracks=152048, failedAssignments=329755, nogoods=1304
381.82/379.51
419.46/417.14 num=85, depth=11..21, filters=15492546, revisions=(18520439,useless=2566665), ccks=149956474, wck=414.945, mem=46M115
419.46/417.14 decisions=999121, wrong=498885, backtracks=166823, failedAssignments=362744, nogoods=1334
419.46/417.14
462.96/460.60 num=86, depth=11..21, filters=17083757, revisions=(20440539,useless=2835004), ccks=164663639, wck=458.409, mem=100M423
462.96/460.60 decisions=1099254, wrong=548944, backtracks=183793, failedAssignments=399032, nogoods=1355
462.96/460.60
507.20/504.86 num=87, depth=10..21, filters=18750932, revisions=(22427074,useless=3099325), ccks=182247467, wck=502.669, mem=30M485
507.20/504.86 decisions=1208738, wrong=603679, backtracks=201810, failedAssignments=438949, nogoods=1393
507.20/504.86
557.83/555.46 num=88, depth=11..21, filters=20663722, revisions=(24712745,useless=3428015), ccks=197480937, wck=553.265, mem=91M668
557.83/555.46 decisions=1328105, wrong=663355, backtracks=220681, failedAssignments=482858, nogoods=1434
557.83/555.46
610.06/607.62 num=89, depth=11..21, filters=22626873, revisions=(27050260,useless=3749667), ccks=216516800, wck=605.422, mem=30M297
610.06/607.62 decisions=1458474, wrong=728531, backtracks=242072, failedAssignments=531158, nogoods=1452
610.06/607.62
674.47/672.06 num=90, depth=11..21, filters=24995469, revisions=(29912106,useless=4131693), ccks=241172197, wck=669.868, mem=113M150
674.47/672.06 decisions=1606935, wrong=802754, backtracks=268217, failedAssignments=584288, nogoods=1488
674.47/672.06
741.30/738.86 num=91, depth=11..22, filters=27545282, revisions=(32963892,useless=4576570), ccks=262011801, wck=736.665, mem=74M597
741.30/738.86 decisions=1765626, wrong=882092, backtracks=293614, failedAssignments=642731, nogoods=1506
741.30/738.86
815.43/812.96 num=92, depth=11..21, filters=30331765, revisions=(36304256,useless=5040918), ccks=287081878, wck=810.769, mem=44M582
815.43/812.96 decisions=1943246, wrong=970895, backtracks=323803, failedAssignments=707018, nogoods=1538
815.43/812.96
894.38/891.89 num=93, depth=10..21, filters=33247250, revisions=(39770717,useless=5503889), ccks=318380096, wck=889.696, mem=27M447
894.38/891.89 decisions=2135771, wrong=1067150, backtracks=354806, failedAssignments=777734, nogoods=1568
894.38/891.89
985.79/983.22 num=94, depth=11..22, filters=36694155, revisions=(43875451,useless=6040650), ccks=352500276, wck=981.028, mem=139M740
985.79/983.22 decisions=2354387, wrong=1176451, backtracks=393849, failedAssignments=855521, nogoods=1585
985.79/983.22
1080.92/1078.35 num=95, depth=11..22, filters=40416417, revisions=(48292437,useless=6707245), ccks=383725798, wck=1076.156, mem=22M647
1080.92/1078.35 decisions=2593189, wrong=1295845, backtracks=435030, failedAssignments=941087, nogoods=1620
1080.92/1078.35
1191.84/1189.21 num=96, depth=11..21, filters=44416260, revisions=(53154262,useless=7383961), ccks=423852594, wck=1187.011, mem=50M135
1191.84/1189.21 decisions=2849402, wrong=1423945, backtracks=477120, failedAssignments=1035210, nogoods=1679
1191.84/1189.21
1320.78/1318.17 num=97, depth=11..20, filters=49128501, revisions=(58842309,useless=8192666), ccks=466921739, wck=1315.976, mem=88M227
1320.78/1318.17 decisions=3144707, wrong=1571590, backtracks=531429, failedAssignments=1138745, nogoods=1727
1320.78/1318.17
1451.61/1448.97 num=98, depth=10..21, filters=53883555, revisions=(64602880,useless=8994882), ccks=515462469, wck=1446.773, mem=31M329
1451.61/1448.97 decisions=3455019, wrong=1726739, backtracks=581812, failedAssignments=1252634, nogoods=1772
1451.61/1448.97
1590.35/1587.61 num=99, depth=11..21, filters=59219508, revisions=(70984612,useless=9924061), ccks=562053590, wck=1585.413, mem=87M588
1590.35/1587.61 decisions=3805896, wrong=1902170, backtracks=644733, failedAssignments=1377912, nogoods=1797
1590.35/1587.61
1757.98/1755.29 num=100, depth=11..21, filters=65437557, revisions=(78534261,useless=11060491), ccks=616551050, wck=1753.095, mem=79M431
1757.98/1755.29 decisions=4192081, wrong=2095255, backtracks=712912, failedAssignments=1515718, nogoods=1833
1757.98/1755.29
1937.03/1934.29 num=101, depth=11..21, filters=72079165, revisions=(86536430,useless=12190598), ccks=676787655, wck=1932.099, mem=92M48
1937.03/1934.29 decisions=4611573, wrong=2304993, backtracks=783921, failedAssignments=1667304, nogoods=1879
1937.03/1934.29
2148.18/2145.34 num=102, depth=11..21, filters=79627645, revisions=(95723206,useless=13430754), ccks=757247919, wck=2143.142, mem=40M246
2148.18/2145.34 decisions=5087545, wrong=2542971, backtracks=871736, failedAssignments=1834049, nogoods=1910
2148.18/2145.34
2361.73/2358.82 num=103, depth=10..22, filters=87482877, revisions=(105217364,useless=14675786), ccks=837650991, wck=2356.626, mem=28M216
2361.73/2358.82 decisions=5594980, wrong=2796681, backtracks=958299, failedAssignments=2017468, nogoods=1962
2361.73/2358.82
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 (15014 MiB free)
memory of node 1: 16384 MiB (15047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390755-1568380732/watcher-4390755-1568380732 -o /tmp/evaluation-result-4390755-1568380732/solver-4390755-1568380732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10475 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390755-1568380732.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=10768, runsolver pid=10765
Current StackSize limit: 8192 KiB
[startup+0.102756 s]*
/proc/loadavg: 1.91 1.00 0.43 5/232 10783
/proc/meminfo: memFree=30767012/32770624 swapFree=66967092/67108860
[pid=10768] ppid=10765 vsize=10659884 memory=29304 CPUtime=0.14 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 5786 0 0 0 13 1 0 0 20 0 15 0 414322753 10915721216 7326 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2664971 7326 2921 1 0 2627468 0
[pid=10768/tid=10770] ppid=10765 vsize=10659884 memory=-8125511277465474432 CPUtime=0.09 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) R 10765 10768 10443 0 -1 4202560 3238 0 0 0 9 0 0 0 20 0 15 0 414322754 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587626585688 140587606439262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587180405792 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587179352944 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) R 10765 10768 10443 0 -1 4202560 553 0 0 0 1 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587177230200 140587607999241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0.02 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) R 10765 10768 10443 0 -1 4202560 643 0 0 0 2 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587175140008 140587601315865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 7458 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29304 KiB
[startup+0.211659 s]*
/proc/loadavg: 1.91 1.00 0.43 3/232 10783
/proc/meminfo: memFree=30759360/32770624 swapFree=66967092/67108860
[pid=10768] ppid=10765 vsize=10659884 memory=35404 CPUtime=0.33 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 6949 0 0 0 31 2 0 0 20 0 15 0 414322753 10915721216 8851 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2664971 8851 2989 1 0 2627468 0
[pid=10768/tid=10770] ppid=10765 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) R 10765 10768 10443 0 -1 4202560 3863 0 0 0 19 1 0 0 20 0 15 0 414322754 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587626590864 140587622380701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10659884 memory=288370042550224512 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587180405792 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587179352944 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 677 0 0 0 3 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 369 0 0 0 3 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0.05 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 681 0 0 0 5 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 8851 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35404 KiB
[startup+0.310548 s]*
/proc/loadavg: 1.91 1.00 0.43 3/232 10783
/proc/meminfo: memFree=30751520/32770624 swapFree=66967092/67108860
[pid=10768] ppid=10765 vsize=10659884 memory=40524 CPUtime=0.47 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 9486 0 0 0 44 3 0 0 20 0 15 0 414322753 10915721216 10131 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2664971 10131 3001 1 0 2627468 0
[pid=10768/tid=10770] ppid=10765 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) R 10765 10768 10443 0 -1 4202560 6330 0 0 0 28 2 0 0 20 0 15 0 414322754 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587626591184 140587622380701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10659884 memory=288370042550224512 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322755 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587180405792 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322756 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587179352944 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 712 0 0 0 4 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 379 0 0 0 3 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0.07 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 709 0 0 0 7 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10659884 memory=139666398512768 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322759 10915721216 10131 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40524 KiB
[startup+0.700804 s]
/proc/loadavg: 1.91 1.00 0.43 4/232 10783
/proc/meminfo: memFree=30742728/32770624 swapFree=66967092/67108860
[pid=10768] ppid=10765 vsize=10661932 memory=64108 CPUtime=1.11 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 13103 0 0 0 106 5 0 0 20 0 15 0 414322753 10917818368 16027 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2665483 16027 3075 1 0 2627980 0
[pid=10768/tid=10770] ppid=10765 vsize=10661932 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) R 10765 10768 10443 0 -1 4202560 8886 0 0 0 64 4 0 0 20 0 15 0 414322754 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587626590800 140587622380701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10661932 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10661932 memory=716 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322755 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10661932 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322755 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322756 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10661932 memory=9328 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322756 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587180405792 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10661932 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322756 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587179352944 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10661932 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10661932 memory=4639098309541126757 CPUtime=0.11 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) R 10765 10768 10443 0 -1 4202560 1022 0 0 0 11 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587177249648 140587605745560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10661932 memory=7955443078088779376 CPUtime=0.11 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 646 0 0 0 11 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 1190 0 0 0 18 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322759 10917818368 16027 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64108 KiB
[startup+1.50075 s]
/proc/loadavg: 1.92 1.02 0.44 3/232 10783
/proc/meminfo: memFree=30726288/32770624 swapFree=66967092/67108860
[pid=10768] ppid=10765 vsize=10663980 memory=75948 CPUtime=2.01 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 18745 0 0 0 195 6 0 0 20 0 15 0 414322753 10919915520 18987 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2665995 18987 3098 1 0 2628492 0
[pid=10768/tid=10770] ppid=10765 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) R 10765 10768 10443 0 -1 4202560 13184 0 0 0 144 4 0 0 20 0 15 0 414322754 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587626590800 140587607524414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10663980 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322754 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322755 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322755 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414322756 10919915520 18987 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
################
# More data... #
################
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 1835 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.06 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 5418 0 0 0 4 2 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10746276 memory=1632 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587180405856 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587179352960 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10746276 memory=225196 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.84 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 6369 0 0 0 83 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10746276 memory=6791534058613427641 CPUtime=0.77 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 5037 0 0 0 76 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10746276 memory=1764 CPUtime=0.55 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 5921 0 0 0 54 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10746276 memory=225196 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10746276 memory=6791534058613427641 CPUtime=0.47 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1033 0 0 0 21 26 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10786] ppid=10765 vsize=10746276 memory=225196 CPUtime=2440.09 cores=1,3,5,7
/proc/10768/task/10786/stat : 10786 (java) R 10765 10768 10443 0 -1 4202560 18568 0 0 0 243999 10 0 0 20 0 16 0 414322941 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587088067904 140587253605251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 2445.25 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 225196 KiB
[startup+2502.3 s]
/proc/loadavg: 1.93 1.96 1.87 3/233 11179
/proc/meminfo: memFree=30172528/32770624 swapFree=66967124/67108860
[pid=10768] ppid=10765 vsize=10746276 memory=225196 CPUtime=2505.26 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 70797 0 0 0 250483 43 0 0 20 0 16 0 414322753 11004186624 56299 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2686569 56299 3368 1 0 2646705 0
[pid=10768/tid=10770] ppid=10765 vsize=10746276 memory=225196 CPUtime=1.85 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) S 10765 10768 10443 0 -1 1077944384 15406 0 0 0 180 5 0 0 20 0 16 0 414322754 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587626601648 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 2709 0 0 0 13 0 0 0 20 0 16 0 414322754 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 3210 0 0 0 12 1 0 0 20 0 16 0 414322754 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.12 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 3819 0 0 0 12 0 0 0 20 0 16 0 414322755 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 1835 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10746276 memory=225196 CPUtime=0.06 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 5418 0 0 0 4 2 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10746276 memory=225196 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587180405856 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10746276 memory=225196 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587179352960 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10746276 memory=225196 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10746276 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 6369 0 0 0 83 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10746276 memory=22004 CPUtime=0.77 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 5037 0 0 0 76 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10746276 memory=984 CPUtime=0.55 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 5921 0 0 0 54 1 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10746276 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10746276 memory=22004 CPUtime=0.48 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1035 0 0 0 21 27 0 0 20 0 16 0 414322759 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10786] ppid=10765 vsize=10746276 memory=225196 CPUtime=2500.09 cores=1,3,5,7
/proc/10768/task/10786/stat : 10786 (java) R 10765 10768 10443 0 -1 4202560 18605 0 0 0 249999 10 0 0 20 0 16 0 414322941 11004186624 56299 33554432000 4194304 4196468 140727219222608 140587088067904 140587253857719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 2505.26 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 225196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2517.11 s]
/proc/loadavg: 1.95 1.96 1.87 3/234 11187
/proc/meminfo: memFree=30174196/32770624 swapFree=66967124/67108860
[pid=10768] ppid=10765 vsize=10746276 memory=223144 CPUtime=2520.08 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 70818 0 0 0 251965 43 0 0 20 0 16 0 414322753 11004186624 55786 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2686569 55786 3368 1 0 2646705 0
[pid=10768/tid=10770] ppid=10765 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) S 10765 10768 10443 0 -1 1077944384 15406 0 0 0 180 5 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587626601648 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 2711 0 0 0 13 0 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.14 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 3210 0 0 0 13 1 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 3819 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 1841 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.06 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 5422 0 0 0 4 2 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587180405856 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587179352960 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10746276 memory=3624 CPUtime=0.84 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 6369 0 0 0 83 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10746276 memory=22008 CPUtime=0.77 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 5037 0 0 0 76 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10746276 memory=932 CPUtime=0.55 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 5921 0 0 0 54 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10746276 memory=288230574492221466 CPUtime=0.48 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1037 0 0 0 21 27 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10786] ppid=10765 vsize=10746276 memory=288230596050944315 CPUtime=2514.9 cores=1,3,5,7
/proc/10768/task/10786/stat : 10786 (java) R 10765 10768 10443 0 -1 4202560 18612 0 0 0 251480 10 0 0 20 0 16 0 414322941 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587088067904 140587253674555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 223144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2517.12 s]
# the end of solver process 10768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.66 s, system=0.43503 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2517.11 s]
/proc/loadavg: 1.95 1.96 1.87 3/234 11187
/proc/meminfo: memFree=30174196/32770624 swapFree=66967124/67108860
[pid=10768] ppid=10765 vsize=10746276 memory=223144 CPUtime=2520.08 cores=1,3,5,7
/proc/10768/stat : 10768 (java) S 10765 10768 10443 0 -1 1077944320 70818 0 0 0 251965 43 0 0 20 0 16 0 414322753 11004186624 55786 33554432000 4194304 4196468 140727219222608 140727219205152 140587622358775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
/proc/10768/statm: 2686569 55786 3368 1 0 2646705 0
[pid=10768/tid=10770] ppid=10765 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/10768/task/10770/stat : 10770 (java) S 10765 10768 10443 0 -1 1077944384 15406 0 0 0 180 5 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587626601648 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10771] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10771/stat : 10771 (java) S 10765 10768 10443 0 -1 1077944384 2711 0 0 0 13 0 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587574979728 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10772] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.14 cores=1,3,5,7
/proc/10768/task/10772/stat : 10772 (java) S 10765 10768 10443 0 -1 1077944384 3210 0 0 0 13 1 0 0 20 0 16 0 414322754 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587573926928 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10773] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10773/stat : 10773 (java) S 10765 10768 10443 0 -1 1077944384 3819 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587572874128 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10774] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.13 cores=1,3,5,7
/proc/10768/task/10774/stat : 10774 (java) S 10765 10768 10443 0 -1 1077944384 1841 0 0 0 13 0 0 0 20 0 16 0 414322755 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587571821328 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10775] ppid=10765 vsize=10746276 memory=223144 CPUtime=0.06 cores=1,3,5,7
/proc/10768/task/10775/stat : 10775 (java) S 10765 10768 10443 0 -1 1077944384 5422 0 0 0 4 2 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587181459824 140587622369922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10776] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10776/stat : 10776 (java) S 10765 10768 10443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587180405856 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10777] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10777/stat : 10777 (java) S 10765 10768 10443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414322756 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587179352960 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10778] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10778/stat : 10778 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587178301264 140587622377371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10779] ppid=10765 vsize=10746276 memory=3624 CPUtime=0.84 cores=1,3,5,7
/proc/10768/task/10779/stat : 10779 (java) S 10765 10768 10443 0 -1 1077944384 6369 0 0 0 83 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587177249648 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10780] ppid=10765 vsize=10746276 memory=22008 CPUtime=0.77 cores=1,3,5,7
/proc/10768/task/10780/stat : 10780 (java) S 10765 10768 10443 0 -1 1077944384 5037 0 0 0 76 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587176196848 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10781] ppid=10765 vsize=10746276 memory=932 CPUtime=0.55 cores=1,3,5,7
/proc/10768/task/10781/stat : 10781 (java) S 10765 10768 10443 0 -1 1077944384 5921 0 0 0 54 1 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587175144048 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10782] ppid=10765 vsize=10746276 memory=223144 CPUtime=0 cores=1,3,5,7
/proc/10768/task/10782/stat : 10782 (java) S 10765 10768 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587174091488 140587622368981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10783] ppid=10765 vsize=10746276 memory=288230574492221466 CPUtime=0.48 cores=1,3,5,7
/proc/10768/task/10783/stat : 10783 (java) S 10765 10768 10443 0 -1 1077944384 1037 0 0 0 21 27 0 0 20 0 16 0 414322759 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587173038768 140587622369922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
[pid=10768/tid=10786] ppid=10765 vsize=10746276 memory=288230596050944315 CPUtime=2514.9 cores=1,3,5,7
/proc/10768/task/10786/stat : 10786 (java) R 10765 10768 10443 0 -1 4202560 18612 0 0 0 251480 10 0 0 20 0 16 0 414322941 11004186624 55786 33554432000 4194304 4196468 140727219222608 140587088067904 140587253674555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8896512 140727219225611 140727219225714 140727219225714 140727219228623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 223144 KiB
Child status: 143
Real time (s): 2517.12
CPU time (s): 2520.1
CPU user time (s): 2519.66
CPU system time (s): 0.43503
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 251860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.43503
maximum resident set size= 251860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57827
involuntary context switches= 2780
# summary of solver processes directly reported to runsolver:
# pid: 10768
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.66
# total CPU system time (s): 0.43503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7757 second user time and 22.7715 second system time
The end