Trace number 4400953

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 60.8359 35.9928

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400953-1568695619/watcher-4400953-1568695619 -o /tmp/evaluation-result-4400953-1568695619/solver-4400953-1568695619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=711557294 HOME/instance-4400953-1568695619.xml 

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

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

solver pid=5432, runsolver pid=5429

[startup+0.100134 s]*
/proc/loadavg: 1.37 1.34 1.41 4/218 5489
/proc/meminfo: memFree=27568204/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=9972712 memory=18600 CPUtime=0.09 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 4397 13308 0 0 1 0 5 3 20 0 6 0 445498428 10212057088 4650 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2493178 4650 1933 1 0 2481616 0
[pid=5432/tid=5485] ppid=5429 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 2197 13308 0 0 0 0 5 3 20 0 6 0 445498437 10212057088 4650 33554432000 4194304 4196468 140723163814704 140324217246288 140324245431453 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 445498438 10212057088 4650 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=9972712 memory=140157376902784 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 445498438 10212057088 4650 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 445498438 10212057088 4650 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 6 0 445498438 10212057088 4650 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18600 KiB

[startup+0.21117 s]*
/proc/loadavg: 1.37 1.34 1.41 7/227 5498
/proc/meminfo: memFree=27548260/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10819712 memory=40884 CPUtime=0.26 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 7036 13308 0 0 17 1 5 3 20 0 15 0 445498428 11079385088 10221 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2704928 10221 3183 1 0 2667149 0
[pid=5432/tid=5485] ppid=5429 vsize=10820020 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 3619 13308 0 0 10 1 5 3 20 0 15 0 445498437 11079700480 10287 33554432000 4194304 4196468 140723163814704 140324217226640 140324245431453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10820020 memory=4294967638 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079700480 10287 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10820020 memory=140157376928606 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079700480 10287 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079700480 10287 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079700480 10287 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10820020 memory=140157376902784 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498439 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 13 13308 0 0 0 0 5 3 20 0 15 0 445498440 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323158221856 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498440 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323024003952 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) S 5429 5432 32236 0 -1 1077944384 489 13308 0 0 1 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323771034480 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) S 5429 5432 32236 0 -1 1077944384 166 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323769981680 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10820020 memory=140157376902784 CPUtime=0.11 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 623 13308 0 0 3 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10820020 memory=140157376902784 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079700480 10287 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 40884 KiB

[startup+0.310388 s]*
/proc/loadavg: 1.37 1.34 1.41 3/227 5498
/proc/meminfo: memFree=27535592/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10820196 memory=50936 CPUtime=0.4 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 10467 13308 0 0 28 4 5 3 20 0 15 0 445498428 11079880704 12734 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2705049 12734 3315 1 0 2667149 0
[pid=5432/tid=5485] ppid=5429 vsize=10820196 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 6932 13308 0 0 18 2 5 3 20 0 15 0 445498437 11079880704 12734 33554432000 4194304 4196468 140723163814704 140324217218480 140324229490014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079880704 12734 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10820196 memory=-2843871807209587870 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079880704 12734 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079880704 12734 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498438 11079880704 12734 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498439 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 13 13308 0 0 0 0 5 3 20 0 15 0 445498440 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323158221856 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498440 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323024003952 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) S 5429 5432 32236 0 -1 1077944384 490 13308 0 0 2 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323771034480 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) S 5429 5432 32236 0 -1 1077944384 175 13308 0 0 1 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323769981680 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 641 13308 0 0 5 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498443 11079880704 12734 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50936 KiB

[startup+0.704088 s]
/proc/loadavg: 1.37 1.34 1.41 3/227 5498
/proc/meminfo: memFree=27521136/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10824364 memory=84088 CPUtime=1.11 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 14765 13308 0 0 98 5 5 3 20 0 15 0 445498428 11084148736 21022 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2706091 21022 3512 1 0 2668173 0
[pid=5432/tid=5485] ppid=5429 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 10146 13308 0 0 55 4 5 3 20 0 15 0 445498437 11084148736 21022 33554432000 4194304 4196468 140723163814704 140324217224336 140323846232004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11084148736 21022 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11084148736 21022 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10824364 memory=280314530238224 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498438 11084148736 21022 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10824364 memory=2447728707329 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498438 11084148736 21022 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10824364 memory=218158872 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 5 13308 0 0 0 0 5 3 20 0 15 0 445498439 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10824364 memory=-7453528518462155811 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 13 13308 0 0 0 0 5 3 20 0 15 0 445498440 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323158221856 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10824364 memory=7809618204846806625 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498440 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323024003952 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10824364 memory=8099279071866868842 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10824364 memory=6656426216303648864 CPUtime=0.2 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) R 5429 5432 32236 0 -1 4202560 906 13308 0 0 12 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323771034480 140324226602626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) R 5429 5432 32236 0 -1 4202560 572 13308 0 0 11 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323769968992 140324237698905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 901 13308 0 0 17 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10824364 memory=280314530801216 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10824364 memory=140157667770960 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498443 11084148736 21022 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84088 KiB

[startup+1.50078 s]
/proc/loadavg: 1.37 1.34 1.41 6/227 5498
/proc/meminfo: memFree=27321064/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10826488 memory=315540 CPUtime=3.6 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 23427 13308 0 0 330 22 5 3 20 0 15 0 445498428 11086323712 78885 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2706622 78885 3567 1 0 2668685 0
[pid=5432/tid=5485] ppid=5429 vsize=10826488 memory=-6948614817169703622 CPUtime=1.4 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 11150 13308 0 0 125 7 5 3 20 0 15 0 445498437 11086323712 78885 33554432000 4194304 4196468 140723163814704 140324217240872 140323846219493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10826488 memory=84088 CPUtime=0.12 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 58 13308 0 0 2 2 5 3 20 0 15 0 445498438 11086323712 78885 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10826488 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 53 13308 0 0 2 3 5 3 20 0 15 0 445498438 11086323712 78885 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10826488 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 51 13308 0 0 2 2 5 3 20 0 15 0 445498438 11086323712 78885 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10826488 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 51 13308 0 0 2 2 5 3 20 0 15 0 445498438 11086323712 78885 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10826488 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 86 13308 0 0 0 0 5 3 20 0 15 0 445498439 11086323712 78885 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10826488 memory=4206186544037388384 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 14 13308 0 0 0 0 5 3 20 0 15 0 445498440 11086323712 78885 33554432000 4194304 4196468 140723163814704 140323158221856 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10826488 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 445498440 11086323712 78885 33554432000 4194304 4196468 140723163814704 140323024003952 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10826488 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11086323712 78885 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10826488 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) R 5429 5432 32236 0 -1 4202560 3575 13308 0 0 75 1 5 3 20 0 15 0 445498443 11086323712 78951 33554432000 4194304 4196468 140723163814704 140323771020536 140324238515189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10826488 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) R 5429 5432 32236 0 -1 4202560 3919 13308 0 0 77 1 5 3 20 0 15 0 445498443 11086323712 78951 33554432000 4194304 4196468 140723163814704 140323769966344 140324238515189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10826488 memory=-7966001967407402336 CPUtime=0.48 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 2269 13308 0 0 40 0 5 3 20 0 15 0 445498443 11086323712 78951 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10826488 memory=6944613755495348631 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11086323712 78951 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10826488 memory=7100839870102598768 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 445498443 11086323712 78951 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 10826488 KiB

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

[pid=5432/tid=5497] ppid=5429 vsize=10849036 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 862417 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10849036 memory=3432824 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1600 13308 0 0 1 1 5 3 20 0 15 0 445498443 11109412864 862417 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 55.03 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3449668 KiB

[startup+35.2007 s]
/proc/loadavg: 1.58 1.39 1.42 3/227 5501
/proc/meminfo: memFree=24139688/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10849036 memory=3499788 CPUtime=59.37 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 103436 13308 0 0 5713 216 5 3 20 0 15 0 445498428 11109412864 874947 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2712259 874947 3639 1 0 2674317 0
[pid=5432/tid=5485] ppid=5429 vsize=10849036 memory=288230617509003574 CPUtime=32.81 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 31683 13308 0 0 3236 37 5 3 20 0 15 0 445498437 11109412864 874947 33554432000 4194304 4196468 140723163814704 140324217239872 140323850550224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10849036 memory=3441304 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 2294 13308 0 0 179 39 5 3 20 0 15 0 445498438 11109412864 874947 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10849036 memory=6935054825532540783 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 3021 13308 0 0 177 41 5 3 20 0 15 0 445498438 11109412864 874947 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10849036 memory=4126316290023845779 CPUtime=2.27 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 2160 13308 0 0 179 40 5 3 20 0 15 0 445498438 11109412864 874947 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10849036 memory=8112282956445269571 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2227 13308 0 0 178 40 5 3 20 0 15 0 445498438 11109412864 874947 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10849036 memory=2612 CPUtime=0.17 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 4769 13308 0 0 8 1 5 3 20 0 15 0 445498439 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10849036 memory=3315636 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 17 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323158221920 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10849036 memory=-2827449378222515572 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323024003968 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10849036 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10849036 memory=8112282956445269571 CPUtime=7.67 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) R 5429 5432 32236 0 -1 4202560 20223 13308 0 0 756 3 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323771023088 140324223854327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10849036 memory=47440 CPUtime=7.61 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) S 5429 5432 32236 0 -1 1077944384 20502 13308 0 0 750 3 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323769981680 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10849036 memory=988 CPUtime=2.57 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) R 5429 5432 32236 0 -1 4202560 12722 13308 0 0 243 6 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323768928880 140324245421462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10849036 memory=8101247189090653289 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1600 13308 0 0 1 1 5 3 20 0 15 0 445498443 11109412864 874947 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 59.37 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3499788 KiB

[startup+35.6007 s]
/proc/loadavg: 1.58 1.39 1.42 3/227 5501
/proc/meminfo: memFree=24139688/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10849036 memory=3501024 CPUtime=60.17 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 103769 13308 0 0 5792 217 5 3 20 0 15 0 445498428 11109412864 875256 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2712259 875256 3639 1 0 2674317 0
[pid=5432/tid=5485] ppid=5429 vsize=10849036 memory=1056 CPUtime=33.21 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 31763 13308 0 0 3276 37 5 3 20 0 15 0 445498437 11109412864 875256 33554432000 4194304 4196468 140723163814704 140324217244528 140323854045225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10849036 memory=4000 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 2294 13308 0 0 179 39 5 3 20 0 15 0 445498438 11109412864 875256 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10849036 memory=1552 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 3021 13308 0 0 177 41 5 3 20 0 15 0 445498438 11109412864 875256 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10849036 memory=1712 CPUtime=2.27 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 2160 13308 0 0 179 40 5 3 20 0 15 0 445498438 11109412864 875256 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10849036 memory=1196 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2227 13308 0 0 178 40 5 3 20 0 15 0 445498438 11109412864 875256 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10849036 memory=1044 CPUtime=0.17 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 4769 13308 0 0 8 1 5 3 20 0 15 0 445498439 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10849036 memory=712 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 17 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323158221920 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10849036 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323024003968 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10849036 memory=8024 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10849036 memory=10428 CPUtime=7.83 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) S 5429 5432 32236 0 -1 1077944384 20272 13308 0 0 771 4 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323771034480 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10849036 memory=2020 CPUtime=7.77 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) R 5429 5432 32236 0 -1 4202560 20573 13308 0 0 765 4 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323769970352 140324230318716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10849036 memory=1432 CPUtime=2.66 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 12853 13308 0 0 252 6 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10849036 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10849036 memory=1056 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1602 13308 0 0 1 1 5 3 20 0 15 0 445498443 11109412864 875256 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 60.17 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3501024 KiB

[startup+35.8008 s]
/proc/loadavg: 1.58 1.39 1.42 3/227 5501
/proc/meminfo: memFree=24139688/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10849036 memory=3501268 CPUtime=60.46 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 103820 13308 0 0 5821 217 5 3 20 0 15 0 445498428 11109412864 875317 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2712259 875317 3639 1 0 2674317 0
[pid=5432/tid=5485] ppid=5429 vsize=10849036 memory=1552 CPUtime=33.41 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 31767 13308 0 0 3296 37 5 3 20 0 15 0 445498437 11109412864 875317 33554432000 4194304 4196468 140723163814704 140324217244528 140323848987146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10849036 memory=1712 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 2294 13308 0 0 179 39 5 3 20 0 15 0 445498438 11109412864 875317 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10849036 memory=1196 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 3021 13308 0 0 177 41 5 3 20 0 15 0 445498438 11109412864 875317 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10849036 memory=1044 CPUtime=2.27 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 2160 13308 0 0 179 40 5 3 20 0 15 0 445498438 11109412864 875317 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10849036 memory=712 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2227 13308 0 0 178 40 5 3 20 0 15 0 445498438 11109412864 875317 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10849036 memory=2832 CPUtime=0.17 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 4769 13308 0 0 8 1 5 3 20 0 15 0 445498439 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10849036 memory=8024 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 17 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323158221920 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10849036 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323024003968 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10849036 memory=14080 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10849036 memory=26012 CPUtime=7.86 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) S 5429 5432 32236 0 -1 1077944384 20279 13308 0 0 774 4 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323771034480 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10849036 memory=2120 CPUtime=7.81 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) S 5429 5432 32236 0 -1 1077944384 20585 13308 0 0 769 4 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323769981680 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10849036 memory=508 CPUtime=2.68 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 12881 13308 0 0 254 6 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10849036 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10849036 memory=932 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1602 13308 0 0 1 1 5 3 20 0 15 0 445498443 11109412864 875317 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 60.46 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3501268 KiB

[startup+35.9007 s]
/proc/loadavg: 1.58 1.39 1.42 3/227 5501
/proc/meminfo: memFree=24139688/32770624 swapFree=66958320/67108860
[pid=5432] ppid=5429 vsize=10849036 memory=3501284 CPUtime=60.61 cores=0,2,4,6
/proc/5432/stat : 5432 (java) S 5429 5432 32236 0 -1 1077944320 103841 13308 0 0 5836 217 5 3 20 0 15 0 445498428 11109412864 875321 33554432000 4194304 4196468 140723163814704 140723163797248 140324245409527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
/proc/5432/statm: 2712259 875321 3639 1 0 2674317 0
[pid=5432/tid=5485] ppid=5429 vsize=10849036 memory=3501140 CPUtime=33.51 cores=0,2,4,6
/proc/5432/task/5485/stat : 5485 (java) R 5429 5432 32236 0 -1 4202560 31767 13308 0 0 3306 37 5 3 20 0 15 0 445498437 11109412864 875321 33554432000 4194304 4196468 140723163814704 140324217241880 140323868492094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5486] ppid=5429 vsize=10849036 memory=3450056 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5486/stat : 5486 (java) S 5429 5432 32236 0 -1 1077944384 2294 13308 0 0 179 39 5 3 20 0 15 0 445498438 11109412864 875321 33554432000 4194304 4196468 140723163814704 140324249652368 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5487] ppid=5429 vsize=10849036 memory=932 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5487/stat : 5487 (java) S 5429 5432 32236 0 -1 1077944384 3021 13308 0 0 177 41 5 3 20 0 15 0 445498438 11109412864 875321 33554432000 4194304 4196468 140723163814704 140324168403984 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5488] ppid=5429 vsize=10849036 memory=8112282956445269571 CPUtime=2.27 cores=0,2,4,6
/proc/5432/task/5488/stat : 5488 (java) S 5429 5432 32236 0 -1 1077944384 2160 13308 0 0 179 40 5 3 20 0 15 0 445498438 11109412864 875321 33554432000 4194304 4196468 140723163814704 140324167351184 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5489] ppid=5429 vsize=10849036 memory=47440 CPUtime=2.26 cores=0,2,4,6
/proc/5432/task/5489/stat : 5489 (java) S 5429 5432 32236 0 -1 1077944384 2227 13308 0 0 178 40 5 3 20 0 15 0 445498438 11109412864 875321 33554432000 4194304 4196468 140723163814704 140324166298384 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5490] ppid=5429 vsize=10849036 memory=3282448 CPUtime=0.17 cores=0,2,4,6
/proc/5432/task/5490/stat : 5490 (java) S 5429 5432 32236 0 -1 1077944384 4769 13308 0 0 8 1 5 3 20 0 15 0 445498439 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323772086640 140324245420674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5491] ppid=5429 vsize=10849036 memory=324717807 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5491/stat : 5491 (java) S 5429 5432 32236 0 -1 1077944384 17 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323158221920 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5492] ppid=5429 vsize=10849036 memory=3450392 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5492/stat : 5492 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498440 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323024003968 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5493] ppid=5429 vsize=10849036 memory=3450392 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5493/stat : 5493 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140322783713104 140324245428123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5494] ppid=5429 vsize=10849036 memory=3500348 CPUtime=7.87 cores=0,2,4,6
/proc/5432/task/5494/stat : 5494 (java) R 5429 5432 32236 0 -1 4202560 20281 13308 0 0 775 4 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323771034480 140324225261663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5495] ppid=5429 vsize=10849036 memory=3500276 CPUtime=7.84 cores=0,2,4,6
/proc/5432/task/5495/stat : 5495 (java) R 5429 5432 32236 0 -1 4202560 20589 13308 0 0 772 4 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323769981680 140324228820422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5496] ppid=5429 vsize=10849036 memory=3432824 CPUtime=2.69 cores=0,2,4,6
/proc/5432/task/5496/stat : 5496 (java) S 5429 5432 32236 0 -1 1077944384 12896 13308 0 0 255 6 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323768928880 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5497] ppid=5429 vsize=10849036 memory=111636 CPUtime=0.08 cores=0,2,4,6
/proc/5432/task/5497/stat : 5497 (java) S 5429 5432 32236 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140322750155488 140324245419733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
[pid=5432/tid=5498] ppid=5429 vsize=10849036 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/5432/task/5498/stat : 5498 (java) S 5429 5432 32236 0 -1 1077944384 1602 13308 0 0 1 1 5 3 20 0 15 0 445498443 11109412864 875321 33554432000 4194304 4196468 140723163814704 140323767876272 140324245420674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17649664 140723163822832 140723163825349 140723163825349 140723163828175 0
Current children cumulated CPU time: 60.61 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3501284 KiB

Child status: 0
Real time (s): 35.9928
CPU time (s): 60.8359
CPU user time (s): 58.6079
CPU system time (s): 2.22805
CPU usage (%): 169.023
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3501284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.6079
system time used= 2.22805
maximum resident set size= 3503540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10349
involuntary context switches= 397


# summary of solver processes directly reported to runsolver:
#   pid: 5432
#   total CPU time (s): 60.8359
#   total CPU user time (s): 58.6079
#   total CPU system time (s): 2.22805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.225793 second user time and 0.397433 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-17 06:46:17
IDJOB=4400953
IDBENCH=141276
IDSOLVER=2857
FILE ID=node145/4400953-1568695619
RUNJOBID= node145-1568673289-32267
PBS_JOBID= 21703777
Free space on /tmp= 59428 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-4400953-1568695619/watcher-4400953-1568695619 -o /tmp/evaluation-result-4400953-1568695619/solver-4400953-1568695619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32267 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=711557294 HOME/instance-4400953-1568695619.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=711557294

node145.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.59
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.59
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.59
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.59
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:        27574224 kB
MemAvailable:   30173128 kB
Buffers:          185680 kB
Cached:          2704256 kB
SwapCached:        41072 kB
Active:          3145012 kB
Inactive:        1464108 kB
Active(anon):    1681992 kB
Inactive(anon):    86528 kB
Active(file):    1463020 kB
Inactive(file):  1377580 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       66958320 kB
Dirty:            106356 kB
Writeback:             8 kB
AnonPages:       1790440 kB
Mapped:            61792 kB
Shmem:             40616 kB
Slab:             176816 kB
SReclaimable:     148280 kB
SUnreclaim:        28536 kB
KernelStack:        3776 kB
PageTables:        10340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2775676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1628160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59392 MiB
End job on node145 at 2019-09-17 06:46:54