Trace number 4396373

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT63832030 130.256 101.745

General information on the benchmark

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

Solver Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396373-1568409335/watcher-4396373-1568409335 -o /tmp/evaluation-result-4396373-1568409335/solver-4396373-1568409335 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568394621-6335 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1648146393 HOME/instance-4396373-1568409335.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 1.74 1.56 1.47 3/221 10787
/proc/meminfo: memFree=22619556/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=9972712 memory=17220 CPUtime=0.09 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 4553 13087 0 0 1 1 5 2 20 0 6 0 416871946 10212057088 4305 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2493178 4305 1935 1 0 2481616 0
[pid=10730/tid=10783] ppid=10727 vsize=9972712 memory=4279135703912972174 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 2375 13087 0 0 0 0 5 2 20 0 6 0 416871955 10212057088 4371 33554432000 4194304 4196468 140724156857552 140573382369872 140573390758592 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 6 0 416871955 10212057088 4371 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=9972712 memory=140401216448128 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 6 0 416871955 10212057088 4371 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 6 0 416871955 10212057088 4371 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 6 0 416871955 10212057088 4371 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17220 KiB

[startup+0.210718 s]*
/proc/loadavg: 1.74 1.56 1.47 3/230 10796
/proc/meminfo: memFree=22599360/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10819664 memory=44068 CPUtime=0.26 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 7346 13087 0 0 17 2 5 2 20 0 15 0 416871946 11079335936 11017 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2704916 11017 3170 1 0 2667149 0
[pid=10730/tid=10783] ppid=10727 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 3821 13087 0 0 11 1 5 2 20 0 15 0 416871955 11079335936 11017 33554432000 4194304 4196468 140724156857552 140573382329296 140573394613598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10819664 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079335936 11017 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10819664 memory=140401216458594 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10819664 memory=140401216448128 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871957 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 33 13087 0 0 0 0 5 2 20 0 15 0 416871957 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572868199200 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871958 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572736087152 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 348 13087 0 0 1 0 5 2 20 0 15 0 416871960 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 303 13087 0 0 1 0 5 2 20 0 15 0 416871960 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10819664 memory=140401216448128 CPUtime=0.1 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 623 13087 0 0 3 0 5 2 20 0 15 0 416871960 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11079335936 11017 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10819664 memory=140401216448128 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871961 11079335936 11017 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 44068 KiB

[startup+0.310672 s]*
/proc/loadavg: 1.74 1.56 1.47 3/230 10796
/proc/meminfo: memFree=22586784/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10820148 memory=52988 CPUtime=0.39 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 10986 13087 0 0 28 4 5 2 20 0 15 0 416871946 11079831552 13247 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2705037 13247 3302 1 0 2667149 0
[pid=10730/tid=10783] ppid=10727 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 7440 13087 0 0 18 3 5 2 20 0 15 0 416871955 11079831552 13247 33554432000 4194304 4196468 140724156857552 140573382339216 140573394613598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079831552 13247 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871957 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 33 13087 0 0 0 0 5 2 20 0 15 0 416871957 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572868199200 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871958 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572736087152 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 349 13087 0 0 1 0 5 2 20 0 15 0 416871960 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 312 13087 0 0 2 0 5 2 20 0 15 0 416871960 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10820148 memory=140401216448128 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 631 13087 0 0 5 0 5 2 20 0 15 0 416871960 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11079831552 13247 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10820148 memory=140401216448128 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871961 11079831552 13247 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52988 KiB

[startup+0.704649 s]
/proc/loadavg: 1.74 1.56 1.47 3/230 10796
/proc/meminfo: memFree=22573136/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10824360 memory=85484 CPUtime=1.14 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 15122 13087 0 0 99 8 5 2 20 0 15 0 416871946 11084144640 21371 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2706090 21371 3502 1 0 2668173 0
[pid=10730/tid=10783] ppid=10727 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 10492 13087 0 0 54 5 5 2 20 0 15 0 416871955 11084144640 21371 33554432000 4194304 4196468 140724156857552 140573382349024 140573396226523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11084144640 21371 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871955 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10824360 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871955 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 5 13087 0 0 0 0 5 2 20 0 15 0 416871957 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 33 13087 0 0 0 0 5 2 20 0 15 0 416871957 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572868199200 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10824360 memory=140401071764240 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871958 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572736087152 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10824360 memory=140402480906844 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10824360 memory=612 CPUtime=0.22 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 850 13087 0 0 15 0 5 2 20 0 15 0 416871960 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10824360 memory=7302135314614015845 CPUtime=0.18 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) R 10727 10730 6304 0 -1 4202560 746 13087 0 0 11 0 5 2 20 0 15 0 416871960 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572833589744 140573392120369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10824360 memory=6081102367496956009 CPUtime=0.24 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 772 13087 0 0 17 0 5 2 20 0 15 0 416871960 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10824360 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11084144640 21371 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10824360 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871961 11084144640 21371 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85484 KiB

[startup+1.50169 s]
/proc/loadavg: 1.74 1.56 1.47 6/230 10796
/proc/meminfo: memFree=22374724/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10826484 memory=323664 CPUtime=3.5 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 25420 13087 0 0 321 22 5 2 20 0 15 0 416871946 11086319616 80916 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2706621 80916 3566 1 0 2668685 0
[pid=10730/tid=10783] ppid=10727 vsize=10826484 memory=2129104 CPUtime=1.4 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 11593 13087 0 0 124 9 5 2 20 0 15 0 416871955 11086319616 80916 33554432000 4194304 4196468 140724156857552 140573382364504 140573395770608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10826484 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 37 13087 0 0 1 1 5 2 20 0 15 0 416871955 11086319616 80916 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10826484 memory=1412 CPUtime=0.11 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 64 13087 0 0 2 2 5 2 20 0 15 0 416871955 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10826484 memory=3192 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 55 13087 0 0 3 2 5 2 20 0 15 0 416871955 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10826484 memory=85484 CPUtime=0.11 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 50 13087 0 0 2 2 5 2 20 0 15 0 416871955 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 85 13087 0 0 0 0 5 2 20 0 15 0 416871957 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 35 13087 0 0 0 0 5 2 20 0 15 0 416871957 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572868199200 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871958 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572736087152 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10826484 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10826484 memory=4638778398332698720 CPUtime=0.81 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) R 10727 10730 6304 0 -1 4202560 4735 13087 0 0 73 1 5 2 20 0 15 0 416871960 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572834628280 140573392077776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10826484 memory=280802143804288 CPUtime=0.81 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) R 10727 10730 6304 0 -1 4202560 4689 13087 0 0 73 1 5 2 20 0 15 0 416871960 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572833575760 140573392076430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10826484 memory=-7233780906022716832 CPUtime=0.46 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 1858 13087 0 0 39 0 5 2 20 0 15 0 416871960 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10826484 memory=4137290303932963203 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11086319616 80916 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10826484 memory=-7384994778349281184 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1 13087 0 0 0 0 5 2 20 0 15 0 416871961 11086319616 80916 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10826484 KiB

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

[pid=10730/tid=10795] ppid=10727 vsize=10849032 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11109408768 860071 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10849032 memory=2016 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1538 13087 0 0 3 2 5 2 20 0 15 0 416871961 11109408768 860071 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 125 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 3440284 KiB

[startup+100.101 s]
/proc/loadavg: 1.85 1.63 1.51 3/230 10804
/proc/meminfo: memFree=19165864/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10849032 memory=3466908 CPUtime=128.33 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 132235 13087 0 0 12619 207 5 2 20 0 15 0 416871946 11109408768 866727 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2712258 866727 3647 1 0 2674317 0
[pid=10730/tid=10783] ppid=10727 vsize=10849032 memory=3440284 CPUtime=97.18 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 40910 13087 0 0 9671 40 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573382362896 140573027125974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10849032 memory=5900 CPUtime=2.71 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 3694 13087 0 0 229 35 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10849032 memory=3415684 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 5534 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10849032 memory=3415684 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 6133 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10849032 memory=3440284 CPUtime=2.67 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 3323 13087 0 0 223 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10849032 memory=1540 CPUtime=0.19 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 5543 13087 0 0 12 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10849032 memory=772 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 56 13087 0 0 0 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572868199264 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10849032 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 8 13087 0 0 0 0 5 2 20 0 15 0 416871958 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572736087168 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10849032 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10849032 memory=1804 CPUtime=8.93 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 21148 13087 0 0 882 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10849032 memory=916 CPUtime=8.8 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 23809 13087 0 0 869 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10849032 memory=3848 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 18323 13087 0 0 262 5 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10849032 memory=3466908 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10849032 memory=10596 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1538 13087 0 0 3 2 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 128.33 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 3466908 KiB

[startup+100.901 s]*
/proc/loadavg: 1.85 1.63 1.51 3/229 10805
/proc/meminfo: memFree=19165864/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10849032 memory=3466908 CPUtime=129.14 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 132235 13087 0 0 12700 207 5 2 20 0 15 0 416871946 11109408768 866727 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2712258 866727 3647 1 0 2674317 0
[pid=10730/tid=10783] ppid=10727 vsize=10849032 memory=6791534058613427641 CPUtime=97.99 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 40910 13087 0 0 9752 40 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573382362896 140573029878373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10849032 memory=4872558044660077418 CPUtime=2.71 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 3694 13087 0 0 229 35 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10849032 memory=14004 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 5534 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10849032 memory=14060 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 6133 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10849032 memory=2116 CPUtime=2.67 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 3323 13087 0 0 223 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10849032 memory=19140 CPUtime=0.19 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 5543 13087 0 0 12 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10849032 memory=532 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 56 13087 0 0 0 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572868199264 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10849032 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 8 13087 0 0 0 0 5 2 20 0 15 0 416871958 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572736087168 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10849032 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10849032 memory=3680 CPUtime=8.93 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 21148 13087 0 0 882 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10849032 memory=864 CPUtime=8.8 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 23809 13087 0 0 869 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10849032 memory=1436 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 18323 13087 0 0 262 5 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10849032 memory=1652 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10849032 memory=1980 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1538 13087 0 0 3 2 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 129.14 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 3466908 KiB

[startup+101.301 s]
/proc/loadavg: 1.85 1.63 1.51 3/229 10805
/proc/meminfo: memFree=19165864/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10849032 memory=3466908 CPUtime=129.53 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 132237 13087 0 0 12739 207 5 2 20 0 15 0 416871946 11109408768 866727 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2712258 866727 3647 1 0 2674317 0
[pid=10730/tid=10783] ppid=10727 vsize=10849032 memory=1220 CPUtime=98.38 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 40912 13087 0 0 9791 40 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573382362896 140573020942368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10849032 memory=14004 CPUtime=2.71 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 3694 13087 0 0 229 35 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10849032 memory=14060 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 5534 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10849032 memory=2116 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 6133 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10849032 memory=288230574492221466 CPUtime=2.67 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 3323 13087 0 0 223 37 5 2 20 0 15 0 416871955 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10849032 memory=288230583166042425 CPUtime=0.19 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 5543 13087 0 0 12 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10849032 memory=15262532197681710 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 56 13087 0 0 0 0 5 2 20 0 15 0 416871957 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572868199264 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10849032 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 8 13087 0 0 0 0 5 2 20 0 15 0 416871958 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572736087168 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10849032 memory=1804 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10849032 memory=916 CPUtime=8.93 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) S 10727 10730 6304 0 -1 1077944384 21148 13087 0 0 882 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572834642544 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10849032 memory=3848 CPUtime=8.8 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 23809 13087 0 0 869 4 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10849032 memory=2968 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 18323 13087 0 0 262 5 5 2 20 0 15 0 416871960 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10849032 memory=2612 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10849032 memory=4108 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1538 13087 0 0 3 2 5 2 20 0 15 0 416871961 11109408768 866727 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 129.53 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 3466908 KiB

[startup+101.701 s]
/proc/loadavg: 1.85 1.63 1.51 3/229 10805
/proc/meminfo: memFree=19165864/32770624 swapFree=66999284/67108860
[pid=10730] ppid=10727 vsize=10849032 memory=3467144 CPUtime=130.19 cores=0,2,4,6
/proc/10730/stat : 10730 (java) S 10727 10730 6304 0 -1 1077944320 134897 13087 0 0 12805 207 5 2 20 0 15 0 416871946 11109408768 866786 33554432000 4194304 4196468 140724156857552 140724156840096 140573410533111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
/proc/10730/statm: 2712258 866786 3647 1 0 2674317 0
[pid=10730/tid=10783] ppid=10727 vsize=10849032 memory=4004 CPUtime=98.77 cores=0,2,4,6
/proc/10730/task/10783/stat : 10783 (java) R 10727 10730 6304 0 -1 4202560 42009 13087 0 0 9830 40 5 2 20 0 15 0 416871955 11109408768 866786 33554432000 4194304 4196468 140724156857552 140573382368704 140573035758928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10784] ppid=10727 vsize=10849032 memory=1424 CPUtime=2.71 cores=0,2,4,6
/proc/10730/task/10784/stat : 10784 (java) S 10727 10730 6304 0 -1 1077944384 3694 13087 0 0 229 35 5 2 20 0 15 0 416871955 11109408768 866786 33554432000 4194304 4196468 140724156857552 140573414775696 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10785] ppid=10727 vsize=10849032 memory=1540 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10785/stat : 10785 (java) S 10727 10730 6304 0 -1 1077944384 5534 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572984269584 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10786] ppid=10727 vsize=10849032 memory=3440284 CPUtime=2.74 cores=0,2,4,6
/proc/10730/task/10786/stat : 10786 (java) S 10727 10730 6304 0 -1 1077944384 6133 13087 0 0 230 37 5 2 20 0 15 0 416871955 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572983217296 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10787] ppid=10727 vsize=10849032 memory=3440284 CPUtime=2.67 cores=0,2,4,6
/proc/10730/task/10787/stat : 10787 (java) S 10727 10730 6304 0 -1 1077944384 3323 13087 0 0 223 37 5 2 20 0 15 0 416871955 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572982164496 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10788] ppid=10727 vsize=10849032 memory=6791534058613427641 CPUtime=0.19 cores=0,2,4,6
/proc/10730/task/10788/stat : 10788 (java) S 10727 10730 6304 0 -1 1077944384 5550 13087 0 0 12 0 5 2 20 0 15 0 416871957 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572869253232 140573410544258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10789] ppid=10727 vsize=10849032 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10789/stat : 10789 (java) S 10727 10730 6304 0 -1 1077944384 56 13087 0 0 0 0 5 2 20 0 15 0 416871957 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572868199264 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10790] ppid=10727 vsize=10849032 memory=3680 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10790/stat : 10790 (java) S 10727 10730 6304 0 -1 1077944384 8 13087 0 0 0 0 5 2 20 0 15 0 416871958 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572736087168 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10791] ppid=10727 vsize=10849032 memory=864 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10791/stat : 10791 (java) S 10727 10730 6304 0 -1 1077944384 2 13087 0 0 0 0 5 2 20 0 15 0 416871960 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572132108368 140573410551707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10792] ppid=10727 vsize=10849032 memory=1436 CPUtime=9.04 cores=0,2,4,6
/proc/10730/task/10792/stat : 10792 (java) R 10727 10730 6304 0 -1 4202560 21550 13087 0 0 893 4 5 2 20 0 15 0 416871960 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572834635648 140573393908543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10793] ppid=10727 vsize=10849032 memory=772 CPUtime=8.92 cores=0,2,4,6
/proc/10730/task/10793/stat : 10793 (java) S 10727 10730 6304 0 -1 1077944384 24603 13087 0 0 880 5 5 2 20 0 15 0 416871960 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572833589744 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10794] ppid=10727 vsize=10849032 memory=10596 CPUtime=2.78 cores=0,2,4,6
/proc/10730/task/10794/stat : 10794 (java) S 10727 10730 6304 0 -1 1077944384 18683 13087 0 0 266 5 5 2 20 0 15 0 416871960 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572832537456 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10795] ppid=10727 vsize=10849032 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/10730/task/10795/stat : 10795 (java) S 10727 10730 6304 0 -1 1077944384 3 13087 0 0 0 0 5 2 20 0 15 0 416871961 11109408768 866786 33554432000 4194304 4196468 140724156857552 140571662347232 140573410543317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
[pid=10730/tid=10796] ppid=10727 vsize=10849032 memory=988 CPUtime=0.12 cores=0,2,4,6
/proc/10730/task/10796/stat : 10796 (java) S 10727 10730 6304 0 -1 1077944384 1538 13087 0 0 3 2 5 2 20 0 15 0 416871961 11109408768 866786 33554432000 4194304 4196468 140724156857552 140572831484336 140573410544258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26296320 140724156865263 140724156867781 140724156867781 140724156870607 0
Current children cumulated CPU time: 130.19 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 3467144 KiB

Child status: 0
Real time (s): 101.745
CPU time (s): 130.256
CPU user time (s): 128.125
CPU system time (s): 2.13108
CPU usage (%): 128.021
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 3467144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.125
system time used= 2.13108
maximum resident set size= 3469220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12393
involuntary context switches= 360


# summary of solver processes directly reported to runsolver:
#   pid: 10730
#   total CPU time (s): 130.256
#   total CPU user time (s): 128.125
#   total CPU system time (s): 2.13108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.582821 second user time and 1.01766 second system time

The end

Launcher Data

Begin job on node140 at 2019-09-13 23:14:55
IDJOB=4396373
IDBENCH=141276
IDSOLVER=2847
FILE ID=node140/4396373-1568409335
RUNJOBID= node140-1568394621-6335
PBS_JOBID= 21701868
Free space on /tmp= 58036 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396373-1568409335/watcher-4396373-1568409335 -o /tmp/evaluation-result-4396373-1568409335/solver-4396373-1568409335 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568394621-6335 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1648146393 HOME/instance-4396373-1568409335.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1648146393

node140.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.43
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.43
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.43
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.43
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:        22628936 kB
MemAvailable:   31398428 kB
Buffers:          177476 kB
Cached:          8799776 kB
SwapCached:         2736 kB
Active:          1971152 kB
Inactive:        7473744 kB
Active(anon):     464652 kB
Inactive(anon):    43936 kB
Active(file):    1506500 kB
Inactive(file):  7429808 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66999284 kB
Dirty:            106700 kB
Writeback:             0 kB
AnonPages:        651232 kB
Mapped:            57776 kB
Shmem:             32260 kB
Slab:             292384 kB
SReclaimable:     261644 kB
SUnreclaim:        30740 kB
KernelStack:        4080 kB
PageTables:         7084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1709680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58000 MiB
End job on node140 at 2019-09-13 23:16:37