Trace number 4402753

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 59.6866 36.4192

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402753-1568987842/watcher-4402753-1568987842 -o /tmp/evaluation-result-4402753-1568987842/solver-4402753-1568987842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1427589599 HOME/instance-4402753-1568987842.xml 

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

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

solver pid=2008, runsolver pid=2005

[startup+0.100062 s]*
/proc/loadavg: 1.76 1.67 1.54 3/218 2065
/proc/meminfo: memFree=8473968/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 4517 13025 0 0 1 0 5 3 20 0 6 0 474945921 10212057088 4270 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2493178 4270 1935 1 0 2481616 0
[pid=2008/tid=2061] ppid=2005 vsize=10055356 memory=576460756329955604 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 2441 13025 0 0 1 0 5 3 20 0 7 0 474945930 10296684544 4402 33554432000 4194304 4196468 140731401652352 140278883556112 140278892537904 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 7 0 474945930 10296684544 4402 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10055356 memory=3434058 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 7 0 474945930 10296684544 4402 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 7 0 474945930 10296684544 4402 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 7 0 474945930 10296684544 4402 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 7 0 474945932 10296684544 4402 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.211943 s]*
/proc/loadavg: 1.76 1.67 1.54 3/227 2075
/proc/meminfo: memFree=8451420/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10820196 memory=44204 CPUtime=0.27 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 7509 13025 0 0 18 1 5 3 20 0 15 0 474945921 11079880704 11051 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2705049 11051 3285 1 0 2667149 0
[pid=2008/tid=2061] ppid=2005 vsize=10820196 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 3989 13025 0 0 11 1 5 3 20 0 15 0 474945930 11079880704 11051 33554432000 4194304 4196468 140731401652352 140278883527200 140278911734941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10820196 memory=4294967641 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 11051 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10820196 memory=3616591337675658912 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 11051 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 11051 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 11051 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10820196 memory=140156760069760 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 33 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277913310240 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277792629616 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) S 2005 2008 29733 0 -1 1077944384 483 13025 0 0 1 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277879753584 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 187 13025 0 0 1 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10820196 memory=140156760069760 CPUtime=0.11 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 598 13025 0 0 3 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10820196 memory=140156760069760 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 11051 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44204 KiB

[startup+0.310451 s]*
/proc/loadavg: 1.76 1.67 1.54 3/227 2075
/proc/meminfo: memFree=8441256/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10820196 memory=52640 CPUtime=0.4 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 10848 13025 0 0 29 3 5 3 20 0 15 0 474945921 11079880704 13160 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2705049 13160 3306 1 0 2667149 0
[pid=2008/tid=2061] ppid=2005 vsize=10820196 memory=280313322275056 CPUtime=0.29 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 7323 13025 0 0 19 2 5 3 20 0 15 0 474945930 11079880704 13160 33554432000 4194304 4196468 140731401652352 140278883525312 140278911734941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 13160 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10820196 memory=140156760069985 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 13160 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10820196 memory=140156661139935 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 13160 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10820196 memory=140156661241871 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945930 11079880704 13160 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10820196 memory=140156760069761 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 33 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277913310240 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945932 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277792629616 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) S 2005 2008 29733 0 -1 1077944384 484 13025 0 0 2 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277879753584 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 187 13025 0 0 1 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10820196 memory=140156760069760 CPUtime=0.13 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 606 13025 0 0 5 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10820196 memory=140156760069760 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945935 11079880704 13160 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52640 KiB

[startup+0.700705 s]
/proc/loadavg: 1.77 1.67 1.54 3/227 2075
/proc/meminfo: memFree=8425736/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10825388 memory=85908 CPUtime=1.16 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 15204 13025 0 0 103 5 5 3 20 0 15 0 474945921 11085197312 21502 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2706347 21502 3502 1 0 2668429 0
[pid=2008/tid=2061] ppid=2005 vsize=10824364 memory=1416 CPUtime=0.68 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 10565 13025 0 0 56 4 5 3 20 0 15 0 474945930 11084148736 21477 33554432000 4194304 4196468 140731401652352 140278883530944 140278904392237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10825388 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11085197312 21477 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10825388 memory=740 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11085197312 21477 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10825388 memory=7014751519700964689 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945930 11085197312 21477 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10825388 memory=6083077128950803811 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945930 11085197312 21477 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10824364 memory=140156661306811 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 5 13025 0 0 0 0 5 3 20 0 15 0 474945932 11084148736 21478 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10824364 memory=280313322301600 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 33 13025 0 0 0 0 5 3 20 0 15 0 474945932 11084148736 21478 33554432000 4194304 4196468 140731401652352 140277913310240 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10824364 memory=280313322301792 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945932 11084148736 21478 33554432000 4194304 4196468 140731401652352 140277792629616 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10824364 memory=280313322301984 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11084148736 21478 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10825388 memory=280313322302176 CPUtime=0.23 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) S 2005 2008 29733 0 -1 1077944384 944 13025 0 0 15 0 5 3 20 0 15 0 474945935 11085197312 21478 33554432000 4194304 4196468 140731401652352 140277879753584 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10825388 memory=280313322302368 CPUtime=0.21 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 655 13025 0 0 13 0 5 3 20 0 15 0 474945935 11085197312 21478 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10825388 memory=280313322302560 CPUtime=0.25 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 793 13025 0 0 17 0 5 3 20 0 15 0 474945935 11085197312 21478 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10825388 memory=280313322302752 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11085197312 21478 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10824364 memory=3588 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945935 11084148736 21478 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 85908 KiB

[startup+1.50075 s]
/proc/loadavg: 1.77 1.67 1.54 4/227 2075
/proc/meminfo: memFree=8206476/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10829068 memory=328384 CPUtime=3.65 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 26621 13025 0 0 335 22 5 3 20 0 15 0 474945921 11088965632 82096 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2707267 82096 3567 1 0 2669330 0
[pid=2008/tid=2061] ppid=2005 vsize=10829068 memory=8 CPUtime=1.41 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 11505 13025 0 0 126 7 5 3 20 0 15 0 474945930 11088965632 82096 33554432000 4194304 4196468 140731401652352 140278883544280 140278484736180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10829068 memory=280313322699808 CPUtime=0.12 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 70 13025 0 0 2 2 5 3 20 0 15 0 474945930 11088965632 82096 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10829068 memory=1416 CPUtime=0.12 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 53 13025 0 0 2 2 5 3 20 0 15 0 474945930 11088965632 82096 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10829068 memory=1556 CPUtime=0.11 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 35 13025 0 0 1 2 5 3 20 0 15 0 474945930 11088965632 82096 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10829068 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 51 13025 0 0 2 2 5 3 20 0 15 0 474945930 11088965632 82096 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10829068 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 85 13025 0 0 0 0 5 3 20 0 15 0 474945932 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10829068 memory=140156661151392 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 35 13025 0 0 0 0 5 3 20 0 15 0 474945932 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277913310240 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10829068 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277792629616 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10829068 memory=9124452773572088723 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10829068 memory=-9178176116494409632 CPUtime=0.88 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) R 2005 2008 29733 0 -1 4202560 5069 13025 0 0 80 0 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277879738248 140278890958814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10829068 memory=4137287014106042739 CPUtime=0.88 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) R 2005 2008 29733 0 -1 4202560 5727 13025 0 0 79 1 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277878685256 140278896833133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10829068 memory=6945782492362334265 CPUtime=0.47 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 1778 13025 0 0 39 0 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10829068 memory=-6876588461455810464 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10829068 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1 13025 0 0 0 0 5 3 20 0 15 0 474945935 11088965632 82096 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0

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


[startup+32.0007 s]*
/proc/loadavg: 1.84 1.70 1.55 3/227 2078
/proc/meminfo: memFree=5086388/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10844940 memory=3403480 CPUtime=49.74 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 89034 13025 0 0 4762 204 5 3 20 0 15 0 474945921 11105218560 850870 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2711235 850870 3633 1 0 2673293 0
[pid=2008/tid=2061] ppid=2005 vsize=10844940 memory=1398722017469774279 CPUtime=29.18 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 28673 13025 0 0 2873 37 5 3 20 0 15 0 474945930 11105218560 850870 33554432000 4194304 4196468 140731401652352 140278883548024 140278485532182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10844940 memory=804 CPUtime=2.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 3065 13025 0 0 162 38 5 3 20 0 15 0 474945930 11105218560 850870 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10844940 memory=1804 CPUtime=2.09 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 2261 13025 0 0 164 37 5 3 20 0 15 0 474945930 11105218560 850870 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10844940 memory=916 CPUtime=2.06 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 2406 13025 0 0 161 37 5 3 20 0 15 0 474945930 11105218560 850870 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10844940 memory=3848 CPUtime=2.09 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2729 13025 0 0 161 40 5 3 20 0 15 0 474945930 11105218560 850870 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10844940 memory=2612 CPUtime=0.16 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 5069 13025 0 0 8 0 5 3 20 0 15 0 474945932 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10844940 memory=2968 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 43 13025 0 0 0 0 5 3 20 0 15 0 474945932 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277913310304 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10844940 memory=1736 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277792629632 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10844940 memory=-3620173217431270332 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10844940 memory=55 CPUtime=5.22 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) S 2005 2008 29733 0 -1 1077944384 14225 13025 0 0 512 2 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277879753584 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10844940 memory=7019467087990435890 CPUtime=5.47 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 18553 13025 0 0 536 3 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10844940 memory=912 CPUtime=1.91 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 8550 13025 0 0 180 3 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10844940 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10844940 memory=1408 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1248 13025 0 0 0 1 5 3 20 0 15 0 474945935 11105218560 850870 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 69 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 3403480 KiB

[startup+33.6012 s]
/proc/loadavg: 1.84 1.70 1.55 3/227 2078
/proc/meminfo: memFree=5085132/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10846988 memory=3407412 CPUtime=52.53 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 91322 13025 0 0 5041 204 5 3 20 0 15 0 474945921 11107315712 851853 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2711747 851853 3635 1 0 2673805 0
[pid=2008/tid=2061] ppid=2005 vsize=10846988 memory=3304816 CPUtime=30.76 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 30217 13025 0 0 3031 37 5 3 20 0 15 0 474945930 11107315712 851853 33554432000 4194304 4196468 140731401652352 140278883545288 140278485680254 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10846988 memory=3304816 CPUtime=2.08 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 3065 13025 0 0 162 38 5 3 20 0 15 0 474945930 11107315712 851853 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10846988 memory=280313322397312 CPUtime=2.09 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 2261 13025 0 0 164 37 5 3 20 0 15 0 474945930 11107315712 851853 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10846988 memory=3403480 CPUtime=2.06 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 2406 13025 0 0 161 37 5 3 20 0 15 0 474945930 11107315712 851853 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10846988 memory=4420 CPUtime=2.09 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2729 13025 0 0 161 40 5 3 20 0 15 0 474945930 11107315712 851853 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10846988 memory=6628 CPUtime=0.16 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 5069 13025 0 0 8 0 5 3 20 0 15 0 474945932 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10846988 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 43 13025 0 0 0 0 5 3 20 0 15 0 474945932 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277913310304 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10846988 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277792629632 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10846988 memory=1096 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10846988 memory=6128 CPUtime=5.74 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) R 2005 2008 29733 0 -1 4202560 14383 13025 0 0 564 2 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277879753680 140278896612692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10846988 memory=14012 CPUtime=5.99 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 18733 13025 0 0 588 3 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10846988 memory=4100 CPUtime=2.08 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 8956 13025 0 0 197 3 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10846988 memory=27516 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10846988 memory=14068 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1248 13025 0 0 0 1 5 3 20 0 15 0 474945935 11107315712 851853 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 69 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 52.53 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3407412 KiB

[startup+35.2012 s]
/proc/loadavg: 1.84 1.70 1.55 5/227 2078
/proc/meminfo: memFree=5077968/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10849036 memory=3421504 CPUtime=57.21 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 93861 13025 0 0 5506 207 5 3 20 0 15 0 474945921 11109412864 855376 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2712259 855376 3636 1 0 2674317 0
[pid=2008/tid=2061] ppid=2005 vsize=10849036 memory=-6520471753822164382 CPUtime=32.32 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) S 2005 2008 29733 0 -1 1077944384 31716 13025 0 0 3186 38 5 3 20 0 15 0 474945930 11109412864 855376 33554432000 4194304 4196468 140731401652352 140278883544320 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10849036 memory=8112282956445269571 CPUtime=2.1 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) R 2005 2008 29733 0 -1 4202560 3106 13025 0 0 164 38 5 3 20 0 15 0 474945930 11109412864 855376 33554432000 4194304 4196468 140731401652352 140278915955744 140278896735136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10849036 memory=1416 CPUtime=2.11 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) R 2005 2008 29733 0 -1 4202560 2275 13025 0 0 166 37 5 3 20 0 15 0 474945930 11109412864 855376 33554432000 4194304 4196468 140731401652352 140278804229136 140278896741274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10849036 memory=1556 CPUtime=2.08 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) R 2005 2008 29733 0 -1 4202560 2455 13025 0 0 163 37 5 3 20 0 15 0 474945930 11109412864 855376 33554432000 4194304 4196468 140731401652352 140278803176536 140278896740765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10849036 memory=740 CPUtime=2.1 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) R 2005 2008 29733 0 -1 4202560 2753 13025 0 0 162 40 5 3 20 0 15 0 474945930 11109412864 855376 33554432000 4194304 4196468 140731401652352 140278802123536 140278896735136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10849036 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 5069 13025 0 0 8 0 5 3 20 0 15 0 474945932 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277914362784 140278911723221 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10849036 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 43 13025 0 0 0 0 5 3 20 0 15 0 474945932 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277913310304 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10849036 memory=740 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277792629632 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10849036 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10849036 memory=7548 CPUtime=7.08 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) S 2005 2008 29733 0 -1 1077944384 14556 13025 0 0 697 3 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277879738576 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10849036 memory=3620 CPUtime=7.32 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 18953 13025 0 0 721 3 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277878685776 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10849036 memory=2832 CPUtime=2.44 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 9475 13025 0 0 232 4 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10849036 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10849036 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1248 13025 0 0 0 1 5 3 20 0 15 0 474945935 11109412864 855376 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 69 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 57.21 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3421504 KiB

[startup+36.0012 s]*
/proc/loadavg: 1.85 1.71 1.55 6/227 2078
/proc/meminfo: memFree=5028196/32770624 swapFree=67002116/67108860
[pid=2008] ppid=2005 vsize=10849036 memory=3462784 CPUtime=58.92 cores=1,3,5,7
/proc/2008/stat : 2008 (java) S 2005 2008 29733 0 -1 1077944320 94150 13025 0 0 5673 211 5 3 20 0 15 0 474945921 11109412864 865696 33554432000 4194304 4196468 140731401652352 140731401634896 140278911713015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
/proc/2008/statm: 2712259 865696 3636 1 0 2674317 0
[pid=2008/tid=2061] ppid=2005 vsize=10849036 memory=1398722017469774279 CPUtime=33.05 cores=1,3,5,7
/proc/2008/task/2061/stat : 2061 (java) R 2005 2008 29733 0 -1 4202560 31767 13025 0 0 3259 38 5 3 20 0 15 0 474945930 11109412864 865696 33554432000 4194304 4196468 140731401652352 140278883547808 140278490906838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2062] ppid=2005 vsize=10849036 memory=7824336315716348491 CPUtime=2.18 cores=1,3,5,7
/proc/2008/task/2062/stat : 2062 (java) S 2005 2008 29733 0 -1 1077944384 3142 13025 0 0 171 39 5 3 20 0 15 0 474945930 11109412864 865696 33554432000 4194304 4196468 140731401652352 140278915955856 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2063] ppid=2005 vsize=10849036 memory=7235983219269594220 CPUtime=2.18 cores=1,3,5,7
/proc/2008/task/2063/stat : 2063 (java) S 2005 2008 29733 0 -1 1077944384 2316 13025 0 0 172 38 5 3 20 0 15 0 474945930 11109412864 865696 33554432000 4194304 4196468 140731401652352 140278804229136 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2064] ppid=2005 vsize=10849036 memory=6371301977864824425 CPUtime=2.16 cores=1,3,5,7
/proc/2008/task/2064/stat : 2064 (java) S 2005 2008 29733 0 -1 1077944384 2480 13025 0 0 170 38 5 3 20 0 15 0 474945930 11109412864 865696 33554432000 4194304 4196468 140731401652352 140278803176336 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2065] ppid=2005 vsize=10849036 memory=6003408737151902828 CPUtime=2.18 cores=1,3,5,7
/proc/2008/task/2065/stat : 2065 (java) S 2005 2008 29733 0 -1 1077944384 2793 13025 0 0 169 41 5 3 20 0 15 0 474945930 11109412864 865696 33554432000 4194304 4196468 140731401652352 140278802123536 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2066] ppid=2005 vsize=10849036 memory=7524503900901105746 CPUtime=0.16 cores=1,3,5,7
/proc/2008/task/2066/stat : 2066 (java) S 2005 2008 29733 0 -1 1077944384 5069 13025 0 0 8 0 5 3 20 0 15 0 474945932 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277914364272 140278911724162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2067] ppid=2005 vsize=10849036 memory=7524503900901105746 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2067/stat : 2067 (java) S 2005 2008 29733 0 -1 1077944384 44 13025 0 0 0 0 5 3 20 0 15 0 474945932 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277913310304 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2068] ppid=2005 vsize=10849036 memory=-8813974798734826869 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2068/stat : 2068 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945932 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277792629632 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2069] ppid=2005 vsize=10849036 memory=7084280305664157290 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2069/stat : 2069 (java) S 2005 2008 29733 0 -1 1077944384 2 13025 0 0 0 0 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277457086288 140278911731611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2071] ppid=2005 vsize=10849036 memory=7379267223718150244 CPUtime=7.45 cores=1,3,5,7
/proc/2008/task/2071/stat : 2071 (java) R 2005 2008 29733 0 -1 4202560 14558 13025 0 0 734 3 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277879734992 140278893247555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2072] ppid=2005 vsize=10849036 memory=0 CPUtime=7.58 cores=1,3,5,7
/proc/2008/task/2072/stat : 2072 (java) S 2005 2008 29733 0 -1 1077944384 18963 13025 0 0 746 4 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277878700784 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2073] ppid=2005 vsize=10849036 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/2008/task/2073/stat : 2073 (java) S 2005 2008 29733 0 -1 1077944384 9558 13025 0 0 238 4 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277877647984 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2074] ppid=2005 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2008/task/2074/stat : 2074 (java) S 2005 2008 29733 0 -1 1077944384 3 13025 0 0 0 0 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277188651744 140278911723221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
[pid=2008/tid=2075] ppid=2005 vsize=10849036 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2008/task/2075/stat : 2075 (java) S 2005 2008 29733 0 -1 1077944384 1248 13025 0 0 0 1 5 3 20 0 15 0 474945935 11109412864 865696 33554432000 4194304 4196468 140731401652352 140277876595376 140278911724162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 69 0 0 6293624 6294260 12886016 140731401661167 140731401663685 140731401663685 140731401666511 0
Current children cumulated CPU time: 58.92 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3462784 KiB

[startup+36.4007 s]*
/proc/loadavg: 1.85 1.71 1.55 3/214 2079
/proc/meminfo: memFree=5739660/32770624 swapFree=67002116/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): 36.4192
CPU time (s): 59.6866
CPU user time (s): 57.5145
CPU system time (s): 2.17211
CPU usage (%): 163.888
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3462956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.5145
system time used= 2.17211
maximum resident set size= 3465264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107382
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= 10704
involuntary context switches= 172


# summary of solver processes directly reported to runsolver:
#   pid: 2008
#   total CPU time (s): 59.6866
#   total CPU user time (s): 57.5145
#   total CPU system time (s): 2.17211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.245181 second user time and 0.383262 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-20 15:56:45
IDJOB=4402753
IDBENCH=141276
IDSOLVER=2861
FILE ID=node148/4402753-1568987842
RUNJOBID= node148-1568967599-29765
PBS_JOBID= 21704612
Free space on /tmp= 21556 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 /tmp/evaluation-result-4402753-1568987842/watcher-4402753-1568987842 -o /tmp/evaluation-result-4402753-1568987842/solver-4402753-1568987842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1427589599 HOME/instance-4402753-1568987842.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1427589599

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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:         8482312 kB
MemAvailable:   30419076 kB
Buffers:          112400 kB
Cached:         22009748 kB
SwapCached:         2776 kB
Active:         12490544 kB
Inactive:       11065000 kB
Active(anon):    1431896 kB
Inactive(anon):    48896 kB
Active(file):   11058648 kB
Inactive(file): 11016104 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002116 kB
Dirty:             35648 kB
Writeback:             0 kB
AnonPages:       1543296 kB
Mapped:            64936 kB
Shmem:             38440 kB
Slab:             319300 kB
SReclaimable:     290472 kB
SUnreclaim:        28828 kB
KernelStack:        3696 kB
PageTables:        10704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2480716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1409024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 21520 MiB
End job on node148 at 2019-09-20 15:57:23