Trace number 4403053

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.3OPT63832030 57.3117 34.62

General information on the benchmark

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

Solver Data 

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403053-1568985786/watcher-4403053-1568985786 -o /var/tmp/evaluation-result-4403053-1568985786/solver-4403053-1568985786 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28493 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1048661505 HOME/instance-4403053-1568985786.xml 

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

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

solver pid=1463, runsolver pid=1460

[startup+0.109046 s]*
/proc/loadavg: 1.03 1.28 1.39 3/219 1522
/proc/meminfo: memFree=6492192/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10186436 memory=18272 CPUtime=0.11 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 4871 13107 0 0 2 1 5 3 20 0 8 0 474834244 10430910464 4568 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2546609 4568 2055 1 0 2535047 0
[pid=1463/tid=1517] ppid=1460 vsize=10355560 memory=4627829660337606006 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 2679 13107 0 0 1 0 5 3 20 0 9 0 474834253 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316687953776 140316716139677 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10355560 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474834254 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10355560 memory=139889573287552 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474834254 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474834254 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474834254 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10355560 memory=139889573287552 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474834255 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 9 0 474834255 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316173637024 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474834256 10604093440 5160 33554432000 4194304 4196468 140732666787056 140316044682800 140316716127957 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10186436 KiB
Current children cumulated memory: 18272 KiB

[startup+0.213809 s]*
/proc/loadavg: 1.03 1.28 1.39 3/227 1530
/proc/meminfo: memFree=6471020/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10820196 memory=42700 CPUtime=0.28 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 7604 13107 0 0 18 2 5 3 20 0 15 0 474834244 11079880704 10675 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2705049 10675 3307 1 0 2667149 0
[pid=1463/tid=1517] ppid=1460 vsize=10820196 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 3997 13107 0 0 11 1 5 3 20 0 15 0 474834253 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316687931936 140316716139677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10820196 memory=4294967661 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10820196 memory=288370265724999296 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10820196 memory=139889573287552 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834255 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 474834255 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316173637024 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834256 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316044682736 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11079880704 10675 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) S 1460 1463 28461 0 -1 1077944384 487 13107 0 0 1 0 5 3 20 0 15 0 474834258 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316140079088 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) S 1460 1463 28461 0 -1 1077944384 204 13107 0 0 1 0 5 3 20 0 15 0 474834258 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316139026544 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10820196 memory=139889573287552 CPUtime=0.11 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 666 13107 0 0 3 0 5 3 20 0 15 0 474834258 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11079880704 10675 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10820196 memory=139889573287552 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834259 11079880704 10675 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42700 KiB

[startup+0.320368 s]*
/proc/loadavg: 1.03 1.28 1.39 3/227 1530
/proc/meminfo: memFree=6461764/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10820268 memory=51148 CPUtime=0.41 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 11019 13107 0 0 30 3 5 3 20 0 15 0 474834244 11079954432 12787 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2705067 12787 3328 1 0 2667149 0
[pid=1463/tid=1517] ppid=1460 vsize=10820268 memory=1398720917958146503 CPUtime=0.31 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 7385 13107 0 0 20 3 5 3 20 0 15 0 474834253 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316687924256 140316700198238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10820268 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10820268 memory=2272 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10820268 memory=139893868254847 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834255 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 474834255 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316173637024 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10820268 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834256 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316044682736 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11079954432 12787 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10820268 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) S 1460 1463 28461 0 -1 1077944384 491 13107 0 0 2 0 5 3 20 0 15 0 474834258 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316140079088 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10820268 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) S 1460 1463 28461 0 -1 1077944384 213 13107 0 0 2 0 5 3 20 0 15 0 474834258 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316139026544 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10820268 memory=139889573287552 CPUtime=0.13 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 705 13107 0 0 5 0 5 3 20 0 15 0 474834258 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11079954432 12787 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10820268 memory=139889573287552 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834259 11079954432 12787 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 51148 KiB

[startup+0.702325 s]
/proc/loadavg: 1.03 1.28 1.39 3/227 1530
/proc/meminfo: memFree=6446112/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10824364 memory=84284 CPUtime=1.15 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 15373 13107 0 0 102 5 5 3 20 0 15 0 474834244 11084148736 21071 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2706091 21071 3508 1 0 2668173 0
[pid=1463/tid=1517] ppid=1460 vsize=10824364 memory=139891379798566 CPUtime=0.68 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 10386 13107 0 0 56 4 5 3 20 0 15 0 474834253 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316687947296 140316716139677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10824364 memory=139891379798586 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10824364 memory=139891379798588 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834254 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10824364 memory=139891379798592 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10824364 memory=139891379798593 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834254 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10824364 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 5 13107 0 0 0 0 5 3 20 0 15 0 474834255 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10824364 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 474834255 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316173637024 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10824364 memory=8080 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834256 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316044682736 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10824364 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11084148736 21071 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10824364 memory=1556 CPUtime=0.21 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) R 1460 1463 28461 0 -1 4202560 918 13107 0 0 13 0 5 3 20 0 15 0 474834258 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316140065632 140316695806184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10824364 memory=2832 CPUtime=0.23 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) S 1460 1463 28461 0 -1 1077944384 771 13107 0 0 15 0 5 3 20 0 15 0 474834258 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316139026544 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10824364 memory=984 CPUtime=0.25 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 1045 13107 0 0 17 0 5 3 20 0 15 0 474834258 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10824364 memory=14012 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11084148736 21071 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10824364 memory=15260 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474834259 11084148736 21071 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84284 KiB

[startup+1.50084 s]
/proc/loadavg: 1.03 1.28 1.39 6/227 1530
/proc/meminfo: memFree=6231464/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10828596 memory=311440 CPUtime=3.65 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 22831 13107 0 0 334 23 5 3 20 0 15 0 474834244 11088482304 77860 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2707149 77860 3569 1 0 2669212 0
[pid=1463/tid=1517] ppid=1460 vsize=10828596 memory=4108 CPUtime=1.4 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 11386 13107 0 0 124 8 5 3 20 0 15 0 474834253 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316687948720 140316323466349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10828596 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 53 13107 0 0 3 3 5 3 20 0 15 0 474834254 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10828596 memory=8463010658029966021 CPUtime=0.13 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 48 13107 0 0 3 2 5 3 20 0 15 0 474834254 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10828596 memory=7019467087923327281 CPUtime=0.14 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 69 13107 0 0 3 3 5 3 20 0 15 0 474834254 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10828596 memory=7526543410563880453 CPUtime=0.12 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 50 13107 0 0 2 2 5 3 20 0 15 0 474834254 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10828596 memory=6152568428857420127 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 85 13107 0 0 0 0 5 3 20 0 15 0 474834255 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10828596 memory=7738708531449717346 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 34 13107 0 0 0 0 5 3 20 0 15 0 474834255 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316173637024 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10828596 memory=279778867286528 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834256 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316044682736 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10828596 memory=10814 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11088482304 77860 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10828596 memory=24205 CPUtime=0.82 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) R 1460 1463 28461 0 -1 4202560 2940 13107 0 0 74 0 5 3 20 0 15 0 474834258 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316140064968 140316716131655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10828596 memory=288230583132487972 CPUtime=0.89 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) R 1460 1463 28461 0 -1 4202560 3839 13107 0 0 81 0 5 3 20 0 15 0 474834258 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316139012568 140316697639151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10828596 memory=3368357 CPUtime=0.47 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 2117 13107 0 0 39 0 5 3 20 0 15 0 474834258 11088482304 77860 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0

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


[startup+28.8008 s]
/proc/loadavg: 1.25 1.32 1.40 3/227 1532
/proc/meminfo: memFree=3157504/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10844940 memory=3356108 CPUtime=46.16 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 88053 13107 0 0 4386 222 5 3 20 0 15 0 474834244 11105218560 839027 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2711235 839027 3634 1 0 2673293 0
[pid=1463/tid=1517] ppid=1460 vsize=10844940 memory=1120 CPUtime=26.8 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 29102 13107 0 0 2633 39 5 3 20 0 15 0 474834253 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316687949536 140316324192958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10844940 memory=40104 CPUtime=1.86 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 4537 13107 0 0 136 42 5 3 20 0 15 0 474834254 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10844940 memory=988 CPUtime=1.85 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 3498 13107 0 0 134 43 5 3 20 0 15 0 474834254 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10844940 memory=2016 CPUtime=1.84 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 3635 13107 0 0 133 43 5 3 20 0 15 0 474834254 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10844940 memory=1284 CPUtime=1.84 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2829 13107 0 0 135 41 5 3 20 0 15 0 474834254 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10844940 memory=1044 CPUtime=0.17 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 5724 13107 0 0 8 1 5 3 20 0 15 0 474834255 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10844940 memory=708 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 41 13107 0 0 0 0 5 3 20 0 15 0 474834255 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316173637088 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10844940 memory=9364 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 4 13107 0 0 0 0 5 3 20 0 15 0 474834256 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316044682752 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10844940 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11105218560 839027 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10844940 memory=984 CPUtime=5.19 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) S 1460 1463 28461 0 -1 1077944384 12362 13107 0 0 509 2 5 3 20 0 15 0 474834258 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316140079088 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10844940 memory=14012 CPUtime=5.21 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) S 1460 1463 28461 0 -1 1077944384 12850 13107 0 0 510 3 5 3 20 0 15 0 474834258 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316139026544 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10844940 memory=15260 CPUtime=1.93 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 10471 13107 0 0 182 3 5 3 20 0 15 0 474834258 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10844940 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11105218560 839027 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10844940 memory=12036 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 794 13107 0 0 0 1 5 3 20 0 15 0 474834259 11105218560 839027 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 46.16 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 3356108 KiB

[startup+32.0007 s]*
/proc/loadavg: 1.25 1.32 1.40 6/227 1532
/proc/meminfo: memFree=3155180/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10846988 memory=3358256 CPUtime=50.95 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 90940 13107 0 0 4863 224 5 3 20 0 15 0 474834244 11107315712 839564 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2711747 839564 3638 1 0 2673805 0
[pid=1463/tid=1517] ppid=1460 vsize=10846988 memory=1398720917958146503 CPUtime=29.95 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 31290 13107 0 0 2947 40 5 3 20 0 15 0 474834253 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316687952416 140316330956064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10846988 memory=4126316290023845779 CPUtime=1.92 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 4537 13107 0 0 142 42 5 3 20 0 15 0 474834254 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10846988 memory=14012 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 3499 13107 0 0 140 43 5 3 20 0 15 0 474834254 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10846988 memory=15260 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 3643 13107 0 0 140 43 5 3 20 0 15 0 474834254 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10846988 memory=2120 CPUtime=1.9 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2829 13107 0 0 141 41 5 3 20 0 15 0 474834254 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10846988 memory=12036 CPUtime=0.17 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 5724 13107 0 0 8 1 5 3 20 0 15 0 474834255 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10846988 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 42 13107 0 0 0 0 5 3 20 0 15 0 474834255 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316173637088 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10846988 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 4 13107 0 0 0 0 5 3 20 0 15 0 474834256 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316044682752 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10846988 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11107315712 839588 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10846988 memory=1408 CPUtime=5.77 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) R 1460 1463 28461 0 -1 4202560 12513 13107 0 0 567 2 5 3 20 0 15 0 474834258 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316140066640 140316694284232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10846988 memory=3356108 CPUtime=5.82 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) R 1460 1463 28461 0 -1 4202560 13055 13107 0 0 571 3 5 3 20 0 15 0 474834258 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316139013088 140316697481625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10846988 memory=8112282956445269571 CPUtime=2.14 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) R 1460 1463 28461 0 -1 1077944384 10806 13107 0 0 203 3 5 3 20 0 15 0 474834258 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10846988 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11107315712 839588 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10846988 memory=1284 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 798 13107 0 0 0 1 5 3 20 0 15 0 474834259 11107315712 839588 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3358256 KiB

[startup+33.6006 s]
/proc/loadavg: 1.31 1.33 1.40 5/227 1532
/proc/meminfo: memFree=3149600/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10849036 memory=3364024 CPUtime=55.38 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 92930 13107 0 0 5305 225 5 3 20 0 15 0 474834244 11109412864 841006 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2712259 841006 3642 1 0 2674317 0
[pid=1463/tid=1517] ppid=1460 vsize=10849036 memory=8 CPUtime=31.53 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 32435 13107 0 0 3105 40 5 3 20 0 15 0 474834253 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316687944800 140316716129686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10849036 memory=8 CPUtime=1.92 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 4537 13107 0 0 142 42 5 3 20 0 15 0 474834254 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10849036 memory=8 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 3499 13107 0 0 140 43 5 3 20 0 15 0 474834254 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10849036 memory=8 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 3643 13107 0 0 140 43 5 3 20 0 15 0 474834254 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10849036 memory=8 CPUtime=1.9 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2829 13107 0 0 141 41 5 3 20 0 15 0 474834254 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10849036 memory=3361532 CPUtime=0.17 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 5724 13107 0 0 8 1 5 3 20 0 15 0 474834255 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10849036 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 42 13107 0 0 0 0 5 3 20 0 15 0 474834255 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316173637088 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10849036 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 4 13107 0 0 0 0 5 3 20 0 15 0 474834256 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316044682752 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10849036 memory=8080 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11109412864 841006 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10849036 memory=3624 CPUtime=7.01 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) R 1460 1463 28461 0 -1 4202560 12694 13107 0 0 691 2 5 3 20 0 15 0 474834258 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316140079088 140316716139098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10849036 memory=1556 CPUtime=7.07 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) R 1460 1463 28461 0 -1 4202560 13289 13107 0 0 696 3 5 3 20 0 15 0 474834258 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316139026544 140316700104220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10849036 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) S 1460 1463 28461 0 -1 1077944384 11230 13107 0 0 236 4 5 3 20 0 15 0 474834258 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316137974000 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10849036 memory=-6237260532469557610 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11109412864 841006 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10849036 memory=-7737621075815361632 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 798 13107 0 0 0 1 5 3 20 0 15 0 474834259 11109412864 841006 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 55.38 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3364024 KiB

[startup+34.4013 s]
/proc/loadavg: 1.31 1.33 1.40 3/227 1532
/proc/meminfo: memFree=3149352/32770624 swapFree=66952556/67108860
[pid=1463] ppid=1460 vsize=10849036 memory=3364160 CPUtime=56.79 cores=1,3,5,7
/proc/1463/stat : 1463 (java) S 1460 1463 28461 0 -1 1077944320 92981 13107 0 0 5446 225 5 3 20 0 15 0 474834244 11109412864 841040 33554432000 4194304 4196468 140732666787056 140732666769600 140316716117751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
/proc/1463/statm: 2712259 841040 3642 1 0 2674317 0
[pid=1463/tid=1517] ppid=1460 vsize=10849036 memory=2016 CPUtime=32.33 cores=1,3,5,7
/proc/1463/task/1517/stat : 1517 (java) R 1460 1463 28461 0 -1 4202560 32452 13107 0 0 3185 40 5 3 20 0 15 0 474834253 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316687951336 140316700428209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1518] ppid=1460 vsize=10849036 memory=1284 CPUtime=1.92 cores=1,3,5,7
/proc/1463/task/1518/stat : 1518 (java) S 1460 1463 28461 0 -1 1077944384 4537 13107 0 0 142 42 5 3 20 0 15 0 474834254 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316720359696 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1519] ppid=1460 vsize=10849036 memory=3580 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1519/stat : 1519 (java) S 1460 1463 28461 0 -1 1077944384 3499 13107 0 0 140 43 5 3 20 0 15 0 474834254 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316650117520 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1520] ppid=1460 vsize=10849036 memory=3352336 CPUtime=1.91 cores=1,3,5,7
/proc/1463/task/1520/stat : 1520 (java) S 1460 1463 28461 0 -1 1077944384 3643 13107 0 0 140 43 5 3 20 0 15 0 474834254 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316288412176 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1521] ppid=1460 vsize=10849036 memory=1444 CPUtime=1.9 cores=1,3,5,7
/proc/1463/task/1521/stat : 1521 (java) S 1460 1463 28461 0 -1 1077944384 2829 13107 0 0 141 41 5 3 20 0 15 0 474834254 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316287359632 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1522] ppid=1460 vsize=10849036 memory=4108 CPUtime=0.17 cores=1,3,5,7
/proc/1463/task/1522/stat : 1522 (java) S 1460 1463 28461 0 -1 1077944384 5724 13107 0 0 8 1 5 3 20 0 15 0 474834255 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316174690800 140316716128898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1523] ppid=1460 vsize=10849036 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1523/stat : 1523 (java) S 1460 1463 28461 0 -1 1077944384 42 13107 0 0 0 0 5 3 20 0 15 0 474834255 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316173637088 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1524] ppid=1460 vsize=10849036 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1524/stat : 1524 (java) S 1460 1463 28461 0 -1 1077944384 4 13107 0 0 0 0 5 3 20 0 15 0 474834256 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316044682752 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1525] ppid=1460 vsize=10849036 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1525/stat : 1525 (java) S 1460 1463 28461 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474834258 11109412864 841040 33554432000 4194304 4196468 140732666787056 140315440704208 140316716136347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1526] ppid=1460 vsize=10849036 memory=111632 CPUtime=7.25 cores=1,3,5,7
/proc/1463/task/1526/stat : 1526 (java) S 1460 1463 28461 0 -1 1077944384 12697 13107 0 0 715 2 5 3 20 0 15 0 474834258 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316140079088 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1527] ppid=1460 vsize=10849036 memory=804 CPUtime=7.36 cores=1,3,5,7
/proc/1463/task/1527/stat : 1527 (java) S 1460 1463 28461 0 -1 1077944384 13289 13107 0 0 725 3 5 3 20 0 15 0 474834258 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316139026544 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1528] ppid=1460 vsize=10849036 memory=3351720 CPUtime=2.56 cores=1,3,5,7
/proc/1463/task/1528/stat : 1528 (java) R 1460 1463 28461 0 -1 4202560 11259 13107 0 0 244 4 5 3 20 0 15 0 474834258 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316137974000 140316701489126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1529] ppid=1460 vsize=10849036 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/1463/task/1529/stat : 1529 (java) S 1460 1463 28461 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474834259 11109412864 841040 33554432000 4194304 4196468 140732666787056 140314970942048 140316716127957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
[pid=1463/tid=1530] ppid=1460 vsize=10849036 memory=1804 CPUtime=0.09 cores=1,3,5,7
/proc/1463/task/1530/stat : 1530 (java) S 1460 1463 28461 0 -1 1077944384 800 13107 0 0 0 1 5 3 20 0 15 0 474834259 11109412864 841040 33554432000 4194304 4196468 140732666787056 140316136921904 140316716128898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21958656 140732666792547 140732666795189 140732666795189 140732666798031 0
Current children cumulated CPU time: 56.79 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3364160 KiB

[startup+34.6007 s]*
/proc/loadavg: 1.31 1.33 1.40 3/214 1533
/proc/meminfo: memFree=3435676/32770624 swapFree=66952556/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 34.62
CPU time (s): 57.3117
CPU user time (s): 54.9964
CPU system time (s): 2.31524
CPU usage (%): 165.545
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3364396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9964
system time used= 2.31524
maximum resident set size= 3366828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112474
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= 10573
involuntary context switches= 201


# summary of solver processes directly reported to runsolver:
#   pid: 1463
#   total CPU time (s): 57.3117
#   total CPU user time (s): 54.9964
#   total CPU system time (s): 2.31524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.258447 second user time and 0.353244 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-20 14:21:06
IDJOB=4403053
IDBENCH=141276
IDSOLVER=2862
FILE ID=node107/4403053-1568985786
RUNJOBID= node107-1568963918-28493
PBS_JOBID= 21704631
Free space on /var/tmp= 12460 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403053-1568985786/watcher-4403053-1568985786 -o /var/tmp/evaluation-result-4403053-1568985786/solver-4403053-1568985786 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28493 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1048661505 HOME/instance-4403053-1568985786.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1048661505

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         6499760 kB
MemAvailable:   30951292 kB
Buffers:          140620 kB
Cached:         24208804 kB
SwapCached:        48736 kB
Active:         13005104 kB
Inactive:       12252012 kB
Active(anon):     859600 kB
Inactive(anon):    91988 kB
Active(file):   12145504 kB
Inactive(file): 12160024 kB
Unevictable:      111004 kB
Mlocked:          111004 kB
SwapTotal:      67108860 kB
SwapFree:       66952556 kB
Dirty:            107064 kB
Writeback:             0 kB
AnonPages:        971416 kB
Mapped:            61384 kB
Shmem:             34864 kB
Slab:             602960 kB
SReclaimable:     574464 kB
SUnreclaim:        28496 kB
KernelStack:        3968 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2111620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12424 MiB
End job on node107 at 2019-09-20 14:21:41