Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 | SAT (TO) | 24644 | 2400.52 | 620.706 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml |
MD5SUM | 19bcf73076031218e5fd4b7208c9a15e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 18575 |
Best CPU time to get the best result obtained on this benchmark | 2400.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 44 |
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 degree | 2 |
Maximum variable degree | 63 |
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 arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400600-1568697418.xml" -tl '2400s' -p 4 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400600-1568697418.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 31.69/17.30 c solve instance... 39.19/19.25 o 528295 39.19/19.27 o 528195 39.19/19.29 o 526196 39.19/19.30 o 526176 39.47/19.32 o 526170 39.47/19.33 o 526160 39.47/19.33 o 526149 39.47/19.34 o 525740 40.92/19.70 o 525725 40.92/19.71 o 525724 40.92/19.72 o 525723 40.92/19.72 o 525713 40.92/19.72 o 525612 40.92/19.76 o 525592 41.69/19.94 o 525591 42.88/20.27 o 525580 44.83/20.71 o 525184 44.83/20.73 o 525164 44.83/20.74 o 525158 44.83/20.75 o 525148 44.83/20.76 o 525137 44.83/20.76 o 524728 45.78/21.32 o 524713 47.46/22.76 o 524712 47.57/22.81 o 524711 47.57/22.83 o 524701 47.57/22.84 o 524600 47.87/22.91 o 524580 47.87/22.96 o 524500 47.87/22.98 o 524480 49.01/23.25 o 524479 49.38/23.35 o 521161 61.93/27.00 o 521156 63.62/27.47 o 521074 64.80/27.77 o 520074 65.36/28.01 o 520073 65.36/28.02 o 519075 66.48/28.31 o 517075 67.25/28.59 o 517063 68.44/28.89 o 516073 70.00/29.28 o 516012 70.00/29.28 o 515992 70.00/29.29 o 515986 70.00/29.29 o 515063 70.55/29.54 o 515022 70.55/29.54 o 514063 71.27/29.81 o 514010 71.27/29.83 o 513990 72.35/30.85 o 513984 72.35/30.87 o 513974 72.35/30.87 o 513963 72.35/30.88 o 513554 72.35/30.89 o 513539 72.50/30.90 o 513538 72.50/30.90 o 513537 72.50/30.91 o 513527 72.90/31.04 o 513426 73.33/31.34 o 513406 73.33/31.37 o 513326 73.33/31.39 o 513306 73.58/31.42 o 513254 73.58/31.43 o 513234 73.86/31.51 o 513219 73.86/31.53 o 513218 73.86/31.56 o 513206 73.86/31.58 o 513126 73.86/31.59 o 513106 74.18/31.68 o 512763 74.18/31.68 o 512743 74.18/31.70 o 512736 74.52/31.70 o 512635 74.52/31.72 o 512615 74.52/31.76 o 512593 74.91/32.00 o 512553 75.02/32.01 o 511593 75.81/32.28 o 511541 75.81/32.29 o 510593 76.76/32.58 o 36037 84.70/34.67 o 35138 84.86/34.74 o 35136 85.23/34.86 o 35026 85.58/34.97 o 34826 86.70/35.26 o 34626 99.80/38.52 o 32648 113.32/42.05 o 32628 120.29/43.82 o 32209 140.62/49.55 o 31230 149.65/51.89 o 29760 149.96/51.91 o 29561 150.33/52.07 o 29560 160.08/54.58 o 29549 162.35/55.39 o 29449 169.86/57.55 o 29389 233.13/73.71 o 28797 243.24/76.42 o 28757 244.37/76.94 o 27856 378.02/110.75 o 27020 450.20/129.01 o 26942 522.47/147.26 o 26632 523.52/147.77 o 26622 541.75/152.60 o 26477 542.08/152.71 o 25124 585.25/164.02 o 25054 781.82/213.87 o 24754 855.38/232.56 o 24744 873.70/237.24 o 24644 2400.20/620.66 s SATISFIABLE 2400.20/620.66 v <instantiation> 2400.20/620.66 v <list>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] </list> 2400.20/620.66 v <values>442 680 554 792 694 456 282 44 414 652 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 442 680 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 484 722 16 254 540 778 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 750 512 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 380 142 268 30 554 792 442 680 44 282 352 114 652 414 86 324 128 366 470 708 296 58 456 694 394 156 282 44 142 380 254 16 792 554 352 114 414 652 142 380 394 156 394 156 722 484 456 694 526 764 526 764 142 380 72 310 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 736 498 540 778 296 58 540 778 540 778 778 540 380 142 30 268 456 694 16 254 282 44 30 268 268 30 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 352 114 778 540 254 16 442 680 540 778 512 750 296 58 708 470 156 394 666 428 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 666 428 380 142 310 72 456 694 282 44 540 778 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 114 352 750 512 708 470 736 498 736 498 428 666 394 156 296 58 142 380 30 268 764 526 540 778 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 380 142 296 58 722 484 792 554 764 526 142 380 722 484 666 428 442 680 526 764 268 30 484 722 296 58 526 764 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 142 380 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 86 324 428 666 30 268 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 680 442 254 16 100 338 30 268 30 268 414 652 30 268 324 86 428 666 750 512 778 540 30 268 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 100 338 254 16 72 310 100 338 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2400.20/620.66 v </instantiation> 2400.20/620.66 c Unexpected resolution interruption!
OK 24644
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 (14581 MiB free) memory of node 1: 16384 MiB (11222 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400600-1568697418/watcher-4400600-1568697418 -o /tmp/evaluation-result-4400600-1568697418/solver-4400600-1568697418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 822399995 HOME/instance-4400600-1568697418.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8856, runsolver pid=8853 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 7.41 8.18 8.15 9/233 8872 /proc/meminfo: memFree=26406576/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15144776 memory=28988 CPUtime=0.12 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 5650 0 0 0 11 1 0 0 20 0 15 0 446010644 15508250624 7247 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3786194 7247 3157 1 0 3748377 0 [pid=8858/tid=8859] ppid=8856 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 3561 0 0 0 8 1 0 0 20 0 15 0 446010644 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705770554800 140705766343258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010646 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) R 8856 8856 30406 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) R 8856 8856 30406 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705229579968 140705749757649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0.02 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705228528496 140705750402398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30440 KiB [startup+0.210723 s]* /proc/loadavg: 7.41 8.18 8.15 8/233 8872 /proc/meminfo: memFree=26393616/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15144776 memory=40140 CPUtime=0.34 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 9301 0 0 0 31 3 0 0 20 0 15 0 446010644 15508250624 10035 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3786194 10035 3253 1 0 3748377 0 [pid=8858/tid=8859] ppid=8856 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 6544 0 0 0 18 2 0 0 20 0 15 0 446010644 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705770559648 140705360122165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15144776 memory=4296914231 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15144776 memory=139721178536223 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0.08 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 814 0 0 0 8 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705228528496 140705752003302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41592 KiB [startup+0.313609 s]* /proc/loadavg: 7.41 8.18 8.15 7/233 8872 /proc/meminfo: memFree=26386132/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15149032 memory=50300 CPUtime=0.54 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 10837 0 0 0 50 4 0 0 20 0 15 0 446010644 15512608768 12575 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3787258 12575 3371 1 0 3748377 0 [pid=8858/tid=8859] ppid=8856 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 15 0 446010644 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705770555008 140705750402398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 600 0 0 0 4 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15149032 memory=-6654736624941490777 CPUtime=0.04 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 213 0 0 0 4 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15149032 memory=5794270578205302177 CPUtime=0.12 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51752 KiB [startup+0.700765 s] /proc/loadavg: 7.46 8.18 8.15 9/233 8872 /proc/meminfo: memFree=26364608/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15151156 memory=113292 CPUtime=1.73 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 14335 0 0 0 167 6 0 0 20 0 15 0 446010644 15514783744 28323 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3787789 28323 3448 1 0 3748889 0 [pid=8858/tid=8859] ppid=8856 vsize=15151156 memory=4137303382726774134 CPUtime=0.67 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 8468 0 0 0 63 4 0 0 20 0 15 0 446010644 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705770542336 140705766333846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15151156 memory=1384 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15151156 memory=4156 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15151156 memory=26052 CPUtime=0.36 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) R 8856 8856 30406 0 -1 1077944384 1598 0 0 0 36 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15151156 memory=14068 CPUtime=0.33 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) R 8856 8856 30406 0 -1 4202560 1101 0 0 0 33 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705229571168 140705750717747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15151156 memory=524 CPUtime=0.32 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 1861 0 0 0 32 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705228528496 140705744994522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15151156 memory=1568 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 114744 KiB [startup+1.50076 s] /proc/loadavg: 7.46 8.18 8.15 8/233 8872 /proc/meminfo: memFree=26285796/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 521314 0 0 0 200541 339 0 0 20 0 19 0 446010644 15925850112 938170 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3888147 938170 3561 1 0 3849247 0 [pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=3752680 CPUtime=14.83 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=3664580 CPUtime=5.59 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15077 0 0 0 493 66 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.69 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 15777 0 0 0 500 69 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.65 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 8592 0 0 0 496 69 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.6 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 11978 0 0 0 494 66 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0.17 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12223 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=3752680 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3752680 CPUtime=6.66 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39086 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=1452 CPUtime=6.11 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35113 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=1452 CPUtime=1.19 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20175 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1452 CPUtime=0.21 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2867 0 0 0 3 18 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=1452 CPUtime=282.13 cores=0,2,4,6 /proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 7400 0 0 0 28213 0 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705141869064 140705362215984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=1452 CPUtime=283.77 cores=0,2,4,6 /proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 42485 0 0 0 28371 6 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705213004560 140705362214431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=1452 CPUtime=283.23 cores=0,2,4,6 /proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 12155 0 0 0 28322 1 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705215106512 140705364359856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=1452 CPUtime=284.32 cores=0,2,4,6 /proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 12418 0 0 0 28431 1 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705210896424 140705363749046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 2008.8 s Current children cumulated vsize: 15665716 KiB Current children cumulated memory: 3754132 KiB [startup+582.302 s] /proc/loadavg: 8.67 8.24 8.12 9/237 9451 /proc/meminfo: memFree=22728456/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15552588 memory=3764936 CPUtime=2247.7 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 532253 0 0 0 224429 341 0 0 20 0 19 0 446010644 15925850112 941234 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3888147 941234 3561 1 0 3849247 0 [pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=3764936 CPUtime=14.83 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=3754708 CPUtime=5.61 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15444 0 0 0 495 66 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.71 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 16140 0 0 0 502 69 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.68 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 9325 0 0 0 499 69 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.62 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 12522 0 0 0 496 66 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0.17 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12498 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3754708 CPUtime=6.66 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39094 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=1452 CPUtime=6.11 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35115 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=3764936 CPUtime=1.19 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20180 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1452 CPUtime=0.22 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2896 0 0 0 3 19 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=1452 CPUtime=341.97 cores=0,2,4,6 /proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 8291 0 0 0 34197 0 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705141869064 140705362216057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=1452 CPUtime=343.73 cores=0,2,4,6 /proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 47843 0 0 0 34366 7 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705213004576 140705361136756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=1452 CPUtime=342.69 cores=0,2,4,6 /proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 13367 0 0 0 34268 1 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705215106888 140705364216139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=1452 CPUtime=343.85 cores=0,2,4,6 /proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 13570 0 0 0 34384 1 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705210896176 140705364783038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 2247.7 s Current children cumulated vsize: 15665716 KiB Current children cumulated memory: 3766388 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+620.602 s] /proc/loadavg: 9.03 8.40 8.18 12/237 10028 /proc/meminfo: memFree=26705712/32770624 swapFree=66953076/67108860 [pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6 /proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0 /proc/8856/statm: 28282 363 304 221 0 87 0 [pid=8858] ppid=8856 vsize=15552588 memory=3764908 CPUtime=2400.2 cores=0,2,4,6 /proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 534942 0 0 0 239675 345 0 0 20 0 19 0 446010644 15925850112 941227 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 /proc/8858/statm: 3888147 941227 3561 1 0 3849247 0 [pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=4112 CPUtime=14.83 cores=0,2,4,6 /proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=8112282956445269571 CPUtime=5.62 cores=0,2,4,6 /proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15447 0 0 0 496 66 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=288230596050944315 CPUtime=5.73 cores=0,2,4,6 /proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 16147 0 0 0 504 69 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=16100368647981698 CPUtime=5.69 cores=0,2,4,6 /proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 9328 0 0 0 500 69 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=6016 CPUtime=5.63 cores=0,2,4,6 /proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 12527 0 0 0 497 66 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=14012 CPUtime=0.17 cores=0,2,4,6 /proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12500 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=26060 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=14068 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3624 CPUtime=6.66 cores=0,2,4,6 /proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39094 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=48032 CPUtime=6.11 cores=0,2,4,6 /proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35115 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=988 CPUtime=1.19 cores=0,2,4,6 /proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20180 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=2024 CPUtime=0 cores=0,2,4,6 /proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1384 CPUtime=0.24 cores=0,2,4,6 /proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2898 0 0 0 3 21 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=4156 CPUtime=379.89 cores=0,2,4,6 /proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 8305 0 0 0 37988 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705141869064 140705366998173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=33 CPUtime=381.99 cores=0,2,4,6 /proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 50359 0 0 0 38189 10 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705213004768 140705363749071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=-8253362762722141311 CPUtime=380.65 cores=0,2,4,6 /proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 13474 0 0 0 38064 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705215106760 140705363748284 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 [pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=7822038051842261661 CPUtime=382.12 cores=0,2,4,6 /proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 13600 0 0 0 38211 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705210896384 140705362215984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0 Current children cumulated CPU time: 2400.2 s Current children cumulated vsize: 15665716 KiB Current children cumulated memory: 3766360 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+620.636 s] # the end of solver process 8856 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001092 s, system=0.001092 s [startup+620.706 s] # the end of solver process 8858 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.04 s, system=3.48168 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 620.706 CPU time (s): 2400.52 CPU user time (s): 2397.04 CPU system time (s): 3.48168 CPU usage (%): 386.74 Max. virtual memory (cumulated for all children) (KiB): 15665716 Max. memory (cumulated for all children) (KiB): 3766428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.04 system time used= 3.48168 maximum resident set size= 3765308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 536664 page faults= 0 swaps= 0 block input operations= 0 block output operations= 848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21248 involuntary context switches= 35995 # summary of solver processes directly reported to runsolver: # pid: 8856,8858 # total CPU time (s): 2400.52 # total CPU user time (s): 2397.04 # total CPU system time (s): 3.48168 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.01776 second user time and 6.78579 second system time The end
Begin job on node127 at 2019-09-17 07:16:18 IDJOB=4400600 IDBENCH=141188 IDSOLVER=2856 FILE ID=node127/4400600-1568697418 RUNJOBID= node127-1568694277-30437 PBS_JOBID= 21703804 Free space on /tmp= 61288 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400600-1568697418/watcher-4400600-1568697418 -o /tmp/evaluation-result-4400600-1568697418/solver-4400600-1568697418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 822399995 HOME/instance-4400600-1568697418.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e RANDOM SEED=822399995 node127.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.55 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.55 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.55 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.55 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: 26423860 kB MemAvailable: 27584320 kB Buffers: 90276 kB Cached: 1354900 kB SwapCached: 51464 kB Active: 4766844 kB Inactive: 973896 kB Active(anon): 4255076 kB Inactive(anon): 89816 kB Active(file): 511768 kB Inactive(file): 884080 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 66953076 kB Dirty: 26380 kB Writeback: 0 kB AnonPages: 4305004 kB Mapped: 61844 kB Shmem: 40672 kB Slab: 191304 kB SReclaimable: 160892 kB SUnreclaim: 30412 kB KernelStack: 4064 kB PageTables: 14200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5412716 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4182016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61260 MiB End job on node127 at 2019-09-17 07:26:39