Trace number 4401253

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT63832030 59.952 35.3642

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark57.3117
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.74/0.55	c Concrete v3.12.2.1568631193530 running
59.02/34.95	o 63832031
59.62/35.29	o 63832030
59.79/35.33	v <instantiation
59.79/35.33	v         cost = '63832030'>
59.79/35.33	v       <list>
59.79/35.33	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262]
59.79/35.33	v       </list>
59.79/35.33	v       <values>
59.79/35.33	v         2648 2324 2588 2404 2700 2688 2384 2308 2624 2252 2332 2480 2220 2400 2528 2496 2368 2256 2276 2660 2416 2668 2412 2700 2660 2424 2260 2456 2276 2272 2700 2548 2700 2220 2700 2268 2588 2372 2472 2612 2648 2416 2696 2688 2228 2668 2600 2512 2460 2372 2424 2464 2296 2376 2260 2304 2260 2628 2336 2608 2264 2532 2360 2268 2536 2608 2280 2476 2260 2440 2496 2236 2700 2372 2388 2620 2408 2700 2260 2404 2356 2452 2652 2432 2236 2220 2260 2620 2260 2344 2580 2368 2592 2600 2296 2276 2304 2632 2624 2220 2432 2660 2236 2276 2220 2360 2504 2556 2296 2432 2260 2392 2648 2624 2632 2268 2440 2260 2256 2428 2364 2376 2304 2660 2360 2220 2344 2316 2632 2220 2488 2236 2408 2460 2376 2460 2276 2608 2260 2672 2516 2412 2460 2416 2600 2420 2644 2592 2336 2220 2560 2688 2360 2292 2260 2628 2412 2256 2364 2660 2220 2500 2344 2352 2660 2632 2424 2556 2588 2296 2372 2528 2648 2456 2660 2220 2464 2524 2416 2700 2660 2308 2476 2584 2400 2220 2628 2416 2564 2412 2400 2336 2228 2392 2260 2584 2660 2648 2288 2220 2380 2672 2700 2608 2220 2660 2568 2492 2660 2260 2412 2400 2296 2700 2408 2408 2260 2648 2512 2452 2612 2472 2316 2220 2296 2652 2612 2656 2228 2648 2372 2336 2660 2660 2544 2604 2700 2568 2676 2412 2632 2420 2360 2660 2528 2552 2444 2384 2368 2448 2336 2596 2332 2324 2504 2328 2468 2700 2660 2592 2628 2660 2604 2356 2668 2220 2660 2252 2700 2220 2620 2448 2220 2572 2308 2296 2700 2700 2244 2516 2288 2348 2500 2416 2600 2684 2644 2656 2444 2540 2700 2508 2292 2552 2300 2260 2700 2464 2384 2660 2504 2364 2568 2572 2584 2220 2696 2540 2220 2608 2300 2372 2348 2308 2400 2496 2672 2316 2348 2560 2400 2296 2292 2372 2660 2700 2456 2348 2332 2424 2332 2604 2656 2544 2464 2444 2268 2548 2260 2432 2540 2500 2460 2580 2376 2332 2316 2660 2376 2660 2492 2660 2464 2256 2248 2500 2584 2384 2684 2492 2344 2584 2592 2700 2380 2464 2488 2260 2220 2512 2460 2684 2260 2504 2352 2568 2644 2452 2464 2656 2588 2220 2264 2296 2520 2260 2348 2528 2260 2276 2588 2548 2220 2260 2628 2336 2616 2284 2328 2368 2572 2664 2336 2644 2576 2628 2332 2296 2344 2224 2532 2260 2608 2684 2456 2532 2696 2660 2376 2276 2464 2632 2636 2300 2448 2560 2500 2392 2660 2292 2484 2340 2220 2268 2260 2504 2404 2392 2700 2552 2424 2448 2484 2688 2592 2220 2292 2472 2700 2344 2424 2644 2516 2560 2624 2260 2336 2588 2232 2700 2304 2296 2660 2260 2648 2628 2480 2276 2420 2488 2420 2700 2564 2504 2220 2252 2316 2660 2700 2416 2260 2260 2660 2384 2240 2408 2292 2700 2532 2308 2228 2420 2272 2624 2236 2312 2536 2552 2304 2408 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 72 56 388 60 224 376 112 256 368 176 44 176 140 220 12 432 464 480 384 412 440 268 116 56 28 228 92 164 132 180 352 280 92 88 4 76 36 176 36 76 216 172 336 252 84 76 64 80 172 368 24 220 96 88 220 176 152 284 384 40 104 124 104 168 232 308 308 64 76 204 8 184 192 240 48 280 108 196 176 176 136 416 368 352 56 268 168 40 184 204 284 368 52 400 316 60 48 108 196 268 64 408 176 172 100 184 196 48 440 268 316 392 352 296 400 24 356 368 196 236 204 164 4 24 400 400 84 40 152 140 112 244 236 64 8 184 140 104 56 16 20 36 52 228 328 72 32 280 364 424 280 108 156 440 328 312 192 160 232 316 52 440 480 372 196 36 392 100 108 100 164 112 12 72 128 288 132 112 88 92 228 160 144 252 252 140 40 60 180 48 388 220 332 200 204 60 244 48 104 272 64 4 36 104 344 384 40 468 148 456 232 432 404 416 168 340 252 88 256 60 228 200 32 112 12 20 116 188 276 200 40 328 144 40 64 220 236 236 48 208 28 152 192 48 40 208 160 28 36 52 44 32 332 64 244 228 8 356 84 140 208 132 232 204 396 400 368 32 252 124 44 196 252 40 76 244 92 208 40 136 340 32 200 436 36 224 124 72 32 340 44 96 64 336 104 32 8 172 204 180 80 16 24 40 388 144 52 160 184 92 16 60 88 20 288 280 420 88 196 68 100 400 72 160 400 220 92 160 36 132 24 356 124 420 120 396 40 280 116 92 236 172 312 300 284 260 52 120 92 360 212 204 344 132 220 112 240 252 152 180 396 300 88 40 364 428 264 144 280 136 136 116 68 168 208 280 304 428 120 432 72 268 464 304 480 272 416 388 360 352 160 268 52 108 76 148 124 88 72 116 220 12 52 120 8 284 108 292 316 76 124 292 228 256 136 316 184 100 256 192 64 336 380 364 104 308 188 172 172 312 372 84 300 36 100 176 28 212 56 412 68 356 212 260 396 176 4 208 72 140 48 124 296 164 140 180 252 104 88 364 124 252 280 408 156 56 88 176 16 144 440 76 76 344 84 180 268 64 196 24 248 220 180 28 136 364 104 36 244 104 76 252 88 268 180 100 68 212 104 324 24 176 132 104 100 88 140 352 36 60 224 44 96 20 68 412 420 196 264 220 152 60 112 440 148 424 24 384 368 444 168 428 380 36 296 216 232 120 12 36 88 40 80 324 156 44 224 344 116 344 408 212 76 52 196 168 208 152 136 192 412 292 76 48 316 56 48 196 320 316 28 332 252 268 292 56 148 272 168 88 188 28 212 440 112 244 28 172 212 136 220 304 348 372 32 188 104 156 220 200 240 56 168 76 228 240 48 200 116 240 312 132 72 52 196 236 16 196 400 376 344 132 120 356 248 368 144 112 92 232 248 8 192 200 224 92 380 284 12 44 240 144 380 124 240 372 300 68 244 36 40 172 128 88 8 440 372 320 36 68 140 380 376 140 112 4 172 192 32 176 72 212 440 56 400 228 44 16 36 248 188 8 172 12 268 168 156 324 196 384 296 300 128 8 56 52 60 240 168 84 8 132 20 32 64 308 144 232 232 84 68 112 296 144 336 80 56 360 4 332 112 152 120 80 112 100 72 40 116 172 396 316 372 228 200 116 156 196 76 252 116 332 424 480 96 280 364 168 52 172 40 68 80 156 324 128 440 480 352 56 48 340 192 84 152 148 108 20 224 184 296 36 76 192 84 188 464 412 312 20 164 32 204 72 368 208 268 284 32 4 336 268 264 248 116 192 288 152 84 16 172 324 28 364 88 116 224 356 172 60 172 440 268 64 248 364 120 44 160 40 200 332 356 252 408 48 320 244 40 132 12 300 68 40 336 480 208 396 148 96 380 76 48 192 120 312 244 292 120 260 84 116 216 8 24 52 124 404 88 188 276 164 56 52 188 340 116 108 72 272 428 184 200 224 60 24 120 188 164 28 144 112 264 352 88 108 140 60 308 436 272 328 48 20 104 4 228 104 316 352 164 192 176 432 84 144 412 336 12 176 44 256 84 128 384 128 76 84 140 204 96 312 56 336 400 356 260 416 340 252 52 180 68 132 52 88 76 340 100 100 176 40 440 56 160 280 236 172 256 52 52 52 144 68 184 44 272 32 32 332 252 220 156 76 292 264 336 40 168 4 36 76 336 64 208 56 80 20 96 136 124 92 160 236 132 440 84 156 252 68 108 352 372 368 120 404 400 92 104 236 168 368 368 276 376 368 348 92 244 440 204 368 480 404 360 136 188 16 40 476 332 352 20 12 252 176 20 388 220 200 128 16 352 440 348 256 180 68 64 412 48 192 164 312 68 152 204 144 148 380 332 156 116 84 308 428 20 104 120 352 80 88 212 88 284 292 36 28 116 240 68 196 196 40 236 312 164 364 292 240 280 56 308 164 264 12 244 312 120 4 324 176 152 172 108 48 12 272 268 236 312 292 112 112 376 16 16 24 56 104 180 412 216 4 128 24 60 104 204 36 364 92 172 280 132 364 80 88 28 236 204 44 208 120 104 56 200 132 96 244 172 172 48 76 280 200 200 116 324 156 68 80 384 84 208 236 68 160 388 20 56 232 112 84 56 132 112 312 200 160 80 152 220 152 160 212 128 48 124 284 188 168 200 328 148 176 100 16 160 156 340 32 148 172 56 396 180 396 88 100 388 32 108 368 328 360 204 480 336 360 316 312 248 44 276 296 264 372 112 344 424 72 260 44 192 240 236 96 212 72 44 60 140 252 112 140 240 200 52 28 324 20 220 288 360 120 276 76 76 136 96 164 60 140 448 356 468 32 68 368 132 160 116
59.79/35.33	v       </values>
59.79/35.33	v     </instantiation>
59.79/35.33	s OPTIMUM FOUND

Verifier Data 

OK	63832030

Watcher Data 

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 (14445 MiB free)
  memory of node 1: 16384 MiB (14970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401253-1568692098/watcher-4401253-1568692098 -o /tmp/evaluation-result-4401253-1568692098/solver-4401253-1568692098 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568673293-1192 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=455458796 HOME/instance-4401253-1568692098.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=7340, runsolver pid=7337
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 2.33 1.69 1.50 3/219 7397
/proc/meminfo: memFree=30113520/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=9972712 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 4558 13062 0 0 1 0 5 3 20 0 6 0 445477645 10212057088 4335 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2493178 4335 1958 1 0 2481616 0
[pid=7340/tid=7393] ppid=7337 vsize=9988792 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 2399 13062 0 0 1 0 5 3 20 0 6 0 445477654 10228523008 4335 33554432000 4194304 4196468 140731927371328 140568402489936 140568416165885 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=9988792 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 6 0 445477655 10228523008 4335 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=9988792 memory=140035155776554 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 6 0 445477655 10228523008 4335 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 6 0 445477655 10228523008 4401 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=9989820 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 6 0 445477655 10229575680 4401 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=9989820 memory=140035155768960 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) R 7337 7340 1158 0 -1 4202560 0 13062 0 0 0 0 5 3 20 0 7 0 445477656 10229575680 4401 33554432000 4194304 4196468 140731927371328 140568402489936 140568423393025 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB

[startup+0.210625 s]*
/proc/loadavg: 2.33 1.69 1.50 4/228 7406
/proc/meminfo: memFree=30097232/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10820196 memory=40556 CPUtime=0.27 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 7497 13062 0 0 18 1 5 3 20 0 15 0 445477645 11079880704 10139 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2705049 10139 3269 1 0 2667149 0
[pid=7340/tid=7393] ppid=7337 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 3985 13062 0 0 11 0 5 3 20 0 15 0 445477654 11079880704 10139 33554432000 4194304 4196468 140731927371328 140568402479328 140568430675101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10820196 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 10139 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10820196 memory=140035155776554 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 10139 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 10139 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 10139 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10820196 memory=140035155768960 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477656 11079880704 10139 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 34 13062 0 0 0 0 5 3 20 0 15 0 445477657 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567888459296 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477657 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567300269424 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) S 7337 7340 1158 0 -1 1077944384 488 13062 0 0 1 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567854901616 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) R 7337 7340 1158 0 -1 4202560 173 13062 0 0 1 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567853848816 140568409899946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10820196 memory=140035155768960 CPUtime=0.11 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 603 13062 0 0 3 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10820196 memory=140035155768960 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 10205 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40556 KiB

[startup+0.310623 s]*
/proc/loadavg: 2.33 1.69 1.50 3/228 7406
/proc/meminfo: memFree=30084540/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10820196 memory=48900 CPUtime=0.4 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 10967 13062 0 0 30 2 5 3 20 0 15 0 445477645 11079880704 12225 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2705049 12225 3315 1 0 2667149 0
[pid=7340/tid=7393] ppid=7337 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 7442 13062 0 0 19 2 5 3 20 0 15 0 445477654 11079880704 12225 33554432000 4194304 4196468 140731927371328 140568402456640 140568416841765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 12225 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 12225 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 12225 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477655 11079880704 12225 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477656 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 34 13062 0 0 0 0 5 3 20 0 15 0 445477657 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567888459296 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477657 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567300269424 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) S 7337 7340 1158 0 -1 1077944384 488 13062 0 0 2 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567854901616 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) S 7337 7340 1158 0 -1 1077944384 175 13062 0 0 2 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567853848816 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10820196 memory=140035155768960 CPUtime=0.13 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 610 13062 0 0 5 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10820196 memory=140035155768960 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477660 11079880704 12225 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48900 KiB

[startup+0.704582 s]
/proc/loadavg: 2.33 1.69 1.50 4/228 7406
/proc/meminfo: memFree=30070744/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10824364 memory=81688 CPUtime=1.12 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 15179 13062 0 0 99 5 5 3 20 0 15 0 445477645 11084148736 20422 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2706091 20422 3507 1 0 2668173 0
[pid=7340/tid=7393] ppid=7337 vsize=10824364 memory=1060 CPUtime=0.67 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 10485 13062 0 0 55 4 5 3 20 0 15 0 445477654 11084148736 20422 33554432000 4194304 4196468 140731927371328 140568402482720 140568414733662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10824364 memory=740 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11084148736 20422 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10824364 memory=7302135314614015840 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11084148736 20422 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10824364 memory=7013343148450802285 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477655 11084148736 20422 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10824364 memory=7523071198212214892 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477655 11084148736 20422 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10824364 memory=140035155767841 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 5 13062 0 0 0 0 5 3 20 0 15 0 445477656 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 34 13062 0 0 0 0 5 3 20 0 15 0 445477657 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567888459296 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477657 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567300269424 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) R 7337 7340 1158 0 -1 4202560 899 13062 0 0 13 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567854888160 140568408504960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) R 7337 7340 1158 0 -1 4202560 705 13062 0 0 12 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567853848816 140568416717344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 835 13062 0 0 17 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10824364 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477660 11084148736 20422 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81688 KiB

[startup+1.50162 s]
/proc/loadavg: 2.33 1.69 1.50 3/228 7406
/proc/meminfo: memFree=29853544/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10830624 memory=324952 CPUtime=3.6 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 26789 13062 0 0 329 23 5 3 20 0 15 0 445477645 11090558976 81238 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2707656 81238 3565 1 0 2669719 0
[pid=7340/tid=7393] ppid=7337 vsize=10830624 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 11457 13062 0 0 125 8 5 3 20 0 15 0 445477654 11090558976 81238 33554432000 4194304 4196468 140731927371328 140568402475568 140567988262605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10830624 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 46 13062 0 0 1 2 5 3 20 0 15 0 445477655 11090558976 81238 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10830624 memory=6944656592455360608 CPUtime=0.11 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 39 13062 0 0 1 2 5 3 20 0 15 0 445477655 11090558976 81238 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10830624 memory=-7965959130280075168 CPUtime=0.12 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 67 13062 0 0 1 3 5 3 20 0 15 0 445477655 11090558976 81238 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10830624 memory=-7595754389018297760 CPUtime=0.12 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 51 13062 0 0 1 3 5 3 20 0 15 0 445477655 11090558976 81238 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10830624 memory=7157735280297464162 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 86 13062 0 0 0 0 5 3 20 0 15 0 445477656 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10830624 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 35 13062 0 0 0 0 5 3 20 0 15 0 445477657 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567888459296 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10830624 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 445477657 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567300269440 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10830624 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10830624 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) R 7337 7340 1158 0 -1 4202560 5971 13062 0 0 78 1 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567854887640 140568412198136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10830624 memory=280069985556576 CPUtime=0.86 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) R 7337 7340 1158 0 -1 4202560 4818 13062 0 0 77 1 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567853834552 140568412197301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10830624 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 2007 13062 0 0 41 0 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10830624 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10830624 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 445477660 11090558976 81238 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0

################
# More data... #
################

[pid=7340/tid=7405] ppid=7337 vsize=10849036 memory=36900 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 854701 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10849036 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1206 13062 0 0 1 1 5 3 20 0 15 0 445477660 11109412864 854701 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 56.19 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3418804 KiB

[startup+34.4007 s]
/proc/loadavg: 2.41 1.76 1.53 3/228 7406
/proc/meminfo: memFree=26712200/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10849036 memory=3470448 CPUtime=58.09 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 96241 13062 0 0 5583 218 5 3 20 0 15 0 445477645 11109412864 867612 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2712259 867612 3639 1 0 2674317 0
[pid=7340/tid=7393] ppid=7337 vsize=10849036 memory=5787213848656569433 CPUtime=32.14 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 32435 13062 0 0 3168 38 5 3 20 0 15 0 445477654 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568402479552 140568008895455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10849036 memory=8112282956445269571 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 2754 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10849036 memory=3418480 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 2911 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10849036 memory=14978866770872074 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 2482 13062 0 0 165 42 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10849036 memory=2404 CPUtime=2.14 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 3358 13062 0 0 166 40 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10849036 memory=1440 CPUtime=0.17 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 4937 13062 0 0 9 0 5 3 20 0 15 0 445477656 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10849036 memory=800 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 44 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567888459360 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10849036 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567300269440 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10849036 memory=111628 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10849036 memory=804 CPUtime=7.71 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) S 7337 7340 1158 0 -1 1077944384 16560 13062 0 0 760 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567854901616 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10849036 memory=4100 CPUtime=7.45 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) S 7337 7340 1158 0 -1 1077944384 17726 13062 0 0 734 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567853848816 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10849036 memory=1408 CPUtime=2.56 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 9613 13062 0 0 245 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10849036 memory=3228 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10849036 memory=926140 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1206 13062 0 0 1 1 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 58.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3470448 KiB

[startup+34.8007 s]
/proc/loadavg: 2.41 1.76 1.53 3/228 7406
/proc/meminfo: memFree=26712200/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10849036 memory=3470448 CPUtime=58.87 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 96266 13062 0 0 5661 218 5 3 20 0 15 0 445477645 11109412864 867612 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2712259 867612 3639 1 0 2674317 0
[pid=7340/tid=7393] ppid=7337 vsize=10849036 memory=140034993333663 CPUtime=32.54 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 32441 13062 0 0 3208 38 5 3 20 0 15 0 445477654 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568402488016 140568408649083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10849036 memory=21807 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 2754 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10849036 memory=6944656575208382560 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 2911 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10849036 memory=280069985534192 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 2482 13062 0 0 165 42 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10849036 memory=6944656592455097440 CPUtime=2.14 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 3358 13062 0 0 166 40 5 3 20 0 15 0 445477655 11109412864 867612 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10849036 memory=6656426216303648864 CPUtime=0.17 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 4937 13062 0 0 9 0 5 3 20 0 15 0 445477656 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10849036 memory=-7674914008656224160 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 44 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567888459360 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10849036 memory=-6438582156688265881 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567300269440 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10849036 memory=6009865163716008105 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10849036 memory=427524744 CPUtime=7.86 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) S 7337 7340 1158 0 -1 1077944384 16561 13062 0 0 775 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567854901616 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10849036 memory=3007699717033353 CPUtime=7.61 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) S 7337 7340 1158 0 -1 1077944384 17726 13062 0 0 750 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567853848816 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10849036 memory=-7384994748284246687 CPUtime=2.62 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) R 7337 7340 1158 0 -1 4202560 9631 13062 0 0 251 3 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567852796016 140568409614790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10849036 memory=-7027409196973580132 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10849036 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1206 13062 0 0 1 1 5 3 20 0 15 0 445477660 11109412864 867612 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 58.87 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3470448 KiB

[startup+35.2007 s]
/proc/loadavg: 2.54 1.80 1.55 5/229 7408
/proc/meminfo: memFree=26659092/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10849036 memory=3471008 CPUtime=59.62 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 96403 13062 0 0 5736 218 5 3 20 0 15 0 445477645 11109412864 867752 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2712259 867752 3639 1 0 2674317 0
[pid=7340/tid=7393] ppid=7337 vsize=10849036 memory=38544 CPUtime=32.93 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 32535 13062 0 0 3247 38 5 3 20 0 15 0 445477654 11109412864 867752 33554432000 4194304 4196468 140731927371328 140568402487280 140568001082814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10849036 memory=8112282956445269571 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 2754 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867752 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10849036 memory=2832 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 2911 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867752 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10849036 memory=1540 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 2482 13062 0 0 165 42 5 3 20 0 15 0 445477655 11109412864 867752 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10849036 memory=1696 CPUtime=2.14 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 3358 13062 0 0 166 40 5 3 20 0 15 0 445477655 11109412864 867752 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10849036 memory=6032 CPUtime=0.17 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 4937 13062 0 0 9 0 5 3 20 0 15 0 445477656 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10849036 memory=772 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 44 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567888459360 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10849036 memory=952 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567300269440 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10849036 memory=2004 CPUtime=8.03 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) S 7337 7340 1158 0 -1 1077944384 16562 13062 0 0 792 3 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567854901616 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10849036 memory=1212 CPUtime=7.72 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) S 7337 7340 1158 0 -1 1077944384 17726 13062 0 0 761 3 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567853848816 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10849036 memory=1060 CPUtime=2.69 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) S 7337 7340 1158 0 -1 1077944384 9673 13062 0 0 258 3 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567852796016 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10849036 memory=740 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10849036 memory=1228 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1206 13062 0 0 1 1 5 3 20 0 15 0 445477660 11109412864 867752 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 59.62 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3471008 KiB

[startup+35.3016 s]
/proc/loadavg: 2.54 1.80 1.55 5/229 7408
/proc/meminfo: memFree=26659092/32770624 swapFree=66988476/67108860
[pid=7340] ppid=7337 vsize=10849036 memory=3471048 CPUtime=59.79 cores=1,3,5,7
/proc/7340/stat : 7340 (java) S 7337 7340 1158 0 -1 1077944320 96440 13062 0 0 5753 218 5 3 20 0 15 0 445477645 11109412864 867762 33554432000 4194304 4196468 140731927371328 140731927353872 140568430653175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
/proc/7340/statm: 2712259 867762 3640 1 0 2674317 0
[pid=7340/tid=7393] ppid=7337 vsize=10849036 memory=3470792 CPUtime=33.03 cores=1,3,5,7
/proc/7340/task/7393/stat : 7393 (java) R 7337 7340 1158 0 -1 4202560 32537 13062 0 0 3257 38 5 3 20 0 15 0 445477654 11109412864 867762 33554432000 4194304 4196468 140731927371328 140568402485896 140568002036207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7394] ppid=7337 vsize=10849036 memory=1408 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7394/stat : 7394 (java) S 7337 7340 1158 0 -1 1077944384 2754 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867762 33554432000 4194304 4196468 140731927371328 140568434895504 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7395] ppid=7337 vsize=10849036 memory=113 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7395/stat : 7395 (java) S 7337 7340 1158 0 -1 1077944384 2911 13062 0 0 166 41 5 3 20 0 15 0 445477655 11109412864 867762 33554432000 4194304 4196468 140731927371328 140568323168784 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7396] ppid=7337 vsize=10849036 memory=110 CPUtime=2.15 cores=1,3,5,7
/proc/7340/task/7396/stat : 7396 (java) S 7337 7340 1158 0 -1 1077944384 2482 13062 0 0 165 42 5 3 20 0 15 0 445477655 11109412864 867762 33554432000 4194304 4196468 140731927371328 140568322115984 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7397] ppid=7337 vsize=10849036 memory=280069986479424 CPUtime=2.14 cores=1,3,5,7
/proc/7340/task/7397/stat : 7397 (java) S 7337 7340 1158 0 -1 1077944384 3358 13062 0 0 166 40 5 3 20 0 15 0 445477655 11109412864 867762 33554432000 4194304 4196468 140731927371328 140568321063184 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7398] ppid=7337 vsize=10849036 memory=3472468331220623936 CPUtime=0.17 cores=1,3,5,7
/proc/7340/task/7398/stat : 7398 (java) S 7337 7340 1158 0 -1 1077944384 4937 13062 0 0 9 0 5 3 20 0 15 0 445477656 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567889513328 140568430664322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7399] ppid=7337 vsize=10849036 memory=349 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7399/stat : 7399 (java) S 7337 7340 1158 0 -1 1077944384 44 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567888459360 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7400] ppid=7337 vsize=10849036 memory=318 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7400/stat : 7400 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477657 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567300269440 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7401] ppid=7337 vsize=10849036 memory=3409460 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7401/stat : 7401 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140566992869712 140568430671771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7402] ppid=7337 vsize=10849036 memory=28829630602021044 CPUtime=8.06 cores=1,3,5,7
/proc/7340/task/7402/stat : 7402 (java) R 7337 7340 1158 0 -1 4202560 16563 13062 0 0 795 3 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567854901616 140568410315600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7403] ppid=7337 vsize=10849036 memory=9520 CPUtime=7.75 cores=1,3,5,7
/proc/7340/task/7403/stat : 7403 (java) R 7337 7340 1158 0 -1 4202560 17730 13062 0 0 764 3 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567853834912 140568409071929 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7404] ppid=7337 vsize=10849036 memory=3470448 CPUtime=2.7 cores=1,3,5,7
/proc/7340/task/7404/stat : 7404 (java) R 7337 7340 1158 0 -1 4202560 9703 13062 0 0 259 3 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567852796016 140568423750011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7405] ppid=7337 vsize=10849036 memory=3470448 CPUtime=0.08 cores=1,3,5,7
/proc/7340/task/7405/stat : 7405 (java) S 7337 7340 1158 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140566959311072 140568430663381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
[pid=7340/tid=7406] ppid=7337 vsize=10849036 memory=3470448 CPUtime=0.1 cores=1,3,5,7
/proc/7340/task/7406/stat : 7406 (java) S 7337 7340 1158 0 -1 1077944384 1207 13062 0 0 1 1 5 3 20 0 15 0 445477660 11109412864 867762 33554432000 4194304 4196468 140731927371328 140567851744432 140568430664322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140731927374576 140731927377093 140731927377093 140731927379919 0
Current children cumulated CPU time: 59.79 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3471048 KiB

Child status: 0
Real time (s): 35.3642
CPU time (s): 59.952
CPU user time (s): 57.7083
CPU system time (s): 2.24372
CPU usage (%): 169.527
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3471048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.7083
system time used= 2.24372
maximum resident set size= 3473388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10234
involuntary context switches= 223


# summary of solver processes directly reported to runsolver:
#   pid: 7340
#   total CPU time (s): 59.952
#   total CPU user time (s): 57.7083
#   total CPU system time (s): 2.24372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.233658 second user time and 0.388525 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-17 05:47:41
IDJOB=4401253
IDBENCH=141276
IDSOLVER=2858
FILE ID=node126/4401253-1568692098
RUNJOBID= node126-1568673293-1192
PBS_JOBID= 21703784
Free space on /tmp= 55600 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401253-1568692098/watcher-4401253-1568692098 -o /tmp/evaluation-result-4401253-1568692098/solver-4401253-1568692098 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568673293-1192 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=455458796 HOME/instance-4401253-1568692098.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=455458796

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30122696 kB
MemAvailable:   30977208 kB
Buffers:           62476 kB
Cached:          1060908 kB
SwapCached:         8044 kB
Active:          1631684 kB
Inactive:         419476 kB
Active(anon):     938444 kB
Inactive(anon):    23084 kB
Active(file):     693240 kB
Inactive(file):   396392 kB
Unevictable:      107740 kB
Mlocked:          107740 kB
SwapTotal:      67108860 kB
SwapFree:       66988476 kB
Dirty:            106828 kB
Writeback:             0 kB
AnonPages:       1066356 kB
Mapped:            56320 kB
Shmem:             24844 kB
Slab:             191224 kB
SReclaimable:     161432 kB
SUnreclaim:        29792 kB
KernelStack:        4048 kB
PageTables:         7788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2142784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    972800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55568 MiB
End job on node126 at 2019-09-17 05:48:16