2.40/1.89
2.40/1.89 AbsCon 2
2.65/1.91
4.86/2.68 Instance
4.86/2.68 name=instance-4390740-1568382316, framework=CSP
4.86/2.68
4.86/2.68 Loading variables...
5.18/2.76 Loading constraints...
16.55/6.57
16.55/6.57 Domains
16.55/6.57 nTypes=1, nValues=59319, sizes=[39#1521]
16.55/6.57 Variables
16.55/6.57 count=1521, degrees=[38#1445,39#76]
16.55/6.57 Constraints
16.55/6.57 count=28937, nSpecific=13629, arities=[2#28937]
16.55/6.57 distribution=[CtrIntension#15308,EQ#38,NE#13591]
16.55/6.57 nIntStructures=(2,shared:15306), nCftStructures=(523,shared:13863,unbuilt:14551)
16.55/6.57 wck=4.7, cpu=6.305, mem=121M134
16.55/6.58 Solver SolverBacktrack being built...
16.55/6.58
16.91/6.65
16.91/6.65 Solver
16.91/6.65 guaranteedGAC=true
16.91/6.65 wck=4.791, cpu=6.393, mem=142M983
17.23/6.72
17.23/6.72 Preprocessing
17.23/6.72 filters=0, revisions=(1844,useless=1844), ccks=871087, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
17.23/6.72 wck=0.061, cpu=6.456, mem=142M983
17.23/6.72
18.23/7.12 num=0, depth=1397..1407, filters=29177, revisions=(43131,useless=28267), ccks=1787917, wck=0.461, mem=156M833
18.23/7.12 decisions=1437, wrong=20, backtracks=10, failedAssignments=10, nogoods=1
18.23/7.12
18.79/7.33 num=1, depth=913..924, filters=54926, revisions=(82459,useless=54286), ccks=1871049, wck=0.671, mem=156M833
18.79/7.33 decisions=2394, wrong=42, backtracks=21, failedAssignments=21, nogoods=2
18.79/7.33
19.02/7.49 num=2, depth=1320..1332, filters=83950, revisions=(124689,useless=81713), ccks=1923705, wck=0.838, mem=156M833
19.02/7.49 decisions=3762, wrong=66, backtracks=33, failedAssignments=33, nogoods=3
19.02/7.49
19.27/7.64 num=3, depth=901..911, filters=109536, revisions=(164045,useless=107868), ccks=2009485, wck=0.986, mem=156M833
19.27/7.64 decisions=4715, wrong=92, backtracks=47, failedAssignments=46, nogoods=4
19.27/7.64
19.57/7.81 num=4, depth=1301..1315, filters=138491, revisions=(206215,useless=135296), ccks=2116505, wck=1.159, mem=156M833
19.57/7.81 decisions=6072, wrong=120, backtracks=61, failedAssignments=60, nogoods=5
19.57/7.81
19.79/7.96 num=5, depth=901..912, filters=164191, revisions=(245869,useless=161658), ccks=2201572, wck=1.306, mem=163M811
19.79/7.96 decisions=7037, wrong=152, backtracks=79, failedAssignments=76, nogoods=6
19.79/7.96
20.02/8.11 num=6, depth=1360..1365, filters=193407, revisions=(289121,useless=189989), ccks=2285558, wck=1.459, mem=163M811
20.02/8.11 decisions=8466, wrong=186, backtracks=96, failedAssignments=93, nogoods=12
20.02/8.11
20.11/8.26 num=7, depth=1419..1438, filters=222789, revisions=(332366,useless=218284), ccks=2317297, wck=1.603, mem=163M811
20.11/8.26 decisions=9961, wrong=224, backtracks=115, failedAssignments=112, nogoods=13
20.11/8.26
20.32/8.40 num=8, depth=887..908, filters=247994, revisions=(372013,useless=245100), ccks=2405651, wck=1.744, mem=177M660
20.32/8.40 decisions=10932, wrong=266, backtracks=136, failedAssignments=133, nogoods=14
20.32/8.40
20.42/8.55 num=9, depth=1268..1291, filters=276879, revisions=(414108,useless=272454), ccks=2520418, wck=1.897, mem=177M660
20.42/8.55 decisions=12292, wrong=312, backtracks=159, failedAssignments=156, nogoods=15
20.42/8.55
20.52/8.69 num=10, depth=883..908, filters=302108, revisions=(453949,useless=299404), ccks=2613466, wck=2.038, mem=177M660
20.52/8.69 decisions=13275, wrong=362, backtracks=184, failedAssignments=181, nogoods=16
20.52/8.69
20.73/8.84 num=11, depth=1282..1310, filters=331157, revisions=(496987,useless=327658), ccks=2701785, wck=2.189, mem=177M660
20.73/8.84 decisions=14669, wrong=418, backtracks=212, failedAssignments=209, nogoods=17
20.73/8.84
20.83/9.00 num=12, depth=1332..1363, filters=360404, revisions=(540226,useless=355956), ccks=2797344, wck=2.342, mem=177M660
20.83/9.00 decisions=16125, wrong=480, backtracks=243, failedAssignments=240, nogoods=18
20.83/9.00
21.04/9.15 num=13, depth=1398..1419, filters=389923, revisions=(584416,useless=385149), ccks=2883281, wck=2.495, mem=177M660
21.04/9.15 decisions=17659, wrong=548, backtracks=282, failedAssignments=274, nogoods=21
21.04/9.15
21.13/9.29 num=14, depth=1279..1316, filters=419074, revisions=(628257,useless=414170), ccks=2907204, wck=2.639, mem=177M660
21.13/9.29 decisions=19086, wrong=622, backtracks=319, failedAssignments=311, nogoods=22
21.13/9.29
21.33/9.44 num=15, depth=1397..1419, filters=448661, revisions=(672520,useless=443404), ccks=2929469, wck=2.783, mem=177M660
21.33/9.44 decisions=20647, wrong=704, backtracks=366, failedAssignments=352, nogoods=25
21.33/9.44
21.43/9.59 num=16, depth=867..883, filters=475728, revisions=(717529,useless=474036), ccks=3049806, wck=2.932, mem=177M660
21.43/9.59 decisions=21694, wrong=794, backtracks=425, failedAssignments=397, nogoods=26
21.43/9.59
21.64/9.74 num=17, depth=1244..1294, filters=504801, revisions=(760337,useless=502076), ccks=3165594, wck=3.086, mem=177M660
21.64/9.74 decisions=23138, wrong=894, backtracks=475, failedAssignments=447, nogoods=27
21.64/9.74
21.74/9.90 num=18, depth=865..884, filters=532372, revisions=(806616,useless=533454), ccks=3313000, wck=3.241, mem=191M510
21.74/9.90 decisions=24223, wrong=1004, backtracks=547, failedAssignments=502, nogoods=29
21.74/9.90
21.95/10.05 num=19, depth=1270..1285, filters=561721, revisions=(849906,useless=561773), ccks=3404323, wck=3.392, mem=191M510
21.95/10.05 decisions=25738, wrong=1126, backtracks=609, failedAssignments=563, nogoods=32
21.95/10.05
22.14/10.20 num=20, depth=847..887, filters=588750, revisions=(895109,useless=592618), ccks=3547976, wck=3.545, mem=191M510
22.14/10.20 decisions=26853, wrong=1260, backtracks=677, failedAssignments=630, nogoods=38
22.14/10.20
22.24/10.35 num=21, depth=1089..1163, filters=617172, revisions=(938284,useless=621323), ccks=3638890, wck=3.693, mem=191M510
22.24/10.35 decisions=28238, wrong=1408, backtracks=751, failedAssignments=704, nogoods=39
22.24/10.35
22.35/10.49 num=22, depth=1153..1234, filters=646170, revisions=(981972,useless=650280), ccks=3681649, wck=3.836, mem=191M510
22.35/10.49 decisions=29715, wrong=1570, backtracks=832, failedAssignments=785, nogoods=40
22.35/10.49
22.55/10.64 num=23, depth=1332..1373, filters=676098, revisions=(1026850,useless=679890), ccks=3734905, wck=3.983, mem=191M510
22.55/10.64 decisions=31403, wrong=1748, backtracks=944, failedAssignments=874, nogoods=42
22.55/10.64
22.65/10.78 num=24, depth=1138..1236, filters=705205, revisions=(1070818,useless=708892), ccks=3776383, wck=4.126, mem=191M510
22.65/10.78 decisions=32933, wrong=1944, backtracks=1042, failedAssignments=972, nogoods=43
22.65/10.78
22.85/10.94 num=25, depth=1323..1422, filters=735245, revisions=(1116419,useless=739036), ccks=3867774, wck=4.28, mem=191M510
22.85/10.94 decisions=34688, wrong=2160, backtracks=1153, failedAssignments=1080, nogoods=46
22.85/10.94
22.96/11.10 num=26, depth=828..854, filters=764365, revisions=(1169790,useless=776439), ccks=4023947, wck=4.442, mem=191M510
22.96/11.10 decisions=35993, wrong=2398, backtracks=1277, failedAssignments=1199, nogoods=52
22.96/11.10
23.15/11.26 num=27, depth=1276..1289, filters=794575, revisions=(1213142,useless=804387), ccks=4178584, wck=4.601, mem=205M359
23.15/11.26 decisions=37793, wrong=2660, backtracks=1412, failedAssignments=1330, nogoods=56
23.15/11.26
23.35/11.40 num=28, depth=1368..1393, filters=825222, revisions=(1256953,useless=832409), ccks=4246964, wck=4.748, mem=205M359
23.35/11.40 decisions=39738, wrong=2948, backtracks=1567, failedAssignments=1474, nogoods=63
23.35/11.40
23.46/11.54 num=29, depth=1207..1262, filters=855279, revisions=(1300126,useless=860162), ccks=4285002, wck=4.889, mem=205M359
23.46/11.54 decisions=41577, wrong=3264, backtracks=1776, failedAssignments=1632, nogoods=64
23.46/11.54
23.56/11.69 num=30, depth=1251..1397, filters=885672, revisions=(1343016,useless=887727), ccks=4336460, wck=5.033, mem=205M359
23.56/11.69 decisions=43525, wrong=3612, backtracks=1963, failedAssignments=1806, nogoods=66
23.56/11.69
23.78/11.84 num=31, depth=1369..1428, filters=916802, revisions=(1388121,useless=916591), ccks=4421124, wck=5.186, mem=205M359
23.78/11.84 decisions=45658, wrong=3994, backtracks=2167, failedAssignments=1997, nogoods=70
23.78/11.84
23.88/12.00 num=32, depth=849..932, filters=950749, revisions=(1450150,useless=958935), ccks=4553338, wck=5.346, mem=205M359
23.88/12.00 decisions=47351, wrong=4416, backtracks=2430, failedAssignments=2208, nogoods=75
23.88/12.00
24.09/12.16 num=33, depth=1227..1329, filters=981730, revisions=(1495636,useless=988939), ccks=4670256, wck=5.503, mem=205M359
24.09/12.16 decisions=49506, wrong=4880, backtracks=2726, failedAssignments=2440, nogoods=77
24.09/12.16
24.29/12.31 num=34, depth=1322..1392, filters=1013430, revisions=(1541875,useless=1019855), ccks=4753747, wck=5.658, mem=205M359
24.29/12.31 decisions=51849, wrong=5390, backtracks=3027, failedAssignments=2695, nogoods=83
24.29/12.31
24.50/12.51 num=35, depth=765..873, filters=1055187, revisions=(1618562,useless=1069351), ccks=5067915, wck=5.859, mem=219M209
24.50/12.51 decisions=53738, wrong=5952, backtracks=3394, failedAssignments=2976, nogoods=84
24.50/12.51
24.60/12.66 num=36, depth=1042..1097, filters=1085875, revisions=(1664167,useless=1099496), ccks=5151180, wck=6.006, mem=219M209
24.60/12.66 decisions=56018, wrong=6570, backtracks=3736, failedAssignments=3285, nogoods=92
24.60/12.66
24.80/12.87 num=37, depth=707..768, filters=1122434, revisions=(1738206,useless=1152436), ccks=5481108, wck=6.21, mem=219M209
24.80/12.87 decisions=58086, wrong=7250, backtracks=4100, failedAssignments=3625, nogoods=99
24.80/12.87
25.01/13.02 num=38, depth=922..1185, filters=1153365, revisions=(1785250,useless=1183848), ccks=5596327, wck=6.367, mem=219M209
25.01/13.02 decisions=60504, wrong=7998, backtracks=4529, failedAssignments=3999, nogoods=100
25.01/13.02
25.11/13.18 num=39, depth=1197..1345, filters=1186330, revisions=(1834463,useless=1216381), ccks=5665630, wck=6.521, mem=219M209
25.11/13.18 decisions=63346, wrong=8820, backtracks=4948, failedAssignments=4410, nogoods=104
25.11/13.18
25.30/13.32 num=40, depth=888..982, filters=1217229, revisions=(1882716,useless=1248852), ccks=5708726, wck=6.664, mem=219M209
25.30/13.32 decisions=66042, wrong=9724, backtracks=5413, failedAssignments=4862, nogoods=109
25.30/13.32
25.40/13.47 num=41, depth=1198..1349, filters=1251104, revisions=(1932595,useless=1282408), ccks=5774014, wck=6.816, mem=233M58
25.40/13.47 decisions=69228, wrong=10718, backtracks=5997, failedAssignments=5359, nogoods=115
25.40/13.47
25.61/13.61 num=42, depth=724..915, filters=1281833, revisions=(1982617,useless=1315185), ccks=5835853, wck=6.96, mem=233M58
25.61/13.61 decisions=72142, wrong=11812, backtracks=6554, failedAssignments=5906, nogoods=120
25.61/13.61
25.71/13.78 num=43, depth=1355..1416, filters=1317841, revisions=(2037364,useless=1350803), ccks=5937060, wck=7.126, mem=233M58
25.71/13.78 decisions=75906, wrong=13016, backtracks=7185, failedAssignments=6508, nogoods=123
25.71/13.78
26.16/14.15 num=44, depth=564..783, filters=1388365, revisions=(2167841,useless=1431799), ccks=6907483, wck=7.498, mem=246M907
26.16/14.15 decisions=79118, wrong=14340, backtracks=8000, failedAssignments=7170, nogoods=129
26.16/14.15
26.35/14.32 num=45, depth=1077..1152, filters=1423989, revisions=(2222445,useless=1467275), ccks=7064571, wck=7.665, mem=246M907
26.35/14.32 decisions=83108, wrong=15796, backtracks=8770, failedAssignments=7898, nogoods=133
26.35/14.32
26.45/14.48 num=46, depth=1342..1416, filters=1462215, revisions=(2278982,useless=1503363), ccks=7142434, wck=7.825, mem=246M907
26.45/14.48 decisions=87656, wrong=17398, backtracks=9614, failedAssignments=8699, nogoods=140
26.45/14.48
26.65/14.64 num=47, depth=1012..1268, filters=1499824, revisions=(2334320,useless=1539489), ccks=7210857, wck=7.983, mem=246M907
26.65/14.64 decisions=92193, wrong=19160, backtracks=10520, failedAssignments=9580, nogoods=152
26.65/14.64
26.85/14.80 num=48, depth=1354..1422, filters=1540309, revisions=(2393324,useless=1578549), ccks=7316502, wck=8.15, mem=246M907
26.85/14.80 decisions=97429, wrong=21100, backtracks=11519, failedAssignments=10550, nogoods=157
26.85/14.80
26.95/14.96 num=49, depth=876..1021, filters=1578285, revisions=(2452054,useless=1616988), ccks=7384305, wck=8.305, mem=246M907
26.95/14.96 decisions=102574, wrong=23234, backtracks=12704, failedAssignments=11617, nogoods=165
26.95/14.96
27.55/15.57 num=50, depth=544..759, filters=1676792, revisions=(2664394,useless=1754893), ccks=9193100, wck=8.917, mem=288M456
27.55/15.57 decisions=107812, wrong=25580, backtracks=13927, failedAssignments=12790, nogoods=169
27.55/15.57
27.75/15.75 num=51, depth=808..916, filters=1716723, revisions=(2726792,useless=1796787), ccks=9413077, wck=9.097, mem=288M456
27.75/15.75 decisions=113785, wrong=28162, backtracks=15273, failedAssignments=14081, nogoods=176
27.75/15.75
27.95/15.92 num=52, depth=1268..1338, filters=1762212, revisions=(2793284,useless=1839913), ccks=9510154, wck=9.27, mem=288M456
27.95/15.92 decisions=120734, wrong=31002, backtracks=16721, failedAssignments=15501, nogoods=183
27.95/15.92
28.06/16.10 num=53, depth=1305..1406, filters=1809660, revisions=(2863239,useless=1884217), ccks=9579454, wck=9.442, mem=288M456
28.06/16.10 decisions=128290, wrong=34126, backtracks=18333, failedAssignments=17063, nogoods=189
28.06/16.10
28.25/16.27 num=54, depth=1333..1418, filters=1858824, revisions=(2935806,useless=1929956), ccks=9661109, wck=9.618, mem=288M456
28.25/16.27 decisions=136497, wrong=37562, backtracks=20126, failedAssignments=18781, nogoods=198
28.25/16.27
28.45/16.46 num=55, depth=1386..1423, filters=1911630, revisions=(3006390,useless=1977026), ccks=9782732, wck=9.804, mem=288M456
28.45/16.46 decisions=145444, wrong=41342, backtracks=22059, failedAssignments=20671, nogoods=203
28.45/16.46
28.69/16.64 num=56, depth=1197..1336, filters=1964747, revisions=(3078971,useless=2025213), ccks=9862558, wck=9.984, mem=288M456
28.69/16.64 decisions=154958, wrong=45500, backtracks=24261, failedAssignments=22750, nogoods=216
28.69/16.64
29.73/17.66 num=57, depth=530..807, filters=2122697, revisions=(3454738,useless=2279531), ccks=13191073, wck=11.006, mem=343M853
29.73/17.66 decisions=164637, wrong=50074, backtracks=26756, failedAssignments=25037, nogoods=222
29.73/17.66
29.93/17.85 num=58, depth=1140..1393, filters=2179860, revisions=(3532801,useless=2330776), ccks=13363940, wck=11.199, mem=343M853
29.93/17.85 decisions=175843, wrong=55106, backtracks=29437, failedAssignments=27553, nogoods=228
29.93/17.85
30.14/18.04 num=59, depth=1144..1311, filters=2240957, revisions=(3615408,useless=2385097), ccks=13488723, wck=11.386, mem=343M853
30.14/18.04 decisions=188060, wrong=60642, backtracks=32260, failedAssignments=30321, nogoods=238
30.14/18.04
30.33/18.24 num=60, depth=1065..1211, filters=2304480, revisions=(3706407,useless=2443287), ccks=13653848, wck=11.585, mem=357M703
30.33/18.24 decisions=201301, wrong=66730, backtracks=35377, failedAssignments=33365, nogoods=245
30.33/18.24
30.53/18.44 num=61, depth=1010..1110, filters=2372183, revisions=(3810800,useless=2505820), ccks=13812068, wck=11.786, mem=357M703
30.53/18.44 decisions=215708, wrong=73428, backtracks=38789, failedAssignments=36714, nogoods=253
30.53/18.44
30.73/18.65 num=62, depth=1224..1313, filters=2447093, revisions=(3919122,useless=2572350), ccks=13963285, wck=11.992, mem=357M703
30.73/18.65 decisions=231669, wrong=80796, backtracks=42600, failedAssignments=40398, nogoods=262
30.73/18.65
30.93/18.86 num=63, depth=1328..1436, filters=2524080, revisions=(4015652,useless=2638518), ccks=14114105, wck=12.201, mem=357M703
30.93/18.86 decisions=249206, wrong=88900, backtracks=46774, failedAssignments=44450, nogoods=269
30.93/18.86
32.93/20.82 num=64, depth=539..797, filters=2837594, revisions=(4710581,useless=3105743), ccks=20626818, wck=14.161, mem=468M498
32.93/20.82 decisions=267575, wrong=97814, backtracks=51357, failedAssignments=48907, nogoods=280
32.93/20.82
33.14/21.06 num=65, depth=1042..1227, filters=2924924, revisions=(4834746,useless=3176760), ccks=20906173, wck=14.407, mem=468M498
33.14/21.06 decisions=288232, wrong=107620, backtracks=56420, failedAssignments=53810, nogoods=289
33.14/21.06
33.44/21.30 num=66, depth=1159..1339, filters=3021693, revisions=(4963889,useless=3252097), ccks=21096951, wck=14.647, mem=468M498
33.44/21.30 decisions=310971, wrong=118408, backtracks=61947, failedAssignments=59204, nogoods=303
33.44/21.30
33.64/21.54 num=67, depth=1216..1356, filters=3121622, revisions=(5086473,useless=3335096), ccks=21238145, wck=14.881, mem=482M347
33.64/21.54 decisions=335920, wrong=130274, backtracks=68013, failedAssignments=65137, nogoods=312
33.64/21.54
33.84/21.78 num=68, depth=1348..1381, filters=3232710, revisions=(5218149,useless=3416648), ccks=21408313, wck=15.127, mem=482M347
33.84/21.78 decisions=363374, wrong=143326, backtracks=74714, failedAssignments=71663, nogoods=323
33.84/21.78
34.15/22.05 num=69, depth=1284..1348, filters=3353392, revisions=(5398879,useless=3521497), ccks=21657521, wck=15.397, mem=482M347
34.15/22.05 decisions=393378, wrong=157684, backtracks=82055, failedAssignments=78842, nogoods=329
34.15/22.05
34.45/22.32 num=70, depth=1293..1391, filters=3482520, revisions=(5555893,useless=3626714), ccks=21874685, wck=15.668, mem=482M347
34.45/22.32 decisions=426261, wrong=173478, backtracks=90121, failedAssignments=86739, nogoods=333
34.45/22.32
38.16/26.07 num=71, depth=493..680, filters=4054740, revisions=(6851591,useless=4495778), ccks=34586251, wck=19.419, mem=690M88
38.16/26.07 decisions=461504, wrong=190852, backtracks=98996, failedAssignments=95426, nogoods=347
38.16/26.07
38.55/26.41 num=72, depth=1372..1400, filters=4213312, revisions=(7041742,useless=4606931), ccks=35019747, wck=19.754, mem=690M88
38.55/26.41 decisions=501098, wrong=209962, backtracks=108795, failedAssignments=104981, nogoods=360
38.55/26.41
38.85/26.75 num=73, depth=770..1203, filters=4371455, revisions=(7247327,useless=4737097), ccks=35373691, wck=20.097, mem=703M937
38.85/26.75 decisions=543914, wrong=230984, backtracks=119692, failedAssignments=115492, nogoods=363
38.85/26.75
39.16/27.10 num=74, depth=1134..1307, filters=4549131, revisions=(7498606,useless=4886714), ccks=35695282, wck=20.441, mem=703M937
39.16/27.10 decisions=591299, wrong=254108, backtracks=131581, failedAssignments=127054, nogoods=376
39.16/27.10
39.55/27.44 num=75, depth=1212..1321, filters=4738243, revisions=(7710800,useless=5017600), ccks=35957827, wck=20.786, mem=717M787
39.55/27.44 decisions=643384, wrong=279544, backtracks=144643, failedAssignments=139772, nogoods=390
39.55/27.44
39.95/27.81 num=76, depth=1155..1362, filters=4943261, revisions=(7947893,useless=5158844), ccks=36267676, wck=21.158, mem=717M787
39.95/27.81 decisions=700500, wrong=307524, backtracks=158956, failedAssignments=153762, nogoods=399
39.95/27.81
40.35/28.23 num=77, depth=711..1125, filters=5162340, revisions=(8221703,useless=5334756), ccks=36612071, wck=21.57, mem=717M787
40.35/28.23 decisions=762769, wrong=338302, backtracks=174724, failedAssignments=169151, nogoods=410
40.35/28.23
40.76/28.65 num=78, depth=1317..1388, filters=5417904, revisions=(8492957,useless=5500822), ccks=36978313, wck=21.997, mem=731M636
40.76/28.65 decisions=831802, wrong=372158, backtracks=192095, failedAssignments=186079, nogoods=418
40.76/28.65
41.26/29.14 num=79, depth=1274..1353, filters=5700872, revisions=(8891765,useless=5732634), ccks=37517872, wck=22.483, mem=745M485
41.26/29.14 decisions=907564, wrong=409400, backtracks=211283, failedAssignments=204700, nogoods=431
41.26/29.14
41.76/29.62 num=80, depth=1344..1403, filters=6007510, revisions=(9250499,useless=5967530), ccks=37981492, wck=22.964, mem=745M485
41.76/29.62 decisions=990847, wrong=450368, backtracks=232267, failedAssignments=225184, nogoods=449
41.76/29.62
58.69/46.38 num=81, depth=470..635, filters=7764412, revisions=(13741964,useless=9003768), ccks=100863067, wck=39.725, mem=351M538
58.69/46.38 decisions=1081448, wrong=495432, backtracks=255422, failedAssignments=247716, nogoods=470
58.69/46.38
59.29/46.96 num=82, depth=936..1262, filters=8117721, revisions=(14122380,useless=9267328), ccks=101472340, wck=40.303, mem=371M525
59.29/46.96 decisions=1181527, wrong=545002, backtracks=280924, failedAssignments=272501, nogoods=486
59.29/46.96
59.89/47.57 num=83, depth=1090..1293, filters=8504876, revisions=(14585744,useless=9564400), ccks=102025251, wck=40.908, mem=371M525
59.89/47.57 decisions=1291677, wrong=599530, backtracks=308903, failedAssignments=299765, nogoods=495
59.89/47.57
60.59/48.25 num=84, depth=1245..1335, filters=8942401, revisions=(15221335,useless=9919399), ccks=102909699, wck=41.591, mem=391M512
60.59/48.25 decisions=1412886, wrong=659510, backtracks=339715, failedAssignments=329755, nogoods=509
60.59/48.25
61.29/48.95 num=85, depth=1350..1421, filters=9419017, revisions=(15844795,useless=10292673), ccks=103721304, wck=42.293, mem=411M499
61.29/48.95 decisions=1546197, wrong=725488, backtracks=373619, failedAssignments=362744, nogoods=514
61.29/48.95
62.09/49.74 num=86, depth=1277..1377, filters=9949221, revisions=(16545116,useless=10710043), ccks=104656390, wck=43.085, mem=431M486
62.09/49.74 decisions=1692629, wrong=798064, backtracks=410965, failedAssignments=399032, nogoods=534
62.09/49.74
62.89/50.52 num=87, depth=1172..1290, filters=10510106, revisions=(17165162,useless=11124153), ccks=105391653, wck=43.863, mem=431M486
62.89/50.52 decisions=1853472, wrong=877898, backtracks=451976, failedAssignments=438949, nogoods=544
62.89/50.52
63.69/51.33 num=88, depth=1282..1418, filters=11118467, revisions=(17790785,useless=11564008), ccks=106106572, wck=44.678, mem=451M473
63.69/51.33 decisions=2030392, wrong=965716, backtracks=497043, failedAssignments=482858, nogoods=554
63.69/51.33
64.69/52.37 num=89, depth=1377..1437, filters=11832646, revisions=(18785554,useless=12126512), ccks=107522957, wck=45.715, mem=471M460
64.69/52.37 decisions=2224973, wrong=1062316, backtracks=546837, failedAssignments=531158, nogoods=568
64.69/52.37
97.24/84.83 num=90, depth=485..1067, filters=16072340, revisions=(28036544,useless=17974461), ccks=224380682, wck=78.174, mem=311M408
97.24/84.83 decisions=2437983, wrong=1168576, backtracks=601624, failedAssignments=584288, nogoods=576
97.24/84.83
98.45/86.05 num=91, depth=1187..1292, filters=16902465, revisions=(29134283,useless=18619571), ccks=226061843, wck=79.396, mem=338M808
98.45/86.05 decisions=2672945, wrong=1285462, backtracks=661480, failedAssignments=642731, nogoods=588
98.45/86.05
99.74/87.36 num=92, depth=819..1067, filters=17794522, revisions=(30219742,useless=19300230), ccks=227424159, wck=80.707, mem=366M209
99.74/87.36 decisions=2930914, wrong=1414036, backtracks=727614, failedAssignments=707018, nogoods=596
99.74/87.36
101.24/88.87 num=93, depth=1192..1312, filters=18815105, revisions=(31511071,useless=19965502), ccks=229403968, wck=82.21, mem=393M610
101.24/88.87 decisions=3214975, wrong=1555468, backtracks=800445, failedAssignments=777734, nogoods=616
101.24/88.87
102.74/90.34 num=94, depth=1326..1425, filters=19910066, revisions=(32896281,useless=20803690), ccks=231192247, wck=83.687, mem=448M411
102.74/90.34 decisions=3527452, wrong=1711042, backtracks=880332, failedAssignments=855521, nogoods=631
102.74/90.34
104.45/92.04 num=95, depth=1337..1413, filters=21164577, revisions=(34347796,useless=21584969), ccks=233359602, wck=85.388, mem=475M812
104.45/92.04 decisions=3871057, wrong=1882174, backtracks=968405, failedAssignments=941087, nogoods=647
104.45/92.04
106.45/94.03 num=96, depth=1219..1319, filters=22524444, revisions=(36146915,useless=22482339), ccks=236152547, wck=87.374, mem=530M613
106.45/94.03 decisions=4248772, wrong=2070420, backtracks=1065496, failedAssignments=1035210, nogoods=657
106.45/94.03
108.45/96.01 num=97, depth=1357..1420, filters=23973815, revisions=(38155958,useless=23627042), ccks=238909785, wck=89.359, mem=585M415
108.45/96.01 decisions=4664273, wrong=2277490, backtracks=1171837, failedAssignments=1138745, nogoods=665
108.45/96.01
110.45/98.04 num=98, depth=1399..1426, filters=25622357, revisions=(39937328,useless=24815483), ccks=241095997, wck=91.38, mem=612M815
110.45/98.04 decisions=5121232, wrong=2505268, backtracks=1289440, failedAssignments=1252634, nogoods=685
110.45/98.04
112.65/100.27 num=99, depth=1322..1432, filters=27421311, revisions=(41658253,useless=25853073), ccks=243427674, wck=93.617, mem=667M617
112.65/100.27 decisions=5623669, wrong=2755824, backtracks=1418470, failedAssignments=1377912, nogoods=705
112.65/100.27
201.98/189.56 num=100, depth=419..693, filters=38773603, revisions=(64951941,useless=40260918), ccks=568650353, wck=182.903, mem=1303M765
201.98/189.56 decisions=6175314, wrong=3031436, backtracks=1560191, failedAssignments=1515718, nogoods=716
201.98/189.56
204.88/192.43 num=101, depth=1230..1304, filters=40957329, revisions=(67580665,useless=41882009), ccks=572281839, wck=185.78, mem=1337M400
204.88/192.43 decisions=6782893, wrong=3334608, backtracks=1716330, failedAssignments=1667304, nogoods=727
204.88/192.43
207.98/195.54 num=102, depth=1335..1393, filters=43367757, revisions=(70704773,useless=43724704), ccks=576486291, wck=188.89, mem=1438M305
207.98/195.54 decisions=7451212, wrong=3668098, backtracks=1888115, failedAssignments=1834049, nogoods=740
207.98/195.54
211.68/199.29 num=103, depth=1181..1301, filters=45909223, revisions=(74102995,useless=45411944), ccks=581743956, wck=192.638, mem=1505M575
211.68/199.29 decisions=8186073, wrong=4034936, backtracks=2076833, failedAssignments=2017468, nogoods=754
211.68/199.29
215.28/202.85 num=104, depth=1209..1387, filters=48701854, revisions=(76835376,useless=47053815), ccks=585492583, wck=196.193, mem=1606M480
215.28/202.85 decisions=8994330, wrong=4438458, backtracks=2284053, failedAssignments=2219229, nogoods=772
215.28/202.85
219.28/206.89 num=105, depth=1275..1398, filters=51786777, revisions=(80705655,useless=49402047), ccks=590582724, wck=200.232, mem=1673M750
219.28/206.89 decisions=9883360, wrong=4882334, backtracks=2512192, failedAssignments=2441167, nogoods=788
219.28/206.89
223.99/211.56 num=106, depth=1326..1416, filters=55332099, revisions=(85431260,useless=52137823), ccks=597092017, wck=204.904, mem=125M494
223.99/211.56 decisions=10861214, wrong=5370596, backtracks=2763848, failedAssignments=2685298, nogoods=805
223.99/211.56
229.19/216.71 num=107, depth=1357..1412, filters=59351636, revisions=(90634369,useless=55200579), ccks=604203497, wck=210.057, mem=254M157
229.19/216.71 decisions=11936754, wrong=5907686, backtracks=3041430, failedAssignments=2953843, nogoods=825
229.19/216.71
234.51/222.04 num=108, depth=1411..1440, filters=63696700, revisions=(95229298,useless=57771058), ccks=610984724, wck=215.38, mem=382M820
234.51/222.04 decisions=13119766, wrong=6498484, backtracks=3345902, failedAssignments=3249242, nogoods=835
234.51/222.04
327.63/315.01 num=109, depth=425..1441, filters=76500943, revisions=(120088284,useless=73500340), ccks=949131531, wck=308.359, mem=1079M663
327.63/315.01 decisions=14420942, wrong=7148362, backtracks=3680653, failedAssignments=3574181, nogoods=849
327.63/315.01
334.82/322.26 num=110, depth=1052..1254, filters=81708910, revisions=(127217265,useless=77567992), ccks=959282619, wck=315.609, mem=1248M693
334.82/322.26 decisions=15851732, wrong=7863228, backtracks=4050132, failedAssignments=3931614, nogoods=867
334.82/322.26
342.92/330.33 num=111, depth=1183..1343, filters=87358175, revisions=(135850613,useless=82156115), ccks=971917784, wck=323.673, mem=1474M66
342.92/330.33 decisions=17425622, wrong=8649580, backtracks=4454985, failedAssignments=4324790, nogoods=878
342.92/330.33
350.93/338.33 num=112, depth=1133..1361, filters=93609404, revisions=(142380222,useless=85858440), ccks=981316395, wck=331.672, mem=255M689
350.93/338.33 decisions=19156735, wrong=9514568, backtracks=4900869, failedAssignments=4757284, nogoods=893
350.93/338.33
359.43/346.88 num=113, depth=1224..1371, filters=100373774, revisions=(150630401,useless=90939757), ccks=992033724, wck=340.226, mem=444M458
359.43/346.88 decisions=21060940, wrong=10466056, backtracks=5391462, failedAssignments=5233028, nogoods=904
359.43/346.88
369.53/356.95 num=114, depth=1097..1310, filters=107910176, revisions=(160252153,useless=96658360), ccks=1004917946, wck=350.293, mem=660M195
369.53/356.95 decisions=23155315, wrong=11512692, backtracks=5931637, failedAssignments=5756346, nogoods=911
369.53/356.95
380.54/367.99 num=115, depth=1269..1411, filters=116349719, revisions=(170757152,useless=102489101), ccks=1020207561, wck=361.334, mem=956M839
380.54/367.99 decisions=25459190, wrong=12663992, backtracks=6526326, failedAssignments=6331996, nogoods=932
380.54/367.99
392.84/380.22 num=116, depth=1399..1441, filters=126015086, revisions=(183464412,useless=109879810), ccks=1037887237, wck=373.568, mem=1255M884
392.84/380.22 decisions=27993455, wrong=13930422, backtracks=7182482, failedAssignments=6965211, nogoods=949
392.84/380.22
425.46/412.86 num=117, depth=461..1441, filters=138524957, revisions=(200840960,useless=120757883), ccks=1131123517, wck=406.201, mem=118M969
425.46/412.86 decisions=30781004, wrong=15323494, backtracks=7902276, failedAssignments=7661747, nogoods=967
425.46/412.86
439.98/427.39 num=118, depth=801..1263, filters=149458207, revisions=(213393135,useless=128771337), ccks=1146946390, wck=420.739, mem=415M543
439.98/427.39 decisions=33846569, wrong=16855874, backtracks=8692018, failedAssignments=8427937, nogoods=978
439.98/427.39
456.19/443.56 num=119, depth=1142..1305, filters=161587784, revisions=(227816039,useless=136309396), ccks=1168651556, wck=436.908, mem=810M975
456.19/443.56 decisions=37218949, wrong=18541492, backtracks=9561316, failedAssignments=9270746, nogoods=1002
456.19/443.56
471.49/458.86 num=120, depth=455..1432, filters=175530741, revisions=(239025781,useless=143708897), ccks=1183001038, wck=452.201, mem=1082M834
471.49/458.86 decisions=40928647, wrong=20395672, backtracks=10519602, failedAssignments=10197836, nogoods=1020
471.49/458.86
501.81/489.11 num=121, depth=378..1374, filters=192036345, revisions=(260803265,useless=156795404), ccks=1251208358, wck=482.455, mem=970M794
501.81/489.11 decisions=45009118, wrong=22435270, backtracks=11573788, failedAssignments=11217635, nogoods=1042
501.81/489.11
523.02/510.30 num=122, depth=1159..1347, filters=208596404, revisions=(278768076,useless=166689489), ccks=1277759523, wck=503.642, mem=276M325
523.02/510.30 decisions=49497398, wrong=24678828, backtracks=12734276, failedAssignments=12339414, nogoods=1051
523.02/510.30
546.13/533.41 num=123, depth=1280..1431, filters=226923069, revisions=(302183590,useless=180530540), ccks=1308877525, wck=526.751, mem=821M64
546.13/533.41 decisions=54434511, wrong=27146742, backtracks=14009060, failedAssignments=13573371, nogoods=1065
546.13/533.41
579.44/566.76 num=124, depth=360..1429, filters=248397130, revisions=(325875958,useless=193837748), ccks=1372146880, wck=560.105, mem=769M324
579.44/566.76 decisions=59865287, wrong=29861448, backtracks=15413750, failedAssignments=14930724, nogoods=1078
579.44/566.76
773.47/760.65 num=125, depth=328..1427, filters=286788641, revisions=(386623255,useless=230011845), ccks=2046598955, wck=753.993, mem=276M212
773.47/760.65 decisions=65838738, wrong=32847624, backtracks=16954226, failedAssignments=16423812, nogoods=1100
773.47/760.65
806.58/793.77 num=126, depth=1174..1349, filters=311341184, revisions=(420695731,useless=249183218), ccks=2094645142, wck=787.119, mem=481M781
806.58/793.77 decisions=72409502, wrong=36132418, backtracks=18654379, failedAssignments=18066209, nogoods=1120
806.58/793.77
843.31/830.40 num=127, depth=1146..1356, filters=338314232, revisions=(459454887,useless=270524719), ccks=2149935414, wck=823.746, mem=234M290
843.31/830.40 decisions=79637200, wrong=39745692, backtracks=20524104, failedAssignments=19872846, nogoods=1133
843.31/830.40
879.74/866.82 num=128, depth=1042..1267, filters=367946489, revisions=(491659989,useless=291700338), ccks=2189278254, wck=860.16, mem=374M864
879.74/866.82 decisions=87587450, wrong=43720294, backtracks=22581991, failedAssignments=21860147, nogoods=1141
879.74/866.82
926.86/913.96 num=129, depth=858..1277, filters=400739442, revisions=(538333870,useless=317681355), ccks=2256148462, wck=907.3, mem=459M621
926.86/913.96 decisions=96332438, wrong=48092356, backtracks=24847374, failedAssignments=24046178, nogoods=1159
926.86/913.96
972.20/959.24 num=130, depth=1355..1426, filters=437165687, revisions=(578185754,useless=339216646), ccks=2316313094, wck=952.584, mem=512M743
972.20/959.24 decisions=105952334, wrong=52901624, backtracks=27335713, failedAssignments=26450812, nogoods=1180
972.20/959.24
1023.93/1010.99 num=131, depth=381..1359, filters=475565138, revisions=(628532236,useless=368692884), ccks=2386867850, wck=1004.334, mem=358M683
1023.93/1010.99 decisions=116533862, wrong=58191818, backtracks=30066353, failedAssignments=29095909, nogoods=1203
1023.93/1010.99
1080.27/1067.21 num=132, depth=1164..1337, filters=520296762, revisions=(682615757,useless=401886141), ccks=2458698514, wck=1060.552, mem=374M5
1080.27/1067.21 decisions=128173461, wrong=64011032, backtracks=33086377, failedAssignments=32005516, nogoods=1226
1080.27/1067.21
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 (14424 MiB free)
memory of node 1: 16384 MiB (14960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390740-1568382316/watcher-4390740-1568382316 -o /tmp/evaluation-result-4390740-1568382316/solver-4390740-1568382316 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568380474-13011 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390740-1568382316.xml -cm
running on 4 cores: 0,2,4,6
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=13382, runsolver pid=13379
Current StackSize limit: 8192 KiB
[startup+0.105352 s]*
/proc/loadavg: 4.15 2.78 1.93 6/232 13397
/proc/meminfo: memFree=30074592/32770624 swapFree=66916480/67108860
[pid=13382] ppid=13379 vsize=10659884 memory=29964 CPUtime=0.16 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 6035 0 0 0 14 2 0 0 20 0 15 0 414482148 10915721216 7491 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2664971 7491 2891 1 0 2627468 0
[pid=13382/tid=13384] ppid=13379 vsize=10659884 memory=-8125511277465472890 CPUtime=0.1 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) R 13379 13382 12980 0 -1 4202560 3270 0 0 0 9 1 0 0 20 0 15 0 414482148 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187573298064 140187552054176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187059340576 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187058288240 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) R 13379 13382 12980 0 -1 4202560 501 0 0 0 1 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187056164424 140187550590880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) R 13379 13382 12980 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0.03 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) R 13379 13382 12980 0 -1 4202560 713 0 0 0 3 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187054075128 140187553150302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 7491 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29964 KiB
[startup+0.210984 s]*
/proc/loadavg: 4.15 2.78 1.93 3/232 13397
/proc/meminfo: memFree=30067724/32770624 swapFree=66916480/67108860
[pid=13382] ppid=13379 vsize=10659884 memory=35464 CPUtime=0.33 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 6943 0 0 0 31 2 0 0 20 0 15 0 414482148 10915721216 8866 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2664971 8866 2989 1 0 2627468 0
[pid=13382/tid=13384] ppid=13379 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) R 13379 13382 12980 0 -1 4202560 3884 0 0 0 19 1 0 0 20 0 15 0 414482148 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187573301904 140187569091741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10659884 memory=140198354580851 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187059340576 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187058288240 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 692 0 0 0 3 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0.05 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 740 0 0 0 5 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 8866 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35464 KiB
[startup+0.310601 s]*
/proc/loadavg: 4.15 2.78 1.93 3/232 13397
/proc/meminfo: memFree=30060268/32770624 swapFree=66916480/67108860
[pid=13382] ppid=13379 vsize=10659884 memory=40532 CPUtime=0.47 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 9457 0 0 0 44 3 0 0 20 0 15 0 414482148 10915721216 10133 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2664971 10133 3001 1 0 2627468 0
[pid=13382/tid=13384] ppid=13379 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) R 13379 13382 12980 0 -1 4202560 6327 0 0 0 28 2 0 0 20 0 15 0 414482148 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187573290704 140187553150302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10659884 memory=4294980864 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10659884 memory=140198354583257 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482149 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187059340576 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414482151 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187058288240 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 700 0 0 0 4 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0.07 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) R 13379 13382 12980 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187054078320 140187569091162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10659884 memory=140198351451776 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482154 10915721216 10148 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40532 KiB
[startup+0.700792 s]
/proc/loadavg: 4.15 2.78 1.93 3/232 13397
/proc/meminfo: memFree=30050628/32770624 swapFree=66916480/67108860
[pid=13382] ppid=13379 vsize=10661932 memory=61340 CPUtime=1.11 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 13002 0 0 0 106 5 0 0 20 0 15 0 414482148 10917818368 15335 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2665483 15335 3062 1 0 2627980 0
[pid=13382/tid=13384] ppid=13379 vsize=10661932 memory=197703518668716 CPUtime=0.68 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) R 13379 13382 12980 0 -1 4202560 8850 0 0 0 64 4 0 0 20 0 15 0 414482148 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187573301840 140187554764784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10661932 memory=3090382 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482149 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482151 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414482151 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187059340576 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414482151 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187058288240 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10661932 memory=6944652177228980320 CPUtime=0.12 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 1009 0 0 0 12 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10661932 memory=6944656592387989600 CPUtime=0.09 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 640 0 0 0 9 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 1144 0 0 0 19 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10661932 memory=20048 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482154 10917818368 15335 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61340 KiB
[startup+1.50079 s]
/proc/loadavg: 4.15 2.78 1.93 3/232 13397
/proc/meminfo: memFree=30035408/32770624 swapFree=66916480/67108860
[pid=13382] ppid=13379 vsize=10663980 memory=75892 CPUtime=2.02 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 18599 0 0 0 195 7 0 0 20 0 15 0 414482148 10919915520 18973 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2665995 18973 3098 1 0 2628492 0
[pid=13382/tid=13384] ppid=13379 vsize=10663980 memory=13796 CPUtime=1.48 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) R 13379 13382 12980 0 -1 4202560 13122 0 0 0 143 5 0 0 20 0 15 0 414482148 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187573302176 140187550633367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414482149 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414482149 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414482151 10919915520 18973 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
################
# More data... #
################
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 16492 0 0 0 141 13 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.08 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 17147 0 0 0 100 8 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187059340640 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187058288256 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10748324 memory=1569708 CPUtime=5.51 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 12538 0 0 0 549 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10748324 memory=3628 CPUtime=5.26 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 10307 0 0 0 524 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.06 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 13882 0 0 0 104 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0.66 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 2520 0 0 0 27 39 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13398] ppid=13379 vsize=10748324 memory=1569708 CPUtime=2437.11 cores=0,2,4,6
/proc/13382/task/13398/stat : 13398 (java) R 13379 13382 12980 0 -1 4202560 55743 0 0 0 243681 30 0 0 20 0 16 0 414482338 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187035311456 140187216153216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 2458.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1569708 KiB
[startup+2502.3 s]
/proc/loadavg: 1.72 1.73 1.77 3/233 13735
/proc/meminfo: memFree=28572820/32770624 swapFree=66916500/67108860
[pid=13382] ppid=13379 vsize=10748324 memory=1569708 CPUtime=2519.04 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 182808 0 0 0 251777 127 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2687081 392427 3390 1 0 2647217 0
[pid=13382/tid=13384] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.87 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) S 13379 13382 12980 0 -1 1077944384 15396 0 0 0 181 6 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187573312688 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.63 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 10964 0 0 0 152 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 16571 0 0 0 149 12 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10748324 memory=2241 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 8818 0 0 0 150 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10748324 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 16716 0 0 0 146 13 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.13 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 17521 0 0 0 104 9 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187059340640 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187058288256 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10748324 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10748324 memory=38444 CPUtime=5.51 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 12542 0 0 0 549 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10748324 memory=992 CPUtime=5.26 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 10311 0 0 0 524 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10748324 memory=2044 CPUtime=1.06 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 13886 0 0 0 104 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10748324 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10748324 memory=38444 CPUtime=0.68 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 2550 0 0 0 28 40 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13398] ppid=13379 vsize=10748324 memory=1569708 CPUtime=2496.98 cores=0,2,4,6
/proc/13382/task/13398/stat : 13398 (java) R 13379 13382 12980 0 -1 4202560 56103 0 0 0 249668 30 0 0 20 0 16 0 414482338 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187035311456 140187216153285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 2519.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1569708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.3 s]
/proc/loadavg: 1.74 1.73 1.77 3/233 13735
/proc/meminfo: memFree=28572944/32770624 swapFree=66916500/67108860
[pid=13382] ppid=13379 vsize=10748324 memory=1569708 CPUtime=2520.05 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 182809 0 0 0 251878 127 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2687081 392427 3390 1 0 2647217 0
[pid=13382/tid=13384] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.87 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) S 13379 13382 12980 0 -1 1077944384 15396 0 0 0 181 6 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187573312688 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.63 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 10964 0 0 0 152 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 16571 0 0 0 149 12 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 8818 0 0 0 150 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.6 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 16716 0 0 0 147 13 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.13 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 17521 0 0 0 104 9 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187059340640 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187058288256 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10748324 memory=3628 CPUtime=5.51 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 12542 0 0 0 549 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10748324 memory=38444 CPUtime=5.26 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 10311 0 0 0 524 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10748324 memory=992 CPUtime=1.06 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 13886 0 0 0 104 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10748324 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10748324 memory=3628 CPUtime=0.68 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 2550 0 0 0 28 40 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13398] ppid=13379 vsize=10748324 memory=38444 CPUtime=2497.98 cores=0,2,4,6
/proc/13382/task/13398/stat : 13398 (java) R 13379 13382 12980 0 -1 4202560 56104 0 0 0 249768 30 0 0 20 0 16 0 414482338 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187035311456 140187216153216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1569708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.32 s]
# the end of solver process 13382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.79 s, system=1.28945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2503.3 s]
/proc/loadavg: 1.74 1.73 1.77 3/233 13735
/proc/meminfo: memFree=28572944/32770624 swapFree=66916500/67108860
[pid=13382] ppid=13379 vsize=10748324 memory=1569708 CPUtime=2520.05 cores=0,2,4,6
/proc/13382/stat : 13382 (java) S 13379 13382 12980 0 -1 1077944320 182809 0 0 0 251878 127 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140729901253536 140187569069815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
/proc/13382/statm: 2687081 392427 3390 1 0 2647217 0
[pid=13382/tid=13384] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.87 cores=0,2,4,6
/proc/13382/task/13384/stat : 13384 (java) S 13379 13382 12980 0 -1 1077944384 15396 0 0 0 181 6 0 0 20 0 16 0 414482148 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187573312688 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13385] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.63 cores=0,2,4,6
/proc/13382/task/13385/stat : 13385 (java) S 13379 13382 12980 0 -1 1077944384 10964 0 0 0 152 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187175410064 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13386] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13386/stat : 13386 (java) S 13379 13382 12980 0 -1 1077944384 16571 0 0 0 149 12 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187174357264 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13387] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.61 cores=0,2,4,6
/proc/13382/task/13387/stat : 13387 (java) S 13379 13382 12980 0 -1 1077944384 8818 0 0 0 150 11 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187173304976 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13388] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.6 cores=0,2,4,6
/proc/13382/task/13388/stat : 13388 (java) S 13379 13382 12980 0 -1 1077944384 16716 0 0 0 147 13 0 0 20 0 16 0 414482149 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187172252176 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13389] ppid=13379 vsize=10748324 memory=1569708 CPUtime=1.13 cores=0,2,4,6
/proc/13382/task/13389/stat : 13389 (java) S 13379 13382 12980 0 -1 1077944384 17521 0 0 0 104 9 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187060394608 140187569080962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13390] ppid=13379 vsize=10748324 memory=1569708 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13390/stat : 13390 (java) S 13379 13382 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187059340640 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13391] ppid=13379 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13391/stat : 13391 (java) S 13379 13382 12980 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414482151 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187058288256 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13392] ppid=13379 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13392/stat : 13392 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187057236560 140187569088411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13393] ppid=13379 vsize=10748324 memory=3628 CPUtime=5.51 cores=0,2,4,6
/proc/13382/task/13393/stat : 13393 (java) S 13379 13382 12980 0 -1 1077944384 12542 0 0 0 549 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187056183408 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13394] ppid=13379 vsize=10748324 memory=38444 CPUtime=5.26 cores=0,2,4,6
/proc/13382/task/13394/stat : 13394 (java) S 13379 13382 12980 0 -1 1077944384 10311 0 0 0 524 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187055130608 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13395] ppid=13379 vsize=10748324 memory=992 CPUtime=1.06 cores=0,2,4,6
/proc/13382/task/13395/stat : 13395 (java) S 13379 13382 12980 0 -1 1077944384 13886 0 0 0 104 2 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187054078320 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13396] ppid=13379 vsize=10748324 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/13382/task/13396/stat : 13396 (java) S 13379 13382 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187053025760 140187569080021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13397] ppid=13379 vsize=10748324 memory=3628 CPUtime=0.68 cores=0,2,4,6
/proc/13382/task/13397/stat : 13397 (java) S 13379 13382 12980 0 -1 1077944384 2550 0 0 0 28 40 0 0 20 0 16 0 414482154 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187051973552 140187569080962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
[pid=13382/tid=13398] ppid=13379 vsize=10748324 memory=38444 CPUtime=2497.98 cores=0,2,4,6
/proc/13382/task/13398/stat : 13398 (java) R 13379 13382 12980 0 -1 4202560 56104 0 0 0 249768 30 0 0 20 0 16 0 414482338 11006283776 392427 33554432000 4194304 4196468 140729901270992 140187035311456 140187216153216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15339520 140729901274123 140729901274226 140729901274226 140729901277135 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1569708 KiB
Child status: 143
Real time (s): 2503.32
CPU time (s): 2520.08
CPU user time (s): 2518.79
CPU system time (s): 1.28945
CPU usage (%): 100.67
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1933528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.79
system time used= 1.28945
maximum resident set size= 1935576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80832
involuntary context switches= 4595
# summary of solver processes directly reported to runsolver:
# pid: 13382
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.79
# total CPU system time (s): 1.28945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9927 second user time and 23.8317 second system time
The end