Trace number 4304456

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.9.2-SuperNGOPT63832030 64.489 40.5143

General information on the benchmark

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

Solver Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304456-1534093357/watcher-4304456-1534093357 -o /tmp/evaluation-result-4304456-1534093357/solver-4304456-1534093357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21371 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=95897052 -superng HOME/instance-4304456-1534093357.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100117 s]*
/proc/loadavg: 1.58 1.14 1.57 2/186 26263
/proc/meminfo: memFree=13709960/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=10005480 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 4360 12878 0 0 1 0 5 3 20 0 6 0 226898893 10245611520 4202 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2501370 4202 1934 1 0 2489808 0
[pid=26206/tid=26259] ppid=26203 vsize=10005480 memory=-8035107114841901037 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 2171 12878 0 0 0 0 5 3 20 0 6 0 226898902 10245611520 4202 33554432000 4194304 4196468 140722320803328 140266823590480 140266837436245 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=10005480 memory=6735269665564437106 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 6 0 226898903 10245611520 4202 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=10005480 memory=140463390418560 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 6 0 226898903 10245611520 4202 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 6 0 226898903 10245611520 4202 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 6 0 226898903 10245611520 4202 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB

[startup+0.209781 s]*
/proc/loadavg: 1.58 1.14 1.57 2/195 26272
/proc/meminfo: memFree=13685576/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=10982744 memory=45160 CPUtime=0.27 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 8018 12878 0 0 17 2 5 3 20 0 15 0 226898893 11246329856 11290 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2745686 11290 2955 1 0 2708109 0
[pid=26206/tid=26259] ppid=26203 vsize=10982744 memory=8318255677412212789 CPUtime=0.19 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 4622 12878 0 0 10 1 5 3 20 0 15 0 226898902 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266823588752 140266832029426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=10982744 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=10982744 memory=140463390440184 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=10982744 memory=140463390418560 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898904 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246329856 11356 33554432000 4194304 4196468 140722320803328 140265713034528 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246329856 11356 33554432000 4194304 4196468 140722320803328 140265511708272 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11246329856 11356 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) S 26203 26206 21340 0 -1 1077944384 424 12878 0 0 1 0 5 3 20 0 15 0 226898907 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266276505712 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) S 26203 26206 21340 0 -1 1077944384 184 12878 0 0 1 0 5 3 20 0 15 0 226898907 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266275452912 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=10982744 memory=140463390418560 CPUtime=0.11 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 617 12878 0 0 3 0 5 3 20 0 15 0 226898907 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246329856 11356 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=10982744 memory=140463390418560 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246329856 11356 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45160 KiB

[startup+0.310851 s]*
/proc/loadavg: 1.58 1.14 1.57 2/195 26272
/proc/meminfo: memFree=13674040/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=10983192 memory=55956 CPUtime=0.39 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 10573 12878 0 0 28 3 5 3 20 0 15 0 226898893 11246788608 13989 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2745798 13989 3074 1 0 2708109 0
[pid=26206/tid=26259] ppid=26203 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 7117 12878 0 0 19 2 5 3 20 0 15 0 226898902 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266823543248 140266832029547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898904 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246788608 13989 33554432000 4194304 4196468 140722320803328 140265713034528 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246788608 13989 33554432000 4194304 4196468 140722320803328 140265511708272 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11246788608 13989 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) S 26203 26206 21340 0 -1 1077944384 424 12878 0 0 1 0 5 3 20 0 15 0 226898907 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266276505712 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) S 26203 26206 21340 0 -1 1077944384 185 12878 0 0 1 0 5 3 20 0 15 0 226898907 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266275452912 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=10983192 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 628 12878 0 0 4 0 5 3 20 0 15 0 226898907 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=10983192 memory=140463390418560 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246788608 13989 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246788608 13989 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55956 KiB

[startup+0.700751 s]
/proc/loadavg: 1.58 1.14 1.57 2/195 26272
/proc/meminfo: memFree=13663620/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=10983192 memory=88564 CPUtime=0.98 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 16749 12878 0 0 86 4 5 3 20 0 15 0 226898893 11246788608 22141 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2745798 22141 3247 1 0 2708109 0
[pid=26206/tid=26259] ppid=26203 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 12217 12878 0 0 55 3 5 3 20 0 15 0 226898902 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266823567488 140266835834206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=10983192 memory=2100 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=10983192 memory=498 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898903 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=10983192 memory=7881 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 5 12878 0 0 0 0 5 3 20 0 15 0 226898904 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246788608 22141 33554432000 4194304 4196468 140722320803328 140265713034528 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=10983192 memory=232 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898905 11246788608 22141 33554432000 4194304 4196468 140722320803328 140265511708272 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=10983192 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11246788608 22141 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=10983192 memory=201 CPUtime=0.15 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) S 26203 26206 21340 0 -1 1077944384 803 12878 0 0 7 0 5 3 20 0 15 0 226898907 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266276505712 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=10983192 memory=280926563160544 CPUtime=0.17 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) S 26203 26206 21340 0 -1 1077944384 804 12878 0 0 9 0 5 3 20 0 15 0 226898907 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266275452912 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=10983192 memory=288230596050944315 CPUtime=0.21 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 703 12878 0 0 13 0 5 3 20 0 15 0 226898907 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=10983192 memory=13850767857552039 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246788608 22141 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=10983192 memory=614 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898908 11246788608 22141 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88564 KiB

[startup+1.50084 s]
/proc/loadavg: 1.58 1.14 1.57 2/195 26272
/proc/meminfo: memFree=13619680/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=10991948 memory=317584 CPUtime=3.08 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 23647 12878 0 0 277 23 5 3 20 0 15 0 226898893 11255754752 79396 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2747987 79396 3472 1 0 2709645 0
[pid=26206/tid=26259] ppid=26203 vsize=10991948 memory=3618274927833604966 CPUtime=1.4 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 14896 12878 0 0 125 7 5 3 20 0 15 0 226898902 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266823585568 140266404826609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=10991948 memory=280926563343024 CPUtime=0.13 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 278 12878 0 0 2 3 5 3 20 0 15 0 226898903 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=10991948 memory=5 CPUtime=0.13 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 180 12878 0 0 2 3 5 3 20 0 15 0 226898903 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=10991948 memory=2100 CPUtime=0.13 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 47 12878 0 0 2 3 5 3 20 0 15 0 226898903 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=10991948 memory=498 CPUtime=0.13 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 134 12878 0 0 2 3 5 3 20 0 15 0 226898903 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=10991948 memory=7881 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 87 12878 0 0 0 0 5 3 20 0 15 0 226898904 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11255754752 79396 33554432000 4194304 4196468 140722320803328 140265713034528 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=10991948 memory=232 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 2 12878 0 0 0 0 5 3 20 0 15 0 226898905 11255754752 79396 33554432000 4194304 4196468 140722320803328 140265511708272 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=10991948 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11255754752 79396 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=10991948 memory=201 CPUtime=0.58 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) R 26203 26206 21340 0 -1 4202560 2327 12878 0 0 50 0 5 3 20 0 15 0 226898907 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266276492560 140266830966950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=10991948 memory=3684 CPUtime=0.58 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) R 26203 26206 21340 0 -1 4202560 1940 12878 0 0 50 0 5 3 20 0 15 0 226898907 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266275434928 140266833297855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=10991948 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) R 26203 26206 21340 0 -1 4202560 1545 12878 0 0 40 0 5 3 20 0 15 0 226898907 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266274400752 140266829919968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=10991948 memory=6339371730082 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11255754752 79396 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=10991948 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1 12878 0 0 0 0 5 3 20 0 15 0 226898908 11255754752 79396 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10991948 KiB

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


[startup+38.4007 s]
/proc/loadavg: 1.50 1.18 1.57 3/195 26272
/proc/meminfo: memFree=10404272/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=11014496 memory=3329332 CPUtime=59.57 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 105910 12878 0 0 5754 195 5 3 20 0 15 0 226898893 11278843904 832333 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2753624 832333 3531 1 0 2715277 0
[pid=26206/tid=26259] ppid=26203 vsize=11014496 memory=15212 CPUtime=36.41 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 43816 12878 0 0 3596 37 5 3 20 0 15 0 226898902 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266823585120 140266423957680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=11014496 memory=164 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1505 12878 0 0 144 35 5 3 20 0 15 0 226898903 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=11014496 memory=4137290303932963203 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 3549 12878 0 0 143 36 5 3 20 0 15 0 226898903 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=11014496 memory=8390361644446492005 CPUtime=1.89 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 2556 12878 0 0 146 35 5 3 20 0 15 0 226898903 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=11014496 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2332 12878 0 0 144 36 5 3 20 0 15 0 226898903 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=11014496 memory=6992 CPUtime=0.18 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 5237 12878 0 0 9 1 5 3 20 0 15 0 226898904 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=11014496 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 23 12878 0 0 0 0 5 3 20 0 15 0 226898905 11278843904 832333 33554432000 4194304 4196468 140722320803328 140265713034592 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=11014496 memory=4700 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11278843904 832333 33554432000 4194304 4196468 140722320803328 140265511708288 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=11014496 memory=3300004 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11278843904 832333 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=11014496 memory=3300004 CPUtime=6.72 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) R 26203 26206 21340 0 -1 4202560 12760 12878 0 0 661 3 5 3 20 0 15 0 226898907 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266276484544 140266833297442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=11014496 memory=2148 CPUtime=6.58 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) R 26203 26206 21340 0 -1 4202560 16086 12878 0 0 647 3 5 3 20 0 15 0 226898907 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266275434272 140266836635094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=11014496 memory=3300004 CPUtime=2.7 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) R 26203 26206 21340 0 -1 1077944384 14345 12878 0 0 259 3 5 3 20 0 15 0 226898907 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=11014496 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11278843904 832333 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=11014496 memory=3114100 CPUtime=0.1 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1495 12878 0 0 1 1 5 3 20 0 15 0 226898908 11278843904 832333 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 59.57 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3329332 KiB

[startup+39.2007 s]
/proc/loadavg: 1.50 1.18 1.57 4/195 26272
/proc/meminfo: memFree=10391132/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=11016544 memory=3332544 CPUtime=62.04 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 106792 12878 0 0 6001 195 5 3 20 0 15 0 226898893 11280941056 833136 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2754136 833136 3533 1 0 2715789 0
[pid=26206/tid=26259] ppid=26203 vsize=11016544 memory=6791534058613427641 CPUtime=37.21 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 44039 12878 0 0 3676 37 5 3 20 0 15 0 226898902 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266823582216 140266425101631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=11016544 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1505 12878 0 0 144 35 5 3 20 0 15 0 226898903 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=11016544 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 3549 12878 0 0 143 36 5 3 20 0 15 0 226898903 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=11016544 memory=5787213827064092521 CPUtime=1.89 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 2556 12878 0 0 146 35 5 3 20 0 15 0 226898903 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=11016544 memory=3331552 CPUtime=1.88 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2332 12878 0 0 144 36 5 3 20 0 15 0 226898903 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=11016544 memory=30916 CPUtime=0.18 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 5237 12878 0 0 9 1 5 3 20 0 15 0 226898904 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=11016544 memory=2148 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 23 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833136 33554432000 4194304 4196468 140722320803328 140265713034592 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=11016544 memory=3684 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833136 33554432000 4194304 4196468 140722320803328 140265511708288 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=11016544 memory=61764 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11280941056 833136 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=11016544 memory=3684 CPUtime=7.51 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) R 26203 26206 21340 0 -1 4202560 13216 12878 0 0 740 3 5 3 20 0 15 0 226898907 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266276493312 140266836077060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=11016544 memory=61764 CPUtime=7.38 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) R 26203 26206 21340 0 -1 4202560 16195 12878 0 0 727 3 5 3 20 0 15 0 226898907 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266275439600 140266835164534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=11016544 memory=2148 CPUtime=2.77 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 14435 12878 0 0 266 3 5 3 20 0 15 0 226898907 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=11016544 memory=3276412 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11280941056 833136 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=11016544 memory=3684 CPUtime=0.1 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1495 12878 0 0 1 1 5 3 20 0 15 0 226898908 11280941056 833136 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 62.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3332544 KiB

[startup+40.0007 s]*
/proc/loadavg: 1.46 1.17 1.56 2/195 26272
/proc/meminfo: memFree=10390636/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=11016544 memory=3332724 CPUtime=63.67 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 106892 12878 0 0 6163 196 5 3 20 0 15 0 226898893 11280941056 833181 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2754136 833181 3533 1 0 2715789 0
[pid=26206/tid=26259] ppid=26203 vsize=11016544 memory=6791534058613427641 CPUtime=38.02 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 44055 12878 0 0 3757 37 5 3 20 0 15 0 226898902 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266823588256 140266407608358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=11016544 memory=4872558044660077418 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1505 12878 0 0 144 35 5 3 20 0 15 0 226898903 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=11016544 memory=916 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 3549 12878 0 0 143 36 5 3 20 0 15 0 226898903 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=11016544 memory=3848 CPUtime=1.89 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 2556 12878 0 0 146 35 5 3 20 0 15 0 226898903 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=11016544 memory=2876 CPUtime=1.88 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2332 12878 0 0 144 36 5 3 20 0 15 0 226898903 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=11016544 memory=4108 CPUtime=0.18 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 5237 12878 0 0 9 1 5 3 20 0 15 0 226898904 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=11016544 memory=1404 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 23 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833181 33554432000 4194304 4196468 140722320803328 140265713034592 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=11016544 memory=2776 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833181 33554432000 4194304 4196468 140722320803328 140265511708288 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=11016544 memory=3332312 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11280941056 833181 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=11016544 memory=6791534058613427641 CPUtime=7.88 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) S 26203 26206 21340 0 -1 1077944384 13250 12878 0 0 777 3 5 3 20 0 15 0 226898907 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266276505712 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=11016544 memory=4872558044660077418 CPUtime=7.74 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) S 26203 26206 21340 0 -1 1077944384 16210 12878 0 0 763 3 5 3 20 0 15 0 226898907 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266275452912 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=11016544 memory=3688503303165208447 CPUtime=2.86 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 14470 12878 0 0 275 3 5 3 20 0 15 0 226898907 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=11016544 memory=7811044310603950144 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11280941056 833181 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=11016544 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1495 12878 0 0 1 1 5 3 20 0 15 0 226898908 11280941056 833181 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 63.67 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3332724 KiB

[startup+40.4007 s]
/proc/loadavg: 1.46 1.17 1.56 2/195 26272
/proc/meminfo: memFree=10390636/32770624 swapFree=67108404/67108860
[pid=26206] ppid=26203 vsize=11016544 memory=3333936 CPUtime=64.28 cores=0,2,4,6
/proc/26206/stat : 26206 (java) S 26203 26206 21340 0 -1 1077944320 107214 12878 0 0 6224 196 5 3 20 0 15 0 226898893 11280941056 833484 33554432000 4194304 4196468 140722320803328 140722320785872 140266851753719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
/proc/26206/statm: 2754136 833484 3536 1 0 2715789 0
[pid=26206/tid=26259] ppid=26203 vsize=11016544 memory=1404 CPUtime=38.41 cores=0,2,4,6
/proc/26206/task/26259/stat : 26259 (java) R 26203 26206 21340 0 -1 4202560 44237 12878 0 0 3796 37 5 3 20 0 15 0 226898902 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266823587568 140266412010899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26260] ppid=26203 vsize=11016544 memory=4000 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26260/stat : 26260 (java) S 26203 26206 21340 0 -1 1077944384 1505 12878 0 0 144 35 5 3 20 0 15 0 226898903 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266855995792 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26261] ppid=26203 vsize=11016544 memory=1156 CPUtime=1.87 cores=0,2,4,6
/proc/26206/task/26261/stat : 26261 (java) S 26203 26206 21340 0 -1 1077944384 3549 12878 0 0 143 36 5 3 20 0 15 0 226898903 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266721331472 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26262] ppid=26203 vsize=11016544 memory=15212 CPUtime=1.89 cores=0,2,4,6
/proc/26206/task/26262/stat : 26262 (java) S 26203 26206 21340 0 -1 1077944384 2556 12878 0 0 146 35 5 3 20 0 15 0 226898903 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266390284944 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26263] ppid=26203 vsize=11016544 memory=4044 CPUtime=1.88 cores=0,2,4,6
/proc/26206/task/26263/stat : 26263 (java) S 26203 26206 21340 0 -1 1077944384 2332 12878 0 0 144 36 5 3 20 0 15 0 226898903 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266389232144 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26264] ppid=26203 vsize=11016544 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/26206/task/26264/stat : 26264 (java) S 26203 26206 21340 0 -1 1077944384 5237 12878 0 0 9 1 5 3 20 0 15 0 226898904 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266277558896 140266851764866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26265] ppid=26203 vsize=11016544 memory=15255930832965414 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26265/stat : 26265 (java) S 26203 26206 21340 0 -1 1077944384 23 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833484 33554432000 4194304 4196468 140722320803328 140265713034592 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26266] ppid=26203 vsize=11016544 memory=140466905416261 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26266/stat : 26266 (java) S 26203 26206 21340 0 -1 1077944384 13 12878 0 0 0 0 5 3 20 0 15 0 226898905 11280941056 833484 33554432000 4194304 4196468 140722320803328 140265511708288 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26267] ppid=26203 vsize=11016544 memory=140466905416265 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26267/stat : 26267 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898907 11280941056 833484 33554432000 4194304 4196468 140722320803328 140265204308560 140266851772315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26268] ppid=26203 vsize=11016544 memory=140466905416268 CPUtime=7.97 cores=0,2,4,6
/proc/26206/task/26268/stat : 26268 (java) S 26203 26206 21340 0 -1 1077944384 13277 12878 0 0 786 3 5 3 20 0 15 0 226898907 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266276505712 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26269] ppid=26203 vsize=11016544 memory=1404 CPUtime=7.81 cores=0,2,4,6
/proc/26206/task/26269/stat : 26269 (java) S 26203 26206 21340 0 -1 1077944384 16234 12878 0 0 770 3 5 3 20 0 15 0 226898907 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266275452912 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26270] ppid=26203 vsize=11016544 memory=4000 CPUtime=2.91 cores=0,2,4,6
/proc/26206/task/26270/stat : 26270 (java) S 26203 26206 21340 0 -1 1077944384 14559 12878 0 0 280 3 5 3 20 0 15 0 226898907 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266274400624 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26271] ppid=26203 vsize=11016544 memory=1156 CPUtime=0.08 cores=0,2,4,6
/proc/26206/task/26271/stat : 26271 (java) S 26203 26206 21340 0 -1 1077944384 3 12878 0 0 0 0 5 3 20 0 15 0 226898908 11280941056 833484 33554432000 4194304 4196468 140722320803328 140264773511648 140266851763925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
[pid=26206/tid=26272] ppid=26203 vsize=11016544 memory=15212 CPUtime=0.1 cores=0,2,4,6
/proc/26206/task/26272/stat : 26272 (java) S 26203 26206 21340 0 -1 1077944384 1495 12878 0 0 1 1 5 3 20 0 15 0 226898908 11280941056 833484 33554432000 4194304 4196468 140722320803328 140266273348528 140266851764866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140722320804453 140722320807260 140722320807260 140722320809935 0
Current children cumulated CPU time: 64.28 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3333936 KiB

[startup+40.5007 s]*
/proc/loadavg: 1.46 1.17 1.56 2/182 26273
/proc/meminfo: memFree=13518760/32770624 swapFree=67108404/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): 40.5143
CPU time (s): 64.489
CPU user time (s): 62.4586
CPU system time (s): 2.03039
CPU usage (%): 159.176
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3333936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.4586
system time used= 2.03039
maximum resident set size= 3336228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120273
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= 11499
involuntary context switches= 245


# summary of solver processes directly reported to runsolver:
#   pid: 26206
#   total CPU time (s): 64.489
#   total CPU user time (s): 62.4586
#   total CPU system time (s): 2.03039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.287861 second user time and 0.399547 second system time

The end

Launcher Data

Begin job on node148 at 2018-08-12 19:02:37
IDJOB=4304456
IDBENCH=141276
IDSOLVER=2781
FILE ID=node148/4304456-1534093357
RUNJOBID= node148-1534062012-21371
PBS_JOBID= 21036979
Free space on /tmp= 33916 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304456-1534093357/watcher-4304456-1534093357 -o /tmp/evaluation-result-4304456-1534093357/solver-4304456-1534093357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21371 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=95897052 -superng HOME/instance-4304456-1534093357.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=95897052

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.50
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.50
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.50
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.50
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:        13716188 kB
MemAvailable:   31910984 kB
Buffers:          250220 kB
Cached:         17925536 kB
SwapCached:          352 kB
Active:          8682336 kB
Inactive:        9543920 kB
Active(anon):        368 kB
Inactive(anon):   102180 kB
Active(file):    8681968 kB
Inactive(file):  9441740 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             97692 kB
Writeback:             0 kB
AnonPages:         57256 kB
Mapped:            54268 kB
Shmem:             49592 kB
Slab:             527704 kB
SReclaimable:     499548 kB
SUnreclaim:        28156 kB
KernelStack:        3184 kB
PageTables:         5028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33892 MiB
End job on node148 at 2018-08-12 19:03:18