Trace number 4302946

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGOPT63832030 62.7948 39.2727

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

Solver Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302946-1532896843/watcher-4302946-1532896843 -o /tmp/evaluation-result-4302946-1532896843/solver-4302946-1532896843 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24643 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=805450605 -superng HOME/instance-4302946-1532896843.xml 

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

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=28566, runsolver pid=28563

[startup+0.100128 s]*
/proc/loadavg: 1.97 1.97 1.97 3/207 28623
/proc/meminfo: memFree=24308600/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=10005480 memory=19120 CPUtime=0.09 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 4428 13026 0 0 1 0 5 3 20 0 6 0 107247626 10245611520 4780 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2501370 4780 1935 1 0 2489808 0
[pid=28566/tid=28619] ppid=28563 vsize=10005480 memory=4279135703912971920 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 2226 13026 0 0 1 0 5 3 20 0 6 0 107247635 10245611520 4780 33554432000 4194304 4196468 140734583616048 140291914228304 140291927703545 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 6 0 107247635 10245611520 4780 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=10005480 memory=140357032314496 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 6 0 107247635 10245611520 4780 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 6 0 107247635 10245611520 4780 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 6 0 107247635 10245611520 4780 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19120 KiB

[startup+0.209948 s]*
/proc/loadavg: 1.97 1.97 1.97 3/216 28632
/proc/meminfo: memFree=24287376/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=10982776 memory=44956 CPUtime=0.26 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 8626 13026 0 0 16 2 5 3 20 0 15 0 107247626 11246362624 11239 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2745694 11239 2950 1 0 2708117 0
[pid=28566/tid=28619] ppid=28563 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 5357 13026 0 0 10 1 5 3 20 0 15 0 107247635 11246362624 11436 33554432000 4194304 4196468 140734583616048 140291914216352 140291935071261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=10982776 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246362624 11436 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=10982776 memory=3978562877619537568 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246362624 11436 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246362624 11502 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246362624 11502 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=10982776 memory=140357032314496 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246362624 11568 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 13 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246362624 11568 33554432000 4194304 4196468 140734583616048 140290744640800 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247638 11246362624 11568 33554432000 4194304 4196468 140734583616048 140290543314544 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246362624 11634 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=10982776 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) S 28563 28566 22977 0 -1 1077944384 373 13026 0 0 1 0 5 3 20 0 15 0 107247640 11246362624 11634 33554432000 4194304 4196468 140734583616048 140291434395760 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) S 28563 28566 22977 0 -1 1077944384 249 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246362624 11634 33554432000 4194304 4196468 140734583616048 140291433342960 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=10982776 memory=140357032314496 CPUtime=0.11 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) S 28563 28566 22977 0 -1 1077944384 609 13026 0 0 3 0 5 3 20 0 15 0 107247640 11246362624 11700 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246362624 11700 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=10982776 memory=140357032314496 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247641 11246362624 11700 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 44956 KiB

[startup+0.310365 s]*
/proc/loadavg: 1.97 1.97 1.97 3/216 28632
/proc/meminfo: memFree=24274600/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=10983192 memory=55416 CPUtime=0.39 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 10447 13026 0 0 28 3 5 3 20 0 15 0 107247626 11246788608 13854 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2745798 13854 3069 1 0 2708109 0
[pid=28566/tid=28619] ppid=28563 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 6985 13026 0 0 19 2 5 3 20 0 15 0 107247635 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291914203552 140291942413469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 13 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246788608 13854 33554432000 4194304 4196468 140734583616048 140290744640800 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247638 11246788608 13854 33554432000 4194304 4196468 140734583616048 140290543314544 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246788608 13854 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) S 28563 28566 22977 0 -1 1077944384 374 13026 0 0 1 0 5 3 20 0 15 0 107247640 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291434395760 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) S 28563 28566 22977 0 -1 1077944384 249 13026 0 0 1 0 5 3 20 0 15 0 107247640 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291433342960 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=10983192 memory=140357032314496 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) R 28563 28566 22977 0 -1 4202560 616 13026 0 0 5 0 5 3 20 0 15 0 107247640 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291432290672 140291922362728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246788608 13854 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=10983192 memory=140357032314496 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247641 11246788608 13854 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55416 KiB

[startup+0.70078 s]
/proc/loadavg: 1.97 1.97 1.97 3/216 28632
/proc/meminfo: memFree=24235316/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=10983192 memory=88708 CPUtime=0.99 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 16774 13026 0 0 86 5 5 3 20 0 15 0 107247626 11246788608 22177 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2745798 22177 3238 1 0 2708109 0
[pid=28566/tid=28619] ppid=28563 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 12145 13026 0 0 56 3 5 3 20 0 15 0 107247635 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291914212368 140291923765322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247635 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 5 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 13 13026 0 0 0 0 5 3 20 0 15 0 107247637 11246788608 22177 33554432000 4194304 4196468 140734583616048 140290744640800 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 1 13026 0 0 0 0 5 3 20 0 15 0 107247638 11246788608 22177 33554432000 4194304 4196468 140734583616048 140290543314544 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246788608 22177 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) S 28563 28566 22977 0 -1 1077944384 1079 13026 0 0 10 0 5 3 20 0 15 0 107247640 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291434395760 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=10983192 memory=140356914029648 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) S 28563 28566 22977 0 -1 1077944384 621 13026 0 0 5 0 5 3 20 0 15 0 107247640 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291433342960 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=10983192 memory=142945101546126 CPUtime=0.21 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) S 28563 28566 22977 0 -1 1077944384 700 13026 0 0 13 0 5 3 20 0 15 0 107247640 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=10983192 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11246788608 22177 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247641 11246788608 22177 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88708 KiB

[startup+1.50131 s]
/proc/loadavg: 1.97 1.97 1.97 7/216 28632
/proc/meminfo: memFree=24184592/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=10991948 memory=317496 CPUtime=3.1 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 24081 13026 0 0 275 27 5 3 20 0 15 0 107247626 11255754752 79374 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2747987 79374 3472 1 0 2709645 0
[pid=28566/tid=28619] ppid=28563 vsize=10991948 memory=10799 CPUtime=1.4 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 14898 13026 0 0 124 8 5 3 20 0 15 0 107247635 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291914222096 140291503489033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=10991948 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 157 13026 0 0 2 3 5 3 20 0 15 0 107247635 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=10991948 memory=1404 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 75 13026 0 0 2 3 5 3 20 0 15 0 107247635 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=10991948 memory=2856 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 66 13026 0 0 2 3 5 3 20 0 15 0 107247635 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=10991948 memory=88708 CPUtime=0.13 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 355 13026 0 0 2 3 5 3 20 0 15 0 107247635 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 96 13026 0 0 0 0 5 3 20 0 15 0 107247637 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 15 13026 0 0 0 0 5 3 20 0 15 0 107247637 11255754752 79374 33554432000 4194304 4196468 140734583616048 140290744640864 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 4 13026 0 0 0 0 5 3 20 0 15 0 107247638 11255754752 79374 33554432000 4194304 4196468 140734583616048 140290543314544 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11255754752 79374 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=10991948 memory=4638778398332698720 CPUtime=0.58 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) R 28563 28566 22977 0 -1 4202560 2225 13026 0 0 49 1 5 3 20 0 15 0 107247640 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291434388784 140291925884037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=10991948 memory=280713828539264 CPUtime=0.58 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) R 28563 28566 22977 0 -1 1077944384 2314 13026 0 0 49 1 5 3 20 0 15 0 107247640 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291433330512 140291942401749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=10991948 memory=6944656592452807323 CPUtime=0.49 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) R 28563 28566 22977 0 -1 4202560 1672 13026 0 0 40 1 5 3 20 0 15 0 107247640 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291432290672 140291934628670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=10991948 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11255754752 79374 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=10991948 memory=4137290303932963203 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 2 13026 0 0 0 0 5 3 20 0 15 0 107247641 11255754752 79374 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10991948 KiB

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

[pid=28566/tid=28631] ppid=28563 vsize=11010400 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11274649600 823342 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=11010400 memory=137 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 643 13026 0 0 1 0 5 3 20 0 15 0 107247641 11274649600 823342 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 51.94 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 3293368 KiB

[startup+36.8072 s]
/proc/loadavg: 1.76 1.92 1.96 5/216 28632
/proc/meminfo: memFree=20759268/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=11080032 memory=3333244 CPUtime=55.92 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 103441 13026 0 0 5375 209 5 3 20 0 15 0 107247626 11345952768 833311 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2770008 833311 3527 1 0 2731661 0
[pid=28566/tid=28619] ppid=28563 vsize=11080032 memory=0 CPUtime=34.9 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 52190 13026 0 0 3442 40 5 3 20 0 15 0 107247635 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291914219744 140291927763512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=11080032 memory=8 CPUtime=1.81 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 2488 13026 0 0 136 37 5 3 20 0 15 0 107247635 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=11080032 memory=2240 CPUtime=1.8 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 2473 13026 0 0 134 38 5 3 20 0 15 0 107247635 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=11080032 memory=4128 CPUtime=1.81 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1520 13026 0 0 135 38 5 3 20 0 15 0 107247635 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=11080032 memory=3293368 CPUtime=1.79 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2523 13026 0 0 133 38 5 3 20 0 15 0 107247635 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=11080032 memory=3293304 CPUtime=0.17 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 5339 13026 0 0 9 0 5 3 20 0 15 0 107247637 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=11080032 memory=3293232 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 15 13026 0 0 0 0 5 3 20 0 15 0 107247637 11345952768 833311 33554432000 4194304 4196468 140734583616048 140290744640864 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=11080032 memory=3293232 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 4 13026 0 0 0 0 5 3 20 0 15 0 107247638 11345952768 833311 33554432000 4194304 4196468 140734583616048 140290543314560 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=11080032 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11345952768 833311 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=11080032 memory=1720 CPUtime=5.84 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) R 28563 28566 22977 0 -1 4202560 9390 13026 0 0 572 4 5 3 20 0 15 0 107247640 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291434386968 140291921653524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=11080032 memory=3295660 CPUtime=5.71 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) R 28563 28566 22977 0 -1 4202560 10850 13026 0 0 559 4 5 3 20 0 15 0 107247640 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291433328352 140291927271100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=11080032 memory=6791534058613427641 CPUtime=2.62 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) S 28563 28566 22977 0 -1 1077944384 13803 13026 0 0 249 5 5 3 20 0 15 0 107247640 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=11080032 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11345952768 833311 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=11080032 memory=1200 CPUtime=0.09 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 643 13026 0 0 1 0 5 3 20 0 15 0 107247641 11345952768 833311 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 55.92 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3333244 KiB

[startup+38.4007 s]
/proc/loadavg: 1.76 1.92 1.96 5/216 28632
/proc/meminfo: memFree=20697496/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=11082080 memory=3358132 CPUtime=60.91 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 105149 13026 0 0 5870 213 5 3 20 0 15 0 107247626 11348049920 839533 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2770520 839533 3531 1 0 2732173 0
[pid=28566/tid=28619] ppid=28563 vsize=11082080 memory=280713828020824 CPUtime=36.36 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 52545 13026 0 0 3587 41 5 3 20 0 15 0 107247635 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291914218544 140291942403478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=11082080 memory=124864966953194 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 2576 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=11082080 memory=6791534058613427641 CPUtime=1.9 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 2618 13026 0 0 143 39 5 3 20 0 15 0 107247635 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=11082080 memory=4136 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1681 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=11082080 memory=30824 CPUtime=1.91 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2683 13026 0 0 145 38 5 3 20 0 15 0 107247635 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=11082080 memory=3299324 CPUtime=0.17 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 5354 13026 0 0 9 0 5 3 20 0 15 0 107247637 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=11082080 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 16 13026 0 0 0 0 5 3 20 0 15 0 107247637 11348049920 839533 33554432000 4194304 4196468 140734583616048 140290744640864 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=11082080 memory=30824 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 6 13026 0 0 0 0 5 3 20 0 15 0 107247638 11348049920 839533 33554432000 4194304 4196468 140734583616048 140290543314560 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=11082080 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839533 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=11082080 memory=2436 CPUtime=7.25 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) R 28563 28566 22977 0 -1 4202560 9602 13026 0 0 713 4 5 3 20 0 15 0 107247640 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291434374896 140291935187241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=11082080 memory=3336728 CPUtime=7.13 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) R 28563 28566 22977 0 -1 4202560 11103 13026 0 0 701 4 5 3 20 0 15 0 107247640 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291433342768 140291923797933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=11082080 memory=3056352 CPUtime=2.84 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) R 28563 28566 22977 0 -1 1077944384 14122 13026 0 0 271 5 5 3 20 0 15 0 107247640 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=11082080 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839533 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=11082080 memory=3056352 CPUtime=0.1 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 643 13026 0 0 1 1 5 3 20 0 15 0 107247641 11348049920 839533 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 60.91 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3358132 KiB

[startup+38.8007 s]
/proc/loadavg: 1.76 1.92 1.96 5/216 28632
/proc/meminfo: memFree=20697496/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=11082080 memory=3358564 CPUtime=61.87 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 105832 13026 0 0 5966 213 5 3 20 0 15 0 107247626 11348049920 839641 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2770520 839641 3531 1 0 2732173 0
[pid=28566/tid=28619] ppid=28563 vsize=11082080 memory=0 CPUtime=36.76 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 53108 13026 0 0 3627 41 5 3 20 0 15 0 107247635 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291914225632 140291519057543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=11082080 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 2576 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=11082080 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 2618 13026 0 0 143 39 5 3 20 0 15 0 107247635 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=11082080 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1681 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=11082080 memory=6791534058613427641 CPUtime=1.91 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2683 13026 0 0 145 38 5 3 20 0 15 0 107247635 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=11082080 memory=1200 CPUtime=0.17 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 5354 13026 0 0 9 0 5 3 20 0 15 0 107247637 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=11082080 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 16 13026 0 0 0 0 5 3 20 0 15 0 107247637 11348049920 839641 33554432000 4194304 4196468 140734583616048 140290744640864 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=11082080 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 6 13026 0 0 0 0 5 3 20 0 15 0 107247638 11348049920 839641 33554432000 4194304 4196468 140734583616048 140290543314560 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=11082080 memory=8512 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839641 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=11082080 memory=792 CPUtime=7.49 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) S 28563 28566 22977 0 -1 1077944384 9624 13026 0 0 737 4 5 3 20 0 15 0 107247640 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291434395760 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=11082080 memory=1008 CPUtime=7.37 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) S 28563 28566 22977 0 -1 1077944384 11132 13026 0 0 725 4 5 3 20 0 15 0 107247640 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291433342960 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=11082080 memory=1228 CPUtime=2.91 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) S 28563 28566 22977 0 -1 1077944384 14188 13026 0 0 278 5 5 3 20 0 15 0 107247640 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=11082080 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839641 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=11082080 memory=7235712662152701778 CPUtime=0.1 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 643 13026 0 0 1 1 5 3 20 0 15 0 107247641 11348049920 839641 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 61.87 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3358564 KiB

[startup+39.2012 s]
/proc/loadavg: 1.78 1.93 1.96 4/216 28632
/proc/meminfo: memFree=20696752/32770624 swapFree=67108792/67108860
[pid=28566] ppid=28563 vsize=11082080 memory=3359644 CPUtime=62.64 cores=0,2,4,6
/proc/28566/stat : 28566 (java) S 28563 28566 22977 0 -1 1077944320 106192 13026 0 0 6043 213 5 3 20 0 15 0 107247626 11348049920 839911 33554432000 4194304 4196468 140734583616048 140734583598592 140291942391543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
/proc/28566/statm: 2770520 839911 3533 1 0 2732173 0
[pid=28566/tid=28619] ppid=28563 vsize=11082080 memory=1728 CPUtime=37.15 cores=0,2,4,6
/proc/28566/task/28619/stat : 28619 (java) R 28563 28566 22977 0 -1 4202560 53319 13026 0 0 3666 41 5 3 20 0 15 0 107247635 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291914224560 140291511845585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28620] ppid=28563 vsize=11082080 memory=1720 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28620/stat : 28620 (java) S 28563 28566 22977 0 -1 1077944384 2576 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291946633616 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28621] ppid=28563 vsize=11082080 memory=5760 CPUtime=1.9 cores=0,2,4,6
/proc/28566/task/28621/stat : 28621 (java) S 28563 28566 22977 0 -1 1077944384 2618 13026 0 0 143 39 5 3 20 0 15 0 107247635 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291827898640 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28622] ppid=28563 vsize=11082080 memory=4588 CPUtime=1.93 cores=0,2,4,6
/proc/28566/task/28622/stat : 28622 (java) S 28563 28566 22977 0 -1 1077944384 1681 13026 0 0 147 38 5 3 20 0 15 0 107247635 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291826846352 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28623] ppid=28563 vsize=11082080 memory=9920 CPUtime=1.91 cores=0,2,4,6
/proc/28566/task/28623/stat : 28623 (java) S 28563 28566 22977 0 -1 1077944384 2683 13026 0 0 145 38 5 3 20 0 15 0 107247635 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291825793552 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28624] ppid=28563 vsize=11082080 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/28566/task/28624/stat : 28624 (java) S 28563 28566 22977 0 -1 1077944384 5354 13026 0 0 9 0 5 3 20 0 15 0 107247637 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291435448944 140291942402690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28625] ppid=28563 vsize=11082080 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28625/stat : 28625 (java) S 28563 28566 22977 0 -1 1077944384 16 13026 0 0 0 0 5 3 20 0 15 0 107247637 11348049920 839911 33554432000 4194304 4196468 140734583616048 140290744640864 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28626] ppid=28563 vsize=11082080 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28626/stat : 28626 (java) S 28563 28566 22977 0 -1 1077944384 6 13026 0 0 0 0 5 3 20 0 15 0 107247638 11348049920 839911 33554432000 4194304 4196468 140734583616048 140290543314560 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28627] ppid=28563 vsize=11082080 memory=8512 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28627/stat : 28627 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839911 33554432000 4194304 4196468 140734583616048 140290235914832 140291942410139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28628] ppid=28563 vsize=11082080 memory=792 CPUtime=7.64 cores=0,2,4,6
/proc/28566/task/28628/stat : 28628 (java) R 28563 28566 22977 0 -1 4202560 9671 13026 0 0 752 4 5 3 20 0 15 0 107247640 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291434383152 140291926405639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28629] ppid=28563 vsize=11082080 memory=3358460 CPUtime=7.54 cores=0,2,4,6
/proc/28566/task/28629/stat : 28629 (java) R 28563 28566 22977 0 -1 4202560 11168 13026 0 0 742 4 5 3 20 0 15 0 107247640 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291433330896 140291926780408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28630] ppid=28563 vsize=11082080 memory=3358340 CPUtime=2.97 cores=0,2,4,6
/proc/28566/task/28630/stat : 28630 (java) S 28563 28566 22977 0 -1 1077944384 14254 13026 0 0 284 5 5 3 20 0 15 0 107247640 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291432290672 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28631] ppid=28563 vsize=11082080 memory=4588 CPUtime=0.08 cores=0,2,4,6
/proc/28566/task/28631/stat : 28631 (java) S 28563 28566 22977 0 -1 1077944384 3 13026 0 0 0 0 5 3 20 0 15 0 107247640 11348049920 839911 33554432000 4194304 4196468 140734583616048 140289805117920 140291942401749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
[pid=28566/tid=28632] ppid=28563 vsize=11082080 memory=9920 CPUtime=0.1 cores=0,2,4,6
/proc/28566/task/28632/stat : 28632 (java) S 28563 28566 22977 0 -1 1077944384 643 13026 0 0 1 1 5 3 20 0 15 0 107247641 11348049920 839911 33554432000 4194304 4196468 140734583616048 140291431238576 140291942402690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734583618153 140734583620961 140734583620961 140734583623631 0
Current children cumulated CPU time: 62.64 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3359644 KiB

Child status: 0
Real time (s): 39.2727
CPU time (s): 62.7948
CPU user time (s): 60.5999
CPU system time (s): 2.19485
CPU usage (%): 159.894
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3359644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.5999
system time used= 2.19485
maximum resident set size= 3362044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119369
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= 11440
involuntary context switches= 261


# summary of solver processes directly reported to runsolver:
#   pid: 28566
#   total CPU time (s): 62.7948
#   total CPU user time (s): 60.5999
#   total CPU system time (s): 2.19485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.250755 second user time and 0.425439 second system time

The end

Launcher Data

Begin job on node150 at 2018-07-29 22:40:43
IDJOB=4302946
IDBENCH=141276
IDSOLVER=2777
FILE ID=node150/4302946-1532896843
RUNJOBID= node150-1532894180-24643
PBS_JOBID= 21022512
Free space on /tmp= 55212 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302946-1532896843/watcher-4302946-1532896843 -o /tmp/evaluation-result-4302946-1532896843/solver-4302946-1532896843 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24643 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=805450605 -superng HOME/instance-4302946-1532896843.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=805450605

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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:        24317652 kB
MemAvailable:   28247688 kB
Buffers:          225660 kB
Cached:          3947872 kB
SwapCached:           32 kB
Active:          5328852 kB
Inactive:        2585828 kB
Active(anon):    3693604 kB
Inactive(anon):    76188 kB
Active(file):    1635248 kB
Inactive(file):  2509640 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             97936 kB
Writeback:             0 kB
AnonPages:       3749436 kB
Mapped:            58000 kB
Shmem:             25156 kB
Slab:             230616 kB
SReclaimable:     201964 kB
SUnreclaim:        28652 kB
KernelStack:        3600 kB
PageTables:        12948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5130800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3469312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 55184 MiB
End job on node150 at 2018-07-29 22:41:23