Trace number 4302596

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.2OPT63832030 61.6851 38.9151

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.6851
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302596-1532896692/watcher-4302596-1532896692 -o /tmp/evaluation-result-4302596-1532896692/solver-4302596-1532896692 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13369 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1917678054 HOME/instance-4302596-1532896692.xml 

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

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

solver pid=15040, runsolver pid=15037

[startup+0.102886 s]*
/proc/loadavg: 1.57 1.61 1.53 2/206 15097
/proc/meminfo: memFree=22092720/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=10005480 memory=18596 CPUtime=0.1 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 4263 13223 0 0 1 1 5 3 20 0 6 0 107232105 10245611520 4649 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2501370 4649 1935 1 0 2489808 0
[pid=15040/tid=15093] ppid=15037 vsize=10005480 memory=4279135704014094991 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 2096 13223 0 0 0 0 5 3 20 0 6 0 107232114 10245611520 4649 33554432000 4194304 4196468 140720924265872 140593472340560 140593485815801 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 6 0 107232115 10245611520 4649 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=10005480 memory=139749579794048 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 6 0 107232115 10245611520 4649 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 6 0 107232115 10245611520 4649 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 6 0 107232115 10245611520 4649 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB

[startup+0.209937 s]*
/proc/loadavg: 1.57 1.61 1.53 3/215 15106
/proc/meminfo: memFree=22072276/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=10982744 memory=45740 CPUtime=0.26 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 7601 13223 0 0 16 2 5 3 20 0 15 0 107232105 11246329856 11435 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2745686 11435 2982 1 0 2708109 0
[pid=15040/tid=15093] ppid=15037 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 4307 13223 0 0 10 1 5 3 20 0 15 0 107232114 11246329856 11633 33554432000 4194304 4196468 140720924265872 140593472328232 140593480779613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246329856 11633 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=10982744 memory=139749580087720 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246329856 11633 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246329856 11633 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246329856 11633 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=10982744 memory=139749579794048 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232116 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 13 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592331875360 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592130548592 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) S 15037 15040 6529 0 -1 1077944384 355 13223 0 0 1 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592925330288 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) S 15037 15040 6529 0 -1 1077944384 271 13223 0 0 1 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592924277488 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=10982744 memory=139749579794048 CPUtime=0.11 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 605 13223 0 0 3 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=10982744 memory=139749579794048 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246329856 11633 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45740 KiB

[startup+0.310387 s]*
/proc/loadavg: 1.57 1.61 1.53 3/215 15106
/proc/meminfo: memFree=22061112/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=10983192 memory=57216 CPUtime=0.39 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 10296 13223 0 0 28 3 5 3 20 0 15 0 107232105 11246788608 14304 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2745798 14304 3101 1 0 2708109 0
[pid=15040/tid=15093] ppid=15037 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 6838 13223 0 0 19 2 5 3 20 0 15 0 107232114 11246788608 14304 33554432000 4194304 4196468 140720924265872 140593472315808 140593500525725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 14304 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 14304 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 14304 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 14304 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232116 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 13 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592331875360 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592130548592 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) S 15037 15040 6529 0 -1 1077944384 356 13223 0 0 1 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592925330288 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) S 15037 15040 6529 0 -1 1077944384 274 13223 0 0 1 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592924277488 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=10983192 memory=139749579794048 CPUtime=0.13 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 611 13223 0 0 5 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=10983192 memory=139749579794048 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 14304 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57216 KiB

[startup+0.700791 s]
/proc/loadavg: 1.57 1.61 1.53 3/215 15106
/proc/meminfo: memFree=22049700/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=10983192 memory=89368 CPUtime=0.99 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 16408 13223 0 0 87 4 5 3 20 0 15 0 107232105 11246788608 22342 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2745798 22342 3238 1 0 2708109 0
[pid=15040/tid=15093] ppid=15037 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 11859 13223 0 0 55 3 5 3 20 0 15 0 107232114 11246788608 22342 33554432000 4194304 4196468 140720924265872 140593472324624 140593480779586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 22342 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 22342 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 22342 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2 13223 0 0 0 0 5 3 20 0 15 0 107232115 11246788608 22342 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 5 13223 0 0 0 0 5 3 20 0 15 0 107232116 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 13 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592331875360 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=10983192 memory=139749444694800 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232117 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592130548592 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=10983192 memory=139749645877841 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=10983192 memory=14076 CPUtime=0.17 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) S 15037 15040 6529 0 -1 1077944384 966 13223 0 0 9 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592925330288 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=10983192 memory=4639098309541127269 CPUtime=0.16 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) S 15037 15040 6529 0 -1 1077944384 693 13223 0 0 8 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592924277488 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=10983192 memory=7885635084775281009 CPUtime=0.21 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 664 13223 0 0 13 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232120 11246788608 22342 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89368 KiB

[startup+1.50111 s]
/proc/loadavg: 1.57 1.61 1.53 4/215 15106
/proc/meminfo: memFree=22003864/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=10991948 memory=317508 CPUtime=3.09 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 23599 13223 0 0 278 23 5 3 20 0 15 0 107232105 11255754752 79377 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2747987 79377 3472 1 0 2709645 0
[pid=15040/tid=15093] ppid=15037 vsize=10991948 memory=12848 CPUtime=1.41 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 14488 13223 0 0 125 8 5 3 20 0 15 0 107232114 11255754752 79377 33554432000 4194304 4196468 140720924265872 140593472335424 140593500515734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=10991948 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 133 13223 0 0 2 3 5 3 20 0 15 0 107232115 11255754752 79377 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=10991948 memory=1404 CPUtime=0.13 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 46 13223 0 0 2 3 5 3 20 0 15 0 107232115 11255754752 79377 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=10991948 memory=3148 CPUtime=0.13 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 291 13223 0 0 2 3 5 3 20 0 15 0 107232115 11255754752 79377 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=10991948 memory=89368 CPUtime=0.13 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 185 13223 0 0 2 3 5 3 20 0 15 0 107232115 11255754752 79377 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 95 13223 0 0 0 0 5 3 20 0 15 0 107232116 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 14 13223 0 0 0 0 5 3 20 0 15 0 107232117 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592331875360 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232117 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592130548608 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=10991948 memory=6935649255759568960 CPUtime=0.58 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) R 15037 15040 6529 0 -1 4202560 2164 13223 0 0 50 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592925320400 140593482024864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=10991948 memory=279498889665408 CPUtime=0.6 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) R 15037 15040 6529 0 -1 4202560 2440 13223 0 0 52 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592924269040 140593483987294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=10991948 memory=6944656592452938395 CPUtime=0.47 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) R 15037 15040 6529 0 -1 4202560 1539 13223 0 0 39 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592923224688 140593500525146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=10991948 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=10991948 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 1 13223 0 0 0 0 5 3 20 0 15 0 107232120 11255754752 79377 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10991948 KiB

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


[startup+36.801 s]
/proc/loadavg: 1.84 1.67 1.55 7/215 15237
/proc/meminfo: memFree=21863352/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=11016544 memory=3338652 CPUtime=56.63 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 102870 13223 0 0 5454 201 5 3 20 0 15 0 107232105 11280941056 834663 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2754136 834663 3530 1 0 2715789 0
[pid=15040/tid=15093] ppid=15037 vsize=11016544 memory=6791534058613427641 CPUtime=34.85 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 45871 13223 0 0 3441 36 5 3 20 0 15 0 107232114 11280941056 834663 33554432000 4194304 4196468 140720924265872 140593472337584 140593478740295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=11016544 memory=952 CPUtime=1.81 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2102 13223 0 0 138 35 5 3 20 0 15 0 107232115 11280941056 834663 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=11016544 memory=1232 CPUtime=1.83 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 2047 13223 0 0 138 37 5 3 20 0 15 0 107232115 11280941056 834663 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=11016544 memory=2424 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 2652 13223 0 0 138 38 5 3 20 0 15 0 107232115 11280941056 834663 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=11016544 memory=1576 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2240 13223 0 0 137 39 5 3 20 0 15 0 107232115 11280941056 834663 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=11016544 memory=3323660 CPUtime=0.17 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 4747 13223 0 0 9 0 5 3 20 0 15 0 107232116 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=11016544 memory=3302324 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 17 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592331875424 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=11016544 memory=18264 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 4 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592130548608 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=11016544 memory=18432 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=11016544 memory=1788 CPUtime=5.89 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) S 15037 15040 6529 0 -1 1077944384 10374 13223 0 0 578 3 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592925330288 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=11016544 memory=644 CPUtime=6.16 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) R 15037 15040 6529 0 -1 4202560 15546 13223 0 0 605 3 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592924277616 140593479858664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=11016544 memory=952 CPUtime=2.75 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 14438 13223 0 0 262 5 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=11016544 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=11016544 memory=2424 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 632 13223 0 0 1 0 5 3 20 0 15 0 107232120 11280941056 834663 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 56.63 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3338652 KiB

[startup+37.6008 s]
/proc/loadavg: 1.84 1.67 1.55 5/215 15237
/proc/meminfo: memFree=21651768/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=11016544 memory=3340356 CPUtime=59.07 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 103382 13223 0 0 5698 201 5 3 20 0 15 0 107232105 11280941056 835089 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2754136 835089 3532 1 0 2715789 0
[pid=15040/tid=15093] ppid=15037 vsize=11016544 memory=3339604 CPUtime=35.65 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 45984 13223 0 0 3521 36 5 3 20 0 15 0 107232114 11280941056 835089 33554432000 4194304 4196468 140720924265872 140593472334352 140593043345507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=11016544 memory=4140 CPUtime=1.81 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2102 13223 0 0 138 35 5 3 20 0 15 0 107232115 11280941056 835089 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=11016544 memory=30608 CPUtime=1.83 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 2047 13223 0 0 138 37 5 3 20 0 15 0 107232115 11280941056 835089 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=11016544 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 2652 13223 0 0 138 38 5 3 20 0 15 0 107232115 11280941056 835089 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=11016544 memory=288230583166042425 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2240 13223 0 0 137 39 5 3 20 0 15 0 107232115 11280941056 835089 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=11016544 memory=13846365516073407 CPUtime=0.17 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 4747 13223 0 0 9 0 5 3 20 0 15 0 107232116 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=11016544 memory=4008 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 17 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592331875424 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=11016544 memory=18264 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 4 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592130548608 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=11016544 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=11016544 memory=0 CPUtime=6.69 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) R 15037 15040 6529 0 -1 4202560 10586 13223 0 0 658 3 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592925318688 140593479751208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=11016544 memory=4580 CPUtime=6.95 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) R 15037 15040 6529 0 -1 4202560 15670 13223 0 0 684 3 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592924264336 140593479748059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=11016544 memory=6645459911560372124 CPUtime=2.81 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) R 15037 15040 6529 0 -1 1077944384 14501 13223 0 0 268 5 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=11016544 memory=6645459911560372124 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=11016544 memory=6943487855420614559 CPUtime=0.09 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 632 13223 0 0 1 0 5 3 20 0 15 0 107232120 11280941056 835089 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 59.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3340356 KiB

[startup+38.4011 s]
/proc/loadavg: 1.84 1.67 1.55 7/215 15237
/proc/meminfo: memFree=21522348/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=11016544 memory=3341624 CPUtime=60.7 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 103916 13223 0 0 5860 202 5 3 20 0 15 0 107232105 11280941056 835406 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2754136 835406 3535 1 0 2715789 0
[pid=15040/tid=15093] ppid=15037 vsize=11016544 memory=1724 CPUtime=36.45 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 46313 13223 0 0 3601 36 5 3 20 0 15 0 107232114 11280941056 835406 33554432000 4194304 4196468 140720924265872 140593472333968 140593020862671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=11016544 memory=1004 CPUtime=1.81 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2102 13223 0 0 138 35 5 3 20 0 15 0 107232115 11280941056 835406 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=11016544 memory=3340408 CPUtime=1.83 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 2047 13223 0 0 138 37 5 3 20 0 15 0 107232115 11280941056 835406 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=11016544 memory=6944656592455088490 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 2652 13223 0 0 138 38 5 3 20 0 15 0 107232115 11280941056 835406 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=11016544 memory=6944656592455360604 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2240 13223 0 0 137 39 5 3 20 0 15 0 107232115 11280941056 835406 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=11016544 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 4747 13223 0 0 9 0 5 3 20 0 15 0 107232116 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=11016544 memory=1708 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 17 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592331875424 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=11016544 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 4 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592130548608 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=11016544 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=11016544 memory=6791534058613427641 CPUtime=7.06 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) R 15037 15040 6529 0 -1 4202560 10653 13223 0 0 695 3 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592925313248 140593482051394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=11016544 memory=14076 CPUtime=7.27 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) R 15037 15040 6529 0 -1 4202560 15728 13223 0 0 716 3 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592924259056 140593480351934 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=11016544 memory=1204 CPUtime=2.93 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 14581 13223 0 0 280 5 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=11016544 memory=3302324 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=11016544 memory=2391 CPUtime=0.1 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 632 13223 0 0 1 1 5 3 20 0 15 0 107232120 11280941056 835406 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 60.7 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3341624 KiB

[startup+38.8101 s]
/proc/loadavg: 1.84 1.67 1.55 7/215 15237
/proc/meminfo: memFree=21522348/32770624 swapFree=67108688/67108860
[pid=15040] ppid=15037 vsize=11016544 memory=3342168 CPUtime=61.41 cores=1,3,5,7
/proc/15040/stat : 15040 (java) S 15037 15040 6529 0 -1 1077944320 104108 13223 0 0 5931 202 5 3 20 0 15 0 107232105 11280941056 835542 33554432000 4194304 4196468 140720924265872 140720924248416 140593500503799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
/proc/15040/statm: 2754136 835542 3536 1 0 2715789 0
[pid=15040/tid=15093] ppid=15037 vsize=11016544 memory=8556 CPUtime=36.85 cores=1,3,5,7
/proc/15040/task/15093/stat : 15093 (java) R 15037 15040 6529 0 -1 4202560 46351 13223 0 0 3641 36 5 3 20 0 15 0 107232114 11280941056 835542 33554432000 4194304 4196468 140720924265872 140593472334528 140593045604354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15094] ppid=15037 vsize=11016544 memory=1444 CPUtime=1.81 cores=1,3,5,7
/proc/15040/task/15094/stat : 15094 (java) S 15037 15040 6529 0 -1 1077944384 2102 13223 0 0 138 35 5 3 20 0 15 0 107232115 11280941056 835542 33554432000 4194304 4196468 140720924265872 140593504746640 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15095] ppid=15037 vsize=11016544 memory=5668 CPUtime=1.83 cores=1,3,5,7
/proc/15040/task/15095/stat : 15095 (java) S 15037 15040 6529 0 -1 1077944384 2047 13223 0 0 138 37 5 3 20 0 15 0 107232115 11280941056 835542 33554432000 4194304 4196468 140720924265872 140593359465488 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15096] ppid=15037 vsize=11016544 memory=4616 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15096/stat : 15096 (java) S 15037 15040 6529 0 -1 1077944384 2652 13223 0 0 138 38 5 3 20 0 15 0 107232115 11280941056 835542 33554432000 4194304 4196468 140720924265872 140593358412688 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15097] ppid=15037 vsize=11016544 memory=14076 CPUtime=1.84 cores=1,3,5,7
/proc/15040/task/15097/stat : 15097 (java) S 15037 15040 6529 0 -1 1077944384 2240 13223 0 0 137 39 5 3 20 0 15 0 107232115 11280941056 835542 33554432000 4194304 4196468 140720924265872 140593357359888 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15098] ppid=15037 vsize=11016544 memory=3059804 CPUtime=0.17 cores=1,3,5,7
/proc/15040/task/15098/stat : 15098 (java) S 15037 15040 6529 0 -1 1077944384 4747 13223 0 0 9 0 5 3 20 0 15 0 107232116 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592926382448 140593500514946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15099] ppid=15037 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15099/stat : 15099 (java) S 15037 15040 6529 0 -1 1077944384 17 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592331875424 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15100] ppid=15037 vsize=11016544 memory=3028864 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15100/stat : 15100 (java) S 15037 15040 6529 0 -1 1077944384 4 13223 0 0 0 0 5 3 20 0 15 0 107232117 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592130548608 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15101] ppid=15037 vsize=11016544 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15101/stat : 15101 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140591823148880 140593500522395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15102] ppid=15037 vsize=11016544 memory=0 CPUtime=7.2 cores=1,3,5,7
/proc/15040/task/15102/stat : 15102 (java) R 15037 15040 6529 0 -1 4202560 10687 13223 0 0 709 3 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592925330288 140593479756681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15103] ppid=15037 vsize=11016544 memory=0 CPUtime=7.39 cores=1,3,5,7
/proc/15040/task/15103/stat : 15103 (java) R 15037 15040 6529 0 -1 4202560 15773 13223 0 0 728 3 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592924258240 140593480022629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15104] ppid=15037 vsize=11016544 memory=3277204 CPUtime=2.98 cores=1,3,5,7
/proc/15040/task/15104/stat : 15104 (java) S 15037 15040 6529 0 -1 1077944384 14656 13223 0 0 285 5 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592923224688 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15105] ppid=15037 vsize=11016544 memory=3238292 CPUtime=0.08 cores=1,3,5,7
/proc/15040/task/15105/stat : 15105 (java) S 15037 15040 6529 0 -1 1077944384 3 13223 0 0 0 0 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140591392352992 140593500514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
[pid=15040/tid=15106] ppid=15037 vsize=11016544 memory=3277248 CPUtime=0.1 cores=1,3,5,7
/proc/15040/task/15106/stat : 15106 (java) S 15037 15040 6529 0 -1 1077944384 632 13223 0 0 1 1 5 3 20 0 15 0 107232120 11280941056 835542 33554432000 4194304 4196468 140720924265872 140592922172080 140593500514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29913088 140720924273265 140720924276065 140720924276065 140720924278735 0
Current children cumulated CPU time: 61.41 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3342168 KiB

[startup+38.902 s]*
/proc/loadavg: 2.17 1.74 1.58 4/202 15238
/proc/meminfo: memFree=24653520/32770624 swapFree=67108688/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): 38.9151
CPU time (s): 61.6851
CPU user time (s): 59.603
CPU system time (s): 2.08203
CPU usage (%): 158.512
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3342168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.603
system time used= 2.08203
maximum resident set size= 3344492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117511
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= 11387
involuntary context switches= 422


# summary of solver processes directly reported to runsolver:
#   pid: 15040
#   total CPU time (s): 61.6851
#   total CPU user time (s): 59.603
#   total CPU system time (s): 2.08203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.245729 second user time and 0.438937 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-29 22:38:12
IDJOB=4302596
IDBENCH=141276
IDSOLVER=2776
FILE ID=node106/4302596-1532896692
RUNJOBID= node106-1532895551-13369
PBS_JOBID= 21022522
Free space on /tmp= 54540 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302596-1532896692/watcher-4302596-1532896692 -o /tmp/evaluation-result-4302596-1532896692/solver-4302596-1532896692 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13369 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1917678054 HOME/instance-4302596-1532896692.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1917678054

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22103424 kB
MemAvailable:   28636864 kB
Buffers:          247624 kB
Cached:          6518968 kB
SwapCached:            0 kB
Active:          5885388 kB
Inactive:        4225992 kB
Active(anon):    3291924 kB
Inactive(anon):    80476 kB
Active(file):    2593464 kB
Inactive(file):  4145516 kB
Unevictable:        6960 kB
Mlocked:            6960 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             97708 kB
Writeback:             0 kB
AnonPages:       3351620 kB
Mapped:            58044 kB
Shmem:             25056 kB
Slab:             248520 kB
SReclaimable:     220588 kB
SUnreclaim:        27932 kB
KernelStack:        3520 kB
PageTables:        11748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4095908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3096576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54588 MiB
End job on node106 at 2018-07-29 22:38:51