Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 464880458 | 2914.72 | 2520.14 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml |
| MD5SUM | a5fe7a04cb5002912ef3d870057982e3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 464880458 |
| Best CPU time to get the best result obtained on this benchmark | 2914.72 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6864 |
| Number of constraints | 4370 |
| Number of domains | 85 |
| Minimum domain size | 1 |
| Maximum domain size | 175 |
| Distribution of domain sizes | [{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2022 |
| Distribution of variable degrees | [{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}] |
| Number of extensional constraints | 2021 |
| Number of intensional constraints | 2349 |
| Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":2349}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297934-1532713409.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297934-1532713409.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 544.94/206.93 c solve instance... 591.45/213.18 o 464941101 596.59/214.66 o 464920883 613.42/222.12 o 464900676 614.67/223.37 o 464880458 2914.57/2520.01 s SATISFIABLE 2914.57/2520.01 v <instantiation> 2914.57/2520.01 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] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] 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] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] 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] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] 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] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] </list> 2914.57/2520.02 v <values>2280 2220 2220 2280 2220 2220 2756 2220 2220 2220 2260 2288 2220 2756 2376 2684 2220 2220 2220 2376 2220 2280 2280 2220 2220 2220 2260 2220 2756 2220 2636 2220 2756 2220 2220 2732 2308 2220 2220 2220 2732 2220 2220 2220 2260 2280 2636 2724 2724 2220 2220 2288 2376 2376 2220 2220 2220 2220 2220 2220 2220 2280 2684 2220 2776 2220 2260 2220 2376 2220 2220 2732 2376 2684 2280 2756 2280 2684 2684 2220 2732 2220 2732 2416 2220 2288 2732 2220 2376 2260 2796 2732 2684 2220 2260 2376 2220 2260 2308 2220 2376 2684 2308 2288 2220 2376 2220 2772 2684 2260 2220 2280 2220 2280 2260 2288 2280 2348 2724 2220 2280 2308 2376 2416 2260 2308 2308 2220 2772 2220 2220 2732 2220 2220 2308 2220 2376 2220 2320 2724 2260 2220 2260 2732 2776 2320 2220 2732 2796 2416 2348 2308 2220 2376 2676 2684 2288 2220 2260 2220 2260 2732 2796 2776 2220 2220 2260 2260 2772 2288 2796 2260 2220 2260 2756 2220 2220 2260 2220 2816 2280 2288 2288 2260 2260 2260 2220 2260 2260 2684 2320 2288 2320 2376 2376 2320 2320 2772 2376 2280 2320 2220 2732 2416 2676 2220 2684 2260 2376 2416 2376 2732 2288 2756 2328 2260 2756 2220 2260 2348 2684 2260 2724 2260 2328 2288 2328 2260 2260 2288 2348 2260 2328 2776 2288 2732 2636 2416 2772 2260 2280 2416 2416 2288 2260 2260 2260 2220 2260 2772 2684 2260 2260 2260 2416 2280 2328 2220 2320 2260 2328 2280 2328 2260 2416 2732 2772 2220 2772 2724 2260 2320 2328 2416 2260 2220 2260 2260 2772 2260 2796 2260 2260 2776 2732 2772 2220 2260 2756 2220 2220 2796 2260 2220 2260 2220 2816 2220 2676 2348 2692 2416 2796 2816 2816 2280 2416 2816 2328 2320 2684 2320 2280 2416 2260 2328 2260 2416 2260 2220 2416 2260 2260 2796 2732 2220 2348 2328 2260 2260 2320 2260 2260 2796 2260 2320 2772 2772 2724 2260 2220 2260 2756 2756 2260 2320 2772 2260 2260 2260 2308 2260 2724 2260 2772 2260 2772 2724 2260 2724 2348 2328 2260 2348 2280 2320 2260 2320 2260 2796 2732 2260 2772 2260 2320 2260 2328 2724 2260 2260 2416 2772 2796 2260 2328 2260 2724 2416 2724 2260 2320 2348 2328 2260 2260 2320 2260 2260 2724 2320 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 11 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 10 0 0 10 10 0 9 10 10 3 10 0 0 0 0 8 0 10 0 9 0 0 10 0 10 10 1 7 4 10 0 0 10 0 10 0 10 10 0 0 10 0 8 0 6 0 10 1 0 10 10 10 10 0 10 9 0 8 10 0 7 10 10 10 10 10 0 0 0 0 0 0 0 10 10 10 10 0 10 10 6 0 10 10 1 10 10 0 0 10 10 10 10 0 10 10 0 10 1 10 0 0 10 0 10 10 0 9 5 0 0 10 6 0 10 0 8 10 10 10 0 0 10 0 0 10 10 10 0 0 0 3 0 10 0 10 0 0 10 1 10 0 0 0 10 4 10 7 7 10 0 0 0 0 10 0 10 7 0 10 0 0 7 10 0 10 8 0 10 0 10 10 10 10 0 10 0 0 6 0 0 9 10 10 1 1 0 10 10 10 0 10 0 0 0 5 0 0 0 0 0 0 10 10 0 10 8 0 0 0 10 0 0 0 5 0 0 0 0 10 10 10 0 0 10 10 10 10 0 1 0 0 10 6 10 9 3 10 0 0 10 0 2 10 0 10 0 10 10 8 10 0 0 10 0 0 1 0 10 10 10 7 10 0 1 10 10 1 0 1 0 9 0 0 10 10 0 0 10 1 10 0 9 0 6 0 0 0 10 4 0 10 0 8 0 0 10 0 9 10 0 0 0 6 0 10 6 9 0 0 0 1 10 4 10 10 0 6 0 0 0 0 9 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 1 0 0 0 10 0 5 1 0 10 0 0 0 10 10 0 10 0 10 0 0 10 10 4 0 10 0 0 9 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 10 0 10 0 10 0 0 10 10 10 10 0 6 0 0 0 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 10 0 10 10 9 10 0 0 0 0 10 10 0 0 10 10 0 10 10 10 10 10 0 8 0 10 1 3 0 4 0 10 3 0 7 0 6 10 0 0 0 0 8 0 0 10 10 10 10 0 10 9 10 0 10 0 10 0 10 7 0 10 10 10 8 10 1 0 10 10 10 10 10 6 0 10 10 10 10 10 10 10 10 0 9 0 0 10 10 1 0 0 0 0 0 0 10 10 8 0 10 10 0 10 10 10 0 0 10 0 10 8 10 5 10 10 7 10 10 0 10 10 10 0 10 0 0 0 8 10 0 0 0 10 4 0 0 1 1 10 0 6 10 10 1 10 10 1 10 10 10 9 0 0 0 0 7 0 10 0 10 10 10 10 10 0 0 10 0 9 0 0 0 1 0 10 10 10 10 10 10 9 7 10 5 0 10 10 1 0 0 0 10 9 10 0 10 0 9 10 10 0 1 0 0 1 10 10 10 0 1 5 0 0 10 9 10 10 0 0 6 10 10 0 0 0 10 10 10 0 10 0 0 1 10 10 0 10 0 0 7 5 0 10 0 2 4 1 10 0 10 10 0 0 0 10 0 3 10 8 0 5 5 0 8 0 10 1 0 0 10 0 0 10 10 0 9 5 0 10 10 0 10 10 10 0 10 1 0 0 0 10 0 1 8 0 10 7 10 0 0 0 0 0 10 0 10 0 10 0 0 10 7 1 1 10 10 10 0 0 7 10 10 1 0 10 0 10 10 0 10 0 10 0 10 0 0 10 10 0 0 10 10 0 9 0 10 0 0 5 10 0 0 0 0 1 10 10 10 0 1 0 0 1 0 10 4 10 9 0 10 10 10 10 10 10 1 10 4 10 0 0 1 10 10 0 10 10 0 0 10 10 0 0 10 0 10 10 0 10 1 0 10 0 10 5 10 10 0 0 10 0 0 6 0 0 10 10 0 10 9 0 10 0 10 10 0 0 10 10 0 10 9 0 10 10 10 0 0 0 8 8 0 0 8 1 10 9 0 3 0 0 10 0 0 0 0 7 10 1 0 10 0 0 0 0 10 0 0 0 10 1 10 0 0 10 5 0 0 10 0 0 10 0 10 0 9 10 0 0 7 0 1 1 1 10 0 0 0 10 1 10 10 10 10 10 6 10 0 0 10 10 8 0 6 0 0 10 4 10 0 0 5 10 10 0 10 10 4 6 0 0 10 0 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 10 0 1 0 0 10 0 10 10 0 10 10 0 0 10 0 10 1 0 10 0 0 0 0 10 1 0 10 10 10 10 10 0 0 0 10 0 10 10 0 0 0 10 0 10 0 10 10 10 1 10 10 0 0 8 0 0 7 6 1 10 10 10 0 10 10 0 10 10 0 0 0 0 10 10 10 10 0 10 10 10 0 10 0 0 10 0 10 10 10 10 0 0 10 0 0 4 0 1 7 10 10 10 0 0 0 10 0 0 0 0 0 10 1 0 10 10 10 0 0 10 9 10 0 0 10 10 10 0 0 0 0 0 0 9 1 0 10 1 10 0 0 10 9 1 10 0 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 10 2 10 10 10 1 10 0 0 0 10 0 10 1 5 10 10 0 1 10 10 10 10 9 8 10 0 6 10 10 10 10 10 0 1 10 1 1 10 6 0 0 0 10 1 0 10 10 10 0 10 10 0 0 10 0 10 0 10 10 0 10 10 5 0 1 0 10 0 10 0 10 10 10 10 0 10 10 10 0 10 10 10 0 10 0 4 10 1 0 10 0 0 0 10 0 10 1 9 10 10 0 10 0 10 10 1 0 10 0 10 10 0 1 10 0 9 0 10 10 0 10 10 0 10 9 10 10 10 10 10 0 9 10 10 1 0 0 0 0 0 10 0 0 7 10 10 7 10 10 10 0 10 0 0 10 10 0 10 10 1 0 10 0 0 10 10 10 0 10 10 10 1 0 8 0 10 10 0 0 0 10 9 0 0 0 10 10 0 10 10 0 10 0 1 0 10 0 0 0 10 10 9 0 8 10 0 0 1 0 9 0 0 10 9 2 0 10 6 1 10 0 10 10 0 10 0 7 0 0 0 9 0 10 10 10 0 9 10 9 9 10 10 9 0 1 10 0 0 10 0 10 10 10 10 10 10 8 10 3 10 0 3 0 0 0 0 10 0 0 0 1 1 0 10 10 1 0 0 0 0 10 1 0 10 5 10 10 4 1 10 5 1 0 10 0 0 0 10 10 10 9 0 10 10 10 10 10 10 0 10 0 0 0 10 6 10 10 0 10 0 0 0 0 10 0 0 0 7 0 6 10 10 10 0 10 10 10 0 0 0 0 10 10 10 10 10 0 2 10 7 10 0 10 0 10 10 10 10 0 0 7 10 0 10 0 0 10 8 0 1 1 10 0 0 1 10 10 0 0 0 10 5 3 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 10 0 10 10 9 0 0 10 10 0 0 0 10 0 6 0 0 1 0 10 0 0 10 10 0 10 10 10 1 7 10 0 10 0 0 0 1 0 1 4 1 8 10 10 0 6 10 9 0 0 10 0 0 0 0 10 0 0 0 10 1 0 0 0 10 0 10 8 10 10 10 0 0 10 0 10 10 10 0 10 10 10 10 6 10 10 10 0 0 0 1 10 10 0 0 0 10 9 10 10 0 10 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 10 0 10 0 0 10 10 1 10 0 10 0 0 10 8 0 10 0 10 1 10 10 10 10 0 10 10 0 0 10 10 0 0 0 10 0 0 1 10 0 10 0 0 0 10 0 10 10 0 1 10 0 10 0 10 0 0 10 10 0 0 1 0 1 10 0 10 0 0 10 1 0 0 0 0 10 10 10 10 1 0 8 0 0 7 10 0 10 10 0 10 10 0 0 10 0 6 10 0 10 0 0 10 10 10 0 0 0 10 0 4 10 0 7 10 1 1 10 0 0 6 0 0 0 10 10 10 10 0 0 0 10 0 0 10 6 10 10 0 1 10 10 0 10 0 9 0 10 5 0 10 0 10 1 10 0 7 10 10 10 4 0 10 10 6 0 10 10 10 10 0 10 0 10 10 1 0 0 0 10 10 0 5 0 10 10 10 10 10 10 10 0 10 10 0 0 10 1 0 0 10 0 1 10 10 6 1 1 0 6 0 10 0 0 0 0 10 0 0 10 10 10 10 0 10 10 10 10 10 0 0 10 0 0 1 10 10 0 0 10 8 0 10 10 0 0 10 0 8 5 1 10 6 0 0 0 10 10 10 10 10 0 0 1 10 0 0 0 0 0 0 0 0 10 1 0 10 10 10 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 0 10 10 10 0 0 8 10 0 0 10 10 1 0 10 0 10 10 9 9 0 10 0 10 3 10 0 3 0 10 10 0 10 10 0 0 10 0 10 10 10 10 8 10 0 10 10 10 7 10 10 0 10 10 0 10 10 10 0 10 0 10 0 0 10 0 0 0 0 10 10 0 0 10 8 0 60 452 28 60 516 60 136 48 492 20 28 20 0 0 0 40 0 88 0 60 552 108 456 40 512 552 40 512 504 68 0 40 512 456 40 88 60 0 404 60 60 536 40 60 476 68 492 60 0 444 60 40 0 512 40 0 68 0 0 196 108 0 68 0 0 156 108 512 40 552 0 536 24 40 476 72 340 496 0 88 0 464 0 576 40 40 68 108 0 536 156 156 40 556 0 156 40 512 472 100 88 0 128 40 40 108 40 0 512 108 88 376 536 0 8 488 128 8 0 8 40 28 0 504 40 120 448 536 536 448 72 16 340 496 0 0 116 400 48 396 68 40 40 464 464 424 464 48 396 40 112 88 424 424 0 0 196 40 100 512 40 40 40 0 40 0 40 536 0 60 156 0 60 456 464 40 536 128 60 0 88 0 40 100 108 40 96 0 40 156 96 156 380 156 156 156 396 396 40 464 504 60 60 40 20 96 444 40 96 20 136 20 20 60 476 0 96 20 444 20 48 40 492 516 40 0 0 0 40 552 0 0 100 0 40 0 40 0 40 0 0 552 0 0 100 40 88 48 40 40 472 20 28 472 60 464 512 156 0 596 40 552 40 88 128 552 536 536 16 496 340 536 536 16 496 428 0 0 60 40 0 108 60 40 128 40 504 48 416 96 136 416 416 316 288 308 376 376 316 0 40 40 0 504 40 0 40 60 108 40 40 536 536 536 536 468 32 340 40 496 496 496 0 60 196 512 60 40 40 0 60 40 196 456 156 40 40 596 512 40 536 552 60 96 48 356 404 0 0 20 424 0 48 40 464 488 88 60 0 196 128 0 40 128 552 504 40 504 416 40 40 40 552 40 40 0 40 40 0 88 88 156 552 0 196 68 40 100 512 412 472 472 452 472 404 472 0 156 156 0 0 68 100 0 40 40 0 0 156 196 464 40 108 0 196 40 40 0 0 40 0 40 108 40 40 40 40 40 28 0 60 0 0 432 0 60 0 20 40 8 48 60 40 40 68 452 20 416 328 288 328 40 348 0 376 136 136 356 376 8 376 504 404 396 396 396 0 60 512 512 0 40 0 40 596 68 40 456 40 100 396 20 0 484 28 40 60 0 484 28 40 96 116 116 28 116 88 116 56 356 156 40 396 512 60 40 0 0 40 40 464 464 552 100 60 0 40 40 40 100 196 60 128 556 0 156 108 536 0 596 512 40 0 552 0 68 464 40 100 40 40 0 0 40 88 504 196 196 40 68 0 40 40 128 40 40 40 40 472 100 40 40 552 20 40 20 48 136 136 20 40 404 464 48 424 424 364 364 0 512 88 556 40 40 512 0 576 456 360 40 496 456 456 360 44 4 0 556 20 60 0 88 100 128 196 100 424 472 556 156 0 556 464 20 0 68 40 0 88 40 0 196 40 40 68 0 308 56 0 116 464 88 512 40 40 596 40 40 0 0 156 40 40 108 40 464 40 0 424 40 40 0 404 64 64 0 0 40 116 424 356 424 112 364 112 404 496 452 60 536 48 20 516 444 40 340 72 72 468 496 72 16 40 16 40 60 20 96 28 60 8 40 8 0 536 40 444 356 132 364 424 356 40 396 424 0 308 424 8 88 40 424 0 0 40 108 40 552 512 472 472 196 0 156 196 108 108 504 48 512 512 512 84 316 8 472 356 40 268 156 156 316 400 156 156 552 88 556 40 108 8 60 20 68 28 484 404 508 436 60 28 508 472 424 424 472 100 68 464 596 128 108 40 128 100 100 116 420 40 0 40 156 440 116 56 116 116 420 116 56 40 48 0 0 0 464 536 156 20 468 380 536 468 452 444 472 512 40 336 268 396 364 0 464 364 0 576 156 536 464 40 40 596 0 0 40 0 40 416 68 68 0 0 536 116 348 68 156 156 88 40 40 440 56 116 48 40 40 0 40 536 40 128 108 40 40 40 0 536 0 0 40 20 424 88 48 108 128 0 576 196 536 108 88 108 116 396 96 96 48 156 440 56 308 356 40 404 268 336 40 424 48 20 108 488 88 12 424 48 40 40 28 508 0 88 40 128 40 40 0 40 156 40 68 40 68 0 576 396 156 48 116 576 0 40 40 40 100 40 356 40 356 336 376 92 424 364 364 424 424 40 472 60 496 0 156 40 40 108 40 0 196 576 0 404 492 404 20 20 20 492 20 0 536 40 100 60 60 492 20 20 40 492 48 68 0 472 432 396 388 60 32 40 28 496 60 396 40 516 88 60 0 88 468 376 424 28 0 444 444 48 504 48 0 0 68 0 552 576 40 552 40 40 504 40 100 476 48 60 496 60 88 48 40 48 448 48 48 40 48 108 48 68 156 96 0 116 48 88 48 440 96 116 316 156 156 308 68 356 536 116 0 464 68 376 12 68 20 108 48 12 48 368 88 424 48 20 48 48 48 0 0 40 60 40 552 40 552 552 492 444 0 444 16 196 552 596 100 40 0 40 40 40 40 128 40 0 64 316 0 40 0 40 196 60 40 88 536 40 128 40 40 0 196 60 40 40 100 40 12 20 464 12 48 28 48 48 48 40 536 40 40 556 108 40 40 108 56 88 156 40 28 348 116 40 0 40 552 40 0 40 28 32 56 0 100 60 100 40 412 60 436 0 48 436 504 40 404 48 464 464 472 464 0 0 68 556 0 0 68 68 464 60 40 88 60 60 0 472 316 40 8 404 472 44 556 44 516 516 468 456 40 100 452 0 0 0 0 40 60 40 100 512 444 444 452 452 24 316 316 380 576 64 508 64 20 516 536 108 156 316 380 136 88 308 96 96 60 408 0 68 488 416 464 488 20 108 12 40 68 196 108 40 128 40 40 116 88 116 0 40 116 396 40 420 96 40 424 40 72 364 40 424 444 0 508 508 32 28 436 32 40 68 40 100 512 0 116 0 0 0 0 0 88 40 552 100 40 464 60 68 40 536 0 0 0 44 512 512 356 508 576 448 476 120 112 536 0 468 536 556 448 556 556 456 40 0 40 196 108 552 40 60 196 128 196 40 40 60 464 20 0 472 536 0 512 536 16 484 512 40 40 512 48 24 0 68 68 388 396 128 60 40 28 576 112 380 476 40 64 40 0 496 0 464 156 40 552 40 512 0 472 0 60 496 340 408 20 0 40 32 496 408 476 456 40 196 512 424 156 40 68 556 40 512 108 196 100 132 556 140 0 556 508 496 400 44 40 60 8 492 48 452 444 48 88 0 40 28 40 484 32 28 28 488 468 68 396 40 0 0 424 0 0 0 464 116 472 28 156 60 0 0 0 68 0 68 0 0 0 0 0 0 40 128 0 60 40 40 20 0 88 356 424 464 364 56 60 456 476 496 60 60 60 488 0 128 32 40 60 60 40 60 48 116 56 380 116 56 40 40 28 420 8 60 412 60 28 100 0 0 492 356 0 552 44 552 16 512 0 116 88 116 156 116 316 136 60 60 60 60 512 40 464 40 456 100 40 404 316 0 472 472 196 340 156 156 356 316 196 156 348 348 96 100 56 416 40 40 464 552 504 356 336 356 424 132 464 40 40 0 0 0 0 40 40 0 472 28 420 128 136 68 116 116 400 48 444 384 316 472 8 0 40 508 28 28 536 60 476 24 40 68 28 512 60 0 468 436 496 108 40 40 196 40 40 40 40 40 108 156 40 512 0 336 88 128 68 468 88 128 40 424 68 52 72 72 376 0 0 40 40 68 0 68 0 404 68 8 444 68 396 68 0 0 512 556 0 0 556 0 0 0 28 28 68 88 88 68 464 40 108 488 444 44 556 516 360 516 28 468 316 512 40 40 404 472 40 0 120 356 0 380 156 156 40 512 24 444 40 40 0 156 156 40 0 136 0 20 444 20 68 492 268 340 108 88 88 196 0 512 496 0 512 60 60 576 108 0 576 0 0 512 0 60 0 464 356 424 464 112 364 424 424 68 0 0 0 0 0 0 556 88 196 136 156 68 20 516 136 20 68 552 552 552 476 8 100 436 40 0 0 0 468 492 40 452 48 476 68 488 68 40 0 40 0 156 156 404 24 384 472 472 512 452 552 536 40 108 444 512 512 452 92 444 464 464 464 48 0 432 412 60 0 8 96 156 432 68 512 0 100 504 552 40 108 536 0 40 512 556 0 0 0 40 0 536 40 448 468 476 512 536 40 0 48 556 40 472 472 404 512 512 40 100 40 552 0 40 16 464 552 128 0 40 448 68 552 40 68 464 576 536 40 140 400 468 20 40 456 260 88 88 424 344 64 136 96 356 468 536 40 380 468 556 0 60 556 488 20 444 40 156 156 20 556 556 0 60 0 48 60 0 516 0 96 68 464 60 0 0 0 60 536 156 156 108 60 0 0 464 100 504 156 156 156 0 0 0 68 516 40 40 40 512 40 88 0 68 8 396 88 0 0 0 512 512 0 40 536 536 536 536 0 28 8 48 512 512 48 464 72 504 60 16 0 0 0 512 48 0 60 512 0 60 444 512 0 464 68 536 0 68 0 28 28 452 476 60 156 464 476 0 72 468 0 0 512 512 0 452 464 0 48 0 464 464 404 60 </values> 2914.57/2520.02 v </instantiation> 2914.57/2520.02 c Unexpected resolution interruption!
OK 464880458
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 (9578 MiB free)
memory of node 1: 16384 MiB (10036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297934-1532713409/watcher-4297934-1532713409 -o /tmp/evaluation-result-4297934-1532713409/solver-4297934-1532713409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532713409-20007 --watchdog 2580 HOME/xcsp3-exec -seed 869895310 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297934-1532713409.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
Current StackSize limit: 8192 KiB
solver pid=20024, runsolver pid=20021
[startup+0.100133 s]*
/proc/loadavg: 8.15 8.34 8.31 2/200 20045
/proc/meminfo: memFree=20069404/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26104152 memory=27244 CPUtime=0.11 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 5649 0 0 0 10 1 0 0 20 0 20 0 88904132 26730651648 6811 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6526038 6811 3030 1 0 6488315 0
[pid=20026/tid=20027] ppid=20024 vsize=26104152 memory=7679934172201131929 CPUtime=0.09 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) R 20024 20024 19980 0 -1 4202560 3663 0 0 0 8 1 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139735048402648 139735028262268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26104152 memory=732370006604930021 CPUtime=0 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26104152 memory=139868267476608 CPUtime=0 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20031] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20031/stat : 20031 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734599171088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20032] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20032/stat : 20032 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734598117776 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20033] ppid=20024 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20026/task/20033/stat : 20033 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734597064976 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20034] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20034/stat : 20034 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734596012688 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20035] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20035/stat : 20035 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 6811 33554432000 4194304 4196468 140735403667216 139734594959888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20036] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20036/stat : 20036 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904135 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733316418160 139735044192898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20037] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20037/stat : 20037 (java) S 20024 20024 19980 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 88904135 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733315364128 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20038] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20038/stat : 20038 (java) S 20024 20024 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88904136 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733314311792 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20039] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20039/stat : 20039 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733313260112 139735044200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20040] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20040/stat : 20040 (java) S 20024 20024 19980 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733312206960 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20041] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20041/stat : 20041 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733311154160 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20042] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20042/stat : 20042 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733310101872 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20043] ppid=20024 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20026/task/20043/stat : 20043 (java) R 20024 20024 19980 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733309046608 139735029863546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20044] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20044/stat : 20044 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733307997024 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20045] ppid=20024 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20026/task/20045/stat : 20045 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 6811 33554432000 4194304 4196468 140735403667216 139733306944304 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28700 KiB
[startup+0.210696 s]*
/proc/loadavg: 8.15 8.34 8.31 2/200 20045
/proc/meminfo: memFree=20058472/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26104152 memory=39464 CPUtime=0.34 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 8455 0 0 0 31 3 0 0 20 0 20 0 88904132 26730651648 9866 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6526038 9866 3156 1 0 6488315 0
[pid=20026/tid=20027] ppid=20024 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) R 20024 20024 19980 0 -1 4202560 5544 0 0 0 18 2 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139735048415680 139735044193686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26104152 memory=732370006604930021 CPUtime=0 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26104152 memory=139868267476608 CPUtime=0 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20031] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20031/stat : 20031 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734599171088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20032] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20032/stat : 20032 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734598117776 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20033] ppid=20024 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20026/task/20033/stat : 20033 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734597064976 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20034] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20034/stat : 20034 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734596012688 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20035] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20035/stat : 20035 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26730651648 9866 33554432000 4194304 4196468 140735403667216 139734594959888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20036] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20036/stat : 20036 (java) S 20024 20024 19980 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88904135 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733316418160 139735044192898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20037] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20037/stat : 20037 (java) S 20024 20024 19980 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 88904135 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733315364128 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20038] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20038/stat : 20038 (java) S 20024 20024 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88904136 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733314311792 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20039] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20039/stat : 20039 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733313260112 139735044200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20040] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20040/stat : 20040 (java) S 20024 20024 19980 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733312206960 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20041] ppid=20024 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/20026/task/20041/stat : 20041 (java) S 20024 20024 19980 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733311154160 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20042] ppid=20024 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20026/task/20042/stat : 20042 (java) S 20024 20024 19980 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733310101872 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20043] ppid=20024 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/20026/task/20043/stat : 20043 (java) S 20024 20024 19980 0 -1 1077944384 804 0 0 0 8 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733309049072 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20044] ppid=20024 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20044/stat : 20044 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733307997024 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20045] ppid=20024 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20026/task/20045/stat : 20045 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26730651648 9866 33554432000 4194304 4196468 140735403667216 139733306944304 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40920 KiB
[startup+0.310625 s]*
/proc/loadavg: 8.15 8.34 8.31 3/200 20045
/proc/meminfo: memFree=20052268/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26108408 memory=46340 CPUtime=0.51 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 9296 0 0 0 48 3 0 0 20 0 20 0 88904132 26735009792 11585 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6527102 11585 3238 1 0 6488315 0
[pid=20026/tid=20027] ppid=20024 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) R 20024 20024 19980 0 -1 4202560 6187 0 0 0 27 2 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139735048412864 139735044203677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20031] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20031/stat : 20031 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734599171088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20032] ppid=20024 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20026/task/20032/stat : 20032 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734598117776 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20033] ppid=20024 vsize=26108408 memory=139868160226223 CPUtime=0 cores=0-7
/proc/20026/task/20033/stat : 20033 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734597064976 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20034] ppid=20024 vsize=26108408 memory=139868160228528 CPUtime=0 cores=0-7
/proc/20026/task/20034/stat : 20034 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734596012688 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20035] ppid=20024 vsize=26108408 memory=139868160230832 CPUtime=0 cores=0-7
/proc/20026/task/20035/stat : 20035 (java) S 20024 20024 19980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88904133 26735009792 11585 33554432000 4194304 4196468 140735403667216 139734594959888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20036] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20036/stat : 20036 (java) S 20024 20024 19980 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88904135 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733316418160 139735044192898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20037] ppid=20024 vsize=26108408 memory=279736320468624 CPUtime=0 cores=0-7
/proc/20026/task/20037/stat : 20037 (java) S 20024 20024 19980 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 88904135 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733315364128 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20038] ppid=20024 vsize=26108408 memory=279736320475536 CPUtime=0 cores=0-7
/proc/20026/task/20038/stat : 20038 (java) S 20024 20024 19980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88904136 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733314311792 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20039] ppid=20024 vsize=26108408 memory=279736320416816 CPUtime=0 cores=0-7
/proc/20026/task/20039/stat : 20039 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733313260112 139735044200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20040] ppid=20024 vsize=26108408 memory=279736320489360 CPUtime=0.01 cores=0-7
/proc/20026/task/20040/stat : 20040 (java) S 20024 20024 19980 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733312206960 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20041] ppid=20024 vsize=26108408 memory=279736320496272 CPUtime=0.03 cores=0-7
/proc/20026/task/20041/stat : 20041 (java) S 20024 20024 19980 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733311154160 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20042] ppid=20024 vsize=26108408 memory=279736320493968 CPUtime=0.03 cores=0-7
/proc/20026/task/20042/stat : 20042 (java) R 20024 20024 19980 0 -1 4202560 275 0 0 0 3 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733310101872 139735037287448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20043] ppid=20024 vsize=26108408 memory=279736320510128 CPUtime=0.12 cores=0-7
/proc/20026/task/20043/stat : 20043 (java) S 20024 20024 19980 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733309049072 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20044] ppid=20024 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20026/task/20044/stat : 20044 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733307997024 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20045] ppid=20024 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20026/task/20045/stat : 20045 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88904138 26735009792 11585 33554432000 4194304 4196468 140735403667216 139733306944304 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47796 KiB
[startup+0.701066 s]
/proc/loadavg: 8.15 8.34 8.31 3/200 20045
/proc/meminfo: memFree=19943596/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26108408 memory=297532 CPUtime=1.85 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 13819 0 0 0 145 40 0 0 20 0 20 0 88904132 26735009792 74383 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6527102 74383 3319 1 0 6488315 0
[pid=20026/tid=20027] ppid=20024 vsize=26108408 memory=279736320805056 CPUtime=0.61 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) R 20024 20024 19980 0 -1 4202560 6476 0 0 0 54 7 0 0 20 0 20 0 88904133 26735009792 74383 33554432000 4194304 4196468 140735403667216 139735048420880 139735044203677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26108408 memory=5098126181531 CPUtime=0.05 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 20 0 88904133 26735009792 74383 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26108408 memory=0 CPUtime=0.05 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 54 0 0 0 1 4 0 0 20 0 20 0 88904133 26735009792 74383 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26108408 memory=0 CPUtime=0.03 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 43 0 0 0 1 2 0 0 20 0 20 0 88904133 26735009792 74383 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
################
# More data... #
################
/proc/meminfo: memFree=1726524/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26645092 memory=18341280 CPUtime=2896.85 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 1377305 0 0 0 285205 4480 0 0 20 0 28 0 88904132 27284574208 4585320 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6661273 4585320 3466 1 0 6622467 0
[pid=20026/tid=20027] ppid=20024 vsize=26645092 memory=18341280 CPUtime=157.18 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) S 20024 20024 19980 0 -1 1077944384 48107 0 0 0 15610 108 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139735048422528 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26645092 memory=18341280 CPUtime=47.77 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 127995 0 0 0 4254 523 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26645092 memory=0 CPUtime=47.52 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 89131 0 0 0 4232 520 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26645092 memory=0 CPUtime=47.82 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 103900 0 0 0 4243 539 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20031] ppid=20024 vsize=26645092 memory=85 CPUtime=47.94 cores=0-7
/proc/20026/task/20031/stat : 20031 (java) S 20024 20024 19980 0 -1 1077944384 175505 0 0 0 4262 532 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734599171088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20032] ppid=20024 vsize=26645092 memory=0 CPUtime=47.72 cores=0-7
/proc/20026/task/20032/stat : 20032 (java) S 20024 20024 19980 0 -1 1077944384 89122 0 0 0 4242 530 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734598117776 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20033] ppid=20024 vsize=26645092 memory=7589240748751479104 CPUtime=48 cores=0-7
/proc/20026/task/20033/stat : 20033 (java) S 20024 20024 19980 0 -1 1077944384 137263 0 0 0 4279 521 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734597064976 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20034] ppid=20024 vsize=26645092 memory=279736322582512 CPUtime=47.58 cores=0-7
/proc/20026/task/20034/stat : 20034 (java) S 20024 20024 19980 0 -1 1077944384 116449 0 0 0 4216 542 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734596012688 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20035] ppid=20024 vsize=26645092 memory=7666340857886765152 CPUtime=47.74 cores=0-7
/proc/20026/task/20035/stat : 20035 (java) S 20024 20024 19980 0 -1 1077944384 140423 0 0 0 4248 526 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734594959888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20036] ppid=20024 vsize=26645092 memory=4140 CPUtime=1.88 cores=0-7
/proc/20026/task/20036/stat : 20036 (java) S 20024 20024 19980 0 -1 1077944384 57702 0 0 0 178 10 0 0 20 0 28 0 88904135 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733316418160 139735044192898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20037] ppid=20024 vsize=26645092 memory=25748 CPUtime=0 cores=0-7
/proc/20026/task/20037/stat : 20037 (java) S 20024 20024 19980 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 88904135 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733315364192 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20038] ppid=20024 vsize=26645092 memory=18341280 CPUtime=0 cores=0-7
/proc/20026/task/20038/stat : 20038 (java) S 20024 20024 19980 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 28 0 88904136 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733314311808 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20039] ppid=20024 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/20026/task/20039/stat : 20039 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733313260112 139735044200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20040] ppid=20024 vsize=26645092 memory=-7003737579269690708 CPUtime=5.44 cores=0-7
/proc/20026/task/20040/stat : 20040 (java) S 20024 20024 19980 0 -1 1077944384 36123 0 0 0 538 6 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733312206960 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20041] ppid=20024 vsize=26645092 memory=4497580499151130995 CPUtime=4.91 cores=0-7
/proc/20026/task/20041/stat : 20041 (java) S 20024 20024 19980 0 -1 1077944384 23718 0 0 0 487 4 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733311154160 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20042] ppid=20024 vsize=26645092 memory=1456 CPUtime=6.5 cores=0-7
/proc/20026/task/20042/stat : 20042 (java) S 20024 20024 19980 0 -1 1077944384 39001 0 0 0 644 6 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733310101872 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20043] ppid=20024 vsize=26645092 memory=18341280 CPUtime=1.22 cores=0-7
/proc/20026/task/20043/stat : 20043 (java) S 20024 20024 19980 0 -1 1077944384 14114 0 0 0 119 3 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733309049072 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20044] ppid=20024 vsize=26645092 memory=18341280 CPUtime=0 cores=0-7
/proc/20026/task/20044/stat : 20044 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733307997024 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20045] ppid=20024 vsize=26645092 memory=1456 CPUtime=0.87 cores=0-7
/proc/20026/task/20045/stat : 20045 (java) S 20024 20024 19980 0 -1 1077944384 7188 0 0 0 38 49 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733306944304 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20078] ppid=20024 vsize=26645092 memory=18341280 CPUtime=0 cores=0-7
/proc/20026/task/20078/stat : 20078 (java) S 20024 20024 19980 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733291856000 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20079] ppid=20024 vsize=26645092 memory=4104 CPUtime=0 cores=0-7
/proc/20026/task/20079/stat : 20079 (java) S 20024 20024 19980 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733295015376 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20080] ppid=20024 vsize=26645092 memory=1796 CPUtime=0.31 cores=0-7
/proc/20026/task/20080/stat : 20080 (java) S 20024 20024 19980 0 -1 1077944384 18 0 0 0 31 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733290804048 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20081] ppid=20024 vsize=26645092 memory=912 CPUtime=0 cores=0-7
/proc/20026/task/20081/stat : 20081 (java) S 20024 20024 19980 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733296067280 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20082] ppid=20024 vsize=26645092 memory=1788 CPUtime=0 cores=0-7
/proc/20026/task/20082/stat : 20082 (java) S 20024 20024 19980 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733289751632 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20083] ppid=20024 vsize=26645092 memory=952 CPUtime=2278.83 cores=0-7
/proc/20026/task/20083/stat : 20083 (java) R 20024 20024 19980 0 -1 4202560 140087 0 0 0 227827 56 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733292903680 139734632948916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20084] ppid=20024 vsize=26645092 memory=1240 CPUtime=0 cores=0-7
/proc/20026/task/20084/stat : 20084 (java) S 20024 20024 19980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733293962576 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20085] ppid=20024 vsize=26645092 memory=1456 CPUtime=1.37 cores=0-7
/proc/20026/task/20085/stat : 20085 (java) S 20024 20024 19980 0 -1 1077944384 19 0 0 0 137 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733288699088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
Current children cumulated CPU time: 2896.85 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 18342736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.52 2/207 20142
/proc/meminfo: memFree=1726400/32770624 swapFree=67108860/67108860
[pid=20024] ppid=20021 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20024/stat : 20024 (xcsp3-exec) S 20021 20024 19980 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88904132 115843072 364 33554432000 4194304 5098028 140724547196368 140724547194472 139984791937660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14135296 140724547200054 140724547200256 140724547200256 140724547203018 0
/proc/20024/statm: 28282 364 306 221 0 87 0
[pid=20026] ppid=20024 vsize=26645092 memory=18341280 CPUtime=2914.57 cores=0-7
/proc/20026/stat : 20026 (java) S 20024 20024 19980 0 -1 1077944320 1378198 0 0 0 286976 4481 0 0 20 0 28 0 88904132 27284574208 4585320 33554432000 4194304 4196468 140735403667216 140735403649760 139735044181751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
/proc/20026/statm: 6661273 4585320 3466 1 0 6622467 0
[pid=20026/tid=20027] ppid=20024 vsize=26645092 memory=6791534058613427641 CPUtime=157.18 cores=0-7
/proc/20026/task/20027/stat : 20027 (java) S 20024 20024 19980 0 -1 1077944384 48107 0 0 0 15610 108 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139735048422528 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20028] ppid=20024 vsize=26645092 memory=-7003737579269690708 CPUtime=47.77 cores=0-7
/proc/20026/task/20028/stat : 20028 (java) S 20024 20024 19980 0 -1 1077944384 127995 0 0 0 4254 523 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734951742352 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20029] ppid=20024 vsize=26645092 memory=7392 CPUtime=47.52 cores=0-7
/proc/20026/task/20029/stat : 20029 (java) S 20024 20024 19980 0 -1 1077944384 89131 0 0 0 4232 520 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734950689552 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20030] ppid=20024 vsize=26645092 memory=840 CPUtime=47.82 cores=0-7
/proc/20026/task/20030/stat : 20030 (java) S 20024 20024 19980 0 -1 1077944384 103900 0 0 0 4243 539 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734600223888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20031] ppid=20024 vsize=26645092 memory=4104 CPUtime=47.94 cores=0-7
/proc/20026/task/20031/stat : 20031 (java) S 20024 20024 19980 0 -1 1077944384 175505 0 0 0 4262 532 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734599171088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20032] ppid=20024 vsize=26645092 memory=1796 CPUtime=47.72 cores=0-7
/proc/20026/task/20032/stat : 20032 (java) S 20024 20024 19980 0 -1 1077944384 89122 0 0 0 4242 530 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734598117776 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20033] ppid=20024 vsize=26645092 memory=912 CPUtime=48 cores=0-7
/proc/20026/task/20033/stat : 20033 (java) S 20024 20024 19980 0 -1 1077944384 137263 0 0 0 4279 521 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734597064976 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20034] ppid=20024 vsize=26645092 memory=3912 CPUtime=47.58 cores=0-7
/proc/20026/task/20034/stat : 20034 (java) S 20024 20024 19980 0 -1 1077944384 116449 0 0 0 4216 542 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734596012688 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20035] ppid=20024 vsize=26645092 memory=4104 CPUtime=47.74 cores=0-7
/proc/20026/task/20035/stat : 20035 (java) S 20024 20024 19980 0 -1 1077944384 140423 0 0 0 4248 526 0 0 20 0 28 0 88904133 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139734594959888 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20036] ppid=20024 vsize=26645092 memory=1796 CPUtime=1.88 cores=0-7
/proc/20026/task/20036/stat : 20036 (java) S 20024 20024 19980 0 -1 1077944384 57710 0 0 0 178 10 0 0 20 0 28 0 88904135 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733316418160 139735044192898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20037] ppid=20024 vsize=26645092 memory=912 CPUtime=0 cores=0-7
/proc/20026/task/20037/stat : 20037 (java) S 20024 20024 19980 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 88904135 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733315364192 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20038] ppid=20024 vsize=26645092 memory=3912 CPUtime=0 cores=0-7
/proc/20026/task/20038/stat : 20038 (java) S 20024 20024 19980 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 28 0 88904136 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733314311808 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20039] ppid=20024 vsize=26645092 memory=1408 CPUtime=0 cores=0-7
/proc/20026/task/20039/stat : 20039 (java) S 20024 20024 19980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733313260112 139735044200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20040] ppid=20024 vsize=26645092 memory=3892 CPUtime=5.44 cores=0-7
/proc/20026/task/20040/stat : 20040 (java) S 20024 20024 19980 0 -1 1077944384 36135 0 0 0 538 6 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733312206960 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20041] ppid=20024 vsize=26645092 memory=1456 CPUtime=4.91 cores=0-7
/proc/20026/task/20041/stat : 20041 (java) S 20024 20024 19980 0 -1 1077944384 23721 0 0 0 487 4 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733311154160 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20042] ppid=20024 vsize=26645092 memory=18341280 CPUtime=6.5 cores=0-7
/proc/20026/task/20042/stat : 20042 (java) S 20024 20024 19980 0 -1 1077944384 39007 0 0 0 644 6 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733310101872 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20043] ppid=20024 vsize=26645092 memory=4104 CPUtime=1.22 cores=0-7
/proc/20026/task/20043/stat : 20043 (java) S 20024 20024 19980 0 -1 1077944384 14117 0 0 0 119 3 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733309049072 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20044] ppid=20024 vsize=26645092 memory=1796 CPUtime=0 cores=0-7
/proc/20026/task/20044/stat : 20044 (java) S 20024 20024 19980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733307997024 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20045] ppid=20024 vsize=26645092 memory=4140 CPUtime=0.87 cores=0-7
/proc/20026/task/20045/stat : 20045 (java) S 20024 20024 19980 0 -1 1077944384 7227 0 0 0 38 49 0 0 20 0 28 0 88904138 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733306944304 139735044192898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20078] ppid=20024 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/20026/task/20078/stat : 20078 (java) S 20024 20024 19980 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733291856000 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20079] ppid=20024 vsize=26645092 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/20026/task/20079/stat : 20079 (java) S 20024 20024 19980 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733295015376 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20080] ppid=20024 vsize=26645092 memory=14135545664113376 CPUtime=0.31 cores=0-7
/proc/20026/task/20080/stat : 20080 (java) S 20024 20024 19980 0 -1 1077944384 18 0 0 0 31 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733290804048 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20081] ppid=20024 vsize=26645092 memory=1228 CPUtime=0 cores=0-7
/proc/20026/task/20081/stat : 20081 (java) S 20024 20024 19980 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733296067280 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20082] ppid=20024 vsize=26645092 memory=1428 CPUtime=0 cores=0-7
/proc/20026/task/20082/stat : 20082 (java) S 20024 20024 19980 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733289751632 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20083] ppid=20024 vsize=26645092 memory=1196 CPUtime=2296.54 cores=0-7
/proc/20026/task/20083/stat : 20083 (java) R 20024 20024 19980 0 -1 4202560 140909 0 0 0 229597 57 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733292903680 139734632949766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20084] ppid=20024 vsize=26645092 memory=5788 CPUtime=0 cores=0-7
/proc/20026/task/20084/stat : 20084 (java) S 20024 20024 19980 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733293962576 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
[pid=20026/tid=20085] ppid=20024 vsize=26645092 memory=4616 CPUtime=1.37 cores=0-7
/proc/20026/task/20085/stat : 20085 (java) S 20024 20024 19980 0 -1 1077944384 19 0 0 0 137 0 0 0 20 0 28 0 88926470 27284574208 4585320 33554432000 4194304 4196468 140735403667216 139733288699088 139735044191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27709440 140735403672705 140735403672877 140735403672877 140735403675599 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 18342736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 20024 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001135 s, system=0.001135 s
[startup+2520.14 s]
# the end of solver process 20026 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2869.78 s, system=44.9383 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.12 s]*
/proc/loadavg: 1.00 1.01 1.52 2/180 20144
/proc/meminfo: memFree=16753760/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00227 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.14
CPU time (s): 2914.72
CPU user time (s): 2869.78
CPU system time (s): 44.9383
CPU usage (%): 115.657
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 18348504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2869.78
system time used= 44.9383
maximum resident set size= 18347048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1380256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75859
involuntary context switches= 11322
# summary of solver processes directly reported to runsolver:
# pid: 20024,20026
# total CPU time (s): 2914.72
# total CPU user time (s): 2869.78
# total CPU system time (s): 44.9383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5326 second user time and 26.1704 second system time
The end
Begin job on node103 at 2018-07-27 19:43:29 IDJOB=4297934 IDBENCH=141268 IDSOLVER=2760 FILE ID=node103/4297934-1532713409 RUNJOBID= node103-1532713409-20007 PBS_JOBID= 21022320 Free space on /tmp= 56392 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297934-1532713409/watcher-4297934-1532713409 -o /tmp/evaluation-result-4297934-1532713409/solver-4297934-1532713409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532713409-20007 --watchdog 2580 HOME/xcsp3-exec -seed 869895310 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297934-1532713409.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=869895310 node103.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.48 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.48 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.48 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.48 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: 20085272 kB MemAvailable: 31929604 kB Buffers: 297352 kB Cached: 11728920 kB SwapCached: 0 kB Active: 4064232 kB Inactive: 8015252 kB Active(anon): 55660 kB Inactive(anon): 25184 kB Active(file): 4008572 kB Inactive(file): 7990068 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 169464 kB Writeback: 0 kB AnonPages: 59756 kB Mapped: 42216 kB Shmem: 25228 kB Slab: 301480 kB SReclaimable: 274152 kB SUnreclaim: 27328 kB KernelStack: 3232 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56372 MiB End job on node103 at 2018-07-27 20:25:30