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.7 seq (493a269) | SAT (TO) | 449431801 | 2400.12 | 2374.15 |
| 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 | 164004631 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| 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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292766-1532331046.xml" -tl '2400s' -p 1 -x 0 0.14/0.18 c Choco 493a269 0.14/0.18 c [HOME/instance-4292766-1532331046.xml, -tl, 2400s, -p, 1, -x, 0] 0.34/0.22 c simple solver 0.34/0.29 c parse instance... 42.79/25.32 c solve instance... 2255.11/2230.61 o 449431803 2255.69/2230.83 o 449431801 2400.06/2374.11 s SATISFIABLE 2400.06/2374.11 v <instantiation> 2400.06/2374.11 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> 2400.06/2374.11 v <values>2364 2808 2636 2324 2876 2848 2844 2312 2220 2556 2260 2416 2576 2816 2504 2768 2696 2876 2916 2376 2356 2440 2604 2384 2364 2684 2916 2260 2800 2460 2688 2476 2792 2248 2604 2868 2592 2292 2704 2908 2736 2704 2260 2916 2516 2584 2716 2728 2728 2444 2364 2288 2640 2680 2840 2532 2916 2568 2888 2312 2280 2500 2884 2912 2820 2672 2484 2272 2652 2916 2864 2732 2460 2684 2576 2792 2604 2756 2884 2260 2740 2260 2876 2680 2332 2328 2776 2284 2500 2904 2832 2828 2728 2692 2516 2376 2348 2320 2384 2580 2380 2684 2544 2296 2672 2500 2632 2828 2832 2540 2704 2432 2268 2592 2316 2372 2320 2344 2724 2436 2472 2432 2536 2420 2644 2480 2556 2268 2836 2232 2620 2812 2224 2244 2348 2652 2376 2796 2280 2844 2564 2716 2876 2868 2816 2512 2916 2748 2804 2612 2596 2552 2816 2388 2648 2800 2308 2220 2220 2220 2664 2784 2776 2852 2812 2260 2284 2616 2868 2312 2832 2856 2392 2308 2844 2228 2392 2876 2696 2812 2572 2288 2404 2872 2876 2420 2704 2260 2660 2768 2564 2340 2536 2452 2376 2624 2404 2736 2444 2372 2540 2648 2828 2428 2676 2652 2724 2852 2432 2484 2420 2836 2404 2796 2300 2432 2820 2508 2492 2472 2712 2756 2872 2768 2348 2408 2444 2324 2220 2344 2520 2252 2384 2776 2372 2832 2740 2392 2788 2744 2564 2460 2460 2288 2324 2288 2272 2260 2632 2824 2840 2848 2672 2424 2460 2336 2412 2220 2284 2916 2352 2324 2328 2308 2416 2772 2828 2232 2876 2880 2244 2284 2448 2420 2272 2232 2260 2888 2772 2652 2840 2876 2692 2788 2792 2776 2504 2712 2756 2220 2240 2832 2548 2636 2228 2504 2780 2872 2700 2552 2700 2640 2796 2828 2776 2308 2416 2816 2328 2612 2836 2284 2324 2576 2220 2336 2280 2464 2272 2812 2416 2868 2260 2780 2768 2372 2592 2444 2852 2232 2472 2688 2544 2836 2736 2412 2792 2752 2724 2268 2500 2476 2792 2800 2412 2564 2852 2736 2292 2528 2324 2264 2688 2540 2780 2272 2808 2684 2664 2844 2364 2412 2800 2388 2280 2348 2692 2480 2432 2804 2740 2836 2732 2220 2320 2876 2288 2840 2912 2664 2492 2868 2840 2300 2376 2220 2716 2416 2752 2260 2552 2584 2328 2544 2676 2604 2272 2676 2876 2376 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 1 0 0 0 0 1 3 0 0 0 0 0 1 10 1 0 0 0 0 0 0 0 10 0 7 0 0 0 0 0 0 10 0 0 0 0 0 0 0 8 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 7 4 0 10 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 8 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 3 0 4 0 1 1 0 8 7 1 0 0 0 1 6 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 1 9 0 0 6 1 10 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 6 0 10 0 0 0 0 0 0 0 1 10 0 7 0 0 6 0 10 0 1 1 0 0 0 1 1 0 0 10 0 0 0 0 1 0 0 2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 5 0 0 0 0 1 0 0 0 0 0 6 0 4 0 0 0 0 0 0 0 9 0 1 0 8 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 9 0 1 3 5 0 0 0 1 0 0 0 0 9 0 0 0 0 5 0 0 4 0 0 9 0 1 0 0 0 0 0 0 0 3 1 0 5 0 0 1 0 3 0 0 3 0 0 0 0 0 4 0 6 0 10 0 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 7 0 0 0 4 0 3 0 0 2 1 0 5 0 0 0 0 0 1 0 1 0 0 0 0 0 0 8 1 0 0 5 0 0 10 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 3 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 4 1 0 0 4 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 0 0 0 0 2 0 0 1 1 0 0 0 0 0 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 1 0 1 0 1 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 4 0 1 0 7 0 0 0 1 0 0 0 0 3 0 1 0 0 0 0 0 0 8 0 0 6 0 10 0 0 0 0 1 7 7 8 0 0 0 0 0 0 0 1 0 0 0 0 0 1 5 0 1 0 0 0 0 0 0 0 0 1 6 0 0 0 0 5 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 6 0 0 0 0 0 1 0 0 0 7 4 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 1 0 10 6 4 0 0 7 10 1 0 0 0 0 0 0 0 7 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 8 0 6 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 10 0 0 0 1 0 0 10 9 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 8 0 0 0 0 0 10 4 0 9 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 10 0 0 0 0 2 0 1 0 0 0 0 3 0 0 0 1 0 0 0 10 0 0 0 6 1 0 0 0 0 10 0 0 0 1 0 0 1 4 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 1 8 0 10 0 0 0 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 2 2 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 9 0 0 4 0 0 0 0 0 3 0 10 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 10 0 0 0 10 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 5 0 0 0 0 3 1 7 0 0 0 0 0 0 0 5 7 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 1 1 9 1 1 0 0 9 6 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 5 0 6 0 0 0 0 0 0 0 0 0 0 1 1 0 8 0 0 0 0 0 0 0 0 0 6 0 0 6 0 0 0 0 1 0 0 7 0 0 0 0 0 0 0 0 0 4 0 0 1 0 8 0 0 0 0 8 0 0 0 1 0 0 0 0 0 10 0 2 0 0 5 0 0 0 0 1 0 1 0 0 0 10 0 1 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 8 3 0 0 0 0 0 0 1 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 3 1 1 9 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 4 0 1 5 0 10 1 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 10 0 0 0 0 4 0 0 0 0 0 0 4 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 7 6 0 0 0 0 0 0 1 0 10 0 0 0 0 0 1 6 8 0 1 0 0 0 0 4 4 8 0 0 0 0 0 0 1 0 9 0 0 0 5 1 0 0 0 0 0 0 0 0 0 5 4 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 4 0 0 0 0 0 4 0 1 0 5 6 0 0 10 0 1 0 10 0 0 0 0 0 0 8 0 0 1 1 0 0 10 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 8 1 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 8 4 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 5 0 0 0 0 0 0 0 1 0 0 0 0 5 2 0 1 0 0 0 0 0 0 8 0 0 0 9 7 1 2 0 0 8 4 0 0 0 0 10 1 1 1 0 0 0 3 0 0 0 0 9 0 0 10 0 0 0 9 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 1 1 1 4 0 0 0 1 0 1 7 0 7 1 0 5 0 0 0 3 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 9 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 7 5 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 5 0 0 10 1 0 8 0 0 6 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 10 1 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 3 10 0 0 1 0 0 0 0 0 0 0 0 0 1 7 0 0 10 0 6 1 0 0 10 0 0 0 0 0 0 10 1 0 0 0 0 10 9 0 0 0 0 0 0 1 0 0 0 0 52 76 544 464 116 96 440 508 52 80 488 164 40 92 68 108 548 96 176 376 112 236 72 460 108 116 240 192 240 200 236 264 376 392 156 64 404 312 588 280 404 56 56 488 300 328 496 148 464 312 44 428 272 40 400 140 556 244 568 64 224 460 548 588 560 588 268 348 404 76 156 116 52 532 96 68 272 132 424 132 52 280 552 372 44 492 560 108 96 72 72 596 240 160 320 596 172 200 212 612 480 100 208 360 40 248 320 256 64 52 212 144 84 480 536 284 24 404 264 176 128 92 28 144 120 296 356 128 224 96 544 432 48 80 356 60 60 116 72 272 176 348 180 12 44 500 148 88 120 68 480 80 36 36 496 92 216 8 276 36 72 140 48 424 388 456 156 196 32 76 40 292 236 608 556 200 164 552 120 324 340 632 436 100 608 292 616 180 228 276 304 44 56 540 420 132 260 436 376 476 40 528 368 48 76 96 44 60 404 100 8 328 20 192 220 72 188 172 152 248 268 352 276 320 168 232 124 76 532 112 520 444 236 412 104 428 100 312 124 252 292 116 552 512 392 460 60 416 360 532 480 264 80 352 628 148 504 200 476 200 432 552 16 512 216 64 128 472 468 220 36 516 380 296 72 8 368 472 16 188 116 140 352 112 136 84 72 232 256 196 428 88 148 428 16 152 216 360 112 468 368 216 428 156 156 248 168 84 44 88 28 68 216 116 100 124 532 388 80 376 48 512 560 524 320 252 172 524 60 604 44 312 104 284 8 72 184 312 296 224 164 248 188 176 324 152 68 448 568 76 100 304 284 208 268 72 196 248 280 312 32 128 304 32 32 300 576 424 384 584 12 388 40 168 32 484 52 68 444 164 576 524 428 532 40 516 480 536 620 496 404 224 484 464 412 516 400 476 212 64 204 436 480 396 92 332 412 132 104 308 276 352 508 64 68 612 380 172 652 644 568 596 104 632 564 224 240 232 272 136 208 340 112 336 252 184 284 168 360 272 48 296 172 364 300 300 196 156 312 184 332 372 164 68 376 24 456 60 136 436 40 56 256 84 216 428 380 392 116 132 432 332 224 200 80 200 448 76 512 312 92 12 596 96 84 580 588 156 232 84 536 564 248 316 72 412 252 380 392 260 140 156 448 260 92 108 264 276 124 76 612 104 300 180 256 248 252 648 40 656 644 312 112 136 224 284 128 116 240 188 304 208 200 156 196 60 184 484 176 144 604 580 616 648 388 224 232 412 108 172 12 60 584 60 572 192 488 392 144 596 420 332 48 456 472 376 124 176 116 108 84 236 52 452 236 144 460 592 536 564 208 100 564 60 252 168 140 412 108 308 208 8 248 256 280 404 48 56 32 600 28 80 52 324 136 120 32 324 400 300 328 24 148 292 360 204 264 108 632 360 284 12 600 368 272 160 220 116 148 116 232 380 84 484 168 696 28 100 376 240 532 212 488 644 12 452 52 28 12 144 188 104 136 96 432 64 104 80 40 40 232 264 356 168 152 120 120 308 200 256 344 252 164 356 264 176 200 372 24 80 420 520 48 20 12 76 48 272 40 228 52 212 264 200 196 40 176 132 148 404 20 284 496 428 160 480 224 160 452 172 184 32 132 208 372 552 24 40 284 548 480 108 88 420 24 128 168 184 28 456 148 608 652 616 48 412 152 200 156 304 120 16 372 152 96 460 204 504 220 520 160 80 264 16 228 68 524 496 372 508 516 60 104 512 236 220 224 556 228 56 440 532 308 160 516 300 320 92 404 332 80 56 108 4 280 220 28 232 164 340 240 124 272 556 240 620 360 216 64 488 20 480 368 540 544 396 456 520 192 48 384 308 420 188 112 488 316 12 112 316 104 20 52 420 136 320 192 248 360 180 160 216 168 244 272 288 60 348 180 156 148 88 84 44 440 236 56 48 508 524 356 304 408 68 244 96 64 192 76 36 476 224 372 212 76 444 164 308 80 16 360 196 152 240 252 256 252 160 356 8 184 68 160 448 92 296 384 188 360 268 296 192 268 220 132 124 288 40 68 224 144 180 156 264 480 108 148 152 344 80 132 452 56 220 180 264 420 384 440 160 336 108 52 200 200 64 308 360 88 284 60 368 88 336 488 484 20 560 548 420 400 532 164 272 136 256 296 328 44 40 292 396 484 240 132 204 368 436 408 44 160 368 300 480 352 576 620 336 360 124 276 172 268 308 284 144 40 64 476 384 340 328 180 24 84 232 532 88 380 292 484 36 60 128 328 484 340 524 32 120 160 388 52 148 128 212 208 92 216 440 360 252 316 364 216 280 176 116 348 60 240 316 32 264 12 88 172 324 212 160 160 404 16 160 20 276 36 160 44 188 164 88 240 256 340 408 348 428 264 56 312 132 200 320 108 316 288 144 60 108 88 232 196 260 92 336 280 188 204 328 296 80 528 48 588 296 608 512 408 604 132 512 508 40 392 44 188 540 548 248 236 112 228 32 340 356 256 56 28 20 172 44 56 588 632 236 100 304 100 576 524 276 428 672 260 172 80 624 492 76 300 56 56 480 64 316 68 488 48 128 432 192 228 264 136 324 420 84 240 96 28 496 264 216 464 536 80 292 576 4 528 296 60 316 28 172 124 372 608 40 44 488 572 512 96 24 504 192 132 560 52 432 168 272 308 240 292 312 60 80 344 528 464 4 404 376 512 556 324 84 208 408 92 180 580 204 32 120 44 556 524 492 336 140 140 280 192 100 696 524 608 344 484 632 528 436 460 412 424 8 284 256 192 156 24 460 28 16 524 504 60 340 160 228 288 276 112 48 60 192 200 232 164 280 328 220 280 216 88 176 556 408 356 464 60 452 20 140 468 100 272 56 4 284 440 28 448 88 92 44 72 44 388 112 124 528 36 488 472 164 104 408 68 656 68 472 260 520 200 232 204 696 12 516 656 364 104 656 192 156 216 380 216 444 132 384 396 252 68 392 132 364 464 384 256 492 76 60 508 64 400 516 592 404 216 352 300 528 116 592 352 368 20 120 112 132 292 204 12 284 252 596 40 408 176 164 140 236 224 24 460 616 96 76 156 144 28 28 336 72 388 524 264 280 132 80 440 120 416 420 32 92 636 168 64 584 16 60 444 476 284 484 220 432 48 296 584 360 372 68 88 64 156 572 480 564 448 448 36 88 36 460 644 428 96 504 76 248 280 224 88 76 112 36 592 488 492 320 56 52 76 164 256 236 196 268 196 88 116 60 136 160 520 264 160 132 384 352 468 432 116 24 220 36 592 612 460 188 500 48 468 484 592 632 616 224 548 40 120 348 252 496 316 456 472 164 340 576 36 440 160 380 4 76 356 220 132 156 112 288 224 268 252 124 88 348 436 32 76 8 164 228 340 228 276 8 128 168 304 424 92 44 264 12 428 180 316 144 80 260 408 28 52 412 320 140 100 44 76 64 44 24 324 72 172 224 248 256 120 132 268 268 108 180 156 192 64 52 96 376 384 408 88 528 284 224 368 140 156 344 364 384 196 328 232 148 112 64 236 160 228 184 128 188 424 252 312 192 52 88 120 152 420 84 600 180 348 40 620 112 88 400 196 160 120 336 112 368 44 492 316 372 536 40 116 52 436 132 260 292 16 472 28 44 364 88 356 180 160 476 256 144 124 340 144 132 228 248 96 228 32 180 32 380 316 272 240 444 240 168 356 200 340 168 124 408 96 40 92 288 496 344 264 528 432 536 24 36 392 564 84 380 172 240 232 348 64 448 456 104 452 560 648 580 80 100 392 60 300 256 76 592 96 120 392 408 56 536 548 312 300 100 428 372 572 60 56 496 572 80 92 60 384 248 444 272 92 16 88 48 460 524 504 196 168 328 372 80 144 240 300 124 236 176 168 380 332 136 132 48 240 32 552 512 68 504 280 64 572 68 240 544 372 20 176 332 28 360 244 184 36 32 44 428 176 36 436 588 112 248 400 204 492 356 48 228 152 192 72 92 496 128 76 140 656 556 632 548 44 528 516 412 684 180 40 480 504 288 444 120 476 220 488 336 88 240 192 356 156 320 324 16 408 552 96 116 276 520 560 60 144 548 40 604 500 104 556 600 12 28 148 164 456 456 392 320 104 192 256 428 64 536 272 180 492 576 68 144 536 404 20 508 124 372 216 392 152 84 104 48 476 512 464 68 72 56 464 368 152 28 380 520 380 136 504 276 108 232 304 484 80 36 616 648 352 260 424 240 172 216 344 216 488 276 296 160 80 316 416 24 36 328 208 280 284 316 108 92 332 28 140 352 320 4 304 420 596 40 16 344 400 40 532 244 184 128 36 276 544 328 344 292 96 408 196 456 160 12 116 464 260 324 20 132 68 524 136 272 140 200 20 528 480 464 96 144 16 156 152 476 280 68 500 36 80 320 368 292 324 204 176 36 272 488 632 504 132 104 44 148 44 76 536 616 160 176 24 84 52 128 116 128 60 116 376 100 76 324 84 120 60 100 372 208 340 16 64 452 68 156 424 252 140 128 512 112 92 12 520 492 76 276 184 324 212 36 476 76 136 512 188 324 548 164 640 116 244 576 444 148 280 </values> 2400.06/2374.12 v </instantiation> 2400.06/2374.12 c Unexpected resolution interruption!
OK 449431801
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 (12130 MiB free)
memory of node 1: 16384 MiB (13612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292766-1532331046/watcher-4292766-1532331046 -o /tmp/evaluation-result-4292766-1532331046/solver-4292766-1532331046 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 1333952653 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292766-1532331046.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14724, runsolver pid=14721
[startup+0.107163 s]*
/proc/loadavg: 1.71 1.78 1.75 3/222 14740
/proc/meminfo: memFree=26342592/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14082840 memory=29184 CPUtime=0.14 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 5682 0 0 0 13 1 0 0 20 0 15 0 50667845 14420828160 7296 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3520710 7296 3002 1 0 3483008 0
[pid=14726/tid=14727] ppid=14724 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 3608 0 0 0 9 0 0 0 20 0 15 0 50667846 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456585305824 140456573311806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456054175008 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456053122672 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) R 14724 14724 14382 0 -1 4202560 316 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456051017840 140456564486880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) R 14724 14724 14382 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0.02 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) R 14724 14724 14382 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456048912752 140456581088552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 7296 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30636 KiB
[startup+0.211522 s]*
/proc/loadavg: 1.71 1.78 1.75 3/222 14740
/proc/meminfo: memFree=26290648/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14082840 memory=40852 CPUtime=0.34 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 8241 0 0 0 32 2 0 0 20 0 15 0 50667845 14420828160 10213 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3520710 10213 3178 1 0 3483008 0
[pid=14726/tid=14727] ppid=14724 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 5366 0 0 0 18 1 0 0 20 0 15 0 50667846 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456585308384 140456559519470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14082840 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14082840 memory=140441126211677 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667847 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456054175008 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667848 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456053122672 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14382 0 -1 1077944384 626 0 0 0 3 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456051017840 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14082840 memory=140441126196864 CPUtime=0.07 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) R 14724 14724 14382 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456048912752 140456565155166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667851 14420828160 10213 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42304 KiB
[startup+0.310866 s]*
/proc/loadavg: 1.71 1.78 1.75 4/222 14740
/proc/meminfo: memFree=26279896/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14087096 memory=47300 CPUtime=0.51 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 8996 0 0 0 48 3 0 0 20 0 15 0 50667845 14425186304 11825 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3521774 11825 3236 1 0 3483008 0
[pid=14726/tid=14727] ppid=14724 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 5944 0 0 0 27 2 0 0 20 0 15 0 50667846 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456585305792 140456573752693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667847 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14087096 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667847 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456054175008 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456053122672 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14087096 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14087096 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) R 14724 14724 14382 0 -1 4202560 673 0 0 0 4 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456051017840 140456564560629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) R 14724 14724 14382 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456049954960 140456581084885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) R 14724 14724 14382 0 -1 4202560 880 0 0 0 12 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456048912752 140456559621983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 11825 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48752 KiB
[startup+0.701587 s]
/proc/loadavg: 1.71 1.78 1.75 4/222 14740
/proc/meminfo: memFree=26189968/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14087096 memory=291980 CPUtime=1.61 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 12117 0 0 0 136 25 0 0 20 0 15 0 50667845 14425186304 72995 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3521774 72995 3309 1 0 3483008 0
[pid=14726/tid=14727] ppid=14724 vsize=14087096 memory=33 CPUtime=0.6 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 6292 0 0 0 52 8 0 0 20 0 15 0 50667846 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456585313808 140456581096605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14087096 memory=-7816663703405220396 CPUtime=0.06 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 60 0 0 0 3 3 0 0 20 0 15 0 50667847 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14087096 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 50667847 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14087096 memory=16688 CPUtime=0.06 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 50667847 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14087096 memory=2396 CPUtime=0.06 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 70 0 0 0 2 4 0 0 20 0 15 0 50667847 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14087096 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14087096 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456054175008 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14087096 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50667848 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456053122672 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14087096 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14087096 memory=796 CPUtime=0.28 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) R 14724 14724 14382 0 -1 4202560 1825 0 0 0 28 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456050998856 140456564560629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14087096 memory=4616 CPUtime=0.25 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 1067 0 0 0 25 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14087096 memory=1424 CPUtime=0.19 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14382 0 -1 1077944384 1300 0 0 0 19 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456048912752 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14087096 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14087096 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667851 14425186304 72995 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 293432 KiB
[startup+1.50081 s]
/proc/loadavg: 1.71 1.78 1.75 4/222 14740
/proc/meminfo: memFree=25828528/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456053122688 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14091268 memory=4924796 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14091268 memory=4924796 CPUtime=5.33 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14382 0 -1 1077944384 45113 0 0 0 528 5 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456051017840 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14091268 memory=0 CPUtime=4.38 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 39864 0 0 0 434 4 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14091268 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14382 0 -1 1077944384 22507 0 0 0 111 3 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456048912752 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14091268 memory=4924796 CPUtime=1.15 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 2961 0 0 0 55 60 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 2287.93 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4926248 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/220 14833
/proc/meminfo: memFree=18329872/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14091268 memory=4924796 CPUtime=2347.96 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 347028 0 0 0 234390 406 0 0 20 0 15 0 50667845 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3522817 1231199 3414 1 0 3484032 0
[pid=14726/tid=14727] ppid=14724 vsize=14091268 memory=4924796 CPUtime=2317.47 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 167305 0 0 0 231694 53 0 0 20 0 15 0 50667846 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456585310368 140456194045876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14091268 memory=4924796 CPUtime=4.52 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 13932 0 0 0 385 67 0 0 20 0 15 0 50667847 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14091268 memory=4924796 CPUtime=4.55 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 13340 0 0 0 382 73 0 0 20 0 15 0 50667847 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14091268 memory=4924796 CPUtime=4.56 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 13423 0 0 0 387 69 0 0 20 0 15 0 50667847 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14091268 memory=1452 CPUtime=4.53 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 14304 0 0 0 381 72 0 0 20 0 15 0 50667847 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14091268 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 12868 0 0 0 20 3 0 0 20 0 15 0 50667848 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14091268 memory=4924796 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456054175072 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456053122688 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14091268 memory=4924796 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14091268 memory=1452 CPUtime=5.33 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14382 0 -1 1077944384 45117 0 0 0 528 5 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456051017840 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14091268 memory=4924796 CPUtime=4.38 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 39866 0 0 0 434 4 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14091268 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14382 0 -1 1077944384 22521 0 0 0 111 3 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456048912752 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14091268 memory=4096 CPUtime=1.18 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 3001 0 0 0 57 61 0 0 20 0 15 0 50667851 14429458432 1231199 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 2347.96 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4926248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2374.11 s]
/proc/loadavg: 2.00 2.03 2.00 3/223 14844
/proc/meminfo: memFree=18329932/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14091268 memory=4924988 CPUtime=2400.06 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 356363 0 0 0 239598 408 0 0 20 0 15 0 50667845 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3522817 1231247 3414 1 0 3484032 0
[pid=14726/tid=14727] ppid=14724 vsize=14091268 memory=4924988 CPUtime=2369.28 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 170445 0 0 0 236875 53 0 0 20 0 15 0 50667846 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456585310928 140456194257184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.52 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 13932 0 0 0 385 67 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.55 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 13340 0 0 0 382 73 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.56 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 13423 0 0 0 387 69 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14091268 memory=1452 CPUtime=4.53 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 14304 0 0 0 381 72 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0.23 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 12946 0 0 0 20 3 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456054175072 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456053122688 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14091268 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14091268 memory=1948 CPUtime=5.37 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14382 0 -1 1077944384 46846 0 0 0 532 5 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456051017840 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.58 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 43604 0 0 0 454 4 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14091268 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14382 0 -1 1077944384 23114 0 0 0 111 3 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456048912752 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14091268 memory=2396 CPUtime=1.21 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 3058 0 0 0 58 63 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4926440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2374.12 s]
# the end of solver process 14724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002252 s, system=0 s
[startup+2374.15 s]
# the end of solver process 14726 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396 s, system=4.11867 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+2374.11 s]
/proc/loadavg: 2.00 2.03 2.00 3/223 14844
/proc/meminfo: memFree=18329932/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667845 115843072 363 33554432000 4194304 5098028 140722239349120 140722239347224 140488200864380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38195200 140722239358010 140722239358212 140722239358212 140722239360970 0
/proc/14724/statm: 28282 363 305 221 0 87 0
[pid=14726] ppid=14724 vsize=14091268 memory=4924988 CPUtime=2400.06 cores=1,3,5,7
/proc/14726/stat : 14726 (java) S 14724 14724 14382 0 -1 1077944320 356363 0 0 0 239598 408 0 0 20 0 15 0 50667845 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140725564356752 140456581074679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
/proc/14726/statm: 3522817 1231247 3414 1 0 3484032 0
[pid=14726/tid=14727] ppid=14724 vsize=14091268 memory=4924988 CPUtime=2369.28 cores=1,3,5,7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14382 0 -1 4202560 170445 0 0 0 236875 53 0 0 20 0 15 0 50667846 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456585310928 140456194257184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14728] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.52 cores=1,3,5,7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14382 0 -1 1077944384 13932 0 0 0 385 67 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456511162768 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14729] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.55 cores=1,3,5,7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14382 0 -1 1077944384 13340 0 0 0 382 73 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456510109968 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14730] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.56 cores=1,3,5,7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14382 0 -1 1077944384 13423 0 0 0 387 69 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456509057680 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14731] ppid=14724 vsize=14091268 memory=1452 CPUtime=4.53 cores=1,3,5,7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14382 0 -1 1077944384 14304 0 0 0 381 72 0 0 20 0 15 0 50667847 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456508004880 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14732] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0.23 cores=1,3,5,7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14382 0 -1 1077944384 12946 0 0 0 20 3 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456055229040 140456581085826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14733] ppid=14724 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456054175072 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14734] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14382 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 50667848 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456053122688 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14735] ppid=14724 vsize=14091268 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456052070992 140456581093275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14736] ppid=14724 vsize=14091268 memory=1948 CPUtime=5.37 cores=1,3,5,7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14382 0 -1 1077944384 46846 0 0 0 532 5 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456051017840 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14737] ppid=14724 vsize=14091268 memory=4924988 CPUtime=4.58 cores=1,3,5,7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14382 0 -1 1077944384 43604 0 0 0 454 4 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456049965040 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14738] ppid=14724 vsize=14091268 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14382 0 -1 1077944384 23114 0 0 0 111 3 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456048912752 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14739] ppid=14724 vsize=14091268 memory=4924988 CPUtime=0 cores=1,3,5,7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456047860192 140456581084885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
[pid=14726/tid=14740] ppid=14724 vsize=14091268 memory=2396 CPUtime=1.21 cores=1,3,5,7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14382 0 -1 1077944384 3058 0 0 0 58 63 0 0 20 0 15 0 50667851 14429458432 1231247 33554432000 4194304 4196468 140725564374208 140456046807984 140456581085826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23801856 140725564380289 140725564380465 140725564380465 140725564383183 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4926440 KiB
Child status: 143
Real time (s): 2374.15
CPU time (s): 2400.12
CPU user time (s): 2396
CPU system time (s): 4.11867
CPU usage (%): 101.094
Max. virtual memory (cumulated for all children) (KiB): 14206236
Max. memory (cumulated for all children) (KiB): 4934140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396
system time used= 4.11867
maximum resident set size= 4932688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56579
involuntary context switches= 896
# summary of solver processes directly reported to runsolver:
# pid: 14724,14726
# total CPU time (s): 2400.12
# total CPU user time (s): 2396
# total CPU system time (s): 4.11867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6203 second user time and 23.9566 second system time
The end
Begin job on node134 at 2018-07-23 09:30:46 IDJOB=4292766 IDBENCH=141268 IDSOLVER=2747 FILE ID=node134/4292766-1532331046 RUNJOBID= node134-1532328652-14414 PBS_JOBID= 21018997 Free space on /tmp= 55736 MiB SOLVER NAME= Choco-solver 4.0.7 seq (493a269) BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292766-1532331046/watcher-4292766-1532331046 -o /tmp/evaluation-result-4292766-1532331046/solver-4292766-1532331046 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 1333952653 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292766-1532331046.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=1333952653 node134.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.68 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.68 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.68 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.68 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: 26361084 kB MemAvailable: 31115784 kB Buffers: 185944 kB Cached: 4831868 kB SwapCached: 0 kB Active: 2534472 kB Inactive: 3400504 kB Active(anon): 866508 kB Inactive(anon): 70304 kB Active(file): 1667964 kB Inactive(file): 3330200 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 284924 kB Writeback: 0 kB AnonPages: 832396 kB Mapped: 49296 kB Shmem: 17056 kB Slab: 173088 kB SReclaimable: 144744 kB SUnreclaim: 28344 kB KernelStack: 3584 kB PageTables: 6820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2419392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 735232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55716 MiB End job on node134 at 2018-07-23 10:10:21