2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.89
2.94/2.03 Instance
2.94/2.03 name=instance-4390664-1568385882, framework=CSP
2.94/2.03
2.94/2.03 Loading variables...
2.94/2.09 Loading constraints...
3.48/2.25
3.48/2.25 Domains
3.48/2.25 nTypes=1, nValues=27000, sizes=[30#900]
3.48/2.25 Variables
3.48/2.25 count=900, degrees=[2#374,3#526]
3.48/2.25 Constraints
3.48/2.25 count=586, nSpecific=60, arities=[1#526,30#60]
3.48/2.25 distribution=[AllDifferent#60,CtrIntension#526]
3.48/2.25 nIntStructures=(30,shared:496)
3.48/2.25 wck=0.408, cpu=2.209, mem=37M82
3.48/2.27 Solver SolverBacktrack being built...
3.48/2.27
3.78/2.30
3.78/2.30 Solver
3.78/2.30 guaranteedGAC=true
3.78/2.30 wck=0.464, cpu=2.263, mem=50M367
4.07/2.48
4.07/2.48 Preprocessing
4.07/2.48 filters=1580, revisions=(526,useless=0), ccks=8169, nACremovedValues=24519, nTotalRemovedValues=24519, inconcistency=false
4.07/2.48 wck=0.17, cpu=2.435, mem=50M367
4.07/2.48
4.35/2.50 num=0, depth=40..52, filters=2535, revisions=(526,useless=0), ccks=8169, wck=0.198, mem=50M367
4.35/2.50 decisions=77, wrong=18, backtracks=10, failedAssignments=10, nogoods=3
4.35/2.50
4.35/2.53 num=1, depth=22..56, filters=3452, revisions=(526,useless=0), ccks=8169, wck=0.221, mem=50M367
4.35/2.53 decisions=162, wrong=37, backtracks=25, failedAssignments=21, nogoods=5
4.35/2.53
4.35/2.56 num=2, depth=45..54, filters=4536, revisions=(526,useless=0), ccks=8169, wck=0.257, mem=50M367
4.35/2.56 decisions=248, wrong=57, backtracks=41, failedAssignments=33, nogoods=9
4.35/2.56
4.35/2.58 num=3, depth=9..46, filters=5704, revisions=(526,useless=0), ccks=8169, wck=0.278, mem=50M367
4.35/2.58 decisions=328, wrong=77, backtracks=49, failedAssignments=46, nogoods=14
4.35/2.58
4.62/2.61 num=4, depth=47..61, filters=7596, revisions=(526,useless=0), ccks=8169, wck=0.308, mem=50M367
4.62/2.61 decisions=437, wrong=106, backtracks=72, failedAssignments=60, nogoods=19
4.62/2.61
4.62/2.64 num=5, depth=51..59, filters=9091, revisions=(526,useless=0), ccks=8169, wck=0.332, mem=50M367
4.62/2.64 decisions=541, wrong=132, backtracks=90, failedAssignments=76, nogoods=26
4.62/2.64
4.62/2.67 num=6, depth=53..65, filters=11002, revisions=(526,useless=0), ccks=8169, wck=0.362, mem=50M367
4.62/2.67 decisions=666, wrong=168, backtracks=116, failedAssignments=93, nogoods=28
4.62/2.67
4.62/2.70 num=7, depth=54..66, filters=12934, revisions=(526,useless=0), ccks=8169, wck=0.391, mem=50M367
4.62/2.70 decisions=779, wrong=197, backtracks=136, failedAssignments=112, nogoods=34
4.62/2.70
4.77/2.73 num=8, depth=36..55, filters=15302, revisions=(526,useless=0), ccks=8169, wck=0.422, mem=50M367
4.77/2.73 decisions=902, wrong=236, backtracks=165, failedAssignments=133, nogoods=37
4.77/2.73
4.77/2.76 num=9, depth=51..66, filters=17179, revisions=(526,useless=0), ccks=8169, wck=0.451, mem=50M367
4.77/2.76 decisions=1026, wrong=272, backtracks=185, failedAssignments=156, nogoods=40
4.77/2.76
4.77/2.79 num=10, depth=47..60, filters=19335, revisions=(526,useless=0), ccks=8169, wck=0.484, mem=50M367
4.77/2.79 decisions=1174, wrong=320, backtracks=218, failedAssignments=181, nogoods=42
4.77/2.79
4.90/2.83 num=11, depth=47..59, filters=22162, revisions=(526,useless=0), ccks=8169, wck=0.522, mem=50M367
4.90/2.83 decisions=1346, wrong=381, backtracks=267, failedAssignments=209, nogoods=44
4.90/2.83
4.90/2.86 num=12, depth=51..59, filters=24611, revisions=(526,useless=0), ccks=8169, wck=0.555, mem=50M367
4.90/2.86 decisions=1502, wrong=432, backtracks=292, failedAssignments=240, nogoods=52
4.90/2.86
5.00/2.90 num=13, depth=43..60, filters=27587, revisions=(526,useless=0), ccks=8169, wck=0.596, mem=50M367
5.00/2.90 decisions=1656, wrong=484, backtracks=319, failedAssignments=274, nogoods=57
5.00/2.90
5.00/2.94 num=14, depth=48..59, filters=30805, revisions=(526,useless=0), ccks=8169, wck=0.64, mem=50M367
5.00/2.94 decisions=1832, wrong=547, backtracks=370, failedAssignments=311, nogoods=62
5.00/2.94
5.00/3.00 num=15, depth=51..71, filters=34886, revisions=(526,useless=0), ccks=8169, wck=0.694, mem=50M367
5.00/3.00 decisions=2042, wrong=623, backtracks=426, failedAssignments=352, nogoods=67
5.00/3.00
5.11/3.05 num=16, depth=38..75, filters=38703, revisions=(526,useless=0), ccks=8169, wck=0.746, mem=50M367
5.11/3.05 decisions=2261, wrong=701, backtracks=482, failedAssignments=397, nogoods=76
5.11/3.05
5.22/3.11 num=17, depth=47..59, filters=43355, revisions=(526,useless=0), ccks=8169, wck=0.807, mem=50M367
5.22/3.11 decisions=2472, wrong=780, backtracks=526, failedAssignments=447, nogoods=81
5.22/3.11
5.22/3.17 num=18, depth=44..60, filters=47635, revisions=(526,useless=0), ccks=8169, wck=0.863, mem=50M367
5.22/3.17 decisions=2703, wrong=871, backtracks=582, failedAssignments=502, nogoods=89
5.22/3.17
5.31/3.23 num=19, depth=47..63, filters=52570, revisions=(526,useless=0), ccks=8169, wck=0.926, mem=53M10
5.31/3.23 decisions=2955, wrong=972, backtracks=652, failedAssignments=563, nogoods=94
5.31/3.23
5.41/3.31 num=20, depth=61..79, filters=58745, revisions=(526,useless=0), ccks=8169, wck=1.006, mem=53M10
5.41/3.31 decisions=3268, wrong=1095, backtracks=737, failedAssignments=630, nogoods=98
5.41/3.31
5.41/3.39 num=21, depth=41..56, filters=64856, revisions=(526,useless=0), ccks=8169, wck=1.087, mem=53M10
5.41/3.39 decisions=3577, wrong=1224, backtracks=814, failedAssignments=704, nogoods=103
5.41/3.39
5.52/3.48 num=22, depth=69..83, filters=71752, revisions=(526,useless=0), ccks=8169, wck=1.176, mem=53M10
5.52/3.48 decisions=3936, wrong=1367, backtracks=909, failedAssignments=785, nogoods=111
5.52/3.48
5.62/3.57 num=23, depth=48..62, filters=79283, revisions=(526,useless=0), ccks=8169, wck=1.269, mem=53M10
5.62/3.57 decisions=4268, wrong=1507, backtracks=1000, failedAssignments=874, nogoods=119
5.62/3.57
5.72/3.69 num=24, depth=55..69, filters=88875, revisions=(526,useless=0), ccks=8169, wck=1.388, mem=53M10
5.72/3.69 decisions=4690, wrong=1690, backtracks=1132, failedAssignments=972, nogoods=123
5.72/3.69
5.92/3.83 num=25, depth=46..61, filters=99645, revisions=(526,useless=0), ccks=8169, wck=1.526, mem=53M10
5.92/3.83 decisions=5126, wrong=1883, backtracks=1277, failedAssignments=1080, nogoods=130
5.92/3.83
6.02/3.99 num=26, depth=49..62, filters=112146, revisions=(526,useless=0), ccks=8169, wck=1.681, mem=53M10
6.02/3.99 decisions=5653, wrong=2120, backtracks=1456, failedAssignments=1199, nogoods=144
6.02/3.99
6.23/4.14 num=27, depth=54..72, filters=125296, revisions=(526,useless=0), ccks=8169, wck=1.837, mem=53M10
6.23/4.14 decisions=6217, wrong=2373, backtracks=1647, failedAssignments=1330, nogoods=151
6.23/4.14
6.35/4.29 num=28, depth=60..77, filters=137581, revisions=(526,useless=0), ccks=8169, wck=1.986, mem=53M10
6.35/4.29 decisions=6775, wrong=2617, backtracks=1816, failedAssignments=1474, nogoods=162
6.35/4.29
6.65/4.50 num=29, depth=55..77, filters=154015, revisions=(526,useless=0), ccks=8169, wck=2.194, mem=53M10
6.65/4.50 decisions=7460, wrong=2932, backtracks=2045, failedAssignments=1632, nogoods=163
6.65/4.50
6.91/4.72 num=30, depth=56..71, filters=171705, revisions=(526,useless=0), ccks=8169, wck=2.415, mem=53M10
6.91/4.72 decisions=8202, wrong=3273, backtracks=2310, failedAssignments=1806, nogoods=172
6.91/4.72
7.11/4.95 num=31, depth=46..61, filters=191152, revisions=(526,useless=0), ccks=8169, wck=2.649, mem=53M10
7.11/4.95 decisions=8936, wrong=3614, backtracks=2558, failedAssignments=1997, nogoods=178
7.11/4.95
7.41/5.20 num=32, depth=46..66, filters=211067, revisions=(526,useless=0), ccks=8169, wck=2.895, mem=53M10
7.41/5.20 decisions=9790, wrong=4015, backtracks=2843, failedAssignments=2208, nogoods=190
7.41/5.20
7.61/5.47 num=33, depth=45..77, filters=233674, revisions=(526,useless=0), ccks=8169, wck=3.165, mem=53M10
7.61/5.47 decisions=10703, wrong=4442, backtracks=3158, failedAssignments=2440, nogoods=197
7.61/5.47
7.91/5.71 num=34, depth=47..68, filters=254485, revisions=(526,useless=0), ccks=8169, wck=3.405, mem=53M10
7.91/5.71 decisions=11574, wrong=4850, backtracks=3423, failedAssignments=2695, nogoods=212
7.91/5.71
8.15/5.99 num=35, depth=47..67, filters=277177, revisions=(526,useless=0), ccks=8169, wck=3.686, mem=53M10
8.15/5.99 decisions=12570, wrong=5323, backtracks=3757, failedAssignments=2976, nogoods=225
8.15/5.99
8.55/6.36 num=36, depth=55..73, filters=307944, revisions=(526,useless=0), ccks=8169, wck=4.06, mem=53M10
8.55/6.36 decisions=13858, wrong=5938, backtracks=4233, failedAssignments=3285, nogoods=233
8.55/6.36
8.95/6.77 num=37, depth=50..70, filters=343619, revisions=(526,useless=0), ccks=8169, wck=4.463, mem=53M10
8.95/6.77 decisions=15291, wrong=6627, backtracks=4761, failedAssignments=3625, nogoods=239
8.95/6.77
9.36/7.16 num=38, depth=57..82, filters=377470, revisions=(526,useless=0), ccks=8169, wck=4.855, mem=53M10
9.36/7.16 decisions=16750, wrong=7327, backtracks=5268, failedAssignments=3999, nogoods=244
9.36/7.16
9.85/7.61 num=39, depth=52..74, filters=415143, revisions=(526,useless=0), ccks=8169, wck=5.305, mem=53M10
9.85/7.61 decisions=18315, wrong=8080, backtracks=5827, failedAssignments=4410, nogoods=248
9.85/7.61
10.36/8.12 num=40, depth=45..66, filters=457409, revisions=(526,useless=0), ccks=8169, wck=5.814, mem=53M10
10.36/8.12 decisions=20003, wrong=8899, backtracks=6464, failedAssignments=4862, nogoods=261
10.36/8.12
10.86/8.61 num=41, depth=63..87, filters=501758, revisions=(526,useless=0), ccks=8169, wck=6.304, mem=53M10
10.86/8.61 decisions=21957, wrong=9839, backtracks=7186, failedAssignments=5359, nogoods=270
10.86/8.61
11.38/9.15 num=42, depth=47..68, filters=550188, revisions=(526,useless=0), ccks=8169, wck=6.842, mem=53M10
11.38/9.15 decisions=23943, wrong=10806, backtracks=7945, failedAssignments=5906, nogoods=275
11.38/9.15
11.97/9.78 num=43, depth=49..72, filters=603475, revisions=(526,useless=0), ccks=8169, wck=7.475, mem=53M10
11.97/9.78 decisions=26127, wrong=11872, backtracks=8734, failedAssignments=6508, nogoods=282
11.97/9.78
12.67/10.47 num=44, depth=58..82, filters=662302, revisions=(526,useless=0), ccks=8169, wck=8.163, mem=53M10
12.67/10.47 decisions=28683, wrong=13120, backtracks=9642, failedAssignments=7170, nogoods=288
12.67/10.47
13.39/11.14 num=45, depth=46..67, filters=721739, revisions=(526,useless=0), ccks=8169, wck=8.836, mem=53M10
13.39/11.14 decisions=31252, wrong=14379, backtracks=10589, failedAssignments=7898, nogoods=299
13.39/11.14
14.18/11.91 num=46, depth=54..86, filters=794622, revisions=(526,useless=0), ccks=8169, wck=9.602, mem=53M10
14.18/11.91 decisions=34420, wrong=15928, backtracks=11802, failedAssignments=8699, nogoods=309
14.18/11.91
15.18/12.98 num=47, depth=52..72, filters=884683, revisions=(526,useless=0), ccks=8169, wck=10.678, mem=53M10
15.18/12.98 decisions=37862, wrong=17621, backtracks=13005, failedAssignments=9580, nogoods=326
15.18/12.98
16.39/14.12 num=48, depth=48..79, filters=974747, revisions=(526,useless=0), ccks=8169, wck=11.814, mem=53M10
16.39/14.12 decisions=41467, wrong=19396, backtracks=14276, failedAssignments=10550, nogoods=334
16.39/14.12
17.48/15.27 num=49, depth=52..75, filters=1075567, revisions=(526,useless=0), ccks=8169, wck=12.966, mem=53M10
17.48/15.27 decisions=45476, wrong=21371, backtracks=15815, failedAssignments=11617, nogoods=349
17.48/15.27
18.71/16.44 num=50, depth=46..81, filters=1176459, revisions=(526,useless=0), ccks=8169, wck=14.131, mem=53M10
18.71/16.44 decisions=49808, wrong=23506, backtracks=17479, failedAssignments=12790, nogoods=357
18.71/16.44
20.21/17.92 num=51, depth=41..64, filters=1303562, revisions=(526,useless=0), ccks=8169, wck=15.612, mem=53M10
20.21/17.92 decisions=54748, wrong=25954, backtracks=19341, failedAssignments=14081, nogoods=366
20.21/17.92
21.81/19.52 num=52, depth=51..78, filters=1441107, revisions=(526,useless=0), ccks=8169, wck=17.219, mem=53M10
21.81/19.52 decisions=60218, wrong=28663, backtracks=21357, failedAssignments=15501, nogoods=372
21.81/19.52
23.61/21.37 num=53, depth=45..74, filters=1598771, revisions=(526,useless=0), ccks=8169, wck=19.065, mem=53M10
23.61/21.37 decisions=66132, wrong=31593, backtracks=23564, failedAssignments=17063, nogoods=383
23.61/21.37
25.61/23.32 num=54, depth=47..73, filters=1765275, revisions=(526,useless=0), ccks=8169, wck=21.018, mem=53M10
25.61/23.32 decisions=72889, wrong=34946, backtracks=26097, failedAssignments=18781, nogoods=393
25.61/23.32
27.51/25.24 num=55, depth=53..80, filters=1929760, revisions=(526,useless=0), ccks=8169, wck=22.938, mem=53M10
27.51/25.24 decisions=79869, wrong=38407, backtracks=28781, failedAssignments=20671, nogoods=404
27.51/25.24
30.01/27.74 num=56, depth=55..80, filters=2139378, revisions=(526,useless=0), ccks=8169, wck=25.434, mem=53M10
30.01/27.74 decisions=87860, wrong=42371, backtracks=31690, failedAssignments=22750, nogoods=418
30.01/27.74
32.37/30.02 num=57, depth=49..77, filters=2336941, revisions=(526,useless=0), ccks=8169, wck=27.712, mem=53M10
32.37/30.02 decisions=96333, wrong=46579, backtracks=34915, failedAssignments=25037, nogoods=425
32.37/30.02
35.17/32.82 num=58, depth=52..80, filters=2576895, revisions=(526,useless=0), ccks=8169, wck=30.516, mem=53M10
35.17/32.82 decisions=105945, wrong=51356, backtracks=38381, failedAssignments=27553, nogoods=438
35.17/32.82
38.27/35.94 num=59, depth=51..74, filters=2859661, revisions=(526,useless=0), ccks=8169, wck=33.631, mem=55M652
38.27/35.94 decisions=116961, wrong=56836, backtracks=42816, failedAssignments=30321, nogoods=452
38.27/35.94
41.57/39.25 num=60, depth=55..76, filters=3131209, revisions=(526,useless=0), ccks=8169, wck=36.941, mem=55M652
41.57/39.25 decisions=127798, wrong=62223, backtracks=46853, failedAssignments=33365, nogoods=465
41.57/39.25
44.97/42.62 num=61, depth=50..81, filters=3440037, revisions=(526,useless=0), ccks=8169, wck=40.311, mem=55M652
44.97/42.62 decisions=139970, wrong=68279, backtracks=51531, failedAssignments=36714, nogoods=483
44.97/42.62
48.97/46.63 num=62, depth=53..77, filters=3800477, revisions=(526,useless=0), ccks=8169, wck=44.325, mem=55M652
48.97/46.63 decisions=154121, wrong=75325, backtracks=57060, failedAssignments=40398, nogoods=494
48.97/46.63
53.20/50.89 num=63, depth=44..68, filters=4170155, revisions=(526,useless=0), ccks=8169, wck=48.59, mem=55M652
53.20/50.89 decisions=168983, wrong=82731, backtracks=62591, failedAssignments=44450, nogoods=510
53.20/50.89
58.30/55.91 num=64, depth=38..71, filters=4615252, revisions=(526,useless=0), ccks=8169, wck=53.609, mem=55M652
58.30/55.91 decisions=186507, wrong=91469, backtracks=69129, failedAssignments=48907, nogoods=525
58.30/55.91
64.10/61.70 num=65, depth=45..76, filters=5108969, revisions=(526,useless=0), ccks=8169, wck=59.401, mem=55M652
64.10/61.70 decisions=204714, wrong=100542, backtracks=76167, failedAssignments=53810, nogoods=533
64.10/61.70
69.90/67.55 num=66, depth=57..83, filters=5618507, revisions=(526,useless=0), ccks=8169, wck=65.241, mem=55M652
69.90/67.55 decisions=224465, wrong=110386, backtracks=83904, failedAssignments=59204, nogoods=543
69.90/67.55
76.61/74.22 num=67, depth=3..85, filters=6210863, revisions=(526,useless=0), ccks=8169, wck=71.913, mem=55M652
76.61/74.22 decisions=247849, wrong=122043, backtracks=92656, failedAssignments=65137, nogoods=556
76.61/74.22
83.01/80.68 num=68, depth=47..75, filters=6763267, revisions=(526,useless=0), ccks=8169, wck=78.377, mem=58M295
83.01/80.68 decisions=271812, wrong=133997, backtracks=101486, failedAssignments=71663, nogoods=567
83.01/80.68
90.61/88.22 num=69, depth=40..77, filters=7434378, revisions=(526,useless=0), ccks=8169, wck=85.914, mem=58M295
90.61/88.22 decisions=297560, wrong=146844, backtracks=111176, failedAssignments=78842, nogoods=583
90.61/88.22
99.02/96.65 num=70, depth=35..94, filters=8145442, revisions=(526,useless=0), ccks=8169, wck=94.348, mem=58M295
99.02/96.65 decisions=327144, wrong=161600, backtracks=121999, failedAssignments=86739, nogoods=596
99.02/96.65
108.03/105.62 num=71, depth=51..79, filters=8943210, revisions=(526,useless=0), ccks=8169, wck=103.312, mem=58M295
108.03/105.62 decisions=358414, wrong=177206, backtracks=133845, failedAssignments=95426, nogoods=617
108.03/105.62
117.93/115.54 num=72, depth=47..78, filters=9733907, revisions=(526,useless=0), ccks=8169, wck=113.233, mem=58M295
117.93/115.54 decisions=393395, wrong=194670, backtracks=146286, failedAssignments=104981, nogoods=627
117.93/115.54
130.23/127.80 num=73, depth=54..85, filters=10797496, revisions=(526,useless=0), ccks=8169, wck=125.493, mem=60M937
130.23/127.80 decisions=434112, wrong=214998, backtracks=162013, failedAssignments=115492, nogoods=641
130.23/127.80
142.54/140.14 num=74, depth=38..92, filters=11927014, revisions=(526,useless=0), ccks=8169, wck=137.839, mem=60M937
142.54/140.14 decisions=479208, wrong=237514, backtracks=179830, failedAssignments=127054, nogoods=661
142.54/140.14
156.96/154.58 num=75, depth=50..82, filters=13163312, revisions=(526,useless=0), ccks=8169, wck=152.274, mem=60M937
156.96/154.58 decisions=527722, wrong=261743, backtracks=198368, failedAssignments=139772, nogoods=676
156.96/154.58
172.58/170.14 num=76, depth=42..80, filters=14483366, revisions=(526,useless=0), ccks=8169, wck=167.839, mem=60M937
172.58/170.14 decisions=580659, wrong=288188, backtracks=217971, failedAssignments=153762, nogoods=684
172.58/170.14
187.87/185.47 num=77, depth=53..90, filters=15818234, revisions=(526,useless=0), ccks=8169, wck=183.169, mem=63M579
187.87/185.47 decisions=638151, wrong=316905, backtracks=238690, failedAssignments=169151, nogoods=706
187.87/185.47
207.99/205.59 num=78, depth=53..87, filters=17503313, revisions=(526,useless=0), ccks=8169, wck=203.29, mem=63M579
207.99/205.59 decisions=706062, wrong=350827, backtracks=264123, failedAssignments=186079, nogoods=715
207.99/205.59
228.62/226.16 num=79, depth=50..85, filters=19256041, revisions=(526,useless=0), ccks=8169, wck=223.858, mem=66M222
228.62/226.16 decisions=775738, wrong=385635, backtracks=290474, failedAssignments=204700, nogoods=729
228.62/226.16
253.02/250.57 num=80, depth=42..75, filters=21398959, revisions=(526,useless=0), ccks=8169, wck=248.267, mem=66M222
253.02/250.57 decisions=854000, wrong=424740, backtracks=320185, failedAssignments=225184, nogoods=745
253.02/250.57
279.23/276.72 num=81, depth=46..81, filters=23620934, revisions=(526,useless=0), ccks=8169, wck=274.414, mem=68M864
279.23/276.72 decisions=939459, wrong=467440, backtracks=352632, failedAssignments=247716, nogoods=759
279.23/276.72
306.34/303.81 num=82, depth=55..88, filters=26053287, revisions=(526,useless=0), ccks=8169, wck=301.501, mem=68M864
306.34/303.81 decisions=1033765, wrong=514561, backtracks=387650, failedAssignments=272501, nogoods=768
306.34/303.81
335.95/333.45 num=83, depth=46..85, filters=28672410, revisions=(526,useless=0), ccks=8169, wck=331.149, mem=71M507
335.95/333.45 decisions=1133380, wrong=564342, backtracks=425211, failedAssignments=299765, nogoods=780
335.95/333.45
365.86/363.32 num=84, depth=49..82, filters=31315760, revisions=(526,useless=0), ccks=8169, wck=361.012, mem=71M507
365.86/363.32 decisions=1239311, wrong=617278, backtracks=465960, failedAssignments=329755, nogoods=802
365.86/363.32
398.58/396.10 num=85, depth=30..84, filters=34069995, revisions=(526,useless=0), ccks=8169, wck=393.798, mem=74M149
398.58/396.10 decisions=1359152, wrong=677169, backtracks=508592, failedAssignments=362744, nogoods=821
398.58/396.10
432.59/430.04 num=86, depth=46..899, filters=37048166, revisions=(526,useless=0), ccks=8755, wck=427.731, mem=76M792
432.59/430.04 decisions=1470843, wrong=732985, backtracks=551922, failedAssignments=392390, nogoods=821, foundSolutions=1
432.59/430.04
432.59/430.04 Global
432.59/430.04 filters=37048166, revisions=(526,useless=0), ccks=8755, nogoods=821
432.59/430.04 Stop=REACHED_GOAL, wrong=732985, foundSolutions=1, firstSolCpu=430.022
432.59/430.04 wck=428.197, cpu=430.038, mem=76M792
432.59/430.04
432.59/430.04 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 24 17 9 1 25 21 13 10 15 5 16 26 20 2 23 4 11 7 3 22 19 28 6 0 29 18 12 14 8 27 16 11 27 13 6 2 18 12 5 3 17 24 26 28 0 14 22 29 15 7 9 25 23 19 4 21 10 20 1 8 6 1 25 24 16 27 14 13 19 12 21 22 23 0 17 10 15 26 20 9 5 4 3 7 2 8 29 11 28 18 1 16 8 9 29 3 25 2 12 11 22 27 6 15 26 28 23 5 14 13 4 7 10 21 18 0 24 17 20 19 29 18 15 10 22 6 19 28 8 2 13 7 25 23 4 0 3 20 1 11 26 21 12 17 14 9 5 16 27 24 8 19 10 2 13 20 23 17 22 21 14 15 0 4 29 9 12 16 25 1 24 27 28 18 7 3 26 6 11 5 19 8 16 0 14 26 15 23 9 28 12 29 3 20 21 7 27 17 2 18 25 6 1 22 13 24 11 10 5 4 20 4 6 17 26 9 24 0 29 19 7 2 8 3 27 16 18 15 22 5 21 13 11 14 25 10 28 23 12 1 7 2 14 20 18 8 29 6 0 9 15 23 22 25 12 17 28 13 27 26 10 3 21 11 5 4 1 24 19 16 0 26 23 3 11 25 10 7 14 18 29 6 9 19 13 15 1 27 21 12 17 22 4 28 24 16 8 5 2 20 21 0 20 11 27 4 6 8 13 23 5 18 14 22 7 25 17 24 19 2 12 1 9 26 16 28 3 29 15 10 2 21 13 14 7 29 26 9 24 15 10 25 12 11 5 6 16 28 23 27 22 20 18 8 17 1 19 0 4 3 18 14 0 22 21 5 27 24 26 1 6 16 2 10 20 12 19 3 29 4 8 23 25 15 28 13 17 7 9 11 25 13 1 28 8 16 5 20 2 6 19 9 4 27 18 23 29 14 24 3 11 0 22 10 21 26 7 15 17 12 10 29 12 27 3 0 11 18 17 22 1 21 15 5 28 24 6 2 7 25 14 8 20 4 9 19 23 13 16 26 15 10 24 29 4 11 8 19 25 7 28 1 13 16 9 3 21 22 6 23 20 26 14 5 12 27 0 2 18 17 12 25 18 23 10 14 9 3 6 29 20 28 17 7 19 2 26 8 5 21 13 11 0 27 1 15 16 4 24 22 13 24 7 5 0 22 12 15 16 17 27 3 29 9 1 11 14 25 18 20 28 19 8 23 10 6 4 21 26 2 23 7 26 15 20 28 21 22 18 27 8 10 16 17 3 1 2 4 12 19 6 5 24 29 11 14 9 25 13 0 9 6 4 16 24 15 7 21 28 8 0 5 27 26 10 18 20 23 17 29 3 12 13 2 19 11 22 1 25 14 11 22 17 12 23 13 3 29 27 25 4 20 10 8 24 26 7 21 28 16 1 2 19 9 0 5 6 18 14 15 27 3 2 19 5 23 1 16 4 20 26 11 18 12 8 29 25 9 10 24 0 15 17 13 6 7 14 22 21 28 4 15 29 7 12 18 17 1 23 16 24 8 19 21 6 27 10 0 11 28 2 14 5 3 26 20 13 9 22 25 17 5 28 18 2 24 4 26 1 0 11 14 7 6 25 19 13 12 8 15 16 10 29 20 3 22 21 27 23 9 26 28 11 8 9 1 22 25 21 14 3 13 5 29 2 20 4 18 0 17 7 24 16 6 27 12 15 19 10 23 14 20 21 26 19 17 28 5 3 10 18 12 1 13 16 22 0 11 4 6 27 9 15 24 23 2 25 8 29 7 28 9 5 6 1 12 16 27 10 26 2 4 11 14 22 21 24 19 13 8 23 18 7 25 15 17 20 3 0 29 22 23 3 25 17 10 2 4 11 13 9 19 28 24 14 8 5 6 26 0 15 16 27 1 20 29 18 12 7 21 5 27 22 4 15 19 20 14 7 24 25 0 21 18 11 13 9 1 16 10 29 17 26 12 8 23 2 28 3 6 3 12 19 21 28 7 0 11 20 4 23 17 24 1 15 5 8 10 9 14 18 29 2 16 22 25 27 26 6 13 </values> </instantiation>
432.59/430.04 s SATISFIABLE
432.59/430.04
432.59/430.04 d WRONG_DECISIONS 732985
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 (14515 MiB free)
memory of node 1: 16384 MiB (15588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390664-1568385882/watcher-4390664-1568385882 -o /tmp/evaluation-result-4390664-1568385882/solver-4390664-1568385882 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29502 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390664-1568385882.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=31545, runsolver pid=31542
Current StackSize limit: 8192 KiB
[startup+0.102044 s]*
/proc/loadavg: 2.32 1.98 1.95 4/228 31560
/proc/meminfo: memFree=30808616/32770624 swapFree=66994860/67108860
[pid=31545] ppid=31542 vsize=10659884 memory=30564 CPUtime=0.14 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 5611 0 0 0 13 1 0 0 20 0 15 0 414839654 10915721216 7641 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2664971 7641 2911 1 0 2627468 0
[pid=31545/tid=31547] ppid=31542 vsize=10659884 memory=720575944405811505 CPUtime=0.1 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) R 31542 31545 29470 0 -1 4202560 2989 0 0 0 9 1 0 0 20 0 15 0 414839655 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163529100224 140163506263978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10659884 memory=288370582743262848 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163015451808 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163014398704 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) R 31542 31545 29470 0 -1 4202560 611 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163012295408 140163510291536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) R 31542 31545 29470 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0.02 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) R 31542 31545 29470 0 -1 4202560 561 0 0 0 2 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163010185688 140163503826332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 7641 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30564 KiB
[startup+0.210924 s]*
/proc/loadavg: 2.32 1.98 1.95 3/228 31560
/proc/meminfo: memFree=30802600/32770624 swapFree=66994860/67108860
[pid=31545] ppid=31542 vsize=10659884 memory=34992 CPUtime=0.33 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 6392 0 0 0 31 2 0 0 20 0 15 0 414839654 10915721216 8748 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2664971 8748 2990 1 0 2627468 0
[pid=31545/tid=31547] ppid=31542 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) R 31542 31545 29470 0 -1 4202560 3456 0 0 0 19 1 0 0 20 0 15 0 414839655 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163529108048 140163524891805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10659884 memory=140206591580520 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163015451808 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163014398704 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0.05 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 587 0 0 0 5 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 8748 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34992 KiB
[startup+0.310283 s]*
/proc/loadavg: 2.32 1.98 1.95 4/228 31560
/proc/meminfo: memFree=30795300/32770624 swapFree=66994860/67108860
[pid=31545] ppid=31542 vsize=10659884 memory=40212 CPUtime=0.48 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 8868 0 0 0 44 4 0 0 20 0 15 0 414839654 10915721216 10053 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2664971 10053 3003 1 0 2627468 0
[pid=31545/tid=31547] ppid=31542 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) R 31542 31545 29470 0 -1 4202560 5868 0 0 0 27 3 0 0 20 0 15 0 414839655 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163529092560 140163524891805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10659884 memory=4297776180 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10659884 memory=140206591580477 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163015451808 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839657 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163014398704 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 327 0 0 0 4 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0.08 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 605 0 0 0 8 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10659884 memory=140206591551104 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839660 10915721216 10053 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40212 KiB
[startup+0.700763 s]
/proc/loadavg: 2.32 1.98 1.95 3/228 31560
/proc/meminfo: memFree=30787388/32770624 swapFree=66994860/67108860
[pid=31545] ppid=31542 vsize=10661932 memory=62572 CPUtime=1.09 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 12289 0 0 0 103 6 0 0 20 0 15 0 414839654 10917818368 15643 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2665483 15643 3074 1 0 2627980 0
[pid=31545/tid=31547] ppid=31542 vsize=10661932 memory=20132 CPUtime=0.67 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) R 31542 31545 29470 0 -1 4202560 8422 0 0 0 63 4 0 0 20 0 15 0 414839655 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163529092960 140163506433448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839657 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10661932 memory=26 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414839657 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163015451808 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10661932 memory=38 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414839657 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163014398704 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 1013 0 0 0 9 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10661932 memory=383 CPUtime=0.1 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) R 31542 31545 29470 0 -1 4202560 536 0 0 0 10 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163011242864 140163506390955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10661932 memory=26745 CPUtime=0.19 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 958 0 0 0 19 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839660 10917818368 15643 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62572 KiB
[startup+1.50078 s]
/proc/loadavg: 2.32 1.98 1.95 3/228 31560
/proc/meminfo: memFree=30771368/32770624 swapFree=66994860/67108860
[pid=31545] ppid=31542 vsize=10663980 memory=75148 CPUtime=1.99 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 17572 0 0 0 192 7 0 0 20 0 15 0 414839654 10919915520 18787 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2665995 18787 3097 1 0 2628492 0
[pid=31545/tid=31547] ppid=31542 vsize=10663980 memory=20132 CPUtime=1.48 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) R 31542 31545 29470 0 -1 4202560 12432 0 0 0 143 5 0 0 20 0 15 0 414839655 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163529101904 140163506243658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414839655 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414839655 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414839657 10919915520 18787 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
################
# More data... #
################
[startup+427.201 s]
/proc/loadavg: 2.02 2.09 2.02 3/230 31601
/proc/meminfo: memFree=30691620/32770624 swapFree=66994864/67108860
[pid=31545] ppid=31542 vsize=10748324 memory=164904 CPUtime=429.78 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 42627 0 0 0 42959 19 0 0 20 0 16 0 414839654 11006283776 41226 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2687081 41226 3350 1 0 2647217 0
[pid=31545/tid=31547] ppid=31542 vsize=10748324 memory=3632 CPUtime=1.85 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) S 31542 31545 29470 0 -1 1077944384 14562 0 0 0 178 7 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163529112752 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10748324 memory=20140 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10748324 memory=164904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10748324 memory=12040 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10748324 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163015451872 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163014398720 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10748324 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10748324 memory=776 CPUtime=0.82 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 4398 0 0 0 81 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10748324 memory=1564 CPUtime=0.94 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 5672 0 0 0 93 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10748324 memory=8556 CPUtime=0.64 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 5771 0 0 0 64 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10748324 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10748324 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 535 0 0 0 3 5 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31561] ppid=31542 vsize=10748324 memory=3632 CPUtime=425.32 cores=1,3,5,7
/proc/31545/task/31561/stat : 31561 (java) R 31542 31545 29470 0 -1 4202560 8702 0 0 0 42530 2 0 0 20 0 16 0 414839841 11006283776 41226 33554432000 4194304 4196468 140736257871632 140162991414656 140163126704268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 429.78 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164904 KiB
[startup+428.801 s]
/proc/loadavg: 2.02 2.09 2.02 3/230 31601
/proc/meminfo: memFree=30691620/32770624 swapFree=66994864/67108860
[pid=31545] ppid=31542 vsize=10748324 memory=164904 CPUtime=431.38 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 42627 0 0 0 43119 19 0 0 20 0 16 0 414839654 11006283776 41226 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2687081 41226 3350 1 0 2647217 0
[pid=31545/tid=31547] ppid=31542 vsize=10748324 memory=164904 CPUtime=1.85 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) S 31542 31545 29470 0 -1 1077944384 14562 0 0 0 178 7 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163529112752 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10748324 memory=164904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10748324 memory=164904 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10748324 memory=164904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10748324 memory=1564 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10748324 memory=164904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163015451872 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10748324 memory=20140 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163014398720 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10748324 memory=3440 CPUtime=0.82 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 4398 0 0 0 81 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10748324 memory=2832 CPUtime=0.94 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 5672 0 0 0 93 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10748324 memory=5904 CPUtime=0.64 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 5771 0 0 0 64 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10748324 memory=664 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10748324 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 535 0 0 0 3 5 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31561] ppid=31542 vsize=10748324 memory=1000 CPUtime=426.92 cores=1,3,5,7
/proc/31545/task/31561/stat : 31561 (java) R 31542 31545 29470 0 -1 4202560 8702 0 0 0 42690 2 0 0 20 0 16 0 414839841 11006283776 41226 33554432000 4194304 4196468 140736257871632 140162991414656 140163126998905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 431.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164904 KiB
[startup+429.601 s]
/proc/loadavg: 2.02 2.09 2.02 3/230 31601
/proc/meminfo: memFree=30691620/32770624 swapFree=66994864/67108860
[pid=31545] ppid=31542 vsize=10748324 memory=164904 CPUtime=432.18 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 42627 0 0 0 43199 19 0 0 20 0 16 0 414839654 11006283776 41226 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2687081 41226 3350 1 0 2647217 0
[pid=31545/tid=31547] ppid=31542 vsize=10748324 memory=1408 CPUtime=1.85 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) S 31542 31545 29470 0 -1 1077944384 14562 0 0 0 178 7 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163529112752 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10748324 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10748324 memory=164904 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10748324 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10748324 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10748324 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163015451872 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10748324 memory=20140 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163014398720 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10748324 memory=2016 CPUtime=0.82 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 4398 0 0 0 81 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10748324 memory=1384 CPUtime=0.94 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 5672 0 0 0 93 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10748324 memory=776 CPUtime=0.64 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 5771 0 0 0 64 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10748324 memory=8556 CPUtime=0.08 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 535 0 0 0 3 5 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31561] ppid=31542 vsize=10748324 memory=1052 CPUtime=427.72 cores=1,3,5,7
/proc/31545/task/31561/stat : 31561 (java) R 31542 31545 29470 0 -1 4202560 8702 0 0 0 42770 2 0 0 20 0 16 0 414839841 11006283776 41226 33554432000 4194304 4196468 140736257871632 140162991414656 140163127492826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 432.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164904 KiB
[startup+430.001 s]*
/proc/loadavg: 2.02 2.09 2.02 3/230 31601
/proc/meminfo: memFree=30691620/32770624 swapFree=66994864/67108860
[pid=31545] ppid=31542 vsize=10748324 memory=164904 CPUtime=432.59 cores=1,3,5,7
/proc/31545/stat : 31545 (java) S 31542 31545 29470 0 -1 1077944320 42627 0 0 0 43240 19 0 0 20 0 16 0 414839654 11006283776 41226 33554432000 4194304 4196468 140736257871632 140736257854176 140163524869879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
/proc/31545/statm: 2687081 41226 3350 1 0 2647217 0
[pid=31545/tid=31547] ppid=31542 vsize=10748324 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/31545/task/31547/stat : 31547 (java) S 31542 31545 29470 0 -1 1077944384 14562 0 0 0 178 7 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163529112752 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31548] ppid=31542 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31548/stat : 31548 (java) S 31542 31545 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163450944528 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31549] ppid=31542 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31549/stat : 31549 (java) S 31542 31545 29470 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163449891984 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31550] ppid=31542 vsize=10748324 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31550/stat : 31550 (java) S 31542 31545 29470 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163448838928 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31551] ppid=31542 vsize=10748324 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31551/stat : 31551 (java) S 31542 31545 29470 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414839655 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163447786384 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31552] ppid=31542 vsize=10748324 memory=820 CPUtime=0.01 cores=1,3,5,7
/proc/31545/task/31552/stat : 31552 (java) S 31542 31545 29470 0 -1 1077944384 1355 0 0 0 1 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163016505584 140163524881026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31553] ppid=31542 vsize=10748324 memory=164904 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31553/stat : 31553 (java) S 31542 31545 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163015451872 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31554] ppid=31542 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31554/stat : 31554 (java) S 31542 31545 29470 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414839657 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163014398720 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31555] ppid=31542 vsize=10748324 memory=808 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31555/stat : 31555 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163013347280 140163524888475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31556] ppid=31542 vsize=10748324 memory=1808 CPUtime=0.82 cores=1,3,5,7
/proc/31545/task/31556/stat : 31556 (java) S 31542 31545 29470 0 -1 1077944384 4398 0 0 0 81 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163012295408 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31557] ppid=31542 vsize=10748324 memory=920 CPUtime=0.94 cores=1,3,5,7
/proc/31545/task/31557/stat : 31557 (java) S 31542 31545 29470 0 -1 1077944384 5672 0 0 0 93 1 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163011242864 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31558] ppid=31542 vsize=10748324 memory=3848 CPUtime=0.64 cores=1,3,5,7
/proc/31545/task/31558/stat : 31558 (java) S 31542 31545 29470 0 -1 1077944384 5771 0 0 0 64 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163010189808 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31559] ppid=31542 vsize=10748324 memory=2932 CPUtime=0 cores=1,3,5,7
/proc/31545/task/31559/stat : 31559 (java) S 31542 31545 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163009137504 140163524880085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31560] ppid=31542 vsize=10748324 memory=3420 CPUtime=0.08 cores=1,3,5,7
/proc/31545/task/31560/stat : 31560 (java) S 31542 31545 29470 0 -1 1077944384 535 0 0 0 3 5 0 0 20 0 16 0 414839660 11006283776 41226 33554432000 4194304 4196468 140736257871632 140163008084528 140163524881026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
[pid=31545/tid=31561] ppid=31542 vsize=10748324 memory=4104 CPUtime=428.13 cores=1,3,5,7
/proc/31545/task/31561/stat : 31561 (java) R 31542 31545 29470 0 -1 4202560 8702 0 0 0 42811 2 0 0 20 0 16 0 414839841 11006283776 41226 33554432000 4194304 4196468 140736257871632 140162991414656 140163126659795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140736257877003 140736257877106 140736257877106 140736257880015 0
Current children cumulated CPU time: 432.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164904 KiB
Child status: 0
Real time (s): 430.05
CPU time (s): 432.688
CPU user time (s): 432.488
CPU system time (s): 0.200087
CPU usage (%): 100.614
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 164904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 432.488
system time used= 0.200087
maximum resident set size= 169644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12458
involuntary context switches= 139
# summary of solver processes directly reported to runsolver:
# pid: 31545
# total CPU time (s): 432.688
# total CPU user time (s): 432.488
# total CPU system time (s): 0.200087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.86696 second user time and 3.23598 second system time
The end