Trace number 4310172

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
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)417128 252.126 243.541

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark252.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
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 arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
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.66/0.57	c version: 2018-08-14
0.66/0.57	c seed: 315165360
0.66/0.58	c timeout: 252
0.66/0.58	c memlimit: 11000
0.66/0.58	c nbcore: 4
0.66/0.60	c Parsing instance...
9.51/4.65	c Parsing done, starting search...
209.67/201.84	o 434660
209.67/201.85	o 434659
209.67/201.86	o 434658
209.67/201.86	o 432658
209.67/201.87	o 432648
209.67/201.88	o 431648
209.86/201.91	o 431548
209.86/201.94	o 431539
209.86/201.95	o 431538
209.86/201.95	o 431537
209.86/201.97	o 430537
209.86/201.99	o 430338
209.86/202.00	o 430337
210.14/202.09	o 430332
210.14/202.09	o 430331
210.14/202.10	o 430328
210.38/202.12	o 430225
210.38/202.13	o 430224
210.38/202.13	o 430124
210.38/202.16	o 430114
210.38/202.18	o 430014
210.48/202.21	o 429114
210.48/202.25	o 429104
210.48/202.27	o 429100
210.58/202.31	o 428092
210.58/202.32	o 428091
210.58/202.32	o 427101
210.58/202.33	o 427100
210.58/202.39	o 427021
210.69/202.40	o 427020
210.69/202.41	o 427009
210.69/202.42	o 427000
210.69/202.43	o 426100
210.89/202.53	o 426099
210.89/202.54	o 426089
210.89/202.54	o 426088
210.89/202.54	o 426085
210.89/202.55	o 426084
210.89/202.55	o 426074
210.89/202.56	o 426070
210.89/202.56	o 426060
210.89/202.57	o 426059
210.89/202.57	o 426039
210.89/202.58	o 426019
210.89/202.58	o 425819
210.99/202.61	o 425721
210.99/202.62	o 425720
210.99/202.62	o 425719
210.99/202.63	o 425619
210.99/202.65	o 425419
210.99/202.67	o 425410
211.70/203.32	o 424710
211.70/203.32	o 424701
211.70/203.33	o 423721
211.70/203.34	o 423711
211.70/203.35	o 423710
211.90/203.58	o 423619
211.90/203.59	o 423610
212.00/203.64	o 423420
212.00/203.65	o 423410
216.56/208.17	o 423401
216.56/208.18	o 423400
216.75/208.37	o 423391
216.75/208.37	o 423390
216.75/208.39	o 422400
216.95/208.55	o 422380
218.65/210.22	o 421382
218.65/210.24	o 421381
218.65/210.26	o 421380
226.37/217.91	o 421362
226.37/217.93	o 421361
226.77/218.32	o 420372
226.77/218.33	o 420371
242.07/233.68	o 419471
242.07/233.68	o 419371
242.17/233.76	o 419361
242.89/234.42	o 419351
246.92/238.44	o 419240
246.92/238.44	o 419238
248.92/240.46	o 419138
250.06/241.55	o 419038
250.06/241.56	o 419037
250.06/241.56	o 419036
250.06/241.58	o 418236
250.06/241.59	o 418136
251.36/242.84	o 418038
251.36/242.87	o 417238
251.36/242.88	o 417138
251.46/242.98	o 417128
252.06/243.50	s SATISFIABLE
252.06/243.51	v <instantiation>
252.06/243.51	v 	<list>
252.06/243.51	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]
252.06/243.51	v 	</list>
252.06/243.51	v 	<values>
252.06/243.51	v 		442 680 554 792 694 456 114 352 554 792 512 750 512 750 680 442 310 72 268 30 792 554 16 254 652 414 750 512 428 666 778 540 484 722 414 652 540 778 750 512 442 680 16 254 554 792 394 156 778 540 722 484 44 282 338 100 16 254 722 484 338 100 282 44 44 282 498 736 324 86 750 512 58 296 498 736 366 128 142 380 156 394 380 142 44 282 30 268 16 254 366 128 540 778 498 736 680 442 526 764 128 366 16 254 666 428 414 652 44 282 58 296 750 512 694 456 456 694 44 282 30 268 16 254 652 414 540 778 296 58 428 666 296 58 778 540 442 680 156 394 442 680 442 680 58 296 44 282 394 156 16 254 750 512 554 792 792 554 170 408 414 652 428 666 554 792 268 30 282 44 324 86 44 282 352 114 470 708 666 428 652 414 470 708 296 58 442 680 554 792 44 282 142 380 268 30 792 554 352 114 764 526 380 142 750 512 792 554 554 792 156 394 526 764 30 268 778 540 722 484 722 484 142 380 142 380 526 764 456 694 694 456 268 30 58 296 86 324 100 338 428 666 526 764 540 778 778 540 442 680 666 428 778 540 512 750 282 44 30 268 394 156 282 44 30 268 428 666 310 72 114 352 380 142 526 764 750 512 44 282 694 456 512 750 86 324 540 778 792 554 526 764 540 778 470 708 470 708 268 30 694 456 86 324 526 764 442 680 114 352 282 44 456 694 540 778 512 750 512 750 708 470 268 30 142 380 666 428 324 86 428 666 338 100 296 58 428 666 540 778 44 282 694 456 540 778 142 380 470 708 666 428 470 708 750 512 764 526 72 310 142 380 526 764 792 554 470 708 512 750 310 72 380 142 310 72 456 694 282 44 778 540 778 540 540 778 338 100 666 428 254 16 282 44 254 16 44 282 736 498 414 652 380 142 680 442 268 30 680 442 680 442 750 512 722 484 100 338 736 498 428 666 380 142 296 58 324 86 30 268 750 512 750 512 680 442 352 114 666 428 708 470 694 456 86 324 540 778 778 540 680 442 736 498 498 736 100 338 142 380 428 666 268 30 352 114 414 652 156 394 16 254 156 394 750 512 380 142 268 30 338 100 456 694 268 30 694 456 30 268 484 722 352 114 792 554 484 722 442 680 456 694 44 282 512 750 72 310 750 512 58 296 142 380 30 268 296 58 100 338 428 666 338 100 778 540 296 58 352 114 352 114 268 30 736 498 526 764 694 456 666 428 456 694 366 128 282 44 778 540 414 652 128 366 540 778 736 498 142 380 540 778 470 708 58 296 142 380 268 30 338 100 352 114 708 470 380 142 442 680 296 58 764 526 764 526 442 680 394 156 58 296 128 366 58 296 338 100 282 44 680 442 366 128 100 338 792 554 58 296 666 428 142 380 268 30 310 72 456 694 352 114 736 498 114 352 156 394 142 380 652 414 484 722 380 142 338 100 666 428 554 792 324 86 114 352 100 338 282 44 778 540 666 428 380 142 666 428 114 352 512 750 456 694 282 44 128 366 352 114 254 16 484 722 156 394 540 778 100 338 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 1000 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 0 1000 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 1000 0 1000 1000 1000 1000 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 1000 1000 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 1000 1000 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 1000 0 1000 1000 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 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 1000 1000 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 1000 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 1000 1000 0 0 0 0 100 0 0 0 100 0 0 100 0 100 100 100 100 100 0 100 100 0 0 0 100 100 0 100 100 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 100 0 100 0 0 100 100 0 100 100 0 0 0 0 0 100 100 100 0 100 0 100 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 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 100 100 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 100 100 0 0 0 100 100 0 0 100 100 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 100 100 100 0 100 100 0 0 100 100 100 0 100 100 0 100 0 100 100 0 0 0 100 0 100 100 100 100 0 0 0 100 100 100 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 0 100 100 100 100 0 100 100 100 0 100 0 100 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 100 0 0 100 100 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 0 0 100 100 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 100 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 100 0 100 0 100 0 100 100 0 0 100 0 0 0 100 100 100 100 100 100 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 100 100 100 0 100 100 100 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 0 0 0 100 100 0 100 0 0 100 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 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 100 100 100 100 100 0 0 0 0 0 0 0 10 10 10 0 0 10 10 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 10 0 10 0 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 0 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 0 10 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 10 10 10 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 10 0 10 10 0 0 0 0 0 10 10 0 10 0 10 0 10 10 10 0 0 10 10 10 10 10 10 0 1 0 1 0 0 0 1 1 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 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 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 1 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 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 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 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 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 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 
252.06/243.51	v 	</values>
252.06/243.51	v </instantiation>

Verifier Data 

OK	417128

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310172-1534329342/watcher-4310172-1534329342 -o /tmp/evaluation-result-4310172-1534329342/solver-4310172-1534329342 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20216 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 315165360 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310172-1534329342.xml 

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

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


[startup+0.100067 s]*
/proc/loadavg: 1.61 1.51 1.45 4/199 20409
/proc/meminfo: memFree=24678088/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14082736 memory=29496 CPUtime=0.09 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 6322 0 0 0 9 0 0 0 20 0 15 0 250497401 14420721664 7374 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3520684 7374 3136 1 0 3482761 0
[pid=20390/tid=20393] ppid=20386 vsize=14082736 memory=8543466553346073208 CPUtime=0.07 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 4406 0 0 0 7 0 0 0 20 0 15 0 250497401 14420721664 7374 33554432000 4194304 4196468 140721911684640 140251504200080 140251492691543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 7374 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 7374 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 7374 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 7374 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250838426912 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250497406 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250837374576 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 7374 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29496 KiB

[startup+0.210495 s]*
/proc/loadavg: 1.61 1.51 1.45 5/213 20427
/proc/meminfo: memFree=24649000/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14082736 memory=46772 CPUtime=0.25 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 10282 0 0 0 24 1 0 0 20 0 15 0 250497401 14420721664 11693 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3520684 11693 3317 1 0 3482761 0
[pid=20390/tid=20393] ppid=20386 vsize=14082736 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 8124 0 0 0 17 1 0 0 20 0 15 0 250497401 14420721664 11693 33554432000 4194304 4196468 140721911684640 140251504190960 140251101419464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 11693 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14082736 memory=288370946335872640 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 11693 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 11693 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 11693 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250838426912 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250497406 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250837374576 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0.04 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) R 20386 20390 20185 0 -1 4202560 277 0 0 0 4 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250833164656 140251478691594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 11693 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46772 KiB

[startup+0.310942 s]*
/proc/loadavg: 1.61 1.51 1.45 5/219 20433
/proc/meminfo: memFree=24626524/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14082736 memory=50156 CPUtime=0.42 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 10742 0 0 0 41 1 0 0 20 0 15 0 250497401 14420721664 12539 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3520684 12539 3371 1 0 3482761 0
[pid=20390/tid=20393] ppid=20386 vsize=14082736 memory=5450919713671312938 CPUtime=0.28 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 8430 0 0 0 27 1 0 0 20 0 15 0 250497401 14420721664 12539 33554432000 4194304 4196468 140721911684640 140251504195232 140251481537924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14082736 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 12539 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 12539 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 12539 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14082736 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497403 14420721664 12539 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14082736 memory=140570184160896 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14082736 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250497405 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250838426912 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14082736 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250497406 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250837374576 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14082736 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14082736 memory=14420721663 CPUtime=0.02 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14082736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497408 14420721664 12539 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50156 KiB

[startup+0.700728 s]
/proc/loadavg: 1.61 1.51 1.45 3/219 20433
/proc/meminfo: memFree=24600180/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14084804 memory=88956 CPUtime=0.97 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 17556 0 0 0 93 4 0 0 20 0 15 0 250497401 14422839296 22239 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3521201 22239 3503 1 0 3483273 0
[pid=20390/tid=20393] ppid=20386 vsize=14084804 memory=281140103738880 CPUtime=0.66 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 14863 0 0 0 63 3 0 0 20 0 15 0 250497401 14422839296 22239 33554432000 4194304 4196468 140721911684640 140251504198496 140251482454253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14084804 memory=281140103738816 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14422839296 22239 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14084804 memory=4548 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14422839296 22239 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14084804 memory=15188 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14422839296 22239 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14084804 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497403 14422839296 22239 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14084804 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250497405 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14084804 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250497405 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250838426912 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250497406 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250837374576 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 603 0 0 0 8 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 379 0 0 0 15 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14084804 memory=2867565960586600 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14084804 memory=-3395018486312292127 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497408 14422839296 22239 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88956 KiB

[startup+1.50163 s]
/proc/loadavg: 1.61 1.51 1.45 8/219 20433
/proc/meminfo: memFree=24486004/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14088900 memory=208476 CPUtime=3.4 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 27949 0 0 0 332 8 0 0 20 0 15 0 250497401 14427033600 52119 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3522225 52119 3553 1 0 3484297 0
[pid=20390/tid=20393] ppid=20386 vsize=14088900 memory=7957689449132282197 CPUtime=1.46 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 17656 0 0 0 140 6 0 0 20 0 15 0 250497401 14427033600 52119 33554432000 4194304 4196468 140721911684640 140251504205256 140251105641133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14088900 memory=102828 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14427033600 52119 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14088900 memory=64292 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14427033600 52119 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14088900 memory=4548 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250497403 14427033600 52119 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14088900 memory=15188 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250497403 14427033600 52119 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14088900 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 250497405 14427033600 52119 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0

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

/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 29396 0 0 0 16165 34 0 0 20 0 15 0 250497401 14429130752 552204 33554432000 4194304 4196468 140721911684640 140251504212624 140251112843501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.19 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 2533 0 0 0 14 5 0 0 20 0 15 0 250497403 14429130752 552204 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.18 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1518 0 0 0 13 5 0 0 20 0 15 0 250497403 14429130752 552204 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.19 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 502 0 0 0 14 5 0 0 20 0 15 0 250497403 14429130752 552204 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.17 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 1199 0 0 0 12 5 0 0 20 0 15 0 250497403 14429130752 552204 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14090948 memory=7595991823313692519 CPUtime=0.02 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 1996 0 0 0 2 0 0 0 20 0 15 0 250497405 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14090948 memory=7451604028966396519 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250497405 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250838426976 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14090948 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250497406 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250837374592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14090948 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14090948 memory=2208816 CPUtime=3.25 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 8757 0 0 0 321 4 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14090948 memory=1168 CPUtime=2.91 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 7173 0 0 0 290 1 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14090948 memory=2208816 CPUtime=1.07 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 9134 0 0 0 106 1 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.06 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 124 0 0 0 3 3 0 0 20 0 15 0 250497408 14429130752 552204 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 170.14 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2208816 KiB

[startup+222.301 s]
/proc/loadavg: 1.87 1.71 1.54 3/218 20436
/proc/meminfo: memFree=20296656/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14090948 memory=2171132 CPUtime=230.77 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 77249 0 0 0 23005 72 0 0 20 0 15 0 250497401 14429130752 542783 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3522737 542783 3593 1 0 3484809 0
[pid=20390/tid=20393] ppid=20386 vsize=14090948 memory=2171132 CPUtime=221.96 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 33669 0 0 0 22162 34 0 0 20 0 15 0 250497401 14429130752 542783 33554432000 4194304 4196468 140721911684640 140251504203696 140251102558049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14090948 memory=2171132 CPUtime=0.22 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 3011 0 0 0 16 6 0 0 20 0 15 0 250497403 14429130752 542783 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14090948 memory=2171132 CPUtime=0.19 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1527 0 0 0 14 5 0 0 20 0 15 0 250497403 14429130752 542783 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14090948 memory=2208816 CPUtime=0.21 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1464 0 0 0 15 6 0 0 20 0 15 0 250497403 14429130752 542783 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14090948 memory=2171132 CPUtime=0.2 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 1278 0 0 0 14 6 0 0 20 0 15 0 250497403 14429130752 542783 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14090948 memory=2171132 CPUtime=0.03 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 2453 0 0 0 2 1 0 0 20 0 15 0 250497405 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14090948 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 250497405 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250838426976 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14090948 memory=2171132 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250497406 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250837374592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14090948 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14090948 memory=2171132 CPUtime=3.47 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 10207 0 0 0 343 4 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14090948 memory=6864 CPUtime=3.2 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 9459 0 0 0 319 1 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14090948 memory=1784 CPUtime=1.11 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 12586 0 0 0 109 2 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14090948 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 153 0 0 0 4 4 0 0 20 0 15 0 250497408 14429130752 542783 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 230.77 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2171132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.501 s]
/proc/loadavg: 1.84 1.71 1.55 3/218 20437
/proc/meminfo: memFree=20335876/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14090948 memory=2131496 CPUtime=252.06 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 80190 0 0 0 25133 73 0 0 20 0 15 0 250497401 14429130752 532874 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3522737 532874 3595 1 0 3484809 0
[pid=20390/tid=20393] ppid=20386 vsize=14090948 memory=2207532 CPUtime=243.14 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 34497 0 0 0 24280 34 0 0 20 0 15 0 250497401 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251504209632 140251106371496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.22 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 3049 0 0 0 16 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.2 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1532 0 0 0 15 5 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.22 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1476 0 0 0 16 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14090948 memory=2131496 CPUtime=0.2 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 1280 0 0 0 14 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14090948 memory=2131624 CPUtime=0.04 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 2460 0 0 0 3 1 0 0 20 0 15 0 250497405 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14090948 memory=68196 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 250497405 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250838426976 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14090948 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250497406 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250837374592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14090948 memory=2132000 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14090948 memory=2132000 CPUtime=3.48 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 10385 0 0 0 344 4 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14090948 memory=2131488 CPUtime=3.26 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 10674 0 0 0 324 2 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14090948 memory=1828 CPUtime=1.12 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 13230 0 0 0 110 2 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.09 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 165 0 0 0 4 5 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2131496 KiB

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

[startup+243.541 s]
# the end of solver process 20390 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.374 s, system=0.752367 s

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

[startup+243.501 s]
/proc/loadavg: 1.84 1.71 1.55 3/218 20437
/proc/meminfo: memFree=20335876/32770624 swapFree=67108840/67108860
[pid=20390] ppid=20386 vsize=14090948 memory=2131496 CPUtime=252.06 cores=0,2,4,6
/proc/20390/stat : 20390 (java) S 20386 20390 20185 0 -1 1077944320 80190 0 0 0 25133 73 0 0 20 0 15 0 250497401 14429130752 532874 33554432000 4194304 4196468 140721911684640 140721911667184 140251499974391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
/proc/20390/statm: 3522737 532874 3595 1 0 3484809 0
[pid=20390/tid=20393] ppid=20386 vsize=14090948 memory=2207532 CPUtime=243.14 cores=0,2,4,6
/proc/20390/task/20393/stat : 20393 (java) R 20386 20390 20185 0 -1 4202560 34497 0 0 0 24280 34 0 0 20 0 15 0 250497401 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251504209632 140251106371496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20396] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.22 cores=0,2,4,6
/proc/20390/task/20396/stat : 20396 (java) S 20386 20390 20185 0 -1 1077944384 3049 0 0 0 16 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251430062480 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20397] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.2 cores=0,2,4,6
/proc/20390/task/20397/stat : 20397 (java) S 20386 20390 20185 0 -1 1077944384 1532 0 0 0 15 5 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251429009680 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20398] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.22 cores=0,2,4,6
/proc/20390/task/20398/stat : 20398 (java) S 20386 20390 20185 0 -1 1077944384 1476 0 0 0 16 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251427957392 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20399] ppid=20386 vsize=14090948 memory=2131496 CPUtime=0.2 cores=0,2,4,6
/proc/20390/task/20399/stat : 20399 (java) S 20386 20390 20185 0 -1 1077944384 1280 0 0 0 14 6 0 0 20 0 15 0 250497403 14429130752 532874 33554432000 4194304 4196468 140721911684640 140251426904592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20401] ppid=20386 vsize=14090948 memory=2131624 CPUtime=0.04 cores=0,2,4,6
/proc/20390/task/20401/stat : 20401 (java) S 20386 20390 20185 0 -1 1077944384 2460 0 0 0 3 1 0 0 20 0 15 0 250497405 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250839480944 140251499985538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20402] ppid=20386 vsize=14090948 memory=68196 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20402/stat : 20402 (java) S 20386 20390 20185 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 250497405 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250838426976 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20403] ppid=20386 vsize=14090948 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20403/stat : 20403 (java) S 20386 20390 20185 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250497406 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250837374592 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20404] ppid=20386 vsize=14090948 memory=2132000 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20404/stat : 20404 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250836322896 140251499992987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20405] ppid=20386 vsize=14090948 memory=2132000 CPUtime=3.48 cores=0,2,4,6
/proc/20390/task/20405/stat : 20405 (java) S 20386 20390 20185 0 -1 1077944384 10385 0 0 0 344 4 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250835269744 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20406] ppid=20386 vsize=14090948 memory=2131488 CPUtime=3.26 cores=0,2,4,6
/proc/20390/task/20406/stat : 20406 (java) S 20386 20390 20185 0 -1 1077944384 10674 0 0 0 324 2 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250834216944 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20407] ppid=20386 vsize=14090948 memory=1828 CPUtime=1.12 cores=0,2,4,6
/proc/20390/task/20407/stat : 20407 (java) S 20386 20390 20185 0 -1 1077944384 13230 0 0 0 110 2 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250833164656 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20408] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0 cores=0,2,4,6
/proc/20390/task/20408/stat : 20408 (java) S 20386 20390 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250832112096 140251499984597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
[pid=20390/tid=20409] ppid=20386 vsize=14090948 memory=2131488 CPUtime=0.09 cores=0,2,4,6
/proc/20390/task/20409/stat : 20409 (java) S 20386 20390 20185 0 -1 1077944384 165 0 0 0 4 5 0 0 20 0 15 0 250497408 14429130752 532874 33554432000 4194304 4196468 140721911684640 140250831059888 140251499985538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140721911690319 140721911690510 140721911690510 140721911693263 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2131496 KiB

Child status: 143
Real time (s): 243.541
CPU time (s): 252.126
CPU user time (s): 251.374
CPU system time (s): 0.752367
CPU usage (%): 103.525
Max. virtual memory (cumulated for all children) (KiB): 14090980
Max. memory (cumulated for all children) (KiB): 2253756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.374
system time used= 0.752367
maximum resident set size= 2273880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9209
involuntary context switches= 481


# summary of solver processes directly reported to runsolver:
#   pid: 20390
#   total CPU time (s): 252.126
#   total CPU user time (s): 251.374
#   total CPU system time (s): 0.752367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55354 second user time and 2.1764 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 12:35:42
IDJOB=4310172
IDBENCH=141188
IDSOLVER=2795
FILE ID=node135/4310172-1534329342
RUNJOBID= node135-1534329094-20216
PBS_JOBID= 21038158
Free space on /tmp= 47172 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310172-1534329342/watcher-4310172-1534329342 -o /tmp/evaluation-result-4310172-1534329342/solver-4310172-1534329342 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20216 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 315165360 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310172-1534329342.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=315165360

node135.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.50
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.50
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.50
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.50
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:        24726320 kB
MemAvailable:   31898124 kB
Buffers:          160232 kB
Cached:          7245476 kB
SwapCached:           20 kB
Active:          3996700 kB
Inactive:        3463620 kB
Active(anon):       3636 kB
Inactive(anon):   111464 kB
Active(file):    3993064 kB
Inactive(file):  3352156 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             36152 kB
Writeback:             4 kB
AnonPages:        104328 kB
Mapped:            57880 kB
Shmem:             57996 kB
Slab:             283532 kB
SReclaimable:     255044 kB
SUnreclaim:        28488 kB
KernelStack:        3584 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47136 MiB
End job on node135 at 2018-08-15 12:39:46