Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 130971634 | 2313.73 | 1888.54 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml |
MD5SUM | 89893934ad5b9c06ca26522ad9c878f8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 130971634 |
Best CPU time to get the best result obtained on this benchmark | 90.5587 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6028 |
Number of constraints | 3865 |
Number of domains | 51 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}] |
Minimum variable degree | 2 |
Maximum variable degree | 1810 |
Distribution of variable degrees | [{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}] |
Number of extensional constraints | 1809 |
Number of intensional constraints | 2056 |
Distribution of constraint types | [{"type":"extension","count":1809},{"type":"intension","count":2056}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393874-1568448116.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393874-1568448116.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 384.46/141.91 c solve instance... 414.60/146.16 o 381566279 415.32/146.53 o 381548184 416.20/146.90 o 381548179 416.96/147.23 o 381530084 421.12/149.56 o 381530079 902.08/628.48 o 381511984 903.15/628.98 o 381511979 903.73/629.31 o 381493884 905.20/630.25 o 381493879 909.12/630.86 o 381475784 910.57/631.75 o 381475779 911.44/632.13 o 381457684 912.28/632.48 o 381439579 913.72/633.38 o 381421484 914.71/633.76 o 381421479 915.88/634.47 o 381403384 916.80/634.85 o 381403379 917.66/635.27 o 381385284 918.89/635.99 o 381385279 920.03/636.70 o 381367184 921.42/637.09 o 381367179 922.29/637.48 o 381349084 923.71/638.19 o 381330994 924.53/638.57 o 381330979 925.71/639.27 o 381312884 927.52/639.67 o 381294796 928.73/640.39 o 381276701 934.06/641.60 o 381276684 934.82/641.98 o 381276679 936.45/642.72 o 381258584 937.72/643.42 o 381258579 938.05/643.76 o 381240491 939.17/644.47 o 381240484 943.21/647.20 o 381240479 1534.89/1237.15 o 381222384 1535.81/1237.58 o 381222379 1537.19/1238.45 o 381204284 1538.42/1238.82 o 381204279 1539.14/1239.19 o 381186184 1540.10/1239.56 o 381186179 1541.27/1239.92 o 381168084 1543.17/1240.68 o 381168079 1543.99/1241.01 o 381149984 1545.23/1241.72 o 381131891 1545.92/1242.09 o 381131879 1546.80/1242.44 o 381113784 1551.31/1243.27 o 381095684 1603.47/1252.13 o 381095679 2225.74/1873.42 o 381077584 2230.41/1874.20 o 381077579 2231.52/1874.94 o 381059484 2235.89/1875.70 o 381059479 2237.22/1876.42 o 381041384 2240.24/1876.85 o 362235611 2242.18/1877.62 o 362235610 2244.23/1878.04 o 362235596 2256.38/1879.67 o 362163196 2299.16/1886.21 o 130971634 2313.23/1888.38 s OPTIMUM FOUND 2313.23/1888.38 v <instantiation> 2313.23/1888.38 v <list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] </list> 2313.23/1888.38 v <values>2640 2180 2356 2592 2544 2400 2608 2460 2396 2132 2176 2460 2608 2460 2416 2136 2544 2628 2380 2136 2600 2520 2200 2456 2372 2284 2492 2692 2380 2496 2424 2460 2528 2504 2720 2588 2440 2128 2680 2604 2424 2600 2652 2504 2536 2304 2560 2536 2420 2456 2500 2652 2496 2284 2176 2720 2220 2668 2228 2456 2664 2288 2504 2136 2396 2176 2536 2568 2296 2680 2628 2376 2176 2408 2176 2416 2536 2192 2256 2256 2420 2628 2692 2504 2544 2516 2460 2676 2552 2504 2612 2136 2168 2152 2316 2168 2416 2416 2708 2456 2456 2420 2356 2456 2368 2680 2380 2668 2496 2576 2184 2360 2208 2720 2176 2192 2380 2164 2140 2324 2256 2656 2336 2656 2544 2420 2136 2504 2264 2504 2416 2616 2500 2240 2152 2504 2248 2232 2612 2416 2324 2316 2504 2568 2144 2668 2176 2692 2420 2368 2544 2480 2568 2456 2528 2180 2544 2136 2420 2644 2324 2152 2616 2184 2456 2456 2208 2276 2544 2376 2456 2668 2692 2616 2704 2568 2328 2652 2668 2544 2120 2420 2652 2276 2524 2400 2200 2460 2268 2396 2420 2652 2168 2476 2324 2244 2636 2608 2332 2504 2524 2288 2436 2628 2284 2416 2144 2204 2496 2136 2396 2416 2652 2640 2484 2120 2416 2296 2384 2160 2668 2420 2440 2124 2316 2272 2548 2304 2416 2396 2504 2480 2284 2380 2628 2496 2172 2472 2208 2132 2456 2536 2416 2160 2488 2628 2608 2416 2416 2544 2132 2628 2384 2264 2568 2416 2484 2172 2524 2544 2220 2172 2496 2376 2588 2296 2332 2136 2628 2568 2456 2292 2668 2544 2448 2144 2456 2184 2176 2456 2440 2628 2508 2512 2416 2192 2532 2180 2484 2164 2532 2492 2284 2248 2436 2276 2248 2240 2668 2436 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 0 1 0 0 0 0 1 0 0 1 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 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 1 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 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 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 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 440 136 384 472 16 28 136 432 376 156 28 156 364 540 40 500 240 136 156 300 260 48 236 196 36 16 68 164 336 228 308 272 196 148 204 60 336 280 64 232 232 212 416 76 416 440 172 448 172 316 44 68 44 88 176 24 216 408 408 24 136 84 288 408 408 40 124 148 20 384 24 20 124 20 124 144 124 240 228 472 64 84 188 84 148 152 240 416 60 152 152 400 416 172 232 144 268 116 4 4 4 184 168 44 176 168 328 164 64 192 168 232 72 72 360 308 520 428 324 548 12 288 436 324 244 156 88 48 360 384 120 492 368 44 4 108 68 168 316 192 88 128 472 400 416 112 472 60 20 84 204 100 252 44 316 208 136 64 44 276 4 172 84 120 240 120 276 304 264 236 92 212 32 64 36 20 400 244 368 516 472 248 312 88 368 84 408 164 108 260 340 128 128 124 88 352 296 40 92 408 340 52 64 112 148 304 188 496 456 96 464 136 380 244 124 188 40 296 228 288 76 148 196 288 116 116 128 392 320 516 152 280 200 280 364 96 320 8 128 408 400 296 344 408 16 360 12 56 448 52 304 336 32 68 116 64 140 112 140 200 280 148 108 132 148 8 340 104 56 32 8 416 40 412 444 48 96 324 468 284 112 92 24 280 76 172 52 84 292 132 48 172 132 156 280 236 44 196 84 408 176 408 148 132 116 152 132 156 212 172 64 344 152 52 188 328 8 348 356 116 96 204 76 176 136 272 556 116 332 188 272 208 148 80 76 204 124 120 76 76 104 288 188 76 248 128 184 40 160 28 204 212 76 144 204 80 288 112 184 68 332 192 4 232 196 84 4 208 268 124 72 72 72 164 32 124 368 44 288 188 148 164 328 84 48 84 148 88 344 280 216 260 40 536 384 64 264 344 112 432 240 92 188 132 300 108 20 52 172 296 444 404 424 96 312 64 184 240 276 304 152 40 268 128 260 192 296 524 376 56 248 160 64 76 136 504 200 64 284 264 472 196 52 232 504 4 48 412 348 248 224 428 396 80 404 36 24 308 64 248 268 32 240 288 100 120 12 264 244 216 32 88 68 144 408 344 12 448 56 336 400 164 144 68 68 164 516 232 100 196 40 40 8 176 44 368 24 356 32 200 220 216 48 328 188 104 368 84 240 64 48 24 92 40 156 280 132 12 140 40 120 88 120 136 404 112 312 388 340 348 168 8 40 180 24 68 100 144 108 64 140 236 376 316 180 144 124 360 120 132 384 40 24 120 344 208 44 208 124 232 52 16 48 80 40 112 180 68 40 72 72 280 324 44 220 156 356 116 152 232 236 84 24 168 324 396 500 484 4 388 36 196 108 128 452 216 24 356 16 224 200 20 56 80 160 76 48 376 8 12 56 252 136 260 136 40 284 8 152 152 544 400 88 204 296 320 260 432 216 216 516 280 588 576 556 472 460 240 236 448 96 68 220 84 88 156 312 56 272 252 412 208 56 500 12 52 28 548 252 364 40 428 272 104 340 20 156 4 20 180 124 92 12 500 520 248 248 268 400 120 208 208 152 392 380 36 152 28 156 116 144 104 244 204 40 108 352 248 384 228 20 220 8 96 472 216 40 120 236 148 360 244 328 280 320 368 244 328 8 152 72 72 32 328 32 116 12 120 252 96 28 100 208 24 152 120 220 28 104 248 164 36 332 332 4 176 476 548 304 536 496 148 516 432 436 12 352 192 60 124 196 84 40 240 252 60 56 148 8 32 260 140 328 68 460 372 280 152 100 4 48 280 128 192 128 244 40 32 120 360 120 80 156 80 8 316 40 52 360 356 228 40 8 72 16 332 8 80 112 476 164 104 88 268 68 48 124 372 160 312 452 112 120 248 436 104 20 40 268 28 248 84 212 248 4 168 40 488 304 148 24 20 296 344 484 144 336 84 464 556 236 188 444 272 272 416 24 420 48 84 176 112 64 380 88 88 8 48 28 128 424 128 60 128 192 56 96 232 152 144 124 108 24 208 44 128 220 260 444 64 400 16 60 216 432 108 260 132 416 116 132 184 416 96 140 116 100 372 68 180 220 228 444 68 44 468 192 44 216 476 452 16 316 372 180 408 360 48 300 540 200 252 448 444 484 460 328 248 128 40 96 500 516 464 56 516 124 232 152 320 144 352 8 340 140 12 148 80 324 192 164 16 96 376 252 448 356 472 136 460 400 128 72 500 4 264 232 252 272 128 128 60 212 244 172 168 88 152 40 128 128 88 296 516 96 64 556 548 100 444 184 80 224 88 112 56 332 76 180 208 48 88 36 48 84 124 96 220 152 232 208 124 144 28 32 252 168 72 284 84 140 100 128 80 264 40 36 172 40 40 40 284 320 136 216 128 232 192 104 344 180 536 304 192 264 500 148 288 124 288 164 104 48 116 104 188 172 532 252 248 252 80 8 316 256 72 76 440 32 160 80 316 40 104 60 404 4 20 184 276 156 88 124 224 268 148 168 404 444 296 276 216 52 512 16 300 388 600 304 184 112 272 212 116 272 356 424 48 452 460 132 332 436 476 288 288 164 272 104 288 12 212 504 124 316 464 8 56 424 16 84 184 44 528 188 344 156 144 8 404 236 152 332 164 188 288 360 380 180 64 112 236 40 536 456 352 360 112 12 168 208 144 200 216 48 60 120 332 416 12 332 504 4 360 364 200 408 128 368 408 32 84 4 96 272 36 196 20 232 276 368 8 284 44 508 516 108 260 24 140 180 148 32 88 88 304 352 404 64 220 364 32 12 404 228 132 344 128 368 68 276 92 84 212 176 28 464 320 92 52 132 348 68 320 192 4 216 308 64 412 36 56 32 248 388 428 244 144 416 296 360 328 48 368 108 124 124 164 68 296 420 444 404 380 136 84 44 272 436 224 436 188 92 60 100 224 52 460 156 40 468 348 88 288 44 92 64 68 40 124 212 220 132 328 172 32 228 300 292 28 352 216 40 64 24 112 372 20 332 124 64 524 144 76 444 36 16 248 288 212 60 80 40 56 140 304 308 348 452 272 312 64 428 52 272 76 248 128 200 232 260 260 88 32 268 296 212 104 336 296 232 72 56 276 60 152 336 176 128 244 56 40 80 112 196 488 280 36 236 12 344 276 148 128 128 104 72 240 408 232 96 176 136 76 248 276 228 240 112 16 8 248 436 120 132 60 116 500 244 144 56 20 372 408 92 24 132 312 12 320 376 52 236 64 88 68 168 20 40 140 40 248 152 80 296 8 280 52 172 180 460 316 8 432 276 36 88 460 392 120 140 20 68 100 84 84 408 84 296 104 108 204 212 196 152 336 112 40 28 20 172 288 160 216 408 276 24 472 24 444 200 484 200 48 12 372 52 220 532 248 68 280 100 188 96 80 276 36 284 36 108 356 368 388 128 24 168 544 212 60 160 84 68 72 372 212 88 108 376 104 4 4 60 40 212 188 124 148 84 204 468 376 404 352 196 352 220 104 228 232 156 280 96 72 40 124 284 104 96 240 216 40 216 44 44 84 108 56 148 108 148 136 260 172 76 300 480 432 476 440 32 228 288 316 60 112 164 148 84 408 324 240 4 16 68 460 124 396 472 168 228 20 40 472 172 296 200 332 88 8 172 44 364 148 340 108 48 60 260 468 132 96 96 344 352 344 304 152 128 284 128 8 508 40 344 72 32 60 252 20 40 288 44 324 172 60 320 472 156 108 232 144 40 192 276 24 472 156 144 356 204 180 68 100 44 184 12 56 40 132 140 228 332 164 32 112 256 256 276 40 376 488 308 268 296 256 92 52 192 4 356 348 260 444 408 124 112 184 80 32 376 80 372 324 304 8 128 136 120 224 116 40 20 148 24 196 212 152 8 8 208 220 164 104 156 332 40 80 268 264 64 96 60 316 40 12 52 400 32 360 116 320 88 52 208 52 32 272 232 252 76 168 72 316 268 24 248 456 464 40 96 128 496 316 456 84 408 192 364 376 32 348 276 20 144 40 24 48 368 408 312 28 204 28 8 320 60 156 212 116 128 140 144 100 24 112 8 108 8 60 12 388 348 444 20 308 260 100 328 116 116 132 368 40 68 84 244 428 </values> 2313.23/1888.38 v </instantiation>
OK 130971634
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 (14487 MiB free) memory of node 1: 16384 MiB (15609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393874-1568448116/watcher-4393874-1568448116 -o /tmp/evaluation-result-4393874-1568448116/solver-4393874-1568448116 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568448065-31833 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2138299607 HOME/instance-4393874-1568448116.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=31976, runsolver pid=31973 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.97 6.47 7.12 2/213 31997 /proc/meminfo: memFree=30802452/32770624 swapFree=66948312/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28227388 memory=29084 CPUtime=0.12 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 5739 0 0 0 11 1 0 0 20 0 20 0 420753578 28904845312 7271 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7056847 7271 3118 1 0 7019032 0 [pid=31978/tid=31979] ppid=31976 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) R 31976 31976 31806 0 -1 4202560 3658 0 0 0 8 0 0 0 20 0 20 0 420753578 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588240372544 140588236162205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28227388 memory=140528889480832 CPUtime=0 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31982/stat : 31982 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588186655888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31983] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31983/stat : 31983 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588185603088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31984] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31984/stat : 31984 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588184549776 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31985] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31985/stat : 31985 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588183496976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31986] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31986/stat : 31986 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588182444688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31987] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31987/stat : 31987 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 7271 33554432000 4194304 4196468 140725964710720 140588181391888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31988] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31988/stat : 31988 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586901576304 140588236151426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31989] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31989/stat : 31989 (java) S 31976 31976 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586900522272 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31990] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31990/stat : 31990 (java) S 31976 31976 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586899469936 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31991] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31991/stat : 31991 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586898418256 140588236158875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31992] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31992/stat : 31992 (java) R 31976 31976 31806 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586897365104 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31993] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31993/stat : 31993 (java) S 31976 31976 31806 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586828949488 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31994] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31994/stat : 31994 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586827897200 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31995] ppid=31976 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/31978/task/31995/stat : 31995 (java) R 31976 31976 31806 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586826844400 140588236161626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31996] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31996/stat : 31996 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586825792352 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31997] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 7271 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30536 KiB [startup+0.21051 s]* /proc/loadavg: 7.97 6.47 7.12 3/213 31997 /proc/meminfo: memFree=30789076/32770624 swapFree=66948312/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28227388 memory=39900 CPUtime=0.34 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 9338 0 0 0 31 3 0 0 20 0 20 0 420753578 28904845312 9975 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7056847 9975 3209 1 0 7019032 0 [pid=31978/tid=31979] ppid=31976 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) R 31976 31976 31806 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 20 0 420753578 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588240370560 140588236152214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28227388 memory=288370905041192576 CPUtime=0 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31982/stat : 31982 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588186655888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31983] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31983/stat : 31983 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588185603088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31984] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31984/stat : 31984 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588184549776 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31985] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31985/stat : 31985 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588183496976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31986] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31986/stat : 31986 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588182444688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31987] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31987/stat : 31987 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28904845312 9975 33554432000 4194304 4196468 140725964710720 140588181391888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31988] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31988/stat : 31988 (java) S 31976 31976 31806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586901576304 140588236151426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31989] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31989/stat : 31989 (java) S 31976 31976 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586900522272 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31990] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31990/stat : 31990 (java) S 31976 31976 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420753581 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586899469936 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31991] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31991/stat : 31991 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586898418256 140588236158875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31992] ppid=31976 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/31978/task/31992/stat : 31992 (java) S 31976 31976 31806 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586897365104 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31993] ppid=31976 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/31978/task/31993/stat : 31993 (java) S 31976 31976 31806 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586828949488 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31994] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31994/stat : 31994 (java) S 31976 31976 31806 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586827897200 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31995] ppid=31976 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/31978/task/31995/stat : 31995 (java) R 31976 31976 31806 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586826844400 140588215095910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31996] ppid=31976 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31996/stat : 31996 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586825792352 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31997] ppid=31976 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28904845312 9975 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41352 KiB [startup+0.320384 s]* /proc/loadavg: 7.97 6.47 7.12 3/213 31997 /proc/meminfo: memFree=30781432/32770624 swapFree=66948312/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28231644 memory=50496 CPUtime=0.55 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 10968 0 0 0 51 4 0 0 20 0 20 0 420753578 28909203456 12624 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7057911 12624 3367 1 0 7019032 0 [pid=31978/tid=31979] ppid=31976 vsize=28231644 memory=6791534058613427641 CPUtime=0.31 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) R 31976 31976 31806 0 -1 4202560 7877 0 0 0 28 3 0 0 20 0 20 0 420753578 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588240373968 140588236152214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31982/stat : 31982 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588186655888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31983] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31983/stat : 31983 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588185603088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31984] ppid=31976 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/31978/task/31984/stat : 31984 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588184549776 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31985] ppid=31976 vsize=28231644 memory=140528779883439 CPUtime=0 cores=0-7 /proc/31978/task/31985/stat : 31985 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588183496976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31986] ppid=31976 vsize=28231644 memory=140528779885744 CPUtime=0 cores=0-7 /proc/31978/task/31986/stat : 31986 (java) S 31976 31976 31806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588182444688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31987] ppid=31976 vsize=28231644 memory=140528779888048 CPUtime=0 cores=0-7 /proc/31978/task/31987/stat : 31987 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753579 28909203456 12624 33554432000 4194304 4196468 140725964710720 140588181391888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31988] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31988/stat : 31988 (java) S 31976 31976 31806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420753581 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586901576304 140588236151426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31989] ppid=31976 vsize=28231644 memory=281057559783056 CPUtime=0 cores=0-7 /proc/31978/task/31989/stat : 31989 (java) S 31976 31976 31806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420753581 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586900522272 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31990] ppid=31976 vsize=28231644 memory=281057559789968 CPUtime=0 cores=0-7 /proc/31978/task/31990/stat : 31990 (java) S 31976 31976 31806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420753581 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586899469936 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31991] ppid=31976 vsize=28231644 memory=281057559731248 CPUtime=0 cores=0-7 /proc/31978/task/31991/stat : 31991 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586898418256 140588236158875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31992] ppid=31976 vsize=28231644 memory=281057559803792 CPUtime=0.02 cores=0-7 /proc/31978/task/31992/stat : 31992 (java) S 31976 31976 31806 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586897365104 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31993] ppid=31976 vsize=28231644 memory=281057559810704 CPUtime=0.04 cores=0-7 /proc/31978/task/31993/stat : 31993 (java) S 31976 31976 31806 0 -1 1077944384 330 0 0 0 4 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586828949488 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31994] ppid=31976 vsize=28231644 memory=281057559808400 CPUtime=0.01 cores=0-7 /proc/31978/task/31994/stat : 31994 (java) S 31976 31976 31806 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586827897200 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31995] ppid=31976 vsize=28231644 memory=281057559824560 CPUtime=0.13 cores=0-7 /proc/31978/task/31995/stat : 31995 (java) S 31976 31976 31806 0 -1 1077944384 932 0 0 0 13 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586826844400 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31996] ppid=31976 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/31978/task/31996/stat : 31996 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586825792352 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31997] ppid=31976 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420753584 28909203456 12624 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 0.55 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51948 KiB [startup+0.701202 s] /proc/loadavg: 7.97 6.47 7.12 4/213 31997 /proc/meminfo: memFree=30683564/32770624 swapFree=66948312/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28231644 memory=295656 CPUtime=1.91 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 14389 0 0 0 148 43 0 0 20 0 20 0 420753578 28909203456 73914 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7057911 73914 3426 1 0 7019032 0 [pid=31978/tid=31979] ppid=31976 vsize=28231644 memory=281057560182448 CPUtime=0.61 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) R 31976 31976 31806 0 -1 4202560 8014 0 0 0 54 7 0 0 20 0 20 0 420753578 28909203456 73914 33554432000 4194304 4196468 140725964710720 140588240379408 140588236162205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28231644 memory=140528780092272 CPUtime=0.06 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 60 0 0 0 2 4 0 0 20 0 20 0 420753579 28909203456 73914 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28231644 memory=0 CPUtime=0.06 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 67 0 0 0 2 4 0 0 20 0 20 0 420753579 28909203456 73914 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28231644 memory=1720 CPUtime=0.06 cores=0-7 ################ # More data... # ################ [pid=31978/tid=31997] ppid=31976 vsize=28768328 memory=2424 CPUtime=1.05 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 6323 0 0 0 46 59 0 0 20 0 28 0 420753584 29458767872 4546928 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 2300.6 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 18189164 KiB [startup+1887.2 s] /proc/loadavg: 1.52 1.16 1.92 9/218 32610 /proc/meminfo: memFree=12609156/32770624 swapFree=66948364/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28768328 memory=18187784 CPUtime=2306.97 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 814170 0 0 0 226746 3951 0 0 20 0 28 0 420753578 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7192082 4546946 3557 1 0 7153184 0 [pid=31978/tid=31979] ppid=31976 vsize=28768328 memory=500 CPUtime=107.24 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) S 31976 31976 31806 0 -1 1077944384 40751 0 0 0 10622 102 0 0 20 0 28 0 420753578 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588240381056 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28768328 memory=1556 CPUtime=40.18 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 49403 0 0 0 3585 433 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28768328 memory=924 CPUtime=40.33 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 47682 0 0 0 3573 460 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28768328 memory=1672 CPUtime=40.37 cores=0-7 /proc/31978/task/31982/stat : 31982 (java) S 31976 31976 31806 0 -1 1077944384 62797 0 0 0 3581 456 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588186655888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31983] ppid=31976 vsize=28768328 memory=796 CPUtime=40.21 cores=0-7 /proc/31978/task/31983/stat : 31983 (java) S 31976 31976 31806 0 -1 1077944384 42638 0 0 0 3584 437 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588185603088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31984] ppid=31976 vsize=28768328 memory=1436 CPUtime=40.33 cores=0-7 /proc/31978/task/31984/stat : 31984 (java) S 31976 31976 31806 0 -1 1077944384 67704 0 0 0 3592 441 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588184549776 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31985] ppid=31976 vsize=28768328 memory=992 CPUtime=40.35 cores=0-7 /proc/31978/task/31985/stat : 31985 (java) S 31976 31976 31806 0 -1 1077944384 68103 0 0 0 3556 479 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588183496976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31986] ppid=31976 vsize=28768328 memory=2044 CPUtime=40.3 cores=0-7 /proc/31978/task/31986/stat : 31986 (java) S 31976 31976 31806 0 -1 1077944384 54120 0 0 0 3586 444 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588182444688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31987] ppid=31976 vsize=28768328 memory=1428 CPUtime=40.33 cores=0-7 /proc/31978/task/31987/stat : 31987 (java) S 31976 31976 31806 0 -1 1077944384 48142 0 0 0 3600 433 0 0 20 0 28 0 420753579 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140588181391888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31988] ppid=31976 vsize=28768328 memory=11624 CPUtime=1.59 cores=0-7 /proc/31978/task/31988/stat : 31988 (java) S 31976 31976 31806 0 -1 1077944384 43954 0 0 0 147 12 0 0 20 0 28 0 420753581 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586901576304 140588236151426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31989] ppid=31976 vsize=28768328 memory=740 CPUtime=0 cores=0-7 /proc/31978/task/31989/stat : 31989 (java) S 31976 31976 31806 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 420753581 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586900522336 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31990] ppid=31976 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/31978/task/31990/stat : 31990 (java) S 31976 31976 31806 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 420753581 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586899469952 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31991] ppid=31976 vsize=28768328 memory=1552 CPUtime=0 cores=0-7 /proc/31978/task/31991/stat : 31991 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586898418256 140588236158875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31992] ppid=31976 vsize=28768328 memory=1040 CPUtime=9.47 cores=0-7 /proc/31978/task/31992/stat : 31992 (java) S 31976 31976 31806 0 -1 1077944384 39717 0 0 0 941 6 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586897365104 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31993] ppid=31976 vsize=28768328 memory=4136 CPUtime=7.51 cores=0-7 /proc/31978/task/31993/stat : 31993 (java) S 31976 31976 31806 0 -1 1077944384 34562 0 0 0 745 6 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586828949488 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31994] ppid=31976 vsize=28768328 memory=4136 CPUtime=6.87 cores=0-7 /proc/31978/task/31994/stat : 31994 (java) S 31976 31976 31806 0 -1 1077944384 26794 0 0 0 680 7 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586827897200 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31995] ppid=31976 vsize=28768328 memory=1452 CPUtime=1.64 cores=0-7 /proc/31978/task/31995/stat : 31995 (java) S 31976 31976 31806 0 -1 1077944384 21101 0 0 0 157 7 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586826844400 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31996] ppid=31976 vsize=28768328 memory=18188284 CPUtime=0 cores=0-7 /proc/31978/task/31996/stat : 31996 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586825792352 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31997] ppid=31976 vsize=28768328 memory=1452 CPUtime=1.05 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 6640 0 0 0 46 59 0 0 20 0 28 0 420753584 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32603] ppid=31976 vsize=28768328 memory=18185852 CPUtime=0.97 cores=0-7 /proc/31978/task/32603/stat : 32603 (java) R 31976 31976 31806 0 -1 4202560 355 0 0 0 97 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586809458080 140587858581760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32604] ppid=31976 vsize=28768328 memory=780 CPUtime=0.97 cores=0-7 /proc/31978/task/32604/stat : 32604 (java) R 31976 31976 31806 0 -1 4202560 237 0 0 0 97 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586807353664 140587859919073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32605] ppid=31976 vsize=28768328 memory=18183372 CPUtime=0.96 cores=0-7 /proc/31978/task/32605/stat : 32605 (java) R 31976 31976 31806 0 -1 4202560 3362 0 0 0 93 3 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586808405176 140587862734560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32606] ppid=31976 vsize=28768328 memory=6791534058613427641 CPUtime=0.97 cores=0-7 /proc/31978/task/32606/stat : 32606 (java) R 31976 31976 31806 0 -1 4202560 38 0 0 0 97 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586812616256 140587859918465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32607] ppid=31976 vsize=28768328 memory=4126316290023845779 CPUtime=0.97 cores=0-7 /proc/31978/task/32607/stat : 32607 (java) R 31976 31976 31806 0 -1 4202560 88 0 0 0 97 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586810511296 140587860777546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32608] ppid=31976 vsize=28768328 memory=1452 CPUtime=0.96 cores=0-7 /proc/31978/task/32608/stat : 32608 (java) R 31976 31976 31806 0 -1 4202560 192 0 0 0 96 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586811563720 140587858581813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32609] ppid=31976 vsize=28768328 memory=780 CPUtime=0.97 cores=0-7 /proc/31978/task/32609/stat : 32609 (java) R 31976 31976 31806 0 -1 4202560 38 0 0 0 97 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586813669704 140587857492799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32610] ppid=31976 vsize=28768328 memory=2832 CPUtime=0.94 cores=0-7 /proc/31978/task/32610/stat : 32610 (java) R 31976 31976 31806 0 -1 4202560 544 0 0 0 94 0 0 0 20 0 28 0 420942200 29458767872 4546946 33554432000 4194304 4196468 140725964710720 140586806300288 140587859919113 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 2306.97 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 18189236 KiB [startup+1888 s]* /proc/loadavg: 1.52 1.16 1.92 5/218 32610 /proc/meminfo: memFree=12609156/32770624 swapFree=66948364/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 [pid=31978] ppid=31976 vsize=28768328 memory=18188196 CPUtime=2312.07 cores=0-7 /proc/31978/stat : 31978 (java) S 31976 31976 31806 0 -1 1077944320 837792 0 0 0 227247 3960 0 0 20 0 28 0 420753578 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140725964693264 140588236140279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 /proc/31978/statm: 7192082 4547049 3564 1 0 7153184 0 [pid=31978/tid=31979] ppid=31976 vsize=28768328 memory=500 CPUtime=107.24 cores=0-7 /proc/31978/task/31979/stat : 31979 (java) S 31976 31976 31806 0 -1 1077944384 40751 0 0 0 10622 102 0 0 20 0 28 0 420753578 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588240381056 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31980] ppid=31976 vsize=28768328 memory=6791534058613427641 CPUtime=40.22 cores=0-7 /proc/31978/task/31980/stat : 31980 (java) S 31976 31976 31806 0 -1 1077944384 51912 0 0 0 3589 433 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588188760976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31981] ppid=31976 vsize=28768328 memory=1040 CPUtime=40.39 cores=0-7 /proc/31978/task/31981/stat : 31981 (java) S 31976 31976 31806 0 -1 1077944384 50580 0 0 0 3578 461 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588187708176 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31982] ppid=31976 vsize=28768328 memory=4136 CPUtime=40.44 cores=0-7 /proc/31978/task/31982/stat : 31982 (java) S 31976 31976 31806 0 -1 1077944384 64904 0 0 0 3587 457 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588186655888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31983] ppid=31976 vsize=28768328 memory=780 CPUtime=40.26 cores=0-7 /proc/31978/task/31983/stat : 31983 (java) S 31976 31976 31806 0 -1 1077944384 46702 0 0 0 3588 438 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588185603088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31984] ppid=31976 vsize=28768328 memory=2832 CPUtime=40.38 cores=0-7 /proc/31978/task/31984/stat : 31984 (java) S 31976 31976 31806 0 -1 1077944384 69503 0 0 0 3596 442 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588184549776 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31985] ppid=31976 vsize=28768328 memory=1720 CPUtime=40.39 cores=0-7 /proc/31978/task/31985/stat : 31985 (java) S 31976 31976 31806 0 -1 1077944384 71954 0 0 0 3560 479 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588183496976 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31986] ppid=31976 vsize=28768328 memory=1200 CPUtime=40.38 cores=0-7 /proc/31978/task/31986/stat : 31986 (java) S 31976 31976 31806 0 -1 1077944384 57239 0 0 0 3591 447 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588182444688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31987] ppid=31976 vsize=28768328 memory=4126316290023845779 CPUtime=40.4 cores=0-7 /proc/31978/task/31987/stat : 31987 (java) S 31976 31976 31806 0 -1 1077944384 50655 0 0 0 3606 434 0 0 20 0 28 0 420753579 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140588181391888 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31988] ppid=31976 vsize=28768328 memory=780 CPUtime=1.59 cores=0-7 /proc/31978/task/31988/stat : 31988 (java) S 31976 31976 31806 0 -1 1077944384 44120 0 0 0 147 12 0 0 20 0 28 0 420753581 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586901576304 140588236151426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31989] ppid=31976 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/31978/task/31989/stat : 31989 (java) S 31976 31976 31806 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 420753581 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586900522336 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31990] ppid=31976 vsize=28768328 memory=1720 CPUtime=0 cores=0-7 /proc/31978/task/31990/stat : 31990 (java) S 31976 31976 31806 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 28 0 420753581 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586899469952 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31991] ppid=31976 vsize=28768328 memory=1200 CPUtime=0 cores=0-7 /proc/31978/task/31991/stat : 31991 (java) S 31976 31976 31806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586898418256 140588236158875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31992] ppid=31976 vsize=28768328 memory=5964 CPUtime=9.47 cores=0-7 /proc/31978/task/31992/stat : 31992 (java) S 31976 31976 31806 0 -1 1077944384 39717 0 0 0 941 6 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586897365104 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31993] ppid=31976 vsize=28768328 memory=14012 CPUtime=7.51 cores=0-7 /proc/31978/task/31993/stat : 31993 (java) S 31976 31976 31806 0 -1 1077944384 34562 0 0 0 745 6 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586828949488 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31994] ppid=31976 vsize=28768328 memory=4872558044660077418 CPUtime=6.87 cores=0-7 /proc/31978/task/31994/stat : 31994 (java) S 31976 31976 31806 0 -1 1077944384 26794 0 0 0 680 7 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586827897200 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31995] ppid=31976 vsize=28768328 memory=4304 CPUtime=1.64 cores=0-7 /proc/31978/task/31995/stat : 31995 (java) S 31976 31976 31806 0 -1 1077944384 21101 0 0 0 157 7 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586826844400 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31996] ppid=31976 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/31978/task/31996/stat : 31996 (java) S 31976 31976 31806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586825792352 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=31997] ppid=31976 vsize=28768328 memory=18187768 CPUtime=1.05 cores=0-7 /proc/31978/task/31997/stat : 31997 (java) S 31976 31976 31806 0 -1 1077944384 6640 0 0 0 46 59 0 0 20 0 28 0 420753584 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586824739632 140588236151426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32603] ppid=31976 vsize=28768328 memory=1808 CPUtime=1.68 cores=0-7 /proc/31978/task/32603/stat : 32603 (java) R 31976 31976 31806 0 -1 4202560 364 0 0 0 168 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586809458216 140587857492843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32604] ppid=31976 vsize=28768328 memory=1452 CPUtime=1.68 cores=0-7 /proc/31978/task/32604/stat : 32604 (java) R 31976 31976 31806 0 -1 4202560 458 0 0 0 168 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586807353552 140587858581760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32605] ppid=31976 vsize=28768328 memory=18183372 CPUtime=1.32 cores=0-7 /proc/31978/task/32605/stat : 32605 (java) S 31976 31976 31806 0 -1 1077944384 3497 0 0 0 128 4 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586808411088 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32606] ppid=31976 vsize=28768328 memory=4126316290023845779 CPUtime=1.68 cores=0-7 /proc/31978/task/32606/stat : 32606 (java) R 31976 31976 31806 0 -1 4202560 39 0 0 0 168 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586812616392 140587857492831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32607] ppid=31976 vsize=28768328 memory=1428 CPUtime=1.65 cores=0-7 /proc/31978/task/32607/stat : 32607 (java) S 31976 31976 31806 0 -1 1077944384 265 0 0 0 165 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586810516688 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32608] ppid=31976 vsize=28768328 memory=1452 CPUtime=1.39 cores=0-7 /proc/31978/task/32608/stat : 32608 (java) S 31976 31976 31806 0 -1 1077944384 193 0 0 0 139 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586811569232 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32609] ppid=31976 vsize=28768328 memory=18187716 CPUtime=1.68 cores=0-7 /proc/31978/task/32609/stat : 32609 (java) R 31976 31976 31806 0 -1 4202560 40 0 0 0 168 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586813669704 140587860777504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 [pid=31978/tid=32610] ppid=31976 vsize=28768328 memory=1056 CPUtime=1.26 cores=0-7 /proc/31978/task/32610/stat : 32610 (java) S 31976 31976 31806 0 -1 1077944384 577 0 0 0 126 0 0 0 20 0 28 0 420942200 29458767872 4547049 33554432000 4194304 4196468 140725964710720 140586806306128 140588236150485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725964714986 140725964715158 140725964715158 140725964718031 0 Current children cumulated CPU time: 2312.07 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 18189648 KiB [startup+1888.4 s] /proc/loadavg: 1.52 1.16 1.92 5/218 32610 /proc/meminfo: memFree=12609156/32770624 swapFree=66948364/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+1888.5 s] /proc/loadavg: 1.52 1.16 1.92 5/218 32610 /proc/meminfo: memFree=12609156/32770624 swapFree=66948364/67108860 [pid=31976] ppid=31973 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/31976/stat : 31976 (xcsp3-exec) S 31973 31976 31806 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 420753578 115843072 363 33554432000 4194304 5098028 140723261475616 140723261473720 140672497144444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7442432 140723261477749 140723261477993 140723261477993 140723261480906 0 /proc/31976/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 1888.54 CPU time (s): 2313.73 CPU user time (s): 2273.97 CPU system time (s): 39.7591 CPU usage (%): 122.514 Max. virtual memory (cumulated for all children) (KiB): 28883348 Max. memory (cumulated for all children) (KiB): 18195464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2273.97 system time used= 39.7591 maximum resident set size= 18194012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 840637 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 71533 involuntary context switches= 12757 # summary of solver processes directly reported to runsolver: # pid: 31976 # total CPU time (s): 2313.73 # total CPU user time (s): 2273.97 # total CPU system time (s): 39.7591 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.7943 second user time and 22.0762 second system time The end
Begin job on node117 at 2019-09-14 10:01:14 IDJOB=4393874 IDBENCH=141269 IDSOLVER=2841 FILE ID=node117/4393874-1568448116 RUNJOBID= node117-1568448065-31833 PBS_JOBID= 21702355 Free space on /tmp= 61084 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393874-1568448116/watcher-4393874-1568448116 -o /tmp/evaluation-result-4393874-1568448116/solver-4393874-1568448116 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568448065-31833 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2138299607 HOME/instance-4393874-1568448116.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8 RANDOM SEED=2138299607 node117.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.75 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.75 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.75 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.75 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: 30819252 kB MemAvailable: 31864000 kB Buffers: 155560 kB Cached: 1156028 kB SwapCached: 52128 kB Active: 879088 kB Inactive: 485756 kB Active(anon): 17808 kB Inactive(anon): 60292 kB Active(file): 861280 kB Inactive(file): 425464 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66948312 kB Dirty: 127344 kB Writeback: 0 kB AnonPages: 112368 kB Mapped: 34352 kB Shmem: 16220 kB Slab: 176104 kB SReclaimable: 147676 kB SUnreclaim: 28428 kB KernelStack: 3360 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61060 MiB End job on node117 at 2019-09-14 10:32:43