Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 474748253 | 2520.17 | 2489.05 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml |
| MD5SUM | f3b5e910cdd6f892615a29b96bfa015e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 294770329 |
| Best CPU time to get the best result obtained on this benchmark | 2520.17 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6750 |
| Number of constraints | 4376 |
| Number of domains | 77 |
| Minimum domain size | 2 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":2,"count":2350},{"size":11,"count":2050},{"size":12,"count":1},{"size":21,"count":20},{"size":23,"count":62},{"size":24,"count":4},{"size":25,"count":49},{"size":26,"count":11},{"size":27,"count":33},{"size":28,"count":8},{"size":29,"count":15},{"size":30,"count":3},{"size":31,"count":15},{"size":32,"count":17},{"size":33,"count":16},{"size":34,"count":5},{"size":35,"count":3},{"size":41,"count":2},{"size":43,"count":13},{"size":45,"count":4},{"size":47,"count":7},{"size":53,"count":13},{"size":54,"count":6},{"size":55,"count":19},{"size":57,"count":5},"...",{"size":71,"count":29}, {"size":72,"count":7}, {"size":73,"count":9}, {"size":74,"count":18}, {"size":75,"count":1}, {"size":76,"count":6}, {"size":77,"count":1}, {"size":78,"count":10}, {"size":79,"count":27}, {"size":81,"count":44}, {"size":84,"count":2}, {"size":90,"count":3}, {"size":91,"count":13}, {"size":99,"count":2}, {"size":101,"count":36}, {"size":102,"count":77}, {"size":105,"count":10}, {"size":113,"count":152}, {"size":114,"count":176}, {"size":115,"count":87}, {"size":117,"count":87}, {"size":119,"count":37}, {"size":121,"count":82}, {"size":124,"count":46}, {"size":125,"count":1037}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2051 |
| Distribution of variable degrees | [{"degree":2,"count":6148},{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":5},{"degree":6,"count":11},{"degree":7,"count":12},{"degree":8,"count":20},{"degree":9,"count":18},{"degree":10,"count":21},{"degree":11,"count":30},{"degree":12,"count":39},{"degree":13,"count":45},{"degree":14,"count":47},{"degree":15,"count":54},{"degree":16,"count":61},{"degree":17,"count":83},{"degree":18,"count":104},{"degree":19,"count":49},{"degree":2051,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":277},{"arity":3,"count":2049},{"arity":6,"count":2050}] |
| Number of extensional constraints | 2050 |
| Number of intensional constraints | 2326 |
| Distribution of constraint types | [{"type":"extension","count":2050},{"type":"intension","count":2326}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-08-17 0.68/0.55 c seed: 1306271232 0.68/0.55 c timeout: 2520 0.68/0.55 c memlimit: 11000 0.68/0.56 c nbcore: 1 0.68/0.58 c Parsing instance... 46.84/27.60 c Parsing done, starting search... 102.50/80.17 o 475014946 102.50/80.17 o 475014940 102.50/80.18 o 474994440 102.50/80.19 o 474994436 102.50/80.20 o 474994429 102.68/80.20 o 474994422 102.68/80.21 o 474994417 102.68/80.22 o 474973908 102.68/80.22 o 474932883 102.68/80.23 o 474912392 102.68/80.23 o 474912391 102.68/80.24 o 474912384 102.68/80.24 o 474912383 102.68/80.25 o 474912376 102.68/80.25 o 474912372 102.68/80.26 o 474871367 102.68/80.27 o 474871361 102.68/80.28 o 474871358 102.68/80.28 o 474871353 102.68/80.29 o 474871349 102.91/80.31 o 474871348 102.91/80.32 o 474871346 102.91/80.32 o 474871345 102.91/80.33 o 474871340 102.91/80.34 o 474850875 102.91/80.34 o 474850874 102.91/80.35 o 474850869 102.91/80.35 o 474850857 104.20/81.54 o 474850856 104.20/81.54 o 474830332 104.20/81.55 o 474830328 104.20/81.55 o 474830327 104.20/81.55 o 474830323 104.20/81.56 o 474809813 104.20/81.56 o 474809812 104.20/81.56 o 474809809 104.20/81.56 o 474809808 104.20/81.57 o 474809807 104.20/81.57 o 474809806 104.20/81.58 o 474789292 104.20/81.58 o 474789291 104.20/81.58 o 474789288 104.20/81.58 o 474789287 104.20/81.59 o 474789286 104.20/81.59 o 474789279 104.20/81.59 o 474789278 104.20/81.59 o 474789277 104.32/81.60 o 474789275 104.32/81.60 o 474789265 104.32/81.60 o 474789264 104.32/81.61 o 474789258 104.32/81.61 o 474768780 104.32/81.62 o 474768775 104.32/81.62 o 474768765 104.32/81.63 o 474768763 104.32/81.63 o 474748265 104.32/81.64 o 474748260 104.32/81.65 o 474748256 104.32/81.65 o 474748254 104.32/81.66 o 474748253 2520.10/2489.01 s SATISFIABLE 2520.10/2489.02 v <instantiation> 2520.10/2489.02 v <list> 2520.10/2489.02 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] 2520.10/2489.02 v </list> 2520.10/2489.02 v <values> 2520.10/2489.02 v 2500 2520 2600 2548 2500 2436 2448 2332 2608 2588 2396 2616 2468 2560 2600 2404 2540 2536 2652 2404 2436 2476 2488 2564 2568 2604 2536 2560 2356 2512 2376 2592 2400 2452 2576 2544 2556 2200 2360 2568 2480 2456 2364 2532 2316 2588 2576 2276 2524 2508 2564 2376 2564 2520 2548 2416 2568 2484 2640 2404 2496 2560 2588 2360 2292 2424 2480 2588 2572 2436 2392 2432 2468 2604 2480 2576 2372 2524 2248 2576 2448 2428 2380 2340 2500 2416 2408 2504 2572 2620 2564 2464 2532 2540 2536 2560 2616 2236 2592 2616 2572 2564 2564 2520 2604 2236 2548 2600 2584 2408 2632 2552 2564 2412 2384 2604 2456 2536 2544 2552 2412 2420 2504 2388 2336 2400 2504 2404 2348 2600 2508 2560 2636 2544 2552 2572 2616 2544 2604 2656 2288 2388 2576 2612 2632 2460 2616 2292 2564 2588 2452 2568 2592 2468 2560 2548 2608 2500 2516 2576 2520 2632 2592 2592 2532 2564 2504 2596 2460 2580 2520 2160 2464 2520 2420 2612 2512 2548 2528 2560 2444 2432 2568 2440 2532 2616 2540 2532 2580 2444 2592 2520 2428 2276 2528 2252 2616 2552 2612 2404 2468 2556 2624 2460 2508 2612 2568 2412 2328 2576 2400 2448 2572 2580 2596 2616 2600 2548 2500 2588 2524 2344 2576 2556 2500 2608 2572 2292 2428 2404 2440 2396 2576 2584 2452 2572 2380 2452 2648 2400 2628 2448 2576 2604 2564 2576 2656 2576 2392 2548 2444 2616 2588 2640 2304 2504 2416 2552 2608 2480 2640 2536 2616 2596 2376 2252 2600 2528 2396 2452 2412 2488 2520 2436 2640 2656 2472 2492 2444 2472 2592 2628 2460 2604 2604 2492 2520 2492 2528 2508 2444 2540 2352 2504 2368 2544 2540 2416 2456 2568 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 11 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 10 10 0 7 10 10 0 0 10 10 10 10 10 10 10 0 0 0 0 0 10 10 10 10 0 0 10 10 1 10 10 6 10 10 10 9 10 10 0 10 0 0 0 0 10 10 10 10 9 0 10 10 10 10 0 10 10 7 0 10 2 10 1 4 10 10 10 10 10 0 10 10 10 1 10 0 5 9 0 10 7 0 0 0 10 1 10 9 0 10 10 0 5 0 8 0 0 0 1 10 10 10 7 2 5 10 9 10 10 10 10 10 9 10 0 10 0 0 0 10 0 8 10 10 10 8 4 10 9 10 10 10 1 0 10 6 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 0 10 2 10 10 10 1 10 10 0 10 10 10 9 9 10 10 10 9 1 9 10 5 10 0 8 10 10 7 0 10 10 10 0 10 0 0 0 10 0 10 10 10 0 10 10 0 9 9 0 10 8 1 0 0 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 10 0 6 10 0 0 10 10 1 0 0 0 0 10 0 0 10 5 10 0 10 5 1 10 1 10 6 10 0 10 10 10 4 5 10 10 10 0 0 0 0 0 10 0 10 0 10 10 9 0 10 0 10 0 10 0 10 0 0 1 10 7 10 10 9 10 5 10 0 8 8 10 0 0 0 0 10 0 0 0 0 7 0 10 8 0 0 0 0 10 1 0 5 0 10 1 10 7 0 10 8 0 0 5 0 0 10 0 0 10 10 1 0 0 0 10 10 0 4 10 0 10 0 9 9 1 10 10 0 0 8 10 10 5 0 8 5 10 0 0 10 3 10 0 0 0 7 10 0 1 8 10 10 0 0 0 0 4 1 0 1 1 0 10 10 10 10 1 0 0 0 10 1 1 10 0 0 0 0 0 0 10 10 8 10 3 0 10 0 1 0 10 8 0 0 0 0 0 1 0 0 0 8 1 10 9 0 7 3 7 0 10 1 10 0 0 9 1 10 10 10 0 10 6 0 0 0 0 0 0 10 10 1 6 0 0 10 8 0 9 7 0 0 1 10 0 9 10 8 10 0 10 10 0 10 0 0 0 0 8 0 0 0 0 0 10 10 10 0 0 1 10 10 1 2 10 10 8 10 1 1 10 10 0 0 10 10 0 0 10 8 0 0 10 0 0 9 3 9 0 0 0 0 0 8 10 5 10 0 0 9 1 0 10 0 0 1 8 0 10 0 10 0 0 10 0 0 10 0 3 8 0 0 10 10 7 10 10 10 0 9 10 1 0 0 5 0 7 10 10 0 7 0 0 0 0 10 10 9 10 0 9 10 10 0 10 0 10 10 0 10 8 0 0 10 1 1 0 0 0 0 0 10 0 0 0 4 0 9 10 10 0 0 0 10 0 0 0 10 0 10 0 5 0 10 10 10 0 0 10 0 0 0 9 2 0 10 0 0 10 9 1 7 0 8 7 10 0 3 10 7 0 0 9 10 0 7 0 10 10 1 10 10 6 0 0 10 10 10 1 0 0 10 0 10 0 0 10 10 10 10 10 10 10 10 10 0 0 8 0 0 9 7 9 0 0 0 0 0 2 0 0 10 7 0 0 1 0 10 10 1 0 1 0 10 10 10 10 10 10 1 0 0 0 0 10 10 10 1 0 0 0 9 1 10 10 0 0 10 0 0 10 0 10 0 10 0 0 1 7 10 0 1 10 0 0 10 0 0 0 5 10 10 10 10 0 10 0 0 1 0 10 10 0 1 0 10 0 10 1 0 10 6 10 10 10 3 6 0 0 9 0 0 1 0 0 10 0 8 5 5 0 0 0 6 10 10 10 10 0 0 10 10 0 10 0 0 1 10 10 6 6 0 10 1 10 0 10 1 8 8 0 0 10 8 0 0 0 2 1 0 0 0 10 1 10 10 10 0 10 0 0 0 10 7 0 1 0 0 0 8 1 0 10 0 10 0 0 0 0 8 2 10 0 0 1 9 9 0 0 0 6 10 0 10 0 10 0 8 0 10 10 1 0 0 0 4 10 0 10 10 0 0 0 0 1 10 0 1 10 0 0 0 9 10 7 10 9 0 0 0 10 0 10 1 10 10 0 10 2 0 0 0 0 0 8 0 10 10 1 0 2 1 0 0 0 0 1 1 0 0 8 0 0 1 10 9 10 0 10 10 10 0 0 9 0 2 0 10 1 1 0 8 0 10 0 10 10 5 10 0 10 0 6 0 0 10 0 10 1 6 9 0 10 10 1 10 10 0 0 0 3 6 0 2 0 10 4 10 10 0 10 10 0 1 0 10 6 0 9 0 0 0 0 1 0 5 0 10 10 0 0 10 10 10 0 10 0 1 0 8 0 10 1 8 9 10 0 10 0 3 0 0 10 9 10 10 10 10 10 0 7 10 0 0 8 1 0 0 1 1 10 2 0 3 1 1 0 10 0 0 0 0 0 0 0 0 0 1 0 10 10 0 10 10 0 0 0 0 10 10 10 1 5 10 10 9 0 1 0 10 0 6 10 0 0 1 10 0 1 0 0 0 0 8 10 0 1 10 0 0 10 10 10 0 0 10 0 0 5 5 1 7 0 0 0 1 0 0 0 10 0 8 0 10 0 10 0 8 10 10 2 0 10 10 0 10 10 10 0 10 10 0 0 0 1 1 8 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 0 10 2 10 10 1 10 1 10 0 0 0 9 1 0 10 0 0 10 10 0 9 10 0 0 10 0 10 0 10 10 0 0 0 10 0 1 10 0 0 10 10 0 0 0 0 10 1 0 10 10 9 10 0 0 0 8 0 10 0 0 10 0 10 0 0 1 10 10 9 10 0 10 10 0 0 10 0 6 0 0 7 10 9 0 1 10 8 1 10 0 0 0 0 10 10 0 0 10 10 2 10 7 7 10 8 0 10 8 10 1 0 0 0 1 4 10 10 10 10 1 0 10 8 10 0 0 0 0 8 0 10 10 0 0 0 8 1 1 10 0 0 10 8 0 10 10 10 10 9 10 0 0 0 1 1 10 10 0 8 10 10 0 10 1 0 0 0 10 0 0 3 10 10 10 10 1 0 0 10 0 0 0 10 10 10 0 10 10 0 10 0 1 10 10 0 1 0 0 10 10 0 0 9 0 0 10 0 6 10 0 0 0 0 3 0 0 0 9 1 1 10 0 0 10 4 6 0 10 10 10 0 0 8 10 0 5 10 10 0 10 1 0 5 0 0 1 10 0 5 0 0 0 0 0 10 10 0 1 0 10 0 1 0 1 0 0 10 10 1 0 0 10 10 0 10 2 10 10 9 0 0 8 0 10 1 10 0 10 0 0 10 0 10 8 10 10 0 0 10 10 1 1 0 0 7 0 10 10 0 0 10 0 10 0 10 10 8 10 10 10 10 10 0 0 10 0 10 10 0 0 2 1 10 0 0 0 0 9 10 0 10 10 10 0 0 5 6 8 0 3 0 0 10 0 10 0 0 0 0 10 0 0 10 10 0 2 10 10 0 0 0 7 0 10 7 0 10 0 0 0 0 0 0 10 0 10 0 1 0 1 0 10 10 0 5 10 5 0 10 10 1 10 8 0 0 0 10 0 0 10 7 0 0 3 10 0 0 10 0 8 10 0 0 0 10 0 0 10 1 0 0 10 0 0 0 0 0 0 10 10 10 10 10 10 0 10 10 10 0 3 0 10 1 10 0 0 0 10 3 10 0 7 10 10 10 0 0 10 3 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 10 9 1 10 10 10 7 0 2 4 10 0 9 0 0 0 0 0 4 0 10 1 10 0 0 10 10 10 9 0 10 10 8 1 0 1 0 7 0 0 10 10 10 0 10 10 0 0 10 0 10 10 0 10 1 0 10 10 0 10 0 0 0 0 10 10 0 10 9 0 0 0 0 10 9 1 0 6 9 0 0 10 10 1 0 2 0 4 0 0 8 0 1 0 0 0 0 5 0 0 5 0 2 1 0 0 10 10 10 1 0 0 9 10 10 10 9 0 0 9 10 10 0 10 0 10 10 0 10 0 1 10 3 0 8 0 0 0 2 10 0 1 10 0 10 0 0 0 0 1 0 7 10 10 5 10 0 0 8 0 0 0 10 0 10 10 1 0 0 10 0 10 10 0 1 0 10 0 0 8 0 5 0 10 10 10 10 10 10 0 10 10 0 0 10 3 10 10 9 7 0 10 10 0 10 10 0 0 1 0 0 0 0 10 1 10 0 0 0 0 0 9 1 10 9 10 0 0 7 10 10 0 0 0 10 4 0 4 10 4 7 10 10 10 0 6 7 0 0 0 10 1 10 10 0 10 0 0 0 7 10 10 0 10 3 0 0 0 10 1 6 0 0 0 0 8 10 1 0 1 1 10 6 10 1 0 10 0 0 0 3 0 10 10 0 0 10 0 10 0 0 0 0 0 5 10 0 10 10 0 0 0 10 0 1 0 10 0 10 1 10 0 10 0 10 1 0 1 0 10 10 0 8 10 1 10 10 10 10 0 10 0 6 0 0 0 0 8 0 0 10 0 10 0 10 0 1 0 0 152 60 84 72 88 52 116 248 208 48 20 96 104 68 16 36 104 116 116 88 0 96 60 120 40 28 152 8 24 172 192 364 56 12 20 80 68 156 24 12 36 4 232 16 16 0 64 88 40 44 44 16 64 104 108 48 108 28 244 92 96 92 84 88 116 88 32 68 40 124 156 76 20 36 96 12 4 12 76 188 184 200 168 84 156 76 160 136 32 204 56 116 64 56 172 16 88 184 124 64 92 172 20 48 100 44 96 84 232 4 172 300 264 80 236 172 156 52 232 192 112 44 8 140 0 164 32 16 152 232 188 0 0 152 24 252 188 12 128 24 128 244 148 80 172 136 180 32 196 148 108 216 24 184 216 244 244 56 76 208 28 52 72 28 236 44 16 112 44 12 228 96 104 88 212 20 40 124 68 44 12 20 72 116 132 168 84 180 92 8 124 16 140 92 32 4 40 312 56 24 140 56 28 116 48 24 36 148 308 12 56 52 68 4 160 20 152 28 20 196 148 0 12 164 160 0 144 44 100 76 192 124 188 340 16 132 64 116 8 0 0 220 32 68 88 36 4 76 52 140 120 120 76 236 232 92 108 100 152 492 36 324 64 152 76 132 12 200 112 64 116 76 252 120 68 116 68 128 188 108 8 140 20 84 100 4 44 8 140 72 96 28 116 124 172 88 116 52 80 152 128 100 24 44 128 140 52 204 80 8 56 68 12 44 44 52 288 116 8 184 72 48 72 208 36 68 108 20 8 172 16 8 36 108 28 188 64 52 184 200 44 100 140 168 0 56 12 116 188 56 16 88 8 4 16 24 52 32 100 8 96 104 100 128 140 208 152 276 104 244 12 252 244 152 184 212 32 76 8 40 8 60 124 0 20 84 236 44 20 264 256 124 92 24 200 72 128 124 144 140 136 84 4 128 72 44 132 140 148 132 84 148 52 96 80 108 100 232 60 148 216 100 16 24 48 168 4 12 80 148 136 0 104 124 8 8 152 8 88 12 8 4 8 56 4 64 80 20 164 80 88 72 32 40 64 24 24 8 168 208 32 36 56 228 40 152 104 176 20 84 48 172 352 364 360 348 408 300 364 320 196 372 428 456 408 164 136 216 160 168 108 80 92 132 72 88 36 8 48 36 68 0 8 20 48 72 80 64 0 84 64 52 24 68 76 96 92 176 24 88 104 52 160 4 64 92 8 100 28 116 48 144 32 88 84 52 140 128 252 96 244 268 20 84 172 264 144 4 44 124 296 28 80 12 112 4 0 48 88 20 80 32 80 60 192 96 340 200 124 240 184 124 288 224 0 28 20 160 32 40 28 52 172 108 116 44 40 108 8 128 128 324 268 268 332 224 340 300 340 196 352 40 136 92 4 52 52 108 132 60 4 44 172 56 84 48 24 80 8 108 116 132 92 76 32 24 216 40 16 132 32 288 116 8 136 52 24 184 228 176 200 156 68 124 64 160 84 164 8 152 56 12 0 8 12 36 92 56 4 24 32 44 8 8 116 52 80 168 44 28 16 64 144 88 0 36 44 40 92 132 4 144 32 200 132 16 88 184 76 188 68 48 0 8 168 96 152 236 80 60 196 108 64 52 140 88 104 92 92 108 248 68 120 64 480 92 388 192 348 64 104 244 36 112 168 28 8 172 96 96 212 116 136 100 108 88 136 36 120 152 4 72 24 116 8 60 40 68 56 124 136 28 88 0 160 144 128 144 48 32 144 200 208 192 216 96 304 108 8 180 160 180 40 148 28 8 184 116 44 140 124 112 52 24 52 136 152 128 104 48 112 60 56 28 128 68 4 64 12 80 20 0 184 72 52 60 296 280 168 84 80 28 168 28 52 32 140 144 124 24 12 164 64 40 36 12 168 100 84 228 224 172 192 184 148 200 76 176 156 20 40 24 176 184 72 156 72 184 32 184 168 116 180 108 36 120 92 64 104 188 80 4 28 40 28 140 172 12 152 160 44 140 40 20 20 36 96 76 96 112 112 168 40 340 72 36 16 4 156 28 4 0 124 104 160 192 168 180 84 236 144 240 204 100 76 60 112 72 232 120 20 368 12 316 156 272 256 332 344 96 340 292 416 56 28 64 112 164 16 124 200 128 140 144 72 12 20 192 192 116 76 164 8 152 16 124 136 124 176 224 60 48 128 52 204 12 92 124 8 296 204 224 276 100 300 36 104 96 152 100 44 212 0 132 76 72 76 28 128 156 12 116 180 16 12 44 24 104 124 152 136 204 184 12 124 36 160 44 156 168 64 60 268 0 16 60 84 108 92 152 84 4 48 0 132 172 128 232 100 108 88 8 48 216 240 128 76 0 276 28 52 32 152 12 24 40 108 56 12 56 0 124 92 72 4 20 76 28 296 100 8 60 24 36 32 116 4 140 252 100 76 72 88 20 128 84 60 12 4 136 44 40 104 232 44 56 4 32 56 16 28 20 116 160 4 164 108 88 144 96 232 80 108 0 12 324 104 340 8 204 28 312 364 324 280 356 92 176 356 48 88 20 0 0 12 172 12 0 40 20 140 156 120 16 324 0 128 96 12 96 36 120 76 68 80 32 220 68 20 152 60 72 48 44 32 8 112 112 64 12 32 36 0 0 16 24 32 152 116 0 12 28 16 12 136 20 72 360 60 48 28 152 140 144 12 296 344 156 136 88 84 32 100 4 68 48 56 36 84 440 28 204 108 96 8 280 168 148 112 228 248 24 4 164 28 32 28 0 472 120 60 228 184 56 220 8 4 140 164 24 48 32 72 140 44 20 160 44 108 144 4 72 196 4 140 56 36 164 204 20 256 144 32 192 184 312 40 140 48 20 24 0 236 120 92 72 112 72 112 144 16 60 104 40 0 96 32 104 36 4 68 48 12 36 124 100 12 100 8 68 56 60 52 104 32 40 12 276 20 260 88 108 92 224 56 32 176 8 36 68 84 260 100 20 112 100 156 128 24 52 100 16 56 28 228 252 36 4 72 68 12 12 160 32 224 44 80 24 52 320 84 112 312 252 184 108 112 60 148 176 232 132 120 224 196 28 192 88 76 60 76 60 32 100 140 116 220 56 96 172 84 224 200 188 172 244 52 176 252 112 144 180 156 48 56 100 440 80 16 28 0 128 28 184 96 216 56 40 124 72 164 28 0 60 12 92 4 52 92 92 136 384 168 236 36 44 16 84 96 84 80 84 44 96 104 88 72 44 184 8 8 108 32 56 28 24 112 40 172 24 124 200 256 92 4 44 24 112 32 92 28 4 16 80 312 200 84 112 92 136 128 164 212 200 228 244 288 368 304 172 176 200 132 76 260 104 104 56 416 48 136 44 164 0 164 56 96 32 192 32 84 284 32 268 48 160 140 164 112 168 64 192 356 52 32 56 48 112 168 44 28 136 116 28 324 456 172 324 220 32 24 12 108 296 320 296 104 28 48 8 8 12 76 36 28 40 24 8 144 8 12 176 124 68 8 108 124 104 96 8 176 8 84 4 24 108 36 12 172 60 20 4 16 16 64 140 100 92 164 36 308 120 56 20 172 36 52 20 28 308 16 16 12 268 80 80 144 28 120 44 60 88 60 156 76 104 128 8 12 56 4 88 48 20 28 72 324 4 0 0 8 244 52 140 288 196 52 180 140 28 64 24 196 180 148 44 36 48 64 12 60 96 108 68 80 96 180 48 152 44 60 20 16 72 0 32 92 304 92 220 160 180 128 116 108 60 32 252 0 4 16 128 108 12 268 48 92 56 32 388 408 440 192 24 56 120 68 0 132 192 208 144 156 32 52 64 44 164 4 92 28 236 108 72 128 128 104 152 68 32 84 68 68 24 72 32 4 232 20 68 16 96 100 136 172 80 152 132 0 172 92 12 124 4 88 96 60 0 136 28 164 56 24 76 240 84 124 212 204 24 40 264 160 56 100 48 48 88 20 44 76 136 16 16 184 108 24 168 32 212 156 0 28 160 12 16 0 52 88 224 4 56 88 0 28 152 128 104 216 216 268 96 88 132 112 304 248 192 364 112 60 4 52 100 8 212 164 40 36 36 28 92 84 104 192 96 48 68 124 52 12 68 136 148 120 12 52 48 16 220 172 144 96 172 168 96 64 80 116 64 96 4 212 36 48 160 8 88 36 16 204 80 92 252 248 36 248 328 76 164 176 20 4 196 28 24 52 28 216 104 8 0 140 92 8 68 4 60 36 60 20 144 20 116 8 80 180 96 220 296 92 92 20 28 56 8 92 60 48 36 104 104 184 12 28 12 68 84 144 52 44 4 80 16 196 224 28 48 28 164 72 112 108 76 52 36 104 148 212 4 280 24 268 36 84 100 256 164 52 16 32 176 24 32 88 136 88 164 16 132 204 44 36 140 92 8 92 216 36 68 52 36 4 100 32 12 236 260 260 112 164 176 84 76 36 52 4 240 44 12 12 56 148 36 12 188 76 112 92 40 208 120 212 16 352 16 120 404 220 164 104 16 52 44 68 244 296 32 0 0 96 240 112 176 68 48 336 140 300 136 112 0 24 12 16 68 116 8 24 48 200 244 8 56 56 12 20 152 180 128 44 28 44 52 32 204 36 148 96 164 156 0 52 76 16 84 96 132 52 52 60 16 44 148 52 36 60 200 2520.10/2489.02 v </values> 2520.10/2489.02 v </instantiation>
OK 474748253
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 (6431 MiB free)
memory of node 1: 16384 MiB (9286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312081-1534551057/watcher-4312081-1534551057 -o /tmp/evaluation-result-4312081-1534551057/solver-4312081-1534551057 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534541039-9204 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312081-1534551057.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10376, runsolver pid=10373
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 2.09 1.81 1.72 3/216 10391
/proc/meminfo: memFree=16077884/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14082736 memory=31292 CPUtime=0.12 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 6721 0 0 0 11 1 0 0 20 0 15 0 272668928 14420721664 7823 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3520684 7823 3162 1 0 3482761 0
[pid=10376/tid=10378] ppid=10373 vsize=14082736 memory=-8701690554792316033 CPUtime=0.09 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 4776 0 0 0 9 0 0 0 20 0 15 0 272668929 14420721664 7823 33554432000 4194304 4196468 140732674788720 140098198621872 140098178479454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668929 14420721664 7823 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 7823 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 7823 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 7823 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097106453536 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097105400688 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0.01 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 7823 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31292 KiB
[startup+0.213525 s]*
/proc/loadavg: 2.09 1.81 1.72 5/216 10391
/proc/meminfo: memFree=16062628/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14082736 memory=47376 CPUtime=0.31 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 10402 0 0 0 30 1 0 0 20 0 15 0 272668928 14420721664 11844 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3520684 11844 3411 1 0 3482761 0
[pid=10376/tid=10378] ppid=10373 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 8117 0 0 0 19 1 0 0 20 0 15 0 272668929 14420721664 11844 33554432000 4194304 4196468 140732674788720 140098198616464 140098194410902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668929 14420721664 11844 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14082736 memory=139820063799436 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 11844 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 11844 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 11844 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097106453536 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097105400688 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) R 10373 10376 9172 0 -1 4202560 200 0 0 0 1 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097102244592 140098194420314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0.06 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) R 10373 10376 9172 0 -1 4202560 291 0 0 0 6 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097101191792 140098173025256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 11844 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47376 KiB
[startup+0.310797 s]*
/proc/loadavg: 2.09 1.81 1.72 3/216 10391
/proc/meminfo: memFree=16058968/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14082736 memory=50792 CPUtime=0.44 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 10782 0 0 0 43 1 0 0 20 0 15 0 272668928 14420721664 12698 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3520684 12698 3414 1 0 3482761 0
[pid=10376/tid=10378] ppid=10373 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 8465 0 0 0 29 1 0 0 20 0 15 0 272668929 14420721664 12698 33554432000 4194304 4196468 140732674788720 140098198616728 140098175962542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668929 14420721664 12698 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14082736 memory=139820063799413 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 12698 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 12698 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668930 14420721664 12698 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097106453536 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668931 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097105400688 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0.08 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14082736 memory=139820062332544 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668934 14420721664 12698 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50792 KiB
[startup+0.700782 s]
/proc/loadavg: 2.09 1.81 1.72 4/216 10391
/proc/meminfo: memFree=15993104/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14084804 memory=89180 CPUtime=0.99 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 17639 0 0 0 95 4 0 0 20 0 15 0 272668928 14422839296 22295 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3521201 22295 3491 1 0 3483273 0
[pid=10376/tid=10378] ppid=10373 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 14929 0 0 0 64 3 0 0 20 0 15 0 272668929 14422839296 22295 33554432000 4194304 4196468 140732674788720 140098198623072 140098194420893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14084804 memory=5540 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668929 14422839296 22295 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14084804 memory=4400 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14422839296 22295 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14084804 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668930 14422839296 22295 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668930 14422839296 22295 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668931 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668931 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097106453536 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14084804 memory=6616 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668931 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097105400688 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14084804 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14084804 memory=7881696724453321575 CPUtime=0.06 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 544 0 0 0 6 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14084804 memory=5787213857196369745 CPUtime=0.08 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 386 0 0 0 8 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 397 0 0 0 15 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668934 14422839296 22295 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89180 KiB
[startup+1.50079 s]
/proc/loadavg: 2.24 1.84 1.73 4/216 10391
/proc/meminfo: memFree=15755800/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14086852 memory=493712 CPUtime=3.16 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 20198 0 0 0 266 50 0 0 20 0 15 0 272668928 14424936448 123428 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3521713 123428 3574 1 0 3483785 0
[pid=10376/tid=10378] ppid=10373 vsize=14086852 memory=6791534058613427641 CPUtime=1.25 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 15345 0 0 0 116 9 0 0 20 0 15 0 272668929 14424936448 123428 33554432000 4194304 4196468 140732674788720 140098198632464 140097823568229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14086852 memory=-8754540793456063680 CPUtime=0.2 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 190 0 0 0 11 9 0 0 20 0 15 0 272668929 14424936448 123428 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14086852 memory=-2843869621055772062 CPUtime=0.2 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 259 0 0 0 11 9 0 0 20 0 15 0 272668930 14424936448 123428 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14086852 memory=5450919713671312938 CPUtime=0.2 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 203 0 0 0 11 9 0 0 20 0 15 0 272668930 14424936448 123428 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14086852 memory=7005738693937936738 CPUtime=0.21 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 233 0 0 0 12 9 0 0 20 0 15 0 272668930 14424936448 123428 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14086852 memory=-7165351541977658656 CPUtime=0.01 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 272668931 14424936448 123428 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
################
# More data... #
################
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 184285 0 0 0 231436 77 0 0 20 0 15 0 272668929 14429130752 475892 33554432000 4194304 4196468 140732674788720 140098198637328 140097837530863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14090948 memory=1907156 CPUtime=6.64 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 47097 0 0 0 577 87 0 0 20 0 15 0 272668929 14429130752 475892 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14090948 memory=1912800 CPUtime=6.62 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 46678 0 0 0 576 86 0 0 20 0 15 0 272668930 14429130752 475892 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14090948 memory=1907156 CPUtime=6.62 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 41024 0 0 0 575 87 0 0 20 0 15 0 272668930 14429130752 475892 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14090948 memory=1907156 CPUtime=6.64 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 45097 0 0 0 576 88 0 0 20 0 15 0 272668930 14429130752 475892 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14090948 memory=1907156 CPUtime=0.38 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 18006 0 0 0 30 8 0 0 20 0 15 0 272668931 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14090948 memory=1903568 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097106453600 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14090948 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097105400704 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14090948 memory=6632 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14090948 memory=1903568 CPUtime=4.11 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 11984 0 0 0 408 3 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14090948 memory=1903568 CPUtime=3.66 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 9718 0 0 0 364 2 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14090948 memory=1907156 CPUtime=1.33 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 10130 0 0 0 130 3 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14090948 memory=1907156 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14090948 memory=4872558044660077418 CPUtime=1.28 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 1981 0 0 0 59 69 0 0 20 0 15 0 272668934 14429130752 475892 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 2352.5 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1903568 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 1.95 1.92 3/215 10463
/proc/meminfo: memFree=13753580/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14090948 memory=1884584 CPUtime=2412.74 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 424802 0 0 0 240773 501 0 0 20 0 15 0 272668928 14429130752 471146 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3522737 471146 3626 1 0 3484809 0
[pid=10376/tid=10378] ppid=10373 vsize=14090948 memory=1885612 CPUtime=2375.04 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 186188 0 0 0 237427 77 0 0 20 0 15 0 272668929 14429130752 471146 33554432000 4194304 4196468 140732674788720 140098198637072 140097826654055 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14090948 memory=1884584 CPUtime=6.71 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 48354 0 0 0 584 87 0 0 20 0 15 0 272668929 14429130752 471146 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14090948 memory=56 CPUtime=6.7 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 48303 0 0 0 584 86 0 0 20 0 15 0 272668930 14429130752 471146 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14090948 memory=1887664 CPUtime=6.68 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 41370 0 0 0 581 87 0 0 20 0 15 0 272668930 14429130752 471146 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14090948 memory=164 CPUtime=6.71 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 46994 0 0 0 583 88 0 0 20 0 15 0 272668930 14429130752 471146 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14090948 memory=5937829357930637163 CPUtime=0.39 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 18275 0 0 0 31 8 0 0 20 0 15 0 272668931 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14090948 memory=1895872 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097106453600 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14090948 memory=1907156 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097105400704 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14090948 memory=1887664 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14090948 memory=1887664 CPUtime=4.11 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 11986 0 0 0 408 3 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14090948 memory=1885612 CPUtime=3.66 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 9721 0 0 0 364 2 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14090948 memory=6636 CPUtime=1.33 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 10133 0 0 0 130 3 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14090948 memory=1885612 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14090948 memory=3232 CPUtime=1.32 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 2007 0 0 0 61 71 0 0 20 0 15 0 272668934 14429130752 471146 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 2412.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1884584 KiB
[startup+2442.3 s]
/proc/loadavg: 1.90 1.94 1.92 3/215 10620
/proc/meminfo: memFree=18614540/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14090948 memory=1877396 CPUtime=2473.07 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 429305 0 0 0 246803 504 0 0 20 0 15 0 272668928 14429130752 469349 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3522737 469349 3626 1 0 3484809 0
[pid=10376/tid=10378] ppid=10373 vsize=14090948 memory=1879448 CPUtime=2434.92 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 188356 0 0 0 243415 77 0 0 20 0 15 0 272668929 14429130752 469349 33554432000 4194304 4196468 140732674788720 140098198637232 140097826778816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14090948 memory=1878936 CPUtime=6.81 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 48601 0 0 0 594 87 0 0 20 0 15 0 272668929 14429130752 469349 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14090948 memory=1878936 CPUtime=6.8 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 48560 0 0 0 594 86 0 0 20 0 15 0 272668930 14429130752 469349 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14090948 memory=1877396 CPUtime=6.78 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 41994 0 0 0 591 87 0 0 20 0 15 0 272668930 14429130752 469349 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14090948 memory=1878936 CPUtime=6.81 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 48126 0 0 0 593 88 0 0 20 0 15 0 272668930 14429130752 469349 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14090948 memory=1878936 CPUtime=0.4 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 18318 0 0 0 32 8 0 0 20 0 15 0 272668931 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14090948 memory=1879448 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097106453600 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14090948 memory=1879448 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097105400704 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14090948 memory=1879448 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14090948 memory=1879448 CPUtime=4.11 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 11988 0 0 0 408 3 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14090948 memory=1879448 CPUtime=3.66 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 9723 0 0 0 364 2 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14090948 memory=1877400 CPUtime=1.33 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 10135 0 0 0 130 3 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14090948 memory=6636 CPUtime=1.35 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 2033 0 0 0 63 72 0 0 20 0 15 0 272668934 14429130752 469349 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 2473.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1877396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489 s]*
/proc/loadavg: 1.56 1.85 1.89 3/215 10620
/proc/meminfo: memFree=18447284/32770624 swapFree=67108372/67108860
[pid=10376] ppid=10373 vsize=14090948 memory=1859952 CPUtime=2520.1 cores=1,3,5,7
/proc/10376/stat : 10376 (java) S 10373 10376 9172 0 -1 1077944320 435228 0 0 0 251504 506 0 0 20 0 15 0 272668928 14429130752 464988 33554432000 4194304 4196468 140732674788720 140732674771264 140098194398967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
/proc/10376/statm: 3522737 464988 3626 1 0 3484809 0
[pid=10376/tid=10378] ppid=10373 vsize=14090948 memory=6791534058613427641 CPUtime=2481.51 cores=1,3,5,7
/proc/10376/task/10378/stat : 10378 (java) R 10373 10376 9172 0 -1 4202560 189790 0 0 0 248074 77 0 0 20 0 15 0 272668929 14429130752 464988 33554432000 4194304 4196468 140732674788720 140098198637072 140097826652674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10379] ppid=10373 vsize=14090948 memory=4872558044660077418 CPUtime=6.91 cores=1,3,5,7
/proc/10376/task/10379/stat : 10379 (java) S 10373 10376 9172 0 -1 1077944384 49693 0 0 0 604 87 0 0 20 0 15 0 272668929 14429130752 464988 33554432000 4194304 4196468 140732674788720 140098147019920 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10380] ppid=10373 vsize=14090948 memory=7091871359829634368 CPUtime=6.9 cores=1,3,5,7
/proc/10376/task/10380/stat : 10380 (java) S 10373 10376 9172 0 -1 1077944384 49574 0 0 0 604 86 0 0 20 0 15 0 272668930 14429130752 464988 33554432000 4194304 4196468 140732674788720 140098145967120 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10381] ppid=10373 vsize=14090948 memory=7091871359829634368 CPUtime=6.88 cores=1,3,5,7
/proc/10376/task/10381/stat : 10381 (java) S 10373 10376 9172 0 -1 1077944384 42846 0 0 0 601 87 0 0 20 0 15 0 272668930 14429130752 464988 33554432000 4194304 4196468 140732674788720 140098144914320 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10382] ppid=10373 vsize=14090948 memory=7512112391823125353 CPUtime=6.91 cores=1,3,5,7
/proc/10376/task/10382/stat : 10382 (java) S 10373 10376 9172 0 -1 1077944384 49408 0 0 0 603 88 0 0 20 0 15 0 272668930 14429130752 464988 33554432000 4194304 4196468 140732674788720 140098143861520 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10383] ppid=10373 vsize=14090948 memory=7237392814634459755 CPUtime=0.42 cores=1,3,5,7
/proc/10376/task/10383/stat : 10383 (java) S 10373 10376 9172 0 -1 1077944384 18553 0 0 0 33 9 0 0 20 0 15 0 272668931 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097107507568 140098194410114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10384] ppid=10373 vsize=14090948 memory=7237392814634459755 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10384/stat : 10384 (java) S 10373 10376 9172 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097106453600 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10385] ppid=10373 vsize=14090948 memory=7450203251588743266 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10385/stat : 10385 (java) S 10373 10376 9172 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 272668931 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097105400704 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10386] ppid=10373 vsize=14090948 memory=4639388640926722413 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10386/stat : 10386 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097104349008 140098194417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10387] ppid=10373 vsize=14090948 memory=7512112391823125353 CPUtime=4.11 cores=1,3,5,7
/proc/10376/task/10387/stat : 10387 (java) S 10373 10376 9172 0 -1 1077944384 11989 0 0 0 408 3 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097103297392 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10388] ppid=10373 vsize=14090948 memory=4639388640926722413 CPUtime=3.66 cores=1,3,5,7
/proc/10376/task/10388/stat : 10388 (java) S 10373 10376 9172 0 -1 1077944384 9729 0 0 0 364 2 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097102244592 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10389] ppid=10373 vsize=14090948 memory=7450203251588743266 CPUtime=1.33 cores=1,3,5,7
/proc/10376/task/10389/stat : 10389 (java) S 10373 10376 9172 0 -1 1077944384 10137 0 0 0 130 3 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097101191792 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10390] ppid=10373 vsize=14090948 memory=7512112391823125353 CPUtime=0 cores=1,3,5,7
/proc/10376/task/10390/stat : 10390 (java) S 10373 10376 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097100139232 140098194409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
[pid=10376/tid=10391] ppid=10373 vsize=14090948 memory=7091871359829634368 CPUtime=1.38 cores=1,3,5,7
/proc/10376/task/10391/stat : 10391 (java) S 10373 10376 9172 0 -1 1077944384 2038 0 0 0 64 74 0 0 20 0 15 0 272668934 14429130752 464988 33554432000 4194304 4196468 140732674788720 140097099086512 140098194410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7729152 140732674790472 140732674790665 140732674790665 140732674793423 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1859952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.05 s]
# the end of solver process 10376 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.09 s, system=5.08581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2489.05
CPU time (s): 2520.17
CPU user time (s): 2515.09
CPU system time (s): 5.08581
CPU usage (%): 101.25
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 5194404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.09
system time used= 5.08581
maximum resident set size= 5194408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60950
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 10376
# total CPU time (s): 2520.17
# total CPU user time (s): 2515.09
# total CPU system time (s): 5.08581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8197 second user time and 24.2026 second system time
The end
Begin job on node137 at 2018-08-18 02:10:57 IDJOB=4312081 IDBENCH=141265 IDSOLVER=2799 FILE ID=node137/4312081-1534551057 RUNJOBID= node137-1534541039-9204 PBS_JOBID= 21038634 Free space on /tmp= 43408 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312081-1534551057/watcher-4312081-1534551057 -o /tmp/evaluation-result-4312081-1534551057/solver-4312081-1534551057 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534541039-9204 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312081-1534551057.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e RANDOM SEED=1306271232 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16096308 kB MemAvailable: 27056232 kB Buffers: 212352 kB Cached: 11001652 kB SwapCached: 8 kB Active: 12304516 kB Inactive: 3788484 kB Active(anon): 4848680 kB Inactive(anon): 99076 kB Active(file): 7455836 kB Inactive(file): 3689408 kB Unevictable: 7196 kB Mlocked: 7196 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 161084 kB Writeback: 0 kB AnonPages: 4892108 kB Mapped: 33272 kB Shmem: 66008 kB Slab: 272332 kB SReclaimable: 243140 kB SUnreclaim: 29192 kB KernelStack: 3536 kB PageTables: 14700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 7109208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4698112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 43372 MiB End job on node137 at 2018-08-18 02:52:27