Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b seq (e747e1e) | SAT (TO) | 449431801 | 2520.07 | 2492.64 |
| 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-4307060-1534087232.xml" -tl '2520s' -p 1 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4307060-1534087232.xml, -tl, 2520s, -p, 1] 0.11/0.22 c simple solver 0.35/0.28 c parse instance... 44.31/26.10 c solve instance... 2280.99/2255.46 o 449431803 2281.47/2255.67 o 449431801 2520.02/2492.60 s SATISFIABLE 2520.02/2492.60 v <instantiation> 2520.02/2492.60 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> 2520.02/2492.61 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> 2520.02/2492.61 v </instantiation> 2520.02/2492.61 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 (1207 MiB free)
memory of node 1: 16384 MiB (6491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307060-1534087232/watcher-4307060-1534087232 -o /tmp/evaluation-result-4307060-1534087232/solver-4307060-1534087232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 832114102 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307060-1534087232.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27962, runsolver pid=27959
[startup+0.100059 s]*
/proc/loadavg: 2.00 2.01 2.05 4/218 27978
/proc/meminfo: memFree=7867308/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14082940 memory=28024 CPUtime=0.11 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 5365 0 0 0 10 1 0 0 20 0 15 0 226286481 14420930560 7006 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3520735 7006 3049 1 0 3483012 0
[pid=27964/tid=27965] ppid=27962 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 3316 0 0 0 8 1 0 0 20 0 15 0 226286481 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890675202064 139890670998685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14082940 memory=140320327435904 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226286482 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14082940 memory=140320327435904 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226286484 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226286484 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890144122400 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226286484 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890143069552 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14082940 memory=140320327435904 CPUtime=0.01 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) R 27962 27962 25200 0 -1 4202560 308 0 0 0 1 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890138859632 139890670998106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14082940 memory=140320327435904 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286487 14420930560 7006 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29476 KiB
[startup+0.216783 s]*
/proc/loadavg: 2.00 2.01 2.05 3/218 27978
/proc/meminfo: memFree=7855896/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14087196 memory=40312 CPUtime=0.35 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 8069 0 0 0 32 3 0 0 20 0 15 0 226286481 14425288704 10078 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3521799 10078 3229 1 0 3483012 0
[pid=27964/tid=27965] ppid=27962 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 5074 0 0 0 19 1 0 0 20 0 15 0 226286481 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890675197752 139890655057246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14087196 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14087196 memory=140320327461405 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14087196 memory=140320327435904 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890144122400 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890143069552 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14087196 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14087196 memory=140320327435904 CPUtime=0.08 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 878 0 0 0 8 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 10078 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310598 s]*
/proc/loadavg: 2.00 2.01 2.05 5/218 27978
/proc/meminfo: memFree=7849444/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14087196 memory=47164 CPUtime=0.52 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 8984 0 0 0 49 3 0 0 20 0 15 0 226286481 14425288704 11791 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3521799 11791 3263 1 0 3483012 0
[pid=27964/tid=27965] ppid=27962 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 5699 0 0 0 27 2 0 0 20 0 15 0 226286481 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890675214048 139890655057246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226286482 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890144122400 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890143069552 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) R 27962 27962 25200 0 -1 4202560 386 0 0 0 4 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890140946248 139890656086344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 566 0 0 0 5 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 1027 0 0 0 12 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 11791 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48616 KiB
[startup+0.700931 s]
/proc/loadavg: 2.00 2.01 2.05 4/218 27978
/proc/meminfo: memFree=7733588/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14087196 memory=294180 CPUtime=1.62 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 12642 0 0 0 137 25 0 0 20 0 15 0 226286481 14425288704 73545 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3521799 73545 3328 1 0 3483012 0
[pid=27964/tid=27965] ppid=27962 vsize=14087196 memory=1752 CPUtime=0.6 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 5916 0 0 0 53 7 0 0 20 0 15 0 226286481 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890675215888 139890670998685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14087196 memory=5752 CPUtime=0.05 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 226286482 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14087196 memory=4580 CPUtime=0.05 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 226286482 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14087196 memory=1620 CPUtime=0.06 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 58 0 0 0 2 4 0 0 20 0 15 0 226286482 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14087196 memory=1220 CPUtime=0.05 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 226286482 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14087196 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14087196 memory=868 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890144122400 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14087196 memory=7336 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 226286484 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890143069552 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14087196 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14087196 memory=752 CPUtime=0.26 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) R 27962 27962 25200 0 -1 4202560 1744 0 0 0 26 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890140953584 139890648993751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14087196 memory=1276 CPUtime=0.27 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 1973 0 0 0 27 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14087196 memory=1068 CPUtime=0.18 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 1376 0 0 0 18 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14087196 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14087196 memory=34296 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226286487 14425288704 73545 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 295632 KiB
[startup+1.50086 s]
/proc/loadavg: 2.00 2.01 2.05 5/218 27978
/proc/meminfo: memFree=7415600/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890143069568 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14091368 memory=1452 CPUtime=5.21 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 52292 0 0 0 516 5 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14091368 memory=1452 CPUtime=4.66 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 36548 0 0 0 462 4 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14091368 memory=303430223234596890 CPUtime=1.13 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 23233 0 0 0 109 4 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14091368 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14091368 memory=1452 CPUtime=1.22 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 3629 0 0 0 64 58 0 0 20 0 15 0 226286487 14429560832 1277809 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 2349 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5112688 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/219 28213
/proc/meminfo: memFree=2719396/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14091368 memory=5114732 CPUtime=2409.29 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 322585 0 0 0 240511 418 0 0 20 0 15 0 226286481 14429560832 1278683 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3522842 1278683 3439 1 0 3484036 0
[pid=27964/tid=27965] ppid=27962 vsize=14091368 memory=5114732 CPUtime=2377.18 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 125550 0 0 0 237664 54 0 0 20 0 15 0 226286481 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890675213536 139890308676292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14091368 memory=5114732 CPUtime=4.84 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 14996 0 0 0 410 74 0 0 20 0 15 0 226286482 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14091368 memory=5111556 CPUtime=4.79 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 14848 0 0 0 403 76 0 0 20 0 15 0 226286482 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14091368 memory=1452 CPUtime=4.86 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 15605 0 0 0 413 73 0 0 20 0 15 0 226286482 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14091368 memory=5114732 CPUtime=4.78 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 14477 0 0 0 404 74 0 0 20 0 15 0 226286482 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14091368 memory=1452 CPUtime=0.24 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 11145 0 0 0 21 3 0 0 20 0 15 0 226286484 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14091368 memory=5114732 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890144122464 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890143069568 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14091368 memory=5114732 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14091368 memory=-3622645143214314312 CPUtime=5.28 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 54976 0 0 0 523 5 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14091368 memory=1572 CPUtime=4.83 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 41597 0 0 0 479 4 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14091368 memory=2144 CPUtime=1.13 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 24202 0 0 0 109 4 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14091368 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14091368 memory=3816 CPUtime=1.26 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 3793 0 0 0 66 60 0 0 20 0 15 0 226286487 14429560832 1278683 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 2409.29 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5116184 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/220 28237
/proc/meminfo: memFree=2717880/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14091368 memory=5114736 CPUtime=2469.43 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 328023 0 0 0 246524 419 0 0 20 0 15 0 226286481 14429560832 1278684 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3522842 1278684 3439 1 0 3484036 0
[pid=27964/tid=27965] ppid=27962 vsize=14091368 memory=5114736 CPUtime=2437.19 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 128170 0 0 0 243664 55 0 0 20 0 15 0 226286481 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890675213120 139890316983919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14091368 memory=5114736 CPUtime=4.84 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 14996 0 0 0 410 74 0 0 20 0 15 0 226286482 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14091368 memory=5114732 CPUtime=4.79 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 14848 0 0 0 403 76 0 0 20 0 15 0 226286482 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14091368 memory=5114732 CPUtime=4.86 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 15605 0 0 0 413 73 0 0 20 0 15 0 226286482 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14091368 memory=5114736 CPUtime=4.78 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 14477 0 0 0 404 74 0 0 20 0 15 0 226286482 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14091368 memory=5114736 CPUtime=0.24 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 11219 0 0 0 21 3 0 0 20 0 15 0 226286484 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890144122464 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14091368 memory=5114732 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890143069568 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14091368 memory=1220 CPUtime=5.31 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 56528 0 0 0 526 5 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14091368 memory=1800 CPUtime=4.9 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 42493 0 0 0 486 4 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14091368 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 24454 0 0 0 110 4 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14091368 memory=5114736 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14091368 memory=1452 CPUtime=1.3 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 3837 0 0 0 68 62 0 0 20 0 15 0 226286487 14429560832 1278684 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 2469.43 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5116188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.6 s]
/proc/loadavg: 2.00 2.06 2.08 3/220 28238
/proc/meminfo: memFree=2718624/32770624 swapFree=67108380/67108860
[pid=27962] ppid=27959 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27962/stat : 27962 (xcsp3-exec) S 27959 27962 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226286481 115843072 363 33554432000 4194304 5098028 140728796013488 140728796011592 139698582753916 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21372928 140728796017723 140728796017924 140728796017924 140728796020682 0
/proc/27962/statm: 28282 363 305 221 0 87 0
[pid=27964] ppid=27962 vsize=14091368 memory=5114816 CPUtime=2520.02 cores=1,3,5,7
/proc/27964/stat : 27964 (java) S 27962 27962 25200 0 -1 1077944320 336439 0 0 0 251581 421 0 0 20 0 15 0 226286481 14429560832 1278704 33554432000 4194304 4196468 140723623714256 140723623696800 139890670976759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
/proc/27964/statm: 3522842 1278704 3439 1 0 3484036 0
[pid=27964/tid=27965] ppid=27962 vsize=14091368 memory=6416 CPUtime=2487.49 cores=1,3,5,7
/proc/27964/task/27965/stat : 27965 (java) R 27962 27962 25200 0 -1 4202560 130700 0 0 0 248694 55 0 0 20 0 15 0 226286481 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890675215416 139890317453095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27966] ppid=27962 vsize=14091368 memory=1572 CPUtime=4.84 cores=1,3,5,7
/proc/27964/task/27966/stat : 27966 (java) S 27962 27962 25200 0 -1 1077944384 14996 0 0 0 410 74 0 0 20 0 15 0 226286482 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890642819728 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27967] ppid=27962 vsize=14091368 memory=928 CPUtime=4.79 cores=1,3,5,7
/proc/27964/task/27967/stat : 27967 (java) S 27962 27962 25200 0 -1 1077944384 14848 0 0 0 403 76 0 0 20 0 15 0 226286482 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890266053136 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27968] ppid=27962 vsize=14091368 memory=2196 CPUtime=4.86 cores=1,3,5,7
/proc/27964/task/27968/stat : 27968 (java) S 27962 27962 25200 0 -1 1077944384 15605 0 0 0 413 73 0 0 20 0 15 0 226286482 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890265000336 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27969] ppid=27962 vsize=14091368 memory=3988 CPUtime=4.78 cores=1,3,5,7
/proc/27964/task/27969/stat : 27969 (java) S 27962 27962 25200 0 -1 1077944384 14477 0 0 0 404 74 0 0 20 0 15 0 226286482 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890263947536 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27970] ppid=27962 vsize=14091368 memory=1924 CPUtime=0.24 cores=1,3,5,7
/proc/27964/task/27970/stat : 27970 (java) S 27962 27962 25200 0 -1 1077944384 11272 0 0 0 21 3 0 0 20 0 15 0 226286484 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890145176432 139890670987906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27971] ppid=27962 vsize=14091368 memory=7532 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27971/stat : 27971 (java) S 27962 27962 25200 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890144122464 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27972] ppid=27962 vsize=14091368 memory=808 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27972/stat : 27972 (java) S 27962 27962 25200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 226286484 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890143069568 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27973] ppid=27962 vsize=14091368 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27973/stat : 27973 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890142017872 139890670995355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27974] ppid=27962 vsize=14091368 memory=920 CPUtime=5.44 cores=1,3,5,7
/proc/27964/task/27974/stat : 27974 (java) S 27962 27962 25200 0 -1 1077944384 59153 0 0 0 539 5 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890140965232 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27975] ppid=27962 vsize=14091368 memory=3848 CPUtime=5.01 cores=1,3,5,7
/proc/27964/task/27975/stat : 27975 (java) S 27962 27962 25200 0 -1 1077944384 45428 0 0 0 497 4 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890139912432 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27976] ppid=27962 vsize=14091368 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/27964/task/27976/stat : 27976 (java) S 27962 27962 25200 0 -1 1077944384 24675 0 0 0 110 4 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890138859632 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27977] ppid=27962 vsize=14091368 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7
/proc/27964/task/27977/stat : 27977 (java) S 27962 27962 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890137807072 139890670986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
[pid=27964/tid=27978] ppid=27962 vsize=14091368 memory=4629546024076873078 CPUtime=1.32 cores=1,3,5,7
/proc/27964/task/27978/stat : 27978 (java) S 27962 27962 25200 0 -1 1077944384 3889 0 0 0 69 63 0 0 20 0 15 0 226286487 14429560832 1278704 33554432000 4194304 4196468 140723623714256 139890136755376 139890670987906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28405760 140723623720070 140723623720241 140723623720241 140723623722959 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5116268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.61 s]
# the end of solver process 27962 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002214 s, system=0 s
[startup+2492.63 s]
# the end of solver process 27964 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.83 s, system=4.23988 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2492.64
CPU time (s): 2520.07
CPU user time (s): 2515.83
CPU system time (s): 4.23988
CPU usage (%): 101.101
Max. virtual memory (cumulated for all children) (KiB): 14206464
Max. memory (cumulated for all children) (KiB): 5123748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.83
system time used= 4.23988
maximum resident set size= 5122296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59546
involuntary context switches= 879
# summary of solver processes directly reported to runsolver:
# pid: 27962,27964
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.83
# total CPU system time (s): 4.23988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3909 second user time and 24.9898 second system time
The end
Begin job on node137 at 2018-08-12 17:20:33 IDJOB=4307060 IDBENCH=141268 IDSOLVER=2787 FILE ID=node137/4307060-1534087232 RUNJOBID= node137-1534062145-25232 PBS_JOBID= 21036980 Free space on /tmp= 26252 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307060-1534087232/watcher-4307060-1534087232 -o /tmp/evaluation-result-4307060-1534087232/solver-4307060-1534087232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 832114102 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307060-1534087232.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=832114102 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 7883632 kB MemAvailable: 27000944 kB Buffers: 159584 kB Cached: 19012096 kB SwapCached: 24 kB Active: 14646584 kB Inactive: 9474232 kB Active(anon): 4896152 kB Inactive(anon): 105204 kB Active(file): 9750432 kB Inactive(file): 9369028 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 169748 kB Writeback: 0 kB AnonPages: 4956444 kB Mapped: 66684 kB Shmem: 49628 kB Slab: 454360 kB SReclaimable: 426312 kB SUnreclaim: 28048 kB KernelStack: 3536 kB PageTables: 15184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6138132 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4669440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26208 MiB End job on node137 at 2018-08-12 18:02:06