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) | 372140116 | 252.068 | 233.155 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml |
| MD5SUM | 3d35ef38e8714b8368aba06bbd25b59a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 372140116 |
| Best CPU time to get the best result obtained on this benchmark | 252.068 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6038 |
| Number of constraints | 3927 |
| Number of domains | 31 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1840 |
| Distribution of variable degrees | [{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}] |
| Number of extensional constraints | 1839 |
| Number of intensional constraints | 2088 |
| Distribution of constraint types | [{"type":"extension","count":1839},{"type":"intension","count":2088}] |
| 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-4301654-1532884343.xml" -tl '252s' -p 1 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4301654-1532884343.xml, -tl, 252s, -p, 1] 0.11/0.22 c simple solver 0.34/0.28 c parse instance... 27.33/15.94 c solve instance... 67.37/51.33 o 372287325 78.98/61.07 o 372287316 87.07/68.73 o 372250526 87.17/68.88 o 372250516 87.40/69.01 o 372232116 154.02/135.43 o 372213716 154.13/135.54 o 372195316 204.29/185.60 o 372176916 228.02/209.25 o 372140116 252.01/233.11 s SATISFIABLE 252.01/233.11 v <instantiation> 252.01/233.11 v <list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] 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] 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] 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] 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] </list> 252.01/233.11 v <values>2468 2232 2312 2760 2508 2544 2664 2668 2420 2340 2720 2760 2244 2392 2532 2260 2632 2404 2592 2448 2468 2720 2468 2584 2720 2760 2612 2800 2672 2760 2796 2760 2760 2600 2516 2776 2680 2244 2652 2628 2800 2428 2720 2516 2584 2516 2492 2612 2348 2632 2652 2596 2628 2244 2268 2476 2428 2680 2544 2488 2284 2544 2420 2520 2464 2772 2720 2392 2452 2800 2668 2816 2468 2492 2720 2244 2404 2260 2428 2548 2516 2812 2344 2428 2476 2640 2220 2760 2760 2392 2720 2680 2780 2272 2616 2432 2776 2488 2492 2632 2272 2432 2680 2544 2552 2476 2220 2300 2720 2704 2380 2584 2444 2224 2464 2344 2260 2760 2800 2572 2448 2672 2544 2264 2720 2284 2284 2820 2328 2220 2532 2516 2492 2628 2468 2244 2444 2760 2640 2368 2720 2220 2584 2532 2780 2428 2680 2304 2424 2272 2800 2380 2492 2760 2308 2632 2816 2800 2696 2556 2260 2504 2468 2632 2720 2584 2312 2476 2532 2220 2740 2380 2736 2680 2652 2560 2420 2584 2424 2800 2412 2428 2760 2632 2664 2404 2808 2240 2244 2464 2392 2508 2668 2760 2720 2420 2364 2720 2504 2596 2672 2464 2532 2476 2820 2720 2304 2812 2780 2260 2424 2612 2308 2624 2756 2280 2632 2768 2220 2680 2432 2468 2672 2760 2260 2512 2592 2544 2556 2468 2284 2380 2656 2800 2680 2772 2532 2492 2428 2428 2452 2760 2380 2476 2432 2640 2420 2492 2800 2760 2420 2532 2760 2284 2380 2516 2672 2284 2468 2464 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 292 132 120 200 292 76 252 148 236 24 104 88 4 344 292 540 256 312 232 216 12 464 28 432 12 488 48 312 200 408 568 356 108 136 368 208 92 116 272 28 112 460 152 516 520 380 16 144 240 80 252 224 80 236 252 312 172 252 84 36 300 176 68 272 232 136 320 216 12 176 136 52 216 112 92 112 52 28 76 244 404 12 148 108 56 232 236 380 172 36 152 248 52 152 240 304 216 164 208 232 176 340 136 28 336 236 380 420 288 80 4 212 120 364 332 76 192 152 380 420 32 340 124 88 80 204 52 80 292 276 80 308 88 244 460 40 80 40 436 252 176 92 292 516 380 40 60 268 228 148 516 16 516 476 476 340 224 556 452 232 120 380 248 368 408 148 40 384 108 124 88 140 368 148 112 84 248 408 28 68 92 228 152 152 68 188 228 284 512 40 12 184 168 44 120 460 204 216 172 296 160 156 168 228 156 140 220 36 372 128 200 128 84 356 132 120 112 100 248 228 60 408 376 28 24 76 40 76 8 60 88 168 40 80 80 80 168 312 348 204 68 192 16 256 224 164 232 352 68 184 56 16 20 4 116 224 48 196 172 252 292 164 252 8 252 24 88 80 228 292 40 496 188 80 340 164 160 4 224 80 252 48 224 44 196 332 156 292 176 68 92 132 324 240 364 312 120 272 224 192 76 304 204 116 92 204 80 96 228 256 188 228 352 136 160 40 88 208 80 228 16 340 368 308 332 128 80 536 88 432 336 268 284 228 108 136 352 136 168 392 144 128 352 160 40 40 372 372 80 80 368 456 256 172 80 420 324 120 144 40 268 44 196 8 252 48 140 88 0 160 80 272 12 40 328 208 216 540 64 176 20 340 36 144 252 320 452 536 236 552 536 328 416 344 376 216 16 292 456 92 340 244 476 132 292 176 228 228 60 336 204 80 332 176 172 132 160 28 72 132 220 56 124 160 84 112 168 88 88 164 256 244 152 296 64 56 428 4 504 476 308 16 16 136 100 420 376 16 84 8 396 184 528 28 200 40 184 340 436 184 420 564 220 64 136 188 248 220 368 120 272 184 44 108 156 68 116 60 4 28 368 44 40 136 196 44 204 248 388 16 36 172 172 44 308 80 184 80 268 488 60 380 168 492 44 40 420 88 88 64 120 332 36 392 344 64 244 88 328 16 80 24 40 160 88 124 92 208 40 292 28 124 32 48 224 292 152 244 296 244 68 188 132 364 136 140 256 136 216 76 40 172 68 96 40 204 300 204 88 32 28 244 92 108 4 96 284 140 4 72 88 232 148 184 72 16 272 180 64 16 148 368 124 340 144 68 308 120 40 52 200 184 372 220 180 424 464 412 452 372 304 72 128 408 204 48 4 156 252 104 176 188 180 168 128 348 28 164 208 188 108 432 96 392 148 184 68 248 408 56 108 232 108 168 44 324 216 12 292 204 132 204 164 76 40 60 64 312 216 52 196 44 124 192 244 40 160 396 436 436 60 516 408 4 220 148 188 492 264 248 412 200 68 192 16 48 16 156 220 80 192 244 112 172 284 12 64 168 88 392 40 204 208 224 36 392 48 8 260 164 40 40 100 460 120 420 136 300 396 272 216 164 176 12 84 176 52 124 176 268 284 236 324 112 124 260 76 232 144 216 44 192 184 164 248 24 228 56 68 180 532 40 12 532 96 276 496 144 476 184 124 56 68 176 324 40 304 36 176 128 136 128 160 132 120 220 380 72 340 44 400 360 204 8 380 32 64 24 236 300 108 276 36 300 140 240 16 104 12 100 28 236 220 296 312 200 244 68 160 40 192 224 72 68 216 308 296 428 12 228 8 344 28 512 80 40 88 16 80 252 80 212 356 216 176 300 100 92 408 108 192 408 76 272 28 88 108 12 40 108 268 228 80 28 144 140 24 72 180 144 16 24 308 168 252 24 308 352 216 580 0 176 128 200 152 12 200 364 356 4 276 448 384 4 96 184 488 504 436 576 136 304 388 340 24 116 184 40 56 40 292 172 332 248 64 4 192 268 124 72 12 188 180 268 268 376 448 40 24 356 188 100 288 340 64 188 228 80 516 576 452 388 68 36 176 288 516 148 72 120 20 276 264 192 60 364 24 88 284 36 540 460 256 480 460 104 208 284 24 396 332 128 332 116 200 156 4 36 244 340 40 88 68 228 124 80 124 56 44 16 120 36 264 100 24 16 88 256 164 240 88 108 140 360 296 72 60 60 100 100 40 72 104 120 160 88 208 332 252 104 88 40 204 4 244 24 88 44 244 284 244 256 36 16 420 368 356 80 40 336 400 176 80 80 136 208 220 64 24 460 84 20 172 288 452 212 336 200 80 20 128 108 396 4 176 244 176 500 176 284 20 336 348 516 500 4 332 268 476 368 124 236 368 140 32 140 140 16 80 88 40 248 40 236 232 212 460 256 120 276 68 252 396 480 20 60 508 60 304 172 32 204 108 408 380 192 120 160 284 160 392 144 56 104 56 204 164 308 236 12 88 16 212 368 304 28 128 152 60 96 432 516 532 244 144 556 36 56 232 396 44 144 40 68 228 16 68 84 108 184 124 208 108 192 52 328 136 40 68 272 180 320 188 232 24 48 128 412 20 32 168 100 52 356 108 196 108 148 152 536 488 204 528 192 12 240 52 12 4 240 348 160 100 8 164 204 216 56 24 188 300 260 212 176 136 256 40 176 76 80 168 124 256 208 96 212 264 56 192 204 56 8 484 44 296 312 256 272 500 168 500 64 164 80 476 80 356 244 52 292 80 340 188 236 148 56 240 24 420 56 300 252 68 132 152 112 152 380 12 88 40 112 40 96 116 92 176 20 112 184 40 152 140 164 16 160 308 4 360 308 252 536 308 120 16 244 92 204 40 60 220 132 148 184 296 180 456 212 60 100 252 64 296 60 412 460 208 556 324 500 48 252 120 216 88 476 268 40 88 80 88 296 80 436 120 268 516 80 96 200 40 80 44 84 188 204 224 372 188 228 312 164 388 304 28 84 176 236 232 68 180 176 52 224 44 320 44 432 292 156 556 44 16 536 508 164 20 188 16 136 292 40 256 48 460 188 248 184 64 456 96 44 476 180 396 348 140 128 44 108 388 476 24 600 12 100 396 276 392 536 304 520 516 540 292 64 460 288 152 28 152 204 88 232 140 88 12 68 316 20 44 96 68 368 92 4 28 248 252 196 160 332 288 120 352 60 568 268 348 412 428 276 228 32 12 68 356 316 176 540 380 52 308 420 160 136 16 32 16 32 352 328 244 224 96 300 476 128 340 40 336 92 24 448 376 84 392 60 420 64 176 80 364 300 72 216 176 188 168 56 248 272 152 56 68 276 20 288 16 204 292 212 252 288 40 176 300 212 456 348 160 128 272 296 116 204 168 4 108 40 148 152 32 240 156 580 80 20 492 332 516 308 340 152 88 96 152 88 112 188 308 228 16 120 132 40 268 48 516 128 268 96 56 184 48 72 168 168 128 212 136 256 396 576 388 176 132 44 40 120 420 332 44 136 24 84 476 296 312 40 252 56 276 64 84 272 244 372 404 144 500 44 352 540 24 192 28 80 100 260 108 224 136 332 48 184 412 104 48 176 100 156 188 136 180 164 168 244 88 500 252 188 108 152 176 176 160 172 116 116 204 156 12 148 8 116 164 152 208 76 20 236 232 380 316 356 36 204 12 212 188 80 260 68 188 116 220 108 96 160 56 340 300 392 252 236 380 324 204 300 4 44 288 348 132 36 80 292 384 40 8 88 92 216 332 292 188 412 372 88 252 356 284 136 160 192 208 124 128 236 16 128 120 388 128 520 480 192 228 316 476 352 72 292 32 296 92 296 84 112 88 164 288 248 40 224 264 204 56 88 100 76 236 40 256 500 476 228 268 52 392 336 380 404 144 168 176 188 292 288 40 40 224 72 292 316 4 312 364 80 156 4 180 36 336 336 396 264 288 300 24 336 456 20 180 344 132 20 284 256 44 68 332 20 28 192 464 144 364 156 176 92 176 12 4 232 360 48 100 348 348 552 200 148 124 124 76 332 24 40 292 116 128 388 332 296 332 540 132 208 60 80 260 52 136 172 292 64 488 420 380 40 96 84 188 304 112 180 20 64 152 192 192 240 120 72 48 476 88 </values> 252.01/233.11 v </instantiation> 252.01/233.11 c Unexpected resolution interruption!
OK 372140116
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 (14903 MiB free)
memory of node 1: 16384 MiB (11579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301654-1532884343/watcher-4301654-1532884343 -o /tmp/evaluation-result-4301654-1532884343/solver-4301654-1532884343 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1915496043 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301654-1532884343.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11217, runsolver pid=11214
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 2.06 2.00 1.92 4/218 11233
/proc/meminfo: memFree=27101392/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14082940 memory=28808 CPUtime=0.11 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 5561 0 0 0 10 1 0 0 20 0 15 0 105997530 14420930560 7202 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3520735 7202 3014 1 0 3483012 0
[pid=11219/tid=11220] ppid=11217 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 3576 0 0 0 8 0 0 0 20 0 15 0 105997530 14420930560 7202 33554432000 4194304 4196468 140728114628816 140048202958640 140048198747293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14420930560 7202 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14082940 memory=140069339436672 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14420930560 7202 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14420930560 7202 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105997531 14420930560 7202 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14082940 memory=140069339436672 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105997532 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105997533 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047109297056 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105997533 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047108244464 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14082940 memory=140069339436672 CPUtime=0.01 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) R 11217 11217 7585 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047104035568 140048198737302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14082940 memory=140069339436672 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997536 14420930560 7202 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30260 KiB
[startup+0.213268 s]*
/proc/loadavg: 2.06 2.00 1.92 4/218 11233
/proc/meminfo: memFree=27089096/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14082940 memory=41444 CPUtime=0.34 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 8364 0 0 0 31 3 0 0 20 0 15 0 105997530 14420930560 10361 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3520735 10361 3183 1 0 3483012 0
[pid=11219/tid=11220] ppid=11217 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 5476 0 0 0 18 1 0 0 20 0 15 0 105997530 14425288704 10367 33554432000 4194304 4196468 140728114628816 140048202946360 140048182805854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14087196 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 10367 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14087196 memory=288370445491148416 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 10367 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 10367 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 10367 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14087196 memory=140069339436672 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105997532 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047109297056 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047108244464 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14087196 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14087196 memory=140069339436672 CPUtime=0.08 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 10367 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42896 KiB
[startup+0.31485 s]*
/proc/loadavg: 2.06 2.00 1.92 4/218 11233
/proc/meminfo: memFree=27083140/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14087196 memory=48496 CPUtime=0.53 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 9256 0 0 0 50 3 0 0 20 0 15 0 105997530 14425288704 12124 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3521799 12124 3271 1 0 3483012 0
[pid=11219/tid=11220] ppid=11217 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 6180 0 0 0 28 2 0 0 20 0 15 0 105997530 14425288704 12124 33554432000 4194304 4196468 140728114628816 140048202962144 140048182805854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 12124 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 12124 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 12124 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105997531 14425288704 12124 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105997532 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047109297056 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047108244464 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14087196 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 444 0 0 0 5 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 793 0 0 0 12 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 12124 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49948 KiB
[startup+0.701142 s]
/proc/loadavg: 2.06 2.00 1.92 4/218 11233
/proc/meminfo: memFree=26990184/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14087196 memory=294492 CPUtime=1.63 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 12713 0 0 0 141 22 0 0 20 0 15 0 105997530 14425288704 73623 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3521799 73623 3323 1 0 3483012 0
[pid=11219/tid=11220] ppid=11217 vsize=14087196 memory=33 CPUtime=0.61 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 6322 0 0 0 54 7 0 0 20 0 15 0 105997530 14425288704 73623 33554432000 4194304 4196468 140728114628816 140048202956736 140047830129194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14087196 memory=-7816663703405220396 CPUtime=0.05 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 105997531 14425288704 73623 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 15 0 105997531 14425288704 73623 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14087196 memory=30204 CPUtime=0.05 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 105997531 14425288704 73623 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14087196 memory=1224 CPUtime=0.05 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 105997531 14425288704 73623 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14087196 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105997532 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14087196 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047109297056 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14087196 memory=860 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105997533 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047108244464 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14087196 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14087196 memory=756 CPUtime=0.25 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) R 11217 11217 7585 0 -1 4202560 1795 0 0 0 25 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047106140656 140048178889232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14087196 memory=1616 CPUtime=0.31 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) R 11217 11217 7585 0 -1 4202560 1821 0 0 0 31 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047105068176 140048183848944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14087196 memory=1836 CPUtime=0.19 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 1148 0 0 0 19 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14087196 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14087196 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105997536 14425288704 73623 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 295944 KiB
[startup+1.50115 s]
/proc/loadavg: 2.06 2.00 1.92 7/218 11233
/proc/meminfo: memFree=26809656/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047108244480 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14091368 memory=1452 CPUtime=5.35 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 25243 0 0 0 532 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14091368 memory=808 CPUtime=4.91 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 21649 0 0 0 488 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14091368 memory=1796 CPUtime=1.05 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 10666 0 0 0 104 1 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14091368 memory=4212860 CPUtime=0.08 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 787 0 0 0 3 5 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 180.95 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4214312 KiB
[startup+222.301 s]
/proc/loadavg: 2.08 2.06 1.96 3/217 11317
/proc/meminfo: memFree=16215436/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14091368 memory=4212860 CPUtime=241.19 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 174414 0 0 0 23882 237 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3522842 1053215 3430 1 0 3484036 0
[pid=11219/tid=11220] ppid=11217 vsize=14091368 memory=4212860 CPUtime=219.72 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 33819 0 0 0 21931 41 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048202961560 140047831846726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14091368 memory=1452 CPUtime=2.38 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 16814 0 0 0 196 42 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.41 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 16528 0 0 0 196 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.43 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 16955 0 0 0 197 46 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.42 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 16842 0 0 0 197 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14091368 memory=4212860 CPUtime=0.11 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 6721 0 0 0 10 1 0 0 20 0 15 0 105997532 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047109297120 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14091368 memory=30204 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047108244480 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14091368 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14091368 memory=1452 CPUtime=5.49 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 28628 0 0 0 546 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14091368 memory=4212860 CPUtime=4.97 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 24892 0 0 0 494 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14091368 memory=3872 CPUtime=1.06 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 10976 0 0 0 105 1 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14091368 memory=30204 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14091368 memory=3040 CPUtime=0.12 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 871 0 0 0 5 7 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 241.19 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4214312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.11 s]
/proc/loadavg: 2.06 2.06 1.96 3/217 11317
/proc/meminfo: memFree=16215436/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14091368 memory=4212860 CPUtime=252.01 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 174579 0 0 0 24964 237 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3522842 1053215 3430 1 0 3484036 0
[pid=11219/tid=11220] ppid=11217 vsize=14091368 memory=4212860 CPUtime=230.53 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 33982 0 0 0 23012 41 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048202961560 140047832490711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.38 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 16814 0 0 0 196 42 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.41 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 16528 0 0 0 196 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.43 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 16955 0 0 0 197 46 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14091368 memory=1452 CPUtime=2.42 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 16842 0 0 0 197 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14091368 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 6721 0 0 0 10 1 0 0 20 0 15 0 105997532 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14091368 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047109297120 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14091368 memory=30204 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047108244480 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14091368 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14091368 memory=15184 CPUtime=5.49 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 28628 0 0 0 546 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14091368 memory=1452 CPUtime=4.97 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 24892 0 0 0 494 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14091368 memory=4212860 CPUtime=1.06 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 10976 0 0 0 105 1 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14091368 memory=549 CPUtime=0.12 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 873 0 0 0 5 7 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4214312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.12 s]
# the end of solver process 11217 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.0011 s, system=0.0011 s
[startup+233.155 s]
# the end of solver process 11219 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.656 s, system=2.41186 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.11 s]
/proc/loadavg: 2.06 2.06 1.96 3/217 11317
/proc/meminfo: memFree=16215436/32770624 swapFree=67108496/67108860
[pid=11217] ppid=11214 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11217/stat : 11217 (xcsp3-exec) S 11214 11217 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105997530 115843072 363 33554432000 4194304 5098028 140734696231536 140734696229640 139918658380412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35663872 140734696240192 140734696240393 140734696240393 140734696243146 0
/proc/11217/statm: 28282 363 305 221 0 87 0
[pid=11219] ppid=11217 vsize=14091368 memory=4212860 CPUtime=252.01 cores=1,3,5,7
/proc/11219/stat : 11219 (java) S 11217 11217 7585 0 -1 1077944320 174579 0 0 0 24964 237 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140728114611360 140048198725367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
/proc/11219/statm: 3522842 1053215 3430 1 0 3484036 0
[pid=11219/tid=11220] ppid=11217 vsize=14091368 memory=4212860 CPUtime=230.53 cores=1,3,5,7
/proc/11219/task/11220/stat : 11220 (java) R 11217 11217 7585 0 -1 4202560 33982 0 0 0 23012 41 0 0 20 0 15 0 105997530 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048202961560 140047832490711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11221] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.38 cores=1,3,5,7
/proc/11219/task/11221/stat : 11221 (java) S 11217 11217 7585 0 -1 1077944384 16814 0 0 0 196 42 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048151345936 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11222] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.41 cores=1,3,5,7
/proc/11219/task/11222/stat : 11222 (java) S 11217 11217 7585 0 -1 1077944384 16528 0 0 0 196 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048150293392 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11223] ppid=11217 vsize=14091368 memory=4212860 CPUtime=2.43 cores=1,3,5,7
/proc/11219/task/11223/stat : 11223 (java) S 11217 11217 7585 0 -1 1077944384 16955 0 0 0 197 46 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048149240848 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11224] ppid=11217 vsize=14091368 memory=1452 CPUtime=2.42 cores=1,3,5,7
/proc/11219/task/11224/stat : 11224 (java) S 11217 11217 7585 0 -1 1077944384 16842 0 0 0 197 45 0 0 20 0 15 0 105997531 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140048148188304 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11225] ppid=11217 vsize=14091368 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/11219/task/11225/stat : 11225 (java) S 11217 11217 7585 0 -1 1077944384 6721 0 0 0 10 1 0 0 20 0 15 0 105997532 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047110350832 140048198736514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11226] ppid=11217 vsize=14091368 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11226/stat : 11226 (java) S 11217 11217 7585 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047109297120 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11227] ppid=11217 vsize=14091368 memory=30204 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11227/stat : 11227 (java) S 11217 11217 7585 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 105997533 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047108244480 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11228] ppid=11217 vsize=14091368 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11228/stat : 11228 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047107193040 140048198743963 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11229] ppid=11217 vsize=14091368 memory=15184 CPUtime=5.49 cores=1,3,5,7
/proc/11219/task/11229/stat : 11229 (java) S 11217 11217 7585 0 -1 1077944384 28628 0 0 0 546 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047106140656 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11230] ppid=11217 vsize=14091368 memory=1452 CPUtime=4.97 cores=1,3,5,7
/proc/11219/task/11230/stat : 11230 (java) S 11217 11217 7585 0 -1 1077944384 24892 0 0 0 494 3 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047105088112 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11231] ppid=11217 vsize=14091368 memory=4212860 CPUtime=1.06 cores=1,3,5,7
/proc/11219/task/11231/stat : 11231 (java) S 11217 11217 7585 0 -1 1077944384 10976 0 0 0 105 1 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047104035568 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11232] ppid=11217 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11219/task/11232/stat : 11232 (java) S 11217 11217 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047102983264 140048198735573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
[pid=11219/tid=11233] ppid=11217 vsize=14091368 memory=549 CPUtime=0.12 cores=1,3,5,7
/proc/11219/task/11233/stat : 11233 (java) S 11217 11217 7585 0 -1 1077944384 873 0 0 0 5 7 0 0 20 0 15 0 105997536 14429560832 1053215 33554432000 4194304 4196468 140728114628816 140047101929776 140048198736514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140728114635916 140728114636086 140728114636086 140728114638799 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4214312 KiB
Child status: 143
Real time (s): 233.155
CPU time (s): 252.068
CPU user time (s): 249.656
CPU system time (s): 2.41186
CPU usage (%): 108.112
Max. virtual memory (cumulated for all children) (KiB): 14206428
Max. memory (cumulated for all children) (KiB): 4226224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.656
system time used= 2.41186
maximum resident set size= 4224772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10373
involuntary context switches= 289
# summary of solver processes directly reported to runsolver:
# pid: 11217,11219
# total CPU time (s): 252.068
# total CPU user time (s): 249.656
# total CPU system time (s): 2.41186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40516 second user time and 2.38193 second system time
The end
Begin job on node149 at 2018-07-29 19:12:23 IDJOB=4301654 IDBENCH=141262 IDSOLVER=2772 FILE ID=node149/4301654-1532884343 RUNJOBID= node149-1532880125-7617 PBS_JOBID= 21022517 Free space on /tmp= 45632 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_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-4301654-1532884343/watcher-4301654-1532884343 -o /tmp/evaluation-result-4301654-1532884343/solver-4301654-1532884343 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1915496043 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301654-1532884343.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a RANDOM SEED=1915496043 node149.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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27118672 kB MemAvailable: 31726936 kB Buffers: 165548 kB Cached: 4665916 kB SwapCached: 60 kB Active: 1926096 kB Inactive: 3163252 kB Active(anon): 207244 kB Inactive(anon): 78000 kB Active(file): 1718852 kB Inactive(file): 3085252 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 112164 kB Writeback: 0 kB AnonPages: 374028 kB Mapped: 49848 kB Shmem: 25040 kB Slab: 261428 kB SReclaimable: 232620 kB SUnreclaim: 28808 kB KernelStack: 3856 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1295224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 270336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 45340 MiB End job on node149 at 2018-07-29 19:16:17