2.41/1.88
2.41/1.88 AbsCon 2
2.65/1.90
2.92/2.09 Instance
2.92/2.09 name=instance-4390575-1568380590, framework=CSP
2.92/2.09
2.92/2.09 Loading variables...
3.18/2.12 Loading constraints...
3.48/2.21
3.48/2.21 Domains
3.48/2.21 nTypes=1, nValues=220, sizes=[2#110]
3.48/2.21 Variables
3.48/2.21 count=110, degrees=[11#110]
3.48/2.21 Constraints
3.48/2.21 count=561, arities=[2#550,10#11]
3.48/2.21 distribution=[CtrExtensionV-Bits#550,CtrExtensionV-Table#11]
3.48/2.21 tables=[1#11], nTotalTuples=11
3.48/2.21 nExtStructures=(2,shared:559), nCftStructures=(2,shared:559)
3.48/2.21 wck=0.361, cpu=2.179, mem=26M512
3.48/2.22 Solver SolverBacktrack being built...
3.48/2.22
3.48/2.24
3.48/2.24 Solver
3.48/2.24 guaranteedGAC=true
3.48/2.24 wck=0.389, cpu=2.205, mem=37M155
3.48/2.24
3.48/2.24 Preprocessing
3.48/2.24 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.48/2.24 wck=0.002, cpu=2.209, mem=37M155
3.48/2.24
3.48/2.25 num=0, depth=39..47, filters=303, revisions=(1952,useless=1649), ccks=149, wck=0.014, mem=37M155
3.48/2.25 decisions=94, wrong=26, backtracks=24, failedAssignments=10, nogoods=2
3.48/2.25
3.48/2.28 num=1, depth=42..48, filters=696, revisions=(4348,useless=3652), ccks=338, wck=0.032, mem=37M155
3.48/2.28 decisions=198, wrong=56, backtracks=51, failedAssignments=21, nogoods=4
3.48/2.28
3.48/2.28 num=2, depth=45..52, filters=1064, revisions=(6592,useless=5528), ccks=522, wck=0.037, mem=37M155
3.48/2.28 decisions=303, wrong=86, backtracks=77, failedAssignments=33, nogoods=7
3.48/2.28
3.48/2.29 num=3, depth=48..59, filters=1639, revisions=(9863,useless=8224), ccks=712, wck=0.042, mem=37M155
3.48/2.29 decisions=414, wrong=116, backtracks=101, failedAssignments=46, nogoods=9
3.48/2.29
3.48/2.29 num=4, depth=50..58, filters=2072, revisions=(12165,useless=10093), ccks=914, wck=0.046, mem=37M155
3.48/2.29 decisions=532, wrong=150, backtracks=137, failedAssignments=60, nogoods=10
3.48/2.29
3.48/2.29 num=5, depth=61..72, filters=2848, revisions=(15775,useless=12927), ccks=1212, wck=0.052, mem=37M155
3.48/2.29 decisions=685, wrong=195, backtracks=178, failedAssignments=76, nogoods=13
3.48/2.29
3.76/2.30 num=6, depth=54..65, filters=3596, revisions=(19328,useless=15732), ccks=1500, wck=0.057, mem=37M155
3.76/2.30 decisions=846, wrong=247, backtracks=226, failedAssignments=93, nogoods=16
3.76/2.30
3.76/2.30 num=7, depth=67..80, filters=4308, revisions=(21967,useless=17659), ccks=1804, wck=0.061, mem=37M155
3.76/2.30 decisions=999, wrong=290, backtracks=264, failedAssignments=112, nogoods=19
3.76/2.30
3.76/2.31 num=8, depth=70..81, filters=5311, revisions=(25437,useless=20126), ccks=2212, wck=0.065, mem=37M155
3.76/2.31 decisions=1178, wrong=344, backtracks=307, failedAssignments=133, nogoods=21
3.76/2.31
3.76/2.31 num=9, depth=68..78, filters=6325, revisions=(29294,useless=22969), ccks=2589, wck=0.069, mem=37M155
3.76/2.31 decisions=1366, wrong=401, backtracks=354, failedAssignments=156, nogoods=24
3.76/2.31
3.76/2.31 num=10, depth=65..78, filters=7562, revisions=(33944,useless=26382), ccks=3016, wck=0.073, mem=37M155
3.76/2.31 decisions=1562, wrong=465, backtracks=408, failedAssignments=181, nogoods=26
3.76/2.31
3.76/2.32 num=11, depth=69..79, filters=8842, revisions=(38127,useless=29285), ccks=3557, wck=0.077, mem=37M155
3.76/2.32 decisions=1776, wrong=537, backtracks=475, failedAssignments=209, nogoods=29
3.76/2.32
3.76/2.32 num=12, depth=68..78, filters=10357, revisions=(42937,useless=32580), ccks=4207, wck=0.082, mem=37M155
3.76/2.32 decisions=2010, wrong=620, backtracks=550, failedAssignments=240, nogoods=32
3.76/2.32
3.76/2.33 num=13, depth=69..80, filters=12216, revisions=(49055,useless=36839), ccks=4961, wck=0.088, mem=37M155
3.76/2.33 decisions=2295, wrong=728, backtracks=652, failedAssignments=274, nogoods=36
3.76/2.33
3.76/2.33 num=14, depth=68..82, filters=13967, revisions=(54704,useless=40737), ccks=5670, wck=0.094, mem=37M155
3.76/2.33 decisions=2559, wrong=826, backtracks=745, failedAssignments=311, nogoods=38
3.76/2.33
3.76/2.34 num=15, depth=65..82, filters=16406, revisions=(62790,useless=46384), ccks=6693, wck=0.101, mem=37M155
3.76/2.34 decisions=2897, wrong=959, backtracks=875, failedAssignments=352, nogoods=40
3.76/2.34
3.76/2.35 num=16, depth=68..82, filters=18391, revisions=(69103,useless=50712), ccks=7599, wck=0.108, mem=37M155
3.76/2.35 decisions=3206, wrong=1079, backtracks=990, failedAssignments=397, nogoods=43
3.76/2.35
3.76/2.36 num=17, depth=66..81, filters=20885, revisions=(76804,useless=55919), ccks=8647, wck=0.115, mem=39M797
3.76/2.36 decisions=3580, wrong=1232, backtracks=1143, failedAssignments=447, nogoods=45
3.76/2.36
3.76/2.36 num=18, depth=65..76, filters=23338, revisions=(85596,useless=62258), ccks=9573, wck=0.123, mem=39M797
3.76/2.36 decisions=3909, wrong=1364, backtracks=1264, failedAssignments=502, nogoods=48
3.76/2.36
3.76/2.37 num=19, depth=64..78, filters=26207, revisions=(95441,useless=69234), ccks=10720, wck=0.131, mem=39M797
3.76/2.37 decisions=4325, wrong=1539, backtracks=1423, failedAssignments=563, nogoods=51
3.76/2.37
3.76/2.38 num=20, depth=67..80, filters=29103, revisions=(104717,useless=75614), ccks=11908, wck=0.14, mem=39M797
3.76/2.38 decisions=4724, wrong=1704, backtracks=1584, failedAssignments=630, nogoods=54
3.76/2.38
3.76/2.39 num=21, depth=62..76, filters=32441, revisions=(116850,useless=84409), ccks=13230, wck=0.151, mem=39M797
3.76/2.39 decisions=5195, wrong=1908, backtracks=1781, failedAssignments=704, nogoods=56
3.76/2.39
4.07/2.40 num=22, depth=58..77, filters=36233, revisions=(130427,useless=94194), ccks=14818, wck=0.163, mem=39M797
4.07/2.40 decisions=5691, wrong=2125, backtracks=1983, failedAssignments=785, nogoods=61
4.07/2.40
4.07/2.42 num=23, depth=64..80, filters=40814, revisions=(144738,useless=103924), ccks=16737, wck=0.176, mem=39M797
4.07/2.42 decisions=6274, wrong=2382, backtracks=2228, failedAssignments=874, nogoods=66
4.07/2.42
4.07/2.43 num=24, depth=66..83, filters=45793, revisions=(159653,useless=113860), ccks=18678, wck=0.191, mem=39M797
4.07/2.43 decisions=6892, wrong=2655, backtracks=2477, failedAssignments=972, nogoods=69
4.07/2.43
4.07/2.45 num=25, depth=62..81, filters=51352, revisions=(177408,useless=126056), ccks=20994, wck=0.207, mem=39M797
4.07/2.45 decisions=7632, wrong=2992, backtracks=2806, failedAssignments=1080, nogoods=71
4.07/2.45
4.07/2.47 num=26, depth=61..79, filters=57497, revisions=(197507,useless=140010), ccks=23503, wck=0.225, mem=39M797
4.07/2.47 decisions=8398, wrong=3343, backtracks=3146, failedAssignments=1199, nogoods=75
4.07/2.47
4.07/2.48 num=27, depth=58..78, filters=63394, revisions=(218510,useless=155116), ccks=25952, wck=0.243, mem=39M797
4.07/2.48 decisions=9180, wrong=3704, backtracks=3501, failedAssignments=1330, nogoods=78
4.07/2.48
4.37/2.51 num=28, depth=64..82, filters=70611, revisions=(240060,useless=169449), ccks=28910, wck=0.265, mem=42M439
4.37/2.51 decisions=10056, wrong=4106, backtracks=3901, failedAssignments=1474, nogoods=82
4.37/2.51
4.37/2.53 num=29, depth=62..78, filters=78416, revisions=(265378,useless=186962), ccks=32162, wck=0.287, mem=42M439
4.37/2.53 decisions=11048, wrong=4570, backtracks=4355, failedAssignments=1632, nogoods=85
4.37/2.53
4.37/2.55 num=30, depth=51..70, filters=87306, revisions=(299171,useless=211865), ccks=35816, wck=0.308, mem=42M439
4.37/2.55 decisions=12175, wrong=5108, backtracks=4874, failedAssignments=1806, nogoods=88
4.37/2.55
4.37/2.57 num=31, depth=60..79, filters=97622, revisions=(332128,useless=234506), ccks=39938, wck=0.328, mem=42M439
4.37/2.57 decisions=13431, wrong=5705, backtracks=5464, failedAssignments=1997, nogoods=92
4.37/2.57
4.37/2.59 num=32, depth=60..80, filters=109233, revisions=(369083,useless=259850), ccks=44898, wck=0.35, mem=42M439
4.37/2.59 decisions=14833, wrong=6373, backtracks=6116, failedAssignments=2208, nogoods=96
4.37/2.59
4.68/2.61 num=33, depth=63..82, filters=120999, revisions=(403985,useless=282986), ccks=49703, wck=0.37, mem=42M439
4.68/2.61 decisions=16208, wrong=7025, backtracks=6733, failedAssignments=2440, nogoods=99
4.68/2.61
4.68/2.63 num=34, depth=59..78, filters=136809, revisions=(454083,useless=317274), ccks=55513, wck=0.394, mem=45M82
4.68/2.63 decisions=17934, wrong=7858, backtracks=7543, failedAssignments=2695, nogoods=103
4.68/2.63
4.68/2.66 num=35, depth=59..84, filters=153269, revisions=(506187,useless=352918), ccks=61811, wck=0.417, mem=45M82
4.68/2.66 decisions=19787, wrong=8749, backtracks=8414, failedAssignments=2976, nogoods=106
4.68/2.66
4.68/2.68 num=36, depth=61..81, filters=169329, revisions=(556253,useless=386924), ccks=68119, wck=0.44, mem=45M82
4.68/2.68 decisions=21674, wrong=9660, backtracks=9327, failedAssignments=3285, nogoods=111
4.68/2.68
4.98/2.71 num=37, depth=59..82, filters=187911, revisions=(614351,useless=426440), ccks=75315, wck=0.467, mem=45M82
4.98/2.71 decisions=23770, wrong=10677, backtracks=10326, failedAssignments=3625, nogoods=114
4.98/2.71
4.98/2.73 num=38, depth=57..80, filters=208022, revisions=(679163,useless=471141), ccks=83248, wck=0.494, mem=45M82
4.98/2.73 decisions=26108, wrong=11816, backtracks=11447, failedAssignments=3999, nogoods=117
4.98/2.73
4.98/2.77 num=39, depth=60..83, filters=230416, revisions=(747703,useless=517287), ccks=92096, wck=0.525, mem=47M724
4.98/2.77 decisions=28556, wrong=13008, backtracks=12623, failedAssignments=4410, nogoods=121
4.98/2.77
4.98/2.79 num=40, depth=61..81, filters=253097, revisions=(817231,useless=564134), ccks=101021, wck=0.555, mem=47M724
4.98/2.79 decisions=31090, wrong=14243, backtracks=13774, failedAssignments=4862, nogoods=125
4.98/2.79
5.24/2.83 num=41, depth=57..82, filters=281509, revisions=(908358,useless=626849), ccks=111975, wck=0.592, mem=47M724
5.24/2.83 decisions=34197, wrong=15764, backtracks=15279, failedAssignments=5359, nogoods=128
5.24/2.83
5.24/2.87 num=42, depth=57..85, filters=314791, revisions=(1012928,useless=698137), ccks=124561, wck=0.634, mem=50M367
5.24/2.87 decisions=37731, wrong=17502, backtracks=16953, failedAssignments=5906, nogoods=130
5.24/2.87
5.39/2.92 num=43, depth=56..78, filters=345890, revisions=(1118698,useless=772808), ccks=136962, wck=0.678, mem=50M367
5.39/2.92 decisions=41362, wrong=19289, backtracks=18681, failedAssignments=6508, nogoods=134
5.39/2.92
5.39/2.97 num=44, depth=56..83, filters=383900, revisions=(1239896,useless=855996), ccks=151159, wck=0.727, mem=50M367
5.39/2.97 decisions=45496, wrong=21325, backtracks=20665, failedAssignments=7170, nogoods=137
5.39/2.97
5.50/3.02 num=45, depth=58..82, filters=424850, revisions=(1367293,useless=942443), ccks=167298, wck=0.78, mem=53M9
5.50/3.02 decisions=49949, wrong=23521, backtracks=22817, failedAssignments=7898, nogoods=140
5.50/3.02
5.50/3.08 num=46, depth=57..81, filters=470009, revisions=(1512428,useless=1042419), ccks=184970, wck=0.839, mem=53M9
5.50/3.08 decisions=54974, wrong=26003, backtracks=25223, failedAssignments=8699, nogoods=144
5.50/3.08
5.60/3.14 num=47, depth=58..82, filters=519663, revisions=(1668353,useless=1148690), ccks=204049, wck=0.901, mem=55M652
5.60/3.14 decisions=60160, wrong=28565, backtracks=27691, failedAssignments=9580, nogoods=147
5.60/3.14
5.70/3.21 num=48, depth=54..84, filters=575754, revisions=(1849296,useless=1273542), ccks=225031, wck=0.972, mem=55M652
5.70/3.21 decisions=66038, wrong=31472, backtracks=30539, failedAssignments=10550, nogoods=152
5.70/3.21
5.70/3.29 num=49, depth=56..83, filters=634560, revisions=(2037163,useless=1402603), ccks=247837, wck=1.046, mem=58M294
5.70/3.29 decisions=72475, wrong=34659, backtracks=33687, failedAssignments=11617, nogoods=157
5.70/3.29
5.80/3.37 num=50, depth=56..81, filters=699080, revisions=(2237246,useless=1538166), ccks=273117, wck=1.126, mem=60M936
5.80/3.37 decisions=79571, wrong=38176, backtracks=37080, failedAssignments=12790, nogoods=162
5.80/3.37
5.90/3.46 num=51, depth=53..81, filters=772250, revisions=(2485206,useless=1712956), ccks=301065, wck=1.221, mem=60M936
5.90/3.46 decisions=87403, wrong=42063, backtracks=40907, failedAssignments=14081, nogoods=167
5.90/3.46
6.00/3.56 num=52, depth=53..80, filters=851425, revisions=(2754698,useless=1903273), ccks=330791, wck=1.324, mem=63M579
6.00/3.56 decisions=96183, wrong=46418, backtracks=45178, failedAssignments=15501, nogoods=170
6.00/3.56
6.10/3.69 num=53, depth=44..76, filters=947852, revisions=(3109698,useless=2161846), ccks=367710, wck=1.453, mem=66M221
6.10/3.69 decisions=106592, wrong=51594, backtracks=50340, failedAssignments=17063, nogoods=173
6.10/3.69
6.30/3.82 num=54, depth=49..78, filters=1044205, revisions=(3457418,useless=2413213), ccks=405177, wck=1.582, mem=68M864
6.30/3.82 decisions=117558, wrong=57047, backtracks=55760, failedAssignments=18781, nogoods=179
6.30/3.82
6.40/3.96 num=55, depth=53..83, filters=1150614, revisions=(3804546,useless=2653932), ccks=445792, wck=1.718, mem=71M506
6.40/3.96 decisions=128911, wrong=62691, backtracks=61209, failedAssignments=20671, nogoods=182
6.40/3.96
6.61/4.11 num=56, depth=53..81, filters=1268824, revisions=(4193571,useless=2924747), ccks=491080, wck=1.869, mem=76M791
6.61/4.11 decisions=141794, wrong=69101, backtracks=67495, failedAssignments=22750, nogoods=186
6.61/4.11
6.82/4.30 num=57, depth=49..83, filters=1414665, revisions=(4683625,useless=3268960), ccks=544864, wck=2.057, mem=79M433
6.82/4.30 decisions=157518, wrong=76931, backtracks=75266, failedAssignments=25037, nogoods=189
6.82/4.30
6.92/4.49 num=58, depth=52..82, filters=1562982, revisions=(5184792,useless=3621810), ccks=600288, wck=2.247, mem=84M718
6.92/4.49 decisions=173489, wrong=84887, backtracks=83053, failedAssignments=27553, nogoods=194
6.92/4.49
7.14/4.69 num=59, depth=52..81, filters=1723451, revisions=(5717772,useless=3994321), ccks=662809, wck=2.45, mem=87M361
7.14/4.69 decisions=190848, wrong=93534, backtracks=91492, failedAssignments=30321, nogoods=198
7.14/4.69
7.44/4.93 num=60, depth=48..83, filters=1904983, revisions=(6349236,useless=4444253), ccks=731502, wck=2.688, mem=92M646
7.44/4.93 decisions=210855, wrong=103511, backtracks=101315, failedAssignments=33365, nogoods=201
7.44/4.93
7.65/5.19 num=61, depth=49..81, filters=2111401, revisions=(7049402,useless=4938001), ccks=807299, wck=2.954, mem=97M931
7.65/5.19 decisions=232048, wrong=114079, backtracks=111720, failedAssignments=36714, nogoods=203
7.65/5.19
7.94/5.49 num=62, depth=45..78, filters=2331847, revisions=(7861756,useless=5529909), ccks=891357, wck=3.246, mem=105M858
7.94/5.49 decisions=257221, wrong=126636, backtracks=124109, failedAssignments=40398, nogoods=207
7.94/5.49
8.34/5.82 num=63, depth=44..79, filters=2574942, revisions=(8800544,useless=6225602), ccks=977919, wck=3.584, mem=111M143
8.34/5.82 decisions=283317, wrong=139658, backtracks=137009, failedAssignments=44450, nogoods=211
8.34/5.82
8.66/6.18 num=64, depth=47..78, filters=2840566, revisions=(9766787,useless=6926221), ccks=1074987, wck=3.938, mem=119M70
8.66/6.18 decisions=311597, wrong=153772, backtracks=150936, failedAssignments=48907, nogoods=215
8.66/6.18
9.04/6.56 num=65, depth=49..81, filters=3133402, revisions=(10769692,useless=7636290), ccks=1185398, wck=4.32, mem=126M997
9.04/6.56 decisions=343308, wrong=169599, backtracks=166478, failedAssignments=53810, nogoods=221
9.04/6.56
9.56/7.02 num=66, depth=42..82, filters=3466503, revisions=(12024611,useless=8558108), ccks=1304140, wck=4.78, mem=137M567
9.56/7.02 decisions=379235, wrong=187535, backtracks=184312, failedAssignments=59204, nogoods=225
9.56/7.02
10.08/7.50 num=67, depth=46..81, filters=3823160, revisions=(13299367,useless=9476207), ccks=1433567, wck=5.265, mem=22M691
10.08/7.50 decisions=417658, wrong=206719, backtracks=203358, failedAssignments=65137, nogoods=229
10.08/7.50
10.59/8.04 num=68, depth=46..81, filters=4245251, revisions=(14790663,useless=10545412), ccks=1590602, wck=5.799, mem=35M771
10.59/8.04 decisions=462445, wrong=229089, backtracks=225357, failedAssignments=71663, nogoods=234
10.59/8.04
11.18/8.63 num=69, depth=43..81, filters=4700959, revisions=(16459136,useless=11758177), ccks=1753015, wck=6.393, mem=48M851
11.18/8.63 decisions=510276, wrong=252979, backtracks=249020, failedAssignments=78842, nogoods=238
11.18/8.63
11.88/9.31 num=70, depth=40..81, filters=5208459, revisions=(18395940,useless=13187481), ccks=1932697, wck=7.072, mem=61M931
11.88/9.31 decisions=564148, wrong=279886, backtracks=275712, failedAssignments=86739, nogoods=242
11.88/9.31
12.60/10.05 num=71, depth=42..79, filters=5759212, revisions=(20471508,useless=14712296), ccks=2130500, wck=7.807, mem=77M627
12.60/10.05 decisions=621270, wrong=308418, backtracks=303951, failedAssignments=95426, nogoods=248
12.60/10.05
13.39/10.87 num=72, depth=41..80, filters=6380491, revisions=(22782622,useless=16402131), ccks=2350079, wck=8.628, mem=95M939
13.39/10.87 decisions=687047, wrong=341280, backtracks=336712, failedAssignments=104981, nogoods=253
13.39/10.87
14.29/11.79 num=73, depth=42..80, filters=7073099, revisions=(25389755,useless=18316656), ccks=2601165, wck=9.548, mem=114M251
14.29/11.79 decisions=759300, wrong=377381, backtracks=372551, failedAssignments=115492, nogoods=258
14.29/11.79
15.29/12.79 num=74, depth=42..81, filters=7833197, revisions=(28180499,useless=20347302), ccks=2873298, wck=10.547, mem=136M500
15.29/12.79 decisions=839355, wrong=417385, backtracks=412090, failedAssignments=127054, nogoods=263
15.29/12.79
16.53/13.91 num=75, depth=39..83, filters=8688990, revisions=(31334527,useless=22645537), ccks=3171834, wck=11.672, mem=27M898
16.53/13.91 decisions=929054, wrong=462202, backtracks=456626, failedAssignments=139772, nogoods=266
16.53/13.91
17.64/15.08 num=76, depth=42..81, filters=9582249, revisions=(34620012,useless=25037763), ccks=3494894, wck=12.836, mem=54M58
17.64/15.08 decisions=1024704, wrong=510003, backtracks=503786, failedAssignments=153762, nogoods=271
17.64/15.08
19.03/16.46 num=77, depth=36..80, filters=10589001, revisions=(38608929,useless=28019928), ccks=3832957, wck=14.218, mem=82M834
19.03/16.46 decisions=1131648, wrong=563452, backtracks=557011, failedAssignments=169151, nogoods=277
19.03/16.46
20.53/17.93 num=78, depth=39..79, filters=11683382, revisions=(42762655,useless=31079273), ccks=4226465, wck=15.69, mem=114M226
20.53/17.93 decisions=1250385, wrong=622792, backtracks=615758, failedAssignments=186079, nogoods=282
20.53/17.93
22.13/19.59 num=79, depth=38..80, filters=12920664, revisions=(47454766,useless=34534102), ccks=4663098, wck=17.345, mem=148M234
22.13/19.59 decisions=1381936, wrong=688545, backtracks=681092, failedAssignments=204700, nogoods=287
22.13/19.59
24.06/21.48 num=80, depth=35..80, filters=14302004, revisions=(52940657,useless=38638653), ccks=5139923, wck=19.237, mem=54M895
24.06/21.48 decisions=1529642, wrong=762379, backtracks=754640, failedAssignments=225184, nogoods=293
24.06/21.48
26.16/23.54 num=81, depth=37..80, filters=15833200, revisions=(58901376,useless=43068176), ccks=5672968, wck=21.295, mem=99M232
26.16/23.54 decisions=1687934, wrong=841504, backtracks=832674, failedAssignments=247716, nogoods=300
26.16/23.54
28.47/25.83 num=82, depth=34..80, filters=17493066, revisions=(65518014,useless=48024948), ccks=6241666, wck=23.591, mem=146M736
28.47/25.83 decisions=1867162, wrong=931097, backtracks=922169, failedAssignments=272501, nogoods=305
28.47/25.83
30.99/28.35 num=83, depth=36..79, filters=19341344, revisions=(72703793,useless=53362449), ccks=6883576, wck=26.11, mem=38M728
30.99/28.35 decisions=2058419, wrong=1026700, backtracks=1016855, failedAssignments=299765, nogoods=310
30.99/28.35
33.71/31.08 num=84, depth=34..81, filters=21299450, revisions=(80395963,useless=59096513), ccks=7564253, wck=28.836, mem=94M736
33.71/31.08 decisions=2270702, wrong=1132814, backtracks=1122154, failedAssignments=329755, nogoods=315
33.71/31.08
36.81/34.17 num=85, depth=34..80, filters=23529341, revisions=(89120855,useless=65591514), ccks=8334741, wck=31.925, mem=156M967
36.81/34.17 decisions=2508620, wrong=1251749, backtracks=1239786, failedAssignments=362744, nogoods=320
36.81/34.17
40.32/37.67 num=86, depth=33..78, filters=26090604, revisions=(99097370,useless=73006766), ccks=9193129, wck=35.433, mem=74M987
40.32/37.67 decisions=2768990, wrong=1381906, backtracks=1368362, failedAssignments=399032, nogoods=324
40.32/37.67
44.12/41.44 num=87, depth=32..80, filters=28771942, revisions=(110066844,useless=81294902), ccks=10103586, wck=39.197, mem=151M323
44.12/41.44 decisions=3059370, wrong=1527076, backtracks=1513746, failedAssignments=438949, nogoods=330
44.12/41.44
48.45/45.73 num=88, depth=30..80, filters=31829785, revisions=(122525976,useless=90696191), ccks=11115263, wck=43.489, mem=86M180
48.45/45.73 decisions=3383145, wrong=1688942, backtracks=1675140, failedAssignments=482858, nogoods=334
48.45/45.73
53.08/50.35 num=89, depth=32..81, filters=35172293, revisions=(135739863,useless=100567570), ccks=12258541, wck=48.112, mem=28M919
53.08/50.35 decisions=3732353, wrong=1863517, backtracks=1848014, failedAssignments=531158, nogoods=339
53.08/50.35
58.29/55.57 num=90, depth=27..79, filters=38762924, revisions=(151306737,useless=112543813), ccks=13426194, wck=53.328, mem=135M247
58.29/55.57 decisions=4120124, wrong=2057385, backtracks=2041574, failedAssignments=584288, nogoods=345
58.29/55.57
64.10/61.39 num=91, depth=26..77, filters=42803171, revisions=(168543026,useless=125739855), ccks=14770007, wck=59.148, mem=104M227
64.10/61.39 decisions=4553617, wrong=2274110, backtracks=2257889, failedAssignments=642731, nogoods=350
64.10/61.39
70.50/67.75 num=92, depth=25..77, filters=47206958, revisions=(187720028,useless=140513070), ccks=16196091, wck=65.509, mem=85M625
70.50/67.75 decisions=5026901, wrong=2510734, backtracks=2492511, failedAssignments=707018, nogoods=355
70.50/67.75
77.92/75.11 num=93, depth=26..78, filters=52192290, revisions=(209073181,useless=156880891), ccks=17783643, wck=72.869, mem=87M230
77.92/75.11 decisions=5555056, wrong=2774791, backtracks=2755640, failedAssignments=777734, nogoods=360
77.92/75.11
85.72/82.98 num=94, depth=20..71, filters=57449479, revisions=(233396892,useless=175947413), ccks=19511528, wck=80.737, mem=102M468
85.72/82.98 decisions=6120553, wrong=3057523, backtracks=3036466, failedAssignments=855521, nogoods=366
85.72/82.98
94.43/91.61 num=95, depth=24..77, filters=63114286, revisions=(258776542,useless=195662256), ccks=21328555, wck=89.373, mem=133M675
94.43/91.61 decisions=6744119, wrong=3369281, backtracks=3348670, failedAssignments=941087, nogoods=370
94.43/91.61
104.35/101.56 num=96, depth=18..72, filters=69721349, revisions=(289626485,useless=219905136), ccks=23474864, wck=99.317, mem=56M765
104.35/101.56 decisions=7444569, wrong=3719494, backtracks=3697066, failedAssignments=1035210, nogoods=374
104.35/101.56
115.16/112.30 num=97, depth=25..76, filters=76951045, revisions=(320782494,useless=243831449), ccks=25751421, wck=110.061, mem=138M719
115.16/112.30 decisions=8226581, wrong=4110477, backtracks=4086147, failedAssignments=1138745, nogoods=379
115.16/112.30
126.77/124.00 num=98, depth=18..75, filters=84567819, revisions=(357040784,useless=272472965), ccks=28156446, wck=121.76, mem=109M956
126.77/124.00 decisions=9058719, wrong=4526527, backtracks=4501331, failedAssignments=1252634, nogoods=384
126.77/124.00
140.08/137.29 num=99, depth=22..78, filters=93073512, revisions=(396155433,useless=303081921), ccks=30726613, wck=135.051, mem=116M633
140.08/137.29 decisions=9983905, wrong=4989093, backtracks=4960985, failedAssignments=1377912, nogoods=388
140.08/137.29
154.80/151.91 num=100, depth=19..76, filters=102875649, revisions=(440627670,useless=337752021), ccks=33696996, wck=149.665, mem=52M526
154.80/151.91 decisions=11033276, wrong=5513759, backtracks=5482969, failedAssignments=1515718, nogoods=393
154.80/151.91
170.83/167.91 num=101, depth=23..79, filters=113521898, revisions=(487369033,useless=373847135), ccks=37020747, wck=165.671, mem=26M933
170.83/167.91 decisions=12198514, wrong=6096352, backtracks=6061175, failedAssignments=1667304, nogoods=397
170.83/167.91
188.45/185.57 num=102, depth=21..79, filters=125453187, revisions=(539530787,useless=414077600), ccks=40655799, wck=183.326, mem=56M329
188.45/185.57 decisions=13491613, wrong=6742887, backtracks=6703081, failedAssignments=1834049, nogoods=401
188.45/185.57
208.38/205.45 num=103, depth=20..76, filters=138698246, revisions=(598504665,useless=459806419), ccks=44705315, wck=203.213, mem=38M349
208.38/205.45 decisions=14933311, wrong=7463717, backtracks=7420081, failedAssignments=2017468, nogoods=407
208.38/205.45
230.20/227.23 num=104, depth=17..77, filters=153135553, revisions=(663963406,useless=510827853), ccks=48921209, wck=224.989, mem=79M579
230.20/227.23 decisions=16484856, wrong=8239470, backtracks=8191280, failedAssignments=2219229, nogoods=412
230.20/227.23
254.65/251.64 num=105, depth=20..78, filters=169467041, revisions=(735578551,useless=566111510), ccks=53894627, wck=249.402, mem=101M628
254.65/251.64 decisions=18264180, wrong=9129109, backtracks=9075055, failedAssignments=2441167, nogoods=416
254.65/251.64
281.59/278.54 num=106, depth=17..77, filters=187445287, revisions=(815737117,useless=628291830), ccks=59222357, wck=276.296, mem=32M106
281.59/278.54 decisions=20207821, wrong=10100902, backtracks=10042161, failedAssignments=2685298, nogoods=420
281.59/278.54
311.54/308.45 num=107, depth=18..77, filters=206981486, revisions=(904708957,useless=697727471), ccks=64874681, wck=306.211, mem=63M987
311.54/308.45 decisions=22330732, wrong=11162340, backtracks=11096360, failedAssignments=2953843, nogoods=427
311.54/308.45
345.70/342.55 num=108, depth=14..77, filters=229667617, revisions=(1009633131,useless=779965514), ccks=71220819, wck=340.31, mem=70M138
345.70/342.55 decisions=24698223, wrong=12346071, backtracks=12273977, failedAssignments=3249242, nogoods=433
345.70/342.55
382.06/378.85 num=109, depth=16..78, filters=253015736, revisions=(1117570379,useless=864554643), ccks=77856921, wck=376.612, mem=76M25
382.06/378.85 decisions=27210803, wrong=13602337, backtracks=13522068, failedAssignments=3574181, nogoods=439
382.06/378.85
422.36/419.05 num=110, depth=15..79, filters=279501624, revisions=(1237432741,useless=957931117), ccks=85329766, wck=416.809, mem=47M350
422.36/419.05 decisions=30074948, wrong=15034395, backtracks=14940890, failedAssignments=3931614, nogoods=445
422.36/419.05
467.75/464.30 num=111, depth=15..78, filters=309310745, revisions=(1372207560,useless=1062896815), ccks=93917490, wck=462.061, mem=37M695
467.75/464.30 decisions=33259931, wrong=16626873, backtracks=16519258, failedAssignments=4324790, nogoods=452
467.75/464.30
518.58/515.08 num=112, depth=12..74, filters=342094861, revisions=(1530487560,useless=1188392699), ccks=102550486, wck=512.835, mem=33M442
518.58/515.08 decisions=36691439, wrong=18342612, backtracks=18229280, failedAssignments=4757284, nogoods=458
518.58/515.08
573.40/569.72 num=113, depth=13..78, filters=377670643, revisions=(1693956406,useless=1316285763), ccks=112419244, wck=567.484, mem=52M718
573.40/569.72 decisions=40504366, wrong=20249052, backtracks=20120979, failedAssignments=5233028, nogoods=462
573.40/569.72
636.65/632.80 num=114, depth=8..78, filters=418178980, revisions=(1893556582,useless=1475377602), ccks=122691123, wck=630.562, mem=23M865
636.65/632.80 decisions=44675365, wrong=22334536, backtracks=22193705, failedAssignments=5756346, nogoods=466
636.65/632.80
705.12/701.12 num=115, depth=8..78, filters=462038414, revisions=(2106461987,useless=1644423573), ccks=133898370, wck=698.879, mem=46M342
705.12/701.12 decisions=49266035, wrong=24629859, backtracks=24477603, failedAssignments=6331996, nogoods=472
705.12/701.12
782.70/778.54 num=116, depth=7..77, filters=511809987, revisions=(2353573108,useless=1841763121), ccks=145717690, wck=776.301, mem=59M209
782.70/778.54 decisions=54337178, wrong=27165421, backtracks=26999417, failedAssignments=6965211, nogoods=477
782.70/778.54
868.91/864.53 num=117, depth=2..75, filters=566959064, revisions=(2644583853,useless=2077624789), ccks=158540468, wck=862.288, mem=27M147
868.91/864.53 decisions=59772030, wrong=29882836, backtracks=29710066, failedAssignments=7661747, nogoods=482
868.91/864.53
915.43/910.94 num=118, depth=0..73, filters=596584042, revisions=(2802438937,useless=2205854895), ccks=165126079, wck=908.699, mem=52M841
915.43/910.94 decisions=62641150, wrong=31317397, backtracks=31140415, failedAssignments=8008786, nogoods=482
915.43/910.94
915.43/910.94 Global
915.43/910.94 filters=596584042, revisions=(2802438937,useless=2205854895), ccks=165126079, nogoods=482
915.43/910.94 Stop=FULL_EXPLORATION, wrong=31317397, wck=909.09, cpu=910.13, mem=52M841
915.43/910.94
915.43/910.94 s UNSATISFIABLE
915.43/910.94
915.43/910.94 d WRONG_DECISIONS 31317397
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 (14918 MiB free)
memory of node 1: 16384 MiB (15567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390575-1568380590/watcher-4390575-1568380590 -o /tmp/evaluation-result-4390575-1568380590/solver-4390575-1568380590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390575-1568380590.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6749, runsolver pid=6746
Current StackSize limit: 8192 KiB
[startup+0.105172 s]*
/proc/loadavg: 1.42 0.43 0.19 4/233 6764
/proc/meminfo: memFree=31201636/32770624 swapFree=67004008/67108860
[pid=6749] ppid=6746 vsize=10659884 memory=28604 CPUtime=0.15 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 5647 0 0 0 14 1 0 0 20 0 15 0 414298611 10915721216 7151 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2664971 7151 2913 1 0 2627468 0
[pid=6749/tid=6751] ppid=6746 vsize=10659884 memory=-8682197300323120320 CPUtime=0.1 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) R 6746 6749 6511 0 -1 4202560 3334 0 0 0 9 1 0 0 20 0 15 0 414298612 10915721216 7151 33554432000 4194304 4196468 140729330448832 140503304784144 140503292791614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 7151 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 7151 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 7151 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 7151 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502536005280 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502534952176 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) R 6746 6749 6511 0 -1 4202560 439 0 0 0 1 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502532847856 140503292843869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) R 6746 6749 6511 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0.03 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) R 6746 6749 6511 0 -1 4202560 374 0 0 0 3 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502530738624 140503279947182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 7151 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28604 KiB
[startup+0.211564 s]*
/proc/loadavg: 1.42 0.43 0.19 3/233 6764
/proc/meminfo: memFree=31194924/32770624 swapFree=67004008/67108860
[pid=6749] ppid=6746 vsize=10659884 memory=34908 CPUtime=0.32 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 6934 0 0 0 31 1 0 0 20 0 15 0 414298611 10915721216 8727 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2664971 8727 2989 1 0 2627468 0
[pid=6749/tid=6751] ppid=6746 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) R 6746 6749 6511 0 -1 4202560 3848 0 0 0 19 1 0 0 20 0 15 0 414298612 10915721216 8727 33554432000 4194304 4196468 140729330448832 140503304786576 140503300576413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 8727 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10659884 memory=140197666922970 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 8727 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 8727 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 8727 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502536005280 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502534952176 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 806 0 0 0 3 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0.05 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 657 0 0 0 5 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 8727 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34908 KiB
[startup+0.310181 s]*
/proc/loadavg: 1.42 0.43 0.19 3/233 6764
/proc/meminfo: memFree=31188084/32770624 swapFree=67004008/67108860
[pid=6749] ppid=6746 vsize=10659884 memory=40224 CPUtime=0.47 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 9443 0 0 0 44 3 0 0 20 0 15 0 414298611 10915721216 10056 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2664971 10056 3002 1 0 2627468 0
[pid=6749/tid=6751] ppid=6746 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) R 6746 6749 6511 0 -1 4202560 6288 0 0 0 27 2 0 0 20 0 15 0 414298612 10915721216 10071 33554432000 4194304 4196468 140729330448832 140503304786896 140503284634974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 10071 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10659884 memory=14552824623302296 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 10071 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 10071 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10915721216 10071 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502536005280 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414298614 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502534952176 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 844 0 0 0 4 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0.08 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) R 6746 6749 6511 0 -1 4202560 681 0 0 0 8 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502530742256 140503300575834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10659884 memory=140197666915968 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298617 10915721216 10071 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40224 KiB
[startup+0.700734 s]
/proc/loadavg: 1.42 0.43 0.19 3/233 6764
/proc/meminfo: memFree=31177804/32770624 swapFree=67004008/67108860
[pid=6749] ppid=6746 vsize=10661932 memory=64040 CPUtime=1.11 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 13193 0 0 0 107 4 0 0 20 0 15 0 414298611 10917818368 16010 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2665483 16010 3068 1 0 2627980 0
[pid=6749/tid=6751] ppid=6746 vsize=10661932 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) R 6746 6749 6511 0 -1 4202560 8852 0 0 0 64 3 0 0 20 0 15 0 414298612 10917818368 16010 33554432000 4194304 4196468 140729330448832 140503304777424 140503300576413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10917818368 16010 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298612 10917818368 16010 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10917818368 16010 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10917818368 16010 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298614 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414298614 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502536005280 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414298614 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502534952176 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10661932 memory=7236533984234661184 CPUtime=0.11 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 1195 0 0 0 11 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10661932 memory=7380106142448642414 CPUtime=0.11 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) R 6746 6749 6511 0 -1 4202560 606 0 0 0 11 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502531795312 140503285435740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10661932 memory=5859271421084325224 CPUtime=0.19 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 1179 0 0 0 19 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298617 10917818368 16010 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64040 KiB
[startup+1.50073 s]
/proc/loadavg: 1.42 0.43 0.19 3/233 6764
/proc/meminfo: memFree=31161736/32770624 swapFree=67004008/67108860
[pid=6749] ppid=6746 vsize=10663980 memory=76076 CPUtime=2.01 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 18779 0 0 0 196 5 0 0 20 0 15 0 414298611 10919915520 19019 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2665995 19019 3098 1 0 2628492 0
[pid=6749/tid=6751] ppid=6746 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) R 6746 6749 6511 0 -1 4202560 13061 0 0 0 144 4 0 0 20 0 15 0 414298612 10919915520 19019 33554432000 4194304 4196468 140729330448832 140503304786512 140503283741317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10919915520 19019 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10663980 memory=-6352177149651680470 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414298612 10919915520 19019 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10663980 memory=8514701219931451533 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10919915520 19019 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414298612 10919915520 19019 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414298614 10919915520 19019 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
################
# More data... #
################
[startup+909.601 s]
/proc/loadavg: 1.64 1.65 1.18 3/234 6939
/proc/meminfo: memFree=31120924/32770624 swapFree=67004012/67108860
[pid=6749] ppid=6746 vsize=10748324 memory=206596 CPUtime=914.13 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 62999 0 0 0 91381 32 0 0 20 0 16 0 414298611 11006283776 51649 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2687081 51649 3368 1 0 2647217 0
[pid=6749/tid=6751] ppid=6746 vsize=10748324 memory=1808 CPUtime=1.86 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) S 6746 6749 6511 0 -1 1077944384 15324 0 0 0 181 5 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503304797360 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10748324 memory=8112282956445269571 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 1979 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10748324 memory=784 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 2228 0 0 0 57 1 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10748324 memory=8252 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 4449 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10748324 memory=5920 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2871 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10748324 memory=39104 CPUtime=0.21 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 4043 0 0 0 19 2 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502536005344 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10748324 memory=2052 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502534952192 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10748324 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.93 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 5104 0 0 0 93 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10748324 memory=728 CPUtime=1.03 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 5347 0 0 0 103 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10748324 memory=4000 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 7184 0 0 0 58 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10748324 memory=1212 CPUtime=0.17 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 499 0 0 0 7 10 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6765] ppid=6746 vsize=10748324 memory=1036 CPUtime=906.9 cores=1,3,5,7
/proc/6749/task/6765/stat : 6765 (java) R 6746 6749 6511 0 -1 4202560 12528 0 0 0 90684 6 0 0 20 0 16 0 414298800 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502511976544 140502898251076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 914.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206596 KiB
[startup+910.401 s]
/proc/loadavg: 1.64 1.65 1.18 3/234 6939
/proc/meminfo: memFree=31120924/32770624 swapFree=67004012/67108860
[pid=6749] ppid=6746 vsize=10748324 memory=206596 CPUtime=914.93 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 63006 0 0 0 91461 32 0 0 20 0 16 0 414298611 11006283776 51649 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2687081 51649 3368 1 0 2647217 0
[pid=6749/tid=6751] ppid=6746 vsize=10748324 memory=3280 CPUtime=1.86 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) S 6746 6749 6511 0 -1 1077944384 15324 0 0 0 181 5 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503304797360 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10748324 memory=39104 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 1979 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10748324 memory=20936 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 2228 0 0 0 57 1 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10748324 memory=496 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 4449 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2871 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.21 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 4043 0 0 0 19 2 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10748324 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502536005344 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10748324 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502534952192 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10748324 memory=3280 CPUtime=0.93 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 5104 0 0 0 93 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10748324 memory=39104 CPUtime=1.03 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 5347 0 0 0 103 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10748324 memory=12024 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 7184 0 0 0 58 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10748324 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10748324 memory=1440 CPUtime=0.17 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 499 0 0 0 7 10 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6765] ppid=6746 vsize=10748324 memory=1984 CPUtime=907.7 cores=1,3,5,7
/proc/6749/task/6765/stat : 6765 (java) R 6746 6749 6511 0 -1 4202560 12535 0 0 0 90764 6 0 0 20 0 16 0 414298800 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502511976432 140502898394903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 914.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206596 KiB
[startup+910.801 s]
/proc/loadavg: 1.64 1.65 1.18 3/234 6939
/proc/meminfo: memFree=31120924/32770624 swapFree=67004012/67108860
[pid=6749] ppid=6746 vsize=10748324 memory=206596 CPUtime=915.33 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 63010 0 0 0 91501 32 0 0 20 0 16 0 414298611 11006283776 51649 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2687081 51649 3368 1 0 2647217 0
[pid=6749/tid=6751] ppid=6746 vsize=10748324 memory=792 CPUtime=1.86 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) S 6746 6749 6511 0 -1 1077944384 15324 0 0 0 181 5 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503304797360 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 1979 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10748324 memory=8112282956445269571 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 2228 0 0 0 57 1 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10748324 memory=1220 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 4449 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10748324 memory=1616 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2871 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10748324 memory=784 CPUtime=0.21 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 4043 0 0 0 19 2 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10748324 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502536005344 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10748324 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502534952192 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10748324 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10748324 memory=784 CPUtime=0.93 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 5104 0 0 0 93 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10748324 memory=8252 CPUtime=1.03 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 5347 0 0 0 103 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10748324 memory=5920 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 7184 0 0 0 58 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10748324 memory=1540 CPUtime=0.17 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 499 0 0 0 7 10 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6765] ppid=6746 vsize=10748324 memory=728 CPUtime=908.1 cores=1,3,5,7
/proc/6749/task/6765/stat : 6765 (java) R 6746 6749 6511 0 -1 4202560 12539 0 0 0 90804 6 0 0 20 0 16 0 414298800 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502511976432 140502898395370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 915.33 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206596 KiB
[startup+910.901 s]
/proc/loadavg: 1.64 1.65 1.18 3/234 6939
/proc/meminfo: memFree=31120924/32770624 swapFree=67004012/67108860
[pid=6749] ppid=6746 vsize=10748324 memory=206596 CPUtime=915.43 cores=1,3,5,7
/proc/6749/stat : 6749 (java) S 6746 6749 6511 0 -1 1077944320 63011 0 0 0 91511 32 0 0 20 0 16 0 414298611 11006283776 51649 33554432000 4194304 4196468 140729330448832 140729330431376 140503300554487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
/proc/6749/statm: 2687081 51649 3368 1 0 2647217 0
[pid=6749/tid=6751] ppid=6746 vsize=10748324 memory=206596 CPUtime=1.86 cores=1,3,5,7
/proc/6749/task/6751/stat : 6751 (java) S 6746 6749 6511 0 -1 1077944384 15324 0 0 0 181 5 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503304797360 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6752] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6752/stat : 6752 (java) S 6746 6749 6511 0 -1 1077944384 1979 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503226628624 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6753] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6753/stat : 6753 (java) S 6746 6749 6511 0 -1 1077944384 2228 0 0 0 57 1 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503225576080 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6754] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6754/stat : 6754 (java) S 6746 6749 6511 0 -1 1077944384 4449 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503224523024 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6755] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6755/stat : 6755 (java) S 6746 6749 6511 0 -1 1077944384 2871 0 0 0 56 2 0 0 20 0 16 0 414298612 11006283776 51649 33554432000 4194304 4196468 140729330448832 140503223470480 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6756] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.21 cores=1,3,5,7
/proc/6749/task/6756/stat : 6756 (java) S 6746 6749 6511 0 -1 1077944384 4043 0 0 0 19 2 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502537059056 140503300565634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6757] ppid=6746 vsize=10748324 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6757/stat : 6757 (java) S 6746 6749 6511 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502536005344 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6758] ppid=6746 vsize=10748324 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6758/stat : 6758 (java) S 6746 6749 6511 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414298614 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502534952192 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6759] ppid=6746 vsize=10748324 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6759/stat : 6759 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502533900752 140503300573083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6760] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.93 cores=1,3,5,7
/proc/6749/task/6760/stat : 6760 (java) S 6746 6749 6511 0 -1 1077944384 5104 0 0 0 93 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502532847856 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6761] ppid=6746 vsize=10748324 memory=206596 CPUtime=1.03 cores=1,3,5,7
/proc/6749/task/6761/stat : 6761 (java) S 6746 6749 6511 0 -1 1077944384 5347 0 0 0 103 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502531795312 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6762] ppid=6746 vsize=10748324 memory=206596 CPUtime=0.58 cores=1,3,5,7
/proc/6749/task/6762/stat : 6762 (java) S 6746 6749 6511 0 -1 1077944384 7184 0 0 0 58 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502530742256 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6763] ppid=6746 vsize=10748324 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/6749/task/6763/stat : 6763 (java) S 6746 6749 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502529689952 140503300564693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6764] ppid=6746 vsize=10748324 memory=1036 CPUtime=0.17 cores=1,3,5,7
/proc/6749/task/6764/stat : 6764 (java) S 6746 6749 6511 0 -1 1077944384 499 0 0 0 7 10 0 0 20 0 16 0 414298617 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502528638000 140503300565634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
[pid=6749/tid=6765] ppid=6746 vsize=10748324 memory=206596 CPUtime=908.2 cores=1,3,5,7
/proc/6749/task/6765/stat : 6765 (java) R 6746 6749 6511 0 -1 4202560 12540 0 0 0 90814 6 0 0 20 0 16 0 414298800 11006283776 51649 33554432000 4194304 4196468 140729330448832 140502511976432 140502898251270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37126144 140729330451467 140729330451570 140729330451570 140729330454479 0
Current children cumulated CPU time: 915.43 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206596 KiB
Child status: 0
Real time (s): 910.96
CPU time (s): 915.491
CPU user time (s): 915.165
CPU system time (s): 0.326142
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 278456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 915.165
system time used= 0.326142
maximum resident set size= 280504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26570
involuntary context switches= 847
# summary of solver processes directly reported to runsolver:
# pid: 6749
# total CPU time (s): 915.491
# total CPU user time (s): 915.165
# total CPU system time (s): 0.326142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80253 second user time and 8.42149 second system time
The end