Trace number 4293966

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.8-SuperNG 2018-06-13OPT63832030 62.8433 38.4363

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 benchmark61.4336
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.98/0.73	c Concrete v3.8.1528841891564 running
60.98/37.78	o 63844663
62.47/38.36	o 63832030
62.47/38.40	v <instantiation cost="63832030">
62.47/38.40	v       <list>
62.47/38.40	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]
62.47/38.40	v       </list>
62.47/38.40	v       <values>
62.47/38.40	v         2632 2324 2576 2404 2476 2600 2384 2296 2624 2220 2332 2480 2220 2400 2528 2496 2332 2232 2276 2660 2416 2588 2412 2700 2536 2424 2260 2456 2276 2256 2700 2548 2620 2220 2700 2260 2588 2380 2472 2612 2648 2416 2696 2688 2228 2668 2600 2512 2448 2372 2424 2464 2284 2376 2276 2304 2260 2628 2336 2528 2264 2532 2360 2268 2536 2608 2280 2476 2260 2440 2416 2236 2700 2344 2388 2620 2408 2700 2260 2404 2356 2452 2572 2432 2220 2220 2260 2700 2228 2332 2580 2368 2592 2520 2296 2260 2292 2632 2624 2220 2352 2648 2220 2276 2312 2360 2504 2556 2296 2432 2260 2384 2648 2624 2632 2260 2440 2260 2244 2428 2364 2364 2304 2660 2360 2220 2344 2220 2632 2280 2488 2236 2408 2460 2260 2460 2276 2592 2260 2672 2436 2412 2460 2416 2600 2420 2644 2700 2336 2236 2560 2688 2360 2288 2260 2628 2412 2292 2364 2644 2220 2500 2344 2424 2660 2660 2424 2428 2588 2260 2380 2528 2648 2456 2660 2220 2432 2524 2416 2700 2660 2308 2476 2568 2400 2220 2628 2404 2564 2412 2400 2336 2220 2392 2260 2584 2660 2648 2280 2220 2380 2592 2496 2608 2220 2660 2568 2492 2412 2260 2304 2400 2264 2628 2408 2408 2260 2648 2512 2452 2612 2472 2316 2220 2296 2572 2612 2576 2228 2640 2372 2220 2660 2660 2544 2596 2260 2568 2600 2420 2632 2420 2360 2588 2528 2552 2444 2384 2368 2448 2336 2596 2248 2324 2504 2220 2468 2700 2660 2592 2628 2660 2604 2356 2668 2308 2444 2316 2572 2220 2620 2448 2220 2572 2308 2296 2620 2688 2244 2516 2260 2220 2500 2220 2672 2604 2644 2656 2444 2560 2452 2508 2288 2552 2300 2260 2692 2464 2384 2220 2504 2364 2488 2572 2584 2308 2696 2540 2220 2608 2268 2372 2348 2260 2400 2416 2672 2316 2220 2560 2400 2272 2260 2284 2660 2700 2456 2348 2340 2424 2260 2604 2656 2544 2464 2444 2256 2536 2260 2432 2540 2408 2460 2520 2376 2328 2316 2436 2376 2660 2492 2628 2464 2220 2240 2500 2504 2384 2684 2492 2344 2584 2592 2700 2380 2464 2488 2260 2220 2512 2460 2672 2260 2504 2352 2568 2632 2452 2348 2576 2588 2220 2284 2296 2520 2260 2348 2528 2260 2276 2588 2548 2220 2268 2628 2336 2616 2284 2320 2360 2572 2664 2336 2644 2576 2628 2324 2252 2344 2224 2532 2272 2608 2684 2456 2532 2616 2660 2260 2260 2464 2632 2560 2300 2444 2560 2500 2392 2532 2220 2484 2340 2220 2268 2260 2504 2404 2392 2684 2552 2388 2436 2484 2688 2592 2220 2276 2392 2568 2344 2392 2644 2468 2632 2608 2260 2224 2588 2296 2700 2304 2296 2660 2260 2648 2628 2480 2260 2420 2396 2420 2668 2556 2504 2220 2236 2316 2652 2404 2336 2240 2348 2608 2384 2240 2404 2276 2700 2532 2260 2220 2420 2256 2624 2236 2296 2536 2552 2324 2372 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 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 56 40 392 60 224 376 52 316 356 176 44 176 140 204 68 216 240 256 160 216 208 180 116 56 80 228 124 164 148 192 348 292 104 76 4 76 36 176 36 60 220 204 368 284 116 100 64 80 172 352 24 220 96 88 220 156 124 284 384 40 104 140 104 168 232 308 308 144 76 204 8 200 172 260 72 308 16 220 200 200 152 440 376 352 56 268 168 40 184 204 284 372 52 400 316 60 48 108 196 268 64 360 96 172 100 192 196 48 424 268 316 440 480 296 276 24 232 260 196 224 204 76 4 40 400 400 84 40 72 236 112 116 236 64 16 172 140 104 56 16 20 36 52 244 416 88 48 280 364 440 288 28 156 360 240 312 200 160 232 316 52 440 480 380 204 44 400 108 116 100 164 92 12 72 120 248 124 120 88 92 212 160 252 252 252 140 40 60 180 16 388 220 428 200 204 60 244 48 104 272 64 4 36 104 344 400 40 468 128 392 232 432 404 352 168 348 332 88 256 60 228 200 32 204 12 20 116 156 276 188 40 296 152 40 64 220 236 236 60 244 28 152 208 48 52 220 172 28 40 52 116 32 316 48 228 228 44 356 84 140 208 132 232 204 316 392 368 32 368 124 44 196 252 40 76 244 92 128 40 136 332 32 200 304 116 224 124 72 32 340 44 96 64 256 104 48 8 172 124 180 80 16 24 40 388 144 52 164 220 92 16 60 88 20 208 352 388 88 116 68 100 400 68 160 392 220 92 240 44 212 24 464 124 340 120 396 40 280 116 92 352 200 260 328 312 260 168 132 92 360 212 400 344 148 220 144 240 252 152 180 408 300 88 40 364 444 264 144 268 76 136 116 68 168 208 288 224 348 40 352 72 64 480 304 352 272 340 388 472 440 240 276 132 188 156 180 156 120 96 128 224 12 52 112 8 328 108 292 236 76 124 240 228 256 136 332 220 100 176 148 64 364 304 76 104 324 204 184 176 328 388 20 312 36 112 188 16 212 56 412 68 356 212 260 404 176 4 404 72 140 36 124 248 92 64 260 252 184 76 352 112 276 296 424 172 56 88 176 16 144 348 48 16 244 84 180 268 64 124 24 248 336 180 28 136 364 104 48 244 104 12 240 88 64 116 108 68 212 104 324 24 184 124 124 108 88 140 396 36 60 224 44 96 20 68 412 428 172 272 220 152 60 112 368 148 412 24 384 368 456 180 428 316 24 308 216 224 168 60 36 88 52 92 104 144 56 224 344 116 440 344 212 76 52 312 168 208 152 136 192 440 292 32 48 316 56 48 196 320 316 28 428 348 364 388 40 128 368 200 88 188 100 212 380 32 184 52 172 212 48 220 304 268 372 32 172 104 92 220 200 168 56 240 76 336 240 48 24 116 240 312 132 56 68 288 220 16 196 368 412 452 112 120 356 280 368 192 112 92 232 248 8 204 200 224 92 292 284 12 44 240 144 360 124 240 480 440 72 352 72 148 172 128 96 8 424 356 304 16 68 140 380 392 140 112 4 172 192 28 180 68 216 236 56 408 228 44 16 36 248 188 8 172 48 268 168 140 308 196 384 296 300 128 8 56 52 60 240 168 84 120 204 52 40 88 184 144 260 260 124 104 128 168 144 208 80 56 396 8 368 112 160 112 72 112 12 144 40 116 124 332 388 388 228 120 116 156 196 76 252 116 340 424 472 96 188 284 168 84 172 72 68 80 156 324 128 428 480 400 56 48 340 192 84 152 256 116 20 72 168 288 20 36 176 84 188 452 412 312 20 164 32 240 72 280 208 280 296 32 16 344 268 264 248 148 192 208 152 84 16 180 324 28 116 88 116 224 364 172 60 172 368 268 64 364 364 120 44 196 40 212 340 364 280 336 56 320 244 40 140 12 220 4 40 368 276 4 172 148 96 452 76 48 192 120 312 244 308 124 196 84 224 324 100 24 52 140 436 8 188 196 164 56 52 188 412 116 100 64 272 428 184 204 260 60 24 120 60 164 28 192 112 392 352 72 108 132 60 308 356 272 328 48 20 104 20 180 104 316 352 84 112 96 424 84 136 404 344 12 164 52 372 96 244 400 128 76 84 140 204 88 336 56 104 8 84 260 332 264 244 44 124 12 132 52 80 76 332 100 100 176 32 368 16 180 288 308 172 272 52 52 52 144 68 176 48 272 32 32 332 4 228 156 76 292 256 336 40 160 88 112 124 104 64 208 56 80 20 100 136 124 208 160 236 132 432 84 156 288 60 108 352 408 368 120 440 420 92 104 236 168 400 368 108 160 168 220 36 244 440 168 368 480 404 360 136 188 100 44 476 332 352 20 60 252 176 20 376 172 120 48 16 340 416 348 256 180 48 92 308 48 320 292 388 12 280 228 340 336 452 252 156 96 84 436 436 96 72 28 232 80 88 216 88 296 292 16 44 116 232 60 196 196 76 236 312 152 76 140 200 280 128 308 164 312 12 252 312 236 4 324 180 64 84 108 48 12 272 176 236 336 324 112 112 424 16 16 24 56 104 180 404 216 124 128 24 60 104 136 12 388 124 204 280 132 364 196 88 28 236 204 44 320 120 92 56 200 148 96 232 172 84 48 76 300 200 148 172 324 160 76 80 400 84 88 220 68 160 320 20 84 232 112 84 56 132 112 328 200 160 80 152 208 152 168 132 128 48 124 284 56 168 148 328 144 184 100 4 148 236 308 32 148 172 56 336 184 396 88 100 388 32 108 368 240 368 204 480 408 280 316 292 248 44 320 312 312 444 112 344 424 72 260 64 112 256 236 96 216 72 44 60 144 256 124 140 240 168 52 28 308 20 292 288 328 120 276 76 76 128 96 200 20 64 332 292 404 48 68 368 148 180 96
62.47/38.40	v       </values>
62.47/38.40	v     </instantiation>
62.47/38.40	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 (10394 MiB free)
  memory of node 1: 16384 MiB (12928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293966-1532402817/watcher-4293966-1532402817 -o /tmp/evaluation-result-4293966-1532402817/solver-4293966-1532402817 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532402817-21494 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=75750761 -superng HOME/instance-4293966-1532402817.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21588, runsolver pid=21585
Current StackSize limit: 8192 KiB


[startup+0.100171 s]*
/proc/loadavg: 0.82 1.12 1.51 5/206 21645
/proc/meminfo: memFree=23860188/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=9972712 memory=18588 CPUtime=0.09 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 4273 12870 0 0 1 1 5 2 20 0 6 0 57844934 10212057088 4647 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2493178 4647 1934 1 0 2481616 0
[pid=21588/tid=21641] ppid=21585 vsize=9972712 memory=4279135704047583887 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 2084 12870 0 0 1 0 5 2 20 0 6 0 57844943 10212057088 4647 33554432000 4194304 4196468 140721252597296 139903006716496 139903018960222 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 57844944 10212057088 4647 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=9972712 memory=140647668147840 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 57844944 10212057088 4647 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 57844944 10212057088 4647 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 6 0 57844944 10212057088 4647 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18588 KiB

[startup+0.210745 s]*
/proc/loadavg: 0.82 1.12 1.51 5/215 21654
/proc/meminfo: memFree=23828564/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10818904 memory=49188 CPUtime=0.25 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 9143 12870 0 0 16 2 5 2 20 0 15 0 57844934 11078557696 12297 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2704726 12297 2969 1 0 2667149 0
[pid=21588/tid=21641] ppid=21585 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 5779 12870 0 0 10 2 5 2 20 0 15 0 57844943 11078557696 12297 33554432000 4194304 4196468 140721252597296 139903006704544 139903018960252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11078557696 12297 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10818904 memory=140647668147840 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844944 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10818904 memory=140647668147840 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844946 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 33 12870 0 0 0 0 5 2 20 0 15 0 57844946 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902492694048 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844946 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902385644912 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 485 12870 0 0 1 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902459136368 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 90 12870 0 0 1 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10818904 memory=140647668147840 CPUtime=0.1 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) R 21585 21588 15121 0 -1 4202560 560 12870 0 0 3 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902457030768 139903013421109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10818904 memory=140647668147840 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844949 11078557696 12297 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 49188 KiB

[startup+0.310607 s]*
/proc/loadavg: 0.82 1.12 1.51 3/215 21654
/proc/meminfo: memFree=23810204/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10819352 memory=57064 CPUtime=0.39 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 10340 12870 0 0 29 3 5 2 20 0 15 0 57844934 11079016448 14266 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2704838 14266 3088 1 0 2667149 0
[pid=21588/tid=21641] ppid=21585 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 6962 12870 0 0 19 2 5 2 20 0 15 0 57844943 11079016448 14266 33554432000 4194304 4196468 140721252597296 139903006691744 139903034893622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10819352 memory=7300986251812819024 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 14266 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 33 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902492694048 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902385644912 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 485 12870 0 0 1 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902459136368 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 91 12870 0 0 1 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 568 12870 0 0 5 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 14266 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57064 KiB

[startup+0.700747 s]
/proc/loadavg: 0.82 1.12 1.51 3/215 21654
/proc/meminfo: memFree=23779008/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10819352 memory=89216 CPUtime=0.98 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 16402 12870 0 0 86 5 5 2 20 0 15 0 57844934 11079016448 22304 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2704838 22304 3238 1 0 2667149 0
[pid=21588/tid=21641] ppid=21585 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 11953 12870 0 0 55 4 5 2 20 0 15 0 57844943 11079016448 22304 33554432000 4194304 4196468 140721252597296 139903006700560 139903020045383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 22304 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10819352 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844944 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 5 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 33 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902492694048 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844946 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902385644912 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10819352 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 848 12870 0 0 7 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902459136368 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10819352 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 749 12870 0 0 10 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 615 12870 0 0 13 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 57844949 11079016448 22304 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89216 KiB

[startup+1.50105 s]
/proc/loadavg: 0.82 1.12 1.51 7/215 21654
/proc/meminfo: memFree=23685336/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10828108 memory=316460 CPUtime=3.1 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 24017 12870 0 0 279 24 5 2 20 0 15 0 57844934 11087982592 79115 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2707027 79115 3478 1 0 2668685 0
[pid=21588/tid=21641] ppid=21585 vsize=10828108 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 14646 12870 0 0 123 9 5 2 20 0 15 0 57844943 11087982592 79115 33554432000 4194304 4196468 140721252597296 139903006710616 139902607638182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 363 12870 0 0 2 3 5 2 20 0 15 0 57844944 11087982592 79115 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 164 12870 0 0 2 3 5 2 20 0 15 0 57844944 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 91 12870 0 0 2 3 5 2 20 0 15 0 57844944 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10828108 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 77 12870 0 0 2 3 5 2 20 0 15 0 57844944 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 95 12870 0 0 0 0 5 2 20 0 15 0 57844946 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10828108 memory=281295125031168 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 34 12870 0 0 0 0 5 2 20 0 15 0 57844946 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902492694048 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 4 12870 0 0 0 0 5 2 20 0 15 0 57844946 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902385644928 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10828108 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10828108 memory=1704 CPUtime=0.6 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) R 21585 21588 15121 0 -1 4202560 2994 12870 0 0 53 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902459123392 139903018376451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10828108 memory=9924 CPUtime=0.57 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) R 21585 21588 15121 0 -1 4202560 1363 12870 0 0 50 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902458065728 139903016404421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10828108 memory=5788 CPUtime=0.47 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 1991 12870 0 0 40 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10828108 memory=1936 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10828108 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11087982592 79115 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10828108 KiB

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

[pid=21588/tid=21651] ppid=21585 vsize=10846560 memory=1800 CPUtime=4.84 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 8826 12870 0 0 474 3 5 2 20 0 15 0 57844949 11106877440 824990 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10846560 memory=920 CPUtime=2.11 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 11902 12870 0 0 200 4 5 2 20 0 15 0 57844949 11106877440 824990 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10846560 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11106877440 824990 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10846560 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 792 12870 0 0 0 1 5 2 20 0 15 0 57844949 11106877440 824990 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 49.42 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 3299960 KiB

[startup+35.6008 s]
/proc/loadavg: 1.58 1.29 1.55 5/215 21784
/proc/meminfo: memFree=17479540/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10850656 memory=3323800 CPUtime=55.17 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 102120 12870 0 0 5302 208 5 2 20 0 15 0 57844934 11111071744 830950 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2712664 830950 3531 1 0 2674317 0
[pid=21588/tid=21641] ppid=21585 vsize=10850656 memory=320600244125696311 CPUtime=33.61 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 47261 12870 0 0 3313 41 5 2 20 0 15 0 57844943 11111071744 830950 33554432000 4194304 4196468 140721252597296 139903006710512 139902625791055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10850656 memory=16102554786335041 CPUtime=1.87 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 2179 12870 0 0 142 38 5 2 20 0 15 0 57844944 11111071744 830950 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10850656 memory=3279536 CPUtime=1.86 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 2442 12870 0 0 142 37 5 2 20 0 15 0 57844944 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10850656 memory=1728 CPUtime=1.88 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 2737 12870 0 0 144 37 5 2 20 0 15 0 57844944 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10850656 memory=796 CPUtime=1.85 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 1433 12870 0 0 141 37 5 2 20 0 15 0 57844944 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10850656 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 4982 12870 0 0 8 1 5 2 20 0 15 0 57844946 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10850656 memory=11008 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 38 12870 0 0 0 0 5 2 20 0 15 0 57844946 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902492694112 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10850656 memory=3299960 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 4 12870 0 0 0 0 5 2 20 0 15 0 57844946 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902385644928 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10850656 memory=3299960 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10850656 memory=6791534058613427641 CPUtime=5.94 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) R 21585 21588 15121 0 -1 4202560 11406 12870 0 0 585 2 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902459117840 139903014113124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10850656 memory=1936 CPUtime=5.94 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) R 21585 21588 15121 0 -1 4202560 14159 12870 0 0 583 4 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902458070128 139903019272159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10850656 memory=1196 CPUtime=2.5 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 12493 12870 0 0 238 5 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10850656 memory=8368 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10850656 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 794 12870 0 0 0 1 5 2 20 0 15 0 57844949 11111071744 830950 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 55.17 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3323800 KiB

[startup+37.2011 s]
/proc/loadavg: 1.62 1.30 1.55 5/215 21784
/proc/meminfo: memFree=17445444/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10852704 memory=3330676 CPUtime=59.94 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 104176 12870 0 0 5777 210 5 2 20 0 15 0 57844934 11113168896 832669 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2713176 832669 3535 1 0 2674829 0
[pid=21588/tid=21641] ppid=21585 vsize=10852704 memory=6791534058613427641 CPUtime=35.13 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) S 21585 21588 15121 0 -1 1077944384 47592 12870 0 0 3465 41 5 2 20 0 15 0 57844943 11113168896 832669 33554432000 4194304 4196468 140721252597296 139903006710784 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10852704 memory=281295124955376 CPUtime=1.95 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) R 21585 21588 15121 0 -1 4202560 2246 12870 0 0 150 38 5 2 20 0 15 0 57844944 11113168896 832669 33554432000 4194304 4196468 140721252597296 139903039122264 139903027976579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10852704 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) R 21585 21588 15121 0 -1 4202560 2516 12870 0 0 149 37 5 2 20 0 15 0 57844944 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902927395344 139903019901856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10852704 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) R 21585 21588 15121 0 -1 4202560 2893 12870 0 0 151 37 5 2 20 0 15 0 57844944 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902926342544 139903019903438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10852704 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) R 21585 21588 15121 0 -1 4202560 1468 12870 0 0 149 38 5 2 20 0 15 0 57844944 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902925289744 139903019901856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10852704 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 4982 12870 0 0 8 1 5 2 20 0 15 0 57844946 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902493746592 139903034889941 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10852704 memory=3299960 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 38 12870 0 0 0 0 5 2 20 0 15 0 57844946 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902492694112 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10852704 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 4 12870 0 0 0 0 5 2 20 0 15 0 57844946 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902385644928 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10852704 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10852704 memory=1228 CPUtime=7.32 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 12232 12870 0 0 722 3 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902459136368 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10852704 memory=1704 CPUtime=7.27 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 14392 12870 0 0 716 4 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10852704 memory=9924 CPUtime=2.74 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 12827 12870 0 0 262 5 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10852704 memory=3330192 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10852704 memory=281295125915712 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 794 12870 0 0 0 1 5 2 20 0 15 0 57844949 11113168896 832669 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 59.94 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3330676 KiB

[startup+38.0007 s]
/proc/loadavg: 1.62 1.30 1.55 4/215 21784
/proc/meminfo: memFree=17429744/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10852704 memory=3346220 CPUtime=61.55 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 104667 12870 0 0 5936 212 5 2 20 0 15 0 57844934 11113168896 836555 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2713176 836555 3538 1 0 2674829 0
[pid=21588/tid=21641] ppid=21585 vsize=10852704 memory=1196 CPUtime=35.88 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) R 21585 21588 15121 0 -1 4202560 47830 12870 0 0 3540 41 5 2 20 0 15 0 57844943 11113168896 836555 33554432000 4194304 4196468 140721252597296 139903006713088 139902614450052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10852704 memory=8368 CPUtime=1.98 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 2254 12870 0 0 153 38 5 2 20 0 15 0 57844944 11113168896 836555 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10852704 memory=4616 CPUtime=1.98 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 2531 12870 0 0 153 38 5 2 20 0 15 0 57844944 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10852704 memory=4136 CPUtime=2 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 2905 12870 0 0 155 38 5 2 20 0 15 0 57844944 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10852704 memory=18324 CPUtime=1.97 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 1474 12870 0 0 152 38 5 2 20 0 15 0 57844944 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10852704 memory=2420 CPUtime=0.16 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 4989 12870 0 0 8 1 5 2 20 0 15 0 57844946 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902493748080 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10852704 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 41 12870 0 0 0 0 5 2 20 0 15 0 57844946 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902492694112 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10852704 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 6 12870 0 0 0 0 5 2 20 0 15 0 57844946 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902385644928 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21649] ppid=21585 vsize=10852704 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21649/stat : 21649 (java) S 21585 21588 15121 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139901781666128 139903034898331 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10852704 memory=1012 CPUtime=7.61 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 12269 12870 0 0 751 3 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902459136368 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10852704 memory=1228 CPUtime=7.56 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 14447 12870 0 0 745 4 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902458083568 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10852704 memory=1704 CPUtime=2.85 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 12935 12870 0 0 273 5 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10852704 memory=9924 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21654] ppid=21585 vsize=10852704 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/21588/task/21654/stat : 21654 (java) S 21585 21588 15121 0 -1 1077944384 794 12870 0 0 0 1 5 2 20 0 15 0 57844949 11113168896 836555 33554432000 4194304 4196468 140721252597296 139902455979184 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 61.55 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3346220 KiB

[startup+38.4027 s]*
/proc/loadavg: 1.62 1.30 1.55 7/215 21785
/proc/meminfo: memFree=17424100/32770624 swapFree=67108860/67108860
[pid=21588] ppid=21585 vsize=10917212 memory=3347148 CPUtime=62.8 cores=1,3,5,7
/proc/21588/stat : 21588 (java) S 21585 21588 15121 0 -1 1077944320 105931 12870 0 0 6061 212 5 2 20 0 13 0 57844934 11179225088 836787 33554432000 4194304 4196468 140721252597296 140721252579840 139903034879735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
/proc/21588/statm: 2729303 836787 3540 1 0 2690956 0
[pid=21588/tid=21641] ppid=21585 vsize=10917212 memory=7311146985107750967 CPUtime=36.29 cores=1,3,5,7
/proc/21588/task/21641/stat : 21641 (java) S 21585 21588 15121 0 -1 1077944384 48420 12870 0 0 3580 42 5 2 20 0 13 0 57844943 11179225088 836787 33554432000 4194304 4196468 140721252597296 139903006723216 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21642] ppid=21585 vsize=10917212 memory=13641 CPUtime=1.98 cores=1,3,5,7
/proc/21588/task/21642/stat : 21642 (java) S 21585 21588 15121 0 -1 1077944384 2254 12870 0 0 153 38 5 2 20 0 13 0 57844944 11179225088 836787 33554432000 4194304 4196468 140721252597296 139903039122064 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21643] ppid=21585 vsize=10917212 memory=140647668553028 CPUtime=1.98 cores=1,3,5,7
/proc/21588/task/21643/stat : 21643 (java) S 21585 21588 15121 0 -1 1077944384 2531 12870 0 0 153 38 5 2 20 0 13 0 57844944 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902927395344 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21644] ppid=21585 vsize=10917212 memory=-8813974798734826869 CPUtime=2 cores=1,3,5,7
/proc/21588/task/21644/stat : 21644 (java) S 21585 21588 15121 0 -1 1077944384 2905 12870 0 0 155 38 5 2 20 0 13 0 57844944 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902926342544 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21645] ppid=21585 vsize=10917212 memory=2314885530816952943 CPUtime=1.97 cores=1,3,5,7
/proc/21588/task/21645/stat : 21645 (java) S 21585 21588 15121 0 -1 1077944384 1474 12870 0 0 152 38 5 2 20 0 13 0 57844944 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902925289744 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21646] ppid=21585 vsize=10917212 memory=3472468943895828144 CPUtime=0.16 cores=1,3,5,7
/proc/21588/task/21646/stat : 21646 (java) S 21585 21588 15121 0 -1 1077944384 4989 12870 0 0 8 1 5 2 20 0 13 0 57844946 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902493748288 139903034890882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21647] ppid=21585 vsize=10917212 memory=3472285459251613807 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21647/stat : 21647 (java) S 21585 21588 15121 0 -1 1077944384 41 12870 0 0 0 0 5 2 20 0 13 0 57844946 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902492694112 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21648] ppid=21585 vsize=10917212 memory=-8990767739041718176 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21648/stat : 21648 (java) S 21585 21588 15121 0 -1 1077944384 6 12870 0 0 0 0 5 2 20 0 13 0 57844946 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902385644928 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21650] ppid=21585 vsize=10917212 memory=-2461829820114675750 CPUtime=8 cores=1,3,5,7
/proc/21588/task/21650/stat : 21650 (java) S 21585 21588 15121 0 -1 1077944384 12703 12870 0 0 790 3 5 2 20 0 13 0 57844949 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902459116768 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21651] ppid=21585 vsize=10917212 memory=0 CPUtime=7.92 cores=1,3,5,7
/proc/21588/task/21651/stat : 21651 (java) S 21585 21588 15121 0 -1 1077944384 14527 12870 0 0 781 4 5 2 20 0 13 0 57844949 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902458083136 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21652] ppid=21585 vsize=10917212 memory=3472328296227680299 CPUtime=2.94 cores=1,3,5,7
/proc/21588/task/21652/stat : 21652 (java) S 21585 21588 15121 0 -1 1077944384 13073 12870 0 0 282 5 5 2 20 0 13 0 57844949 11179225088 836787 33554432000 4194304 4196468 140721252597296 139902457030768 139903034890882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
[pid=21588/tid=21653] ppid=21585 vsize=10917212 memory=3472468943895828144 CPUtime=0.07 cores=1,3,5,7
/proc/21588/task/21653/stat : 21653 (java) S 21585 21588 15121 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 13 0 57844949 11179225088 836787 33554432000 4194304 4196468 140721252597296 139901311903968 139903034889941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39665664 140721252599981 140721252603228 140721252603228 140721252605903 0
Current children cumulated CPU time: 62.8 s
Current children cumulated vsize: 10917212 KiB
Current children cumulated memory: 3347148 KiB

Child status: 0
Real time (s): 38.4363
CPU time (s): 62.8433
CPU user time (s): 60.6686
CPU system time (s): 2.17473
CPU usage (%): 163.5
Max. virtual memory (cumulated for all children) (KiB): 10917212
Max. memory (cumulated for all children) (KiB): 3348760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.6686
system time used= 2.17473
maximum resident set size= 3351196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118829
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= 11517
involuntary context switches= 239


# summary of solver processes directly reported to runsolver:
#   pid: 21588
#   total CPU time (s): 62.8433
#   total CPU user time (s): 60.6686
#   total CPU system time (s): 2.17473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270076 second user time and 0.396969 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 05:26:58
IDJOB=4293966
IDBENCH=141276
IDSOLVER=2751
FILE ID=node105/4293966-1532402817
RUNJOBID= node105-1532402817-21494
PBS_JOBID= 21021573
Free space on /tmp= 44756 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293966-1532402817/watcher-4293966-1532402817 -o /tmp/evaluation-result-4293966-1532402817/solver-4293966-1532402817 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532402817-21494 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=75750761 -superng HOME/instance-4293966-1532402817.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=75750761

node105.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.32
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.55
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.32
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.55
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.32
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.55
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.32
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23884372 kB
MemAvailable:   31916160 kB
Buffers:          211192 kB
Cached:          7964472 kB
SwapCached:            0 kB
Active:          1587716 kB
Inactive:        6664020 kB
Active(anon):      30768 kB
Inactive(anon):    65448 kB
Active(file):    1556948 kB
Inactive(file):  6598572 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            124940 kB
Writeback:             0 kB
AnonPages:         68112 kB
Mapped:            47348 kB
Shmem:             17036 kB
Slab:             332244 kB
SReclaimable:     304728 kB
SUnreclaim:        27516 kB
KernelStack:        3216 kB
PageTables:         4964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1324128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 44720 MiB
End job on node105 at 2018-07-24 05:27:36