Trace number 4298304

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
slowpoke 2018-04-29SAT (TO)2513863 2520.16 2471.38

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml
MD5SUMd97bf760713e7741c92fd1268dd09e15
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark647980
Best CPU time to get the best result obtained on this benchmark2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4689
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}]
Number of extensional constraints4409
Number of intensional constraints280
Distribution of constraint types[{"type":"extension","count":4409},{"type":"intension","count":280}]
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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
99.02/56.75	o 3675073
99.02/56.76	o 3674873
99.20/56.83	o 3674673
101.38/58.61	o 3474673
102.69/59.92	o 3454673
104.20/61.46	o 3434673
104.20/61.49	o 3414674
104.33/61.52	o 3394675
104.33/61.58	o 3194675
104.65/61.71	o 2994676
104.85/61.89	o 2794676
105.05/62.08	o 2774676
108.66/65.52	o 2774477
108.76/65.66	o 2754475
110.66/67.51	o 2734676
110.66/67.53	o 2734675
110.66/67.53	o 2734475
110.76/67.63	o 2714679
110.86/67.72	o 2714477
114.46/71.37	o 2714277
114.56/71.41	o 2714077
114.56/71.44	o 2713877
114.87/71.77	o 2713876
115.07/71.91	o 2513876
118.61/75.49	o 2513868
118.91/75.70	o 2513867
118.91/75.72	o 2513865
118.91/75.76	o 2513863
2520.06/2471.30	s SATISFIABLE
2520.06/2471.31	v <instantiation>
2520.06/2471.31	v 	<list>
2520.06/2471.31	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 
2520.06/2471.31	v 	</list>
2520.06/2471.31	v 	<values>
2520.06/2471.31	v 		442 680 554 792 694 456 254 16 324 86 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 414 652 442 680 352 114 554 792 498 736 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 778 540 498 736 114 352 526 764 324 86 708 470 540 778 414 652 778 540 366 128 750 512 778 540 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 100 338 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 484 722 268 30 554 792 414 652 44 282 352 114 652 414 86 324 128 366 470 708 296 58 736 498 352 114 414 652 142 380 16 254 792 554 352 114 352 114 778 540 428 666 366 128 100 338 428 666 526 764 526 764 142 380 30 268 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 694 456 540 778 296 58 540 778 526 764 778 540 380 142 30 268 442 680 16 254 282 44 30 268 282 44 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 268 30 764 526 254 16 442 680 540 778 512 750 296 58 708 470 128 366 666 428 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 268 30 456 694 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 58 296 750 512 708 470 736 498 736 498 428 666 394 156 296 58 30 268 366 128 750 512 526 764 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 16 254 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 512 750 380 142 722 484 554 792 58 296 142 380 722 484 128 366 442 680 526 764 268 30 484 722 296 58 526 764 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 680 442 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 128 366 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 764 526 414 652 16 254 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 666 428 254 16 100 338 30 268 30 268 414 652 30 268 324 86 428 666 750 512 764 526 30 268 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 114 352 254 16 72 310 100 338 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2 0 2 0 0 0 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 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 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 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 2 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 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 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 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 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 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 2 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 2 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 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 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 2 0 0 2 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 2 0 0 2 0 0 2 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 1 0 0 0 1 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 1 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 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 1 0 0 0 1 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 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 1 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 1 1 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 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 1 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 
2520.06/2471.31	v 	</values>
2520.06/2471.31	v </instantiation>

Verifier Data 

OK	2513863

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 (8451 MiB free)
  memory of node 1: 16384 MiB (9474 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298304-1532753527/watcher-4298304-1532753527 -o /tmp/evaluation-result-4298304-1532753527/solver-4298304-1532753527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532740995-7594 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298304-1532753527.xml --timelimit 2520 

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=9026, runsolver pid=9023

[startup+0.100127 s]*
/proc/loadavg: 1.94 1.97 2.02 4/216 9041
/proc/meminfo: memFree=18340036/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661056 memory=27704 CPUtime=0.12 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 5274 0 0 0 11 1 0 0 20 0 15 0 92915876 10916921344 6926 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665264 6926 2868 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=-8682196205106459840 CPUtime=0.09 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 3139 0 0 0 8 1 0 0 20 0 15 0 92915876 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358921898736 140358917688726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.02 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) R 9023 9026 7563 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358470511472 140358917698138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 6926 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27704 KiB

[startup+0.210559 s]*
/proc/loadavg: 1.94 1.97 2.02 4/216 9041
/proc/meminfo: memFree=18328608/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661056 memory=39944 CPUtime=0.34 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 8060 0 0 0 32 2 0 0 20 0 15 0 92915876 10916921344 9986 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665264 9986 2966 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5114 0 0 0 19 1 0 0 20 0 15 0 92915876 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358921913008 140358917698717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=140540769675887 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358472608208 140358903700535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358471563856 140358917686997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.08 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) R 9023 9026 7563 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 15 0 92915881 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358470511472 140358901757278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 9986 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39944 KiB

[startup+0.313878 s]*
/proc/loadavg: 1.94 1.97 2.02 5/216 9041
/proc/meminfo: memFree=18286228/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661056 memory=83716 CPUtime=0.66 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 10295 0 0 0 63 3 0 0 20 0 15 0 92915876 10916921344 20929 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665264 20929 3048 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5179 0 0 0 28 2 0 0 20 0 15 0 92915876 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358921899584 140358901757278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661056 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661056 memory=15395406551385752 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915877 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 1231 0 0 0 11 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358472602584 140358899221404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661056 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 4202560 1421 0 0 0 11 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358471549896 140358896069056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0.12 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 1123 0 0 0 12 0 0 0 20 0 15 0 92915881 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661056 memory=140540769666688 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916921344 20929 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 83716 KiB

[startup+0.700876 s]
/proc/loadavg: 1.94 1.97 2.02 5/216 9041
/proc/meminfo: memFree=18255832/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661132 memory=217216 CPUtime=1.94 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 12105 0 0 0 186 8 0 0 20 0 15 0 92915876 10916999168 54304 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665283 54304 3120 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=1728 CPUtime=0.65 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5538 0 0 0 61 4 0 0 20 0 15 0 92915876 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358921912936 140358544689512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=796 CPUtime=0.01 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=1228 CPUtime=0.01 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 92915877 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358475772704 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=6945208482816681536 CPUtime=0.45 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) R 9023 9026 7563 0 -1 4202560 1720 0 0 0 45 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358472601392 140358902842337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=7811323491934034026 CPUtime=0.47 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) R 9023 9026 7563 0 -1 4202560 1873 0 0 0 47 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358471555088 140358897066042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=5787213827113576551 CPUtime=0.26 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 1433 0 0 0 26 0 0 0 20 0 15 0 92915881 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 54304 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 217216 KiB

[startup+1.50077 s]
/proc/loadavg: 1.94 1.97 2.02 3/216 9041
/proc/meminfo: memFree=18066004/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661132 memory=418020 CPUtime=3.54 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 13480 0 0 0 331 23 0 0 20 0 15 0 92915876 10916999168 104505 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665283 104505 3137 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 5608 0 0 0 132 6 0 0 20 0 15 0 92915876 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358921911728 140358544493952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=-8754540793456063680 CPUtime=0.08 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=-2843869621055772062 CPUtime=0.07 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 288 0 0 0 4 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 182 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=7005738693937936738 CPUtime=0.08 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 213 0 0 0 5 3 0 0 20 0 15 0 92915877 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 104505 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0

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

/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2213414 0 0 0 230335 293 0 0 20 0 15 0 92915876 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358921917696 140358548853198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=8514701219730523551 CPUtime=13.83 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 257791 0 0 0 1236 147 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=6155693240904344676 CPUtime=13.82 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 254262 0 0 0 1244 138 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=7809636926644644451 CPUtime=13.72 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 226136 0 0 0 1229 143 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=7956290891715858770 CPUtime=13.82 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 262731 0 0 0 1242 140 0 0 20 0 15 0 92915877 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=288230574492221466 CPUtime=2.13 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22059 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=3244 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=3808304 CPUtime=2.85 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9776 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=1408 CPUtime=2.45 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10793 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=3196 CPUtime=0.73 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6221 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=5548380 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=4100 CPUtime=1.05 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1881 0 0 0 57 48 0 0 20 0 15 0 92915882 10916999168 1387095 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 2370.78 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5548380 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/216 9140
/proc/meminfo: memFree=11157464/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661132 memory=5505288 CPUtime=2430.91 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3329422 0 0 0 242163 928 0 0 20 0 15 0 92915876 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665283 1376322 3199 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=2366.25 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2262280 0 0 0 236325 300 0 0 20 0 15 0 92915876 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358921917696 140358549220467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=644 CPUtime=13.86 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 260970 0 0 0 1239 147 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=1792 CPUtime=13.86 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 257097 0 0 0 1247 139 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=960 CPUtime=13.75 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 230153 0 0 0 1232 143 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1232 CPUtime=13.86 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 266524 0 0 0 1245 141 0 0 20 0 15 0 92915877 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=2344 CPUtime=2.13 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22287 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=928 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=4128 CPUtime=2.85 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9782 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=2200 CPUtime=2.45 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10796 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=7528 CPUtime=0.73 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6226 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=1.08 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1912 0 0 0 59 49 0 0 20 0 15 0 92915882 10916999168 1376322 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 2430.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5505288 KiB

[startup+2442.3 s]
/proc/loadavg: 1.94 2.02 2.04 3/216 9141
/proc/meminfo: memFree=11248540/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2491.05 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3394297 0 0 0 248169 936 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665283 1366703 3199 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=288230583166042425 CPUtime=2426.22 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2312973 0 0 0 242316 306 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358921917696 140358548853200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=15824378344507954 CPUtime=13.9 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 263998 0 0 0 1242 148 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=5792 CPUtime=13.89 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 260211 0 0 0 1250 139 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=1936 CPUtime=13.78 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 234000 0 0 0 1234 144 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=796 CPUtime=13.89 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 270399 0 0 0 1248 141 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=1012 CPUtime=2.13 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22520 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=5792 CPUtime=2.85 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9795 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=1936 CPUtime=2.45 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10802 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=1196 CPUtime=0.73 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6235 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=8540 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=644 CPUtime=1.12 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1969 0 0 0 61 51 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 2491.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5466812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/216 9218
/proc/meminfo: memFree=14647780/32770624 swapFree=67108860/67108860
[pid=9026] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2520.06 cores=0,2,4,6
/proc/9026/stat : 9026 (java) S 9023 9026 7563 0 -1 1077944320 3440286 0 0 0 251065 941 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140736862850304 140358917676791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
/proc/9026/statm: 2665283 1366703 3199 1 0 2627263 0
[pid=9026/tid=9028] ppid=9023 vsize=10661132 memory=4136 CPUtime=2455.22 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (java) R 9023 9026 7563 0 -1 4202560 2358958 0 0 0 245212 310 0 0 20 0 15 0 92915876 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358921917696 140358549247171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9029] ppid=9023 vsize=10661132 memory=27116 CPUtime=13.9 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (java) S 9023 9026 7563 0 -1 1077944384 263998 0 0 0 1242 148 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358870297488 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9030] ppid=9023 vsize=10661132 memory=5466812 CPUtime=13.89 cores=0,2,4,6
/proc/9026/task/9030/stat : 9030 (java) S 9023 9026 7563 0 -1 1077944384 260211 0 0 0 1250 139 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358869244688 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9031] ppid=9023 vsize=10661132 memory=5466812 CPUtime=13.78 cores=0,2,4,6
/proc/9026/task/9031/stat : 9031 (java) S 9023 9026 7563 0 -1 1077944384 234000 0 0 0 1234 144 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358868192400 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9032] ppid=9023 vsize=10661132 memory=1196 CPUtime=13.89 cores=0,2,4,6
/proc/9026/task/9032/stat : 9032 (java) S 9023 9026 7563 0 -1 1077944384 270399 0 0 0 1248 141 0 0 20 0 15 0 92915877 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358867139600 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9033] ppid=9023 vsize=10661132 memory=8540 CPUtime=2.13 cores=0,2,4,6
/proc/9026/task/9033/stat : 9033 (java) S 9023 9026 7563 0 -1 1077944384 22520 0 0 0 205 8 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358476826736 140358917687938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9034] ppid=9023 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9034/stat : 9034 (java) S 9023 9026 7563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358475772768 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9035] ppid=9023 vsize=10661132 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9035/stat : 9035 (java) S 9023 9026 7563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 92915879 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358474720368 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9036] ppid=9023 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9036/stat : 9036 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358473668688 140358917695387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9037] ppid=9023 vsize=10661132 memory=5466812 CPUtime=2.85 cores=0,2,4,6
/proc/9026/task/9037/stat : 9037 (java) S 9023 9026 7563 0 -1 1077944384 9795 0 0 0 283 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358472616560 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9038] ppid=9023 vsize=10661132 memory=916 CPUtime=2.45 cores=0,2,4,6
/proc/9026/task/9038/stat : 9038 (java) S 9023 9026 7563 0 -1 1077944384 10802 0 0 0 243 2 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358471563760 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9039] ppid=9023 vsize=10661132 memory=3852 CPUtime=0.73 cores=0,2,4,6
/proc/9026/task/9039/stat : 9039 (java) S 9023 9026 7563 0 -1 1077944384 6235 0 0 0 72 1 0 0 20 0 15 0 92915881 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358470511472 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9040] ppid=9023 vsize=10661132 memory=2792 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9040/stat : 9040 (java) S 9023 9026 7563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358469458912 140358917686997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
[pid=9026/tid=9041] ppid=9023 vsize=10661132 memory=2592 CPUtime=1.13 cores=0,2,4,6
/proc/9026/task/9041/stat : 9041 (java) S 9023 9026 7563 0 -1 1077944384 1973 0 0 0 62 51 0 0 20 0 15 0 92915882 10916999168 1366703 33554432000 4194304 4196468 140736862867760 140358468405680 140358917687938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10604544 140736862872732 140736862872841 140736862872841 140736862875599 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5466812 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2471.38 s]
# the end of solver process 9026 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.68 s, system=9.47547 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2471.38
CPU time (s): 2520.16
CPU user time (s): 2510.68
CPU system time (s): 9.47547
CPU usage (%): 101.974
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 6747340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.68
system time used= 9.47547
maximum resident set size= 6747780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3441866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60974
involuntary context switches= 2417


# summary of solver processes directly reported to runsolver:
#   pid: 9026
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2510.68
#   total CPU system time (s): 9.47547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7979 second user time and 25.6629 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 06:52:07
IDJOB=4298304
IDBENCH=141098
IDSOLVER=2765
FILE ID=node105/4298304-1532753527
RUNJOBID= node105-1532740995-7594
PBS_JOBID= 21022450
Free space on /tmp= 44592 MiB

SOLVER NAME= slowpoke 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298304-1532753527/watcher-4298304-1532753527 -o /tmp/evaluation-result-4298304-1532753527/solver-4298304-1532753527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532740995-7594 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298304-1532753527.xml --timelimit 2520

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

MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15
RANDOM SEED=678967585

node105.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.32
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.32
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.32
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.32
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:        18356320 kB
MemAvailable:   29821156 kB
Buffers:          265804 kB
Cached:         11339308 kB
SwapCached:            0 kB
Active:          4515448 kB
Inactive:        9249736 kB
Active(anon):    2114828 kB
Inactive(anon):    73352 kB
Active(file):    2400620 kB
Inactive(file):  9176384 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2167616 kB
Mapped:            54580 kB
Shmem:             25228 kB
Slab:             343876 kB
SReclaimable:     316292 kB
SUnreclaim:        27584 kB
KernelStack:        3536 kB
PageTables:         9424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4814744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1509376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44604 MiB
End job on node105 at 2018-07-28 07:33:19