Trace number 4307052

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b seq (e747e1e)SAT (TO)372103316 2520.09 2500.33

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4307052-1534083672.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4307052-1534083672.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.29	c parse instance...
26.78/15.67	c solve instance...
66.92/51.52	o 372287325 
78.27/61.34	o 372287316 
86.49/69.11	o 372250526 
86.58/69.25	o 372250516 
86.69/69.38	o 372232116 
154.01/136.44	o 372213716 
154.11/136.56	o 372195316 
204.28/186.62	o 372176916 
228.13/210.30	o 372140116 
578.83/560.69	o 372103325 
579.27/561.08	o 372103316 
2520.04/2500.30	s SATISFIABLE
2520.04/2500.30	v <instantiation>
2520.04/2500.30	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] </list>
2520.04/2500.31	v 	<values>2468 2232 2312 2760 2508 2544 2664 2668 2420 2340 2720 2760 2220 2392 2532 2260 2632 2404 2592 2448 2468 2720 2468 2584 2720 2760 2612 2800 2592 2760 2796 2760 2760 2600 2516 2776 2680 2244 2652 2628 2800 2428 2720 2516 2584 2516 2492 2612 2348 2632 2652 2596 2628 2244 2268 2476 2428 2680 2544 2488 2284 2544 2420 2520 2464 2772 2720 2392 2452 2800 2668 2816 2468 2492 2720 2244 2404 2260 2428 2548 2516 2812 2344 2428 2476 2640 2220 2760 2760 2392 2720 2680 2780 2272 2616 2432 2776 2488 2492 2632 2272 2432 2680 2544 2552 2476 2240 2300 2720 2704 2380 2584 2444 2224 2464 2344 2260 2760 2800 2572 2448 2672 2544 2264 2720 2284 2284 2820 2220 2220 2532 2516 2492 2628 2468 2244 2444 2760 2640 2260 2720 2220 2584 2532 2780 2428 2680 2304 2424 2272 2800 2380 2492 2760 2308 2632 2816 2800 2696 2556 2260 2504 2468 2632 2720 2584 2312 2476 2532 2220 2740 2380 2736 2680 2652 2560 2420 2584 2424 2800 2412 2428 2680 2632 2664 2404 2808 2240 2244 2464 2392 2508 2668 2760 2720 2420 2364 2720 2504 2596 2672 2464 2532 2476 2820 2720 2304 2812 2780 2260 2424 2612 2308 2624 2756 2280 2632 2768 2220 2680 2432 2468 2672 2760 2280 2512 2592 2544 2556 2468 2284 2380 2656 2800 2680 2772 2532 2492 2428 2428 2452 2760 2380 2476 2432 2640 2420 2492 2800 2760 2420 2532 2760 2260 2380 2516 2672 2284 2468 2464 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 292 132 120 200 292 76 252 148 236 24 104 88 4 344 292 540 256 312 232 216 12 464 28 432 12 488 48 312 200 408 568 356 108 136 368 208 92 116 272 28 112 460 152 516 520 380 16 144 240 80 252 224 80 236 252 312 172 252 84 36 300 176 68 272 232 136 320 216 12 176 136 52 216 112 92 112 52 28 76 244 404 12 148 108 56 232 236 380 172 36 152 248 52 152 240 304 216 164 208 232 176 340 136 28 336 236 380 420 288 80 4 212 100 364 332 76 192 152 380 420 32 340 124 88 80 204 52 80 292 276 80 308 88 244 460 40 80 40 436 252 176 92 292 516 380 40 60 268 228 172 540 40 540 500 500 364 248 580 476 256 144 404 272 368 408 148 40 384 108 124 88 140 288 148 112 84 248 408 28 68 92 228 152 152 68 188 228 284 512 40 12 184 168 44 120 460 204 216 172 296 160 156 168 228 156 140 220 36 372 128 200 128 84 356 132 120 112 100 248 228 60 408 376 28 24 76 40 76 8 60 88 168 40 80 80 80 168 312 348 204 68 192 16 256 224 164 232 352 68 184 56 16 20 4 116 224 48 196 172 252 292 164 252 8 252 24 88 80 228 292 40 496 188 80 340 164 160 4 224 80 252 48 224 44 196 332 156 292 176 68 92 132 324 240 364 312 120 272 224 192 76 304 204 116 92 204 80 96 228 256 188 228 460 136 160 40 88 208 80 228 16 340 368 308 332 128 80 536 88 540 336 268 284 228 108 136 352 136 168 392 144 128 332 160 40 40 372 372 80 80 368 456 256 172 80 420 324 120 144 40 268 36 116 88 172 128 60 88 80 160 80 272 12 40 328 208 216 540 64 176 20 340 36 144 252 320 452 536 236 552 516 328 416 344 376 216 16 292 456 92 340 244 476 132 292 176 228 228 60 336 204 80 332 176 172 132 160 28 72 132 220 56 124 160 84 112 168 88 88 164 256 244 152 296 64 56 428 4 504 476 308 16 16 136 100 420 376 16 84 8 396 184 528 28 200 40 184 340 436 184 420 564 220 64 136 188 248 220 368 120 272 184 44 28 156 68 116 60 4 28 392 44 40 136 196 44 204 248 388 16 36 172 172 44 308 80 184 80 268 488 60 380 168 492 44 40 420 88 88 64 120 332 36 392 344 64 244 88 328 16 80 24 40 160 88 124 92 208 40 292 28 124 32 48 224 292 152 244 296 244 68 188 132 364 136 140 364 136 216 76 40 172 68 96 40 204 300 204 88 32 28 244 92 108 4 96 284 140 4 72 88 232 148 184 72 16 272 180 64 16 148 368 124 340 144 68 308 120 40 52 200 184 372 220 180 424 464 412 452 372 304 72 128 408 204 48 4 156 252 104 176 188 180 168 128 348 28 164 208 188 108 432 96 392 148 184 68 248 408 56 108 232 108 168 44 324 216 12 292 204 132 204 164 76 40 60 64 336 216 52 196 44 124 192 244 40 160 396 436 436 60 516 408 4 220 148 188 492 264 248 412 200 68 192 16 48 16 156 220 80 192 244 112 172 284 12 64 168 88 392 40 204 208 224 36 392 48 8 260 164 40 40 100 460 120 420 136 300 396 272 216 164 176 12 84 176 52 124 176 268 284 236 324 112 124 284 76 232 144 216 44 192 184 164 248 24 228 56 68 180 532 40 12 532 96 276 496 144 476 184 124 56 68 176 324 40 304 36 176 128 136 128 160 132 120 220 380 72 260 44 400 360 204 8 380 32 64 24 236 300 108 276 36 300 140 160 16 104 12 100 28 236 220 296 312 200 244 68 160 40 192 224 72 68 216 308 296 428 12 228 8 344 28 512 80 40 88 16 80 252 80 212 356 216 176 300 100 92 408 108 192 408 76 272 28 88 108 12 40 108 268 228 80 28 144 140 24 72 180 144 16 24 308 168 252 24 308 352 216 580 0 176 128 200 152 12 200 364 356 4 276 448 384 4 96 184 596 504 436 576 136 304 388 340 24 116 184 40 56 40 292 172 332 248 64 4 192 268 232 72 12 188 180 268 268 376 448 40 24 356 188 100 288 340 64 188 228 80 516 576 452 388 68 36 176 288 516 148 72 120 20 276 264 192 60 364 24 88 284 36 540 460 256 480 460 104 208 284 24 396 332 128 332 116 200 156 4 36 244 340 40 88 68 228 124 80 124 56 44 16 120 36 288 100 24 16 88 256 164 240 88 108 140 360 296 72 60 60 100 100 40 72 104 120 160 88 208 332 252 104 88 40 204 4 244 24 88 44 244 284 244 256 36 16 420 368 356 80 40 336 400 176 80 80 136 208 220 64 24 460 84 20 172 288 452 212 336 200 80 20 128 108 396 4 176 244 176 500 176 284 20 336 348 516 500 4 332 268 500 368 124 236 368 140 32 140 140 16 80 88 40 248 40 236 232 212 460 256 120 276 68 252 420 480 20 60 508 60 304 172 32 204 108 408 380 192 120 160 284 160 392 144 56 104 56 204 164 308 236 12 88 16 212 368 304 28 128 152 60 96 432 516 532 244 144 556 36 56 232 396 44 144 40 68 228 16 68 84 108 184 124 208 108 192 52 328 136 40 68 272 180 320 188 212 24 48 128 412 20 32 168 100 32 356 108 196 108 148 152 536 488 204 528 192 12 240 52 12 4 240 348 160 100 8 164 204 216 56 24 188 300 260 212 176 136 256 40 176 76 80 168 124 256 208 96 212 264 56 192 204 56 8 464 24 276 292 236 252 500 168 500 64 164 80 476 80 356 244 52 292 80 340 188 236 148 56 240 24 420 56 300 252 68 132 152 112 152 380 12 88 40 112 40 96 116 92 176 20 112 184 40 152 140 164 16 160 308 4 360 308 252 536 308 120 16 244 92 204 40 60 220 132 148 184 296 180 456 212 60 100 252 64 296 84 412 460 208 556 324 500 48 252 120 216 88 476 268 40 88 80 88 296 80 436 120 268 540 80 96 200 40 80 44 84 188 204 224 372 188 228 312 188 388 412 28 84 176 236 232 68 180 176 52 224 44 320 44 432 292 156 556 44 16 536 508 164 20 188 16 136 292 40 256 48 440 188 248 184 64 456 96 44 476 180 396 348 140 128 44 108 388 476 4 600 12 100 396 276 392 560 412 520 516 540 292 64 460 288 152 28 152 204 88 232 140 88 12 68 316 20 44 96 68 368 92 4 28 248 252 196 160 332 288 120 352 60 568 268 348 412 428 276 228 32 12 68 356 316 176 540 380 52 308 420 160 136 16 32 16 32 460 436 352 332 204 300 476 128 340 40 336 92 24 448 376 84 392 60 420 64 176 80 364 300 72 216 176 188 168 56 248 252 152 56 68 276 20 288 16 204 292 212 252 288 40 176 300 212 456 348 160 128 272 296 116 204 168 4 108 40 148 152 32 240 156 580 80 20 492 332 516 308 340 152 88 96 152 88 112 188 308 228 16 120 132 40 268 48 516 128 268 96 56 184 48 72 168 168 128 212 136 256 396 576 388 176 132 44 40 120 420 332 44 136 24 84 476 296 312 40 252 56 276 64 84 272 244 372 404 144 500 44 352 540 24 192 28 80 100 260 108 224 136 332 48 208 412 104 48 176 100 156 188 136 180 164 168 244 88 500 252 188 108 152 96 176 160 172 116 116 204 156 12 148 8 116 164 152 208 76 20 236 232 380 316 356 36 204 12 212 188 80 260 68 188 116 220 108 96 160 56 340 300 392 252 236 380 304 204 324 4 44 288 268 132 36 80 292 384 40 8 88 12 136 252 212 188 412 352 88 252 356 284 136 160 192 208 124 128 236 16 128 120 388 128 520 480 192 228 316 476 352 72 292 32 296 92 296 84 112 88 164 288 228 40 224 264 204 56 88 100 76 236 40 256 480 476 228 268 52 392 336 380 404 144 168 176 188 292 288 40 40 224 72 292 316 4 312 364 80 156 4 180 36 336 336 396 264 288 300 24 336 456 20 180 344 132 20 284 256 44 68 332 20 28 192 464 144 344 156 176 92 176 12 4 232 360 48 100 348 348 552 200 148 124 124 76 332 24 40 292 116 128 412 332 296 312 520 132 208 60 80 260 52 136 172 292 64 488 420 380 40 96 84 188 304 112 180 20 64 152 216 192 240 120 72 48 500 88 </values>
2520.04/2500.31	v </instantiation>
2520.04/2500.31	c Unexpected resolution interruption!

Verifier Data 

OK	372103316

Watcher Data 

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 (10167 MiB free)
  memory of node 1: 16384 MiB (3984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307052-1534083672/watcher-4307052-1534083672 -o /tmp/evaluation-result-4307052-1534083672/solver-4307052-1534083672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580 HOME/xcsp3-exec -seed 890853469 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307052-1534083672.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1381, runsolver pid=1378

[startup+0.104064 s]*
/proc/loadavg: 1.89 1.91 1.90 3/218 1399
/proc/meminfo: memFree=14474588/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14082940 memory=28776 CPUtime=0.12 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 5562 0 0 0 10 2 0 0 20 0 15 0 225930400 14420930560 7194 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3520735 7194 3019 1 0 3483012 0
[pid=1385/tid=1386] ppid=1381 vsize=14082940 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 3568 0 0 0 8 1 0 0 20 0 15 0 225930400 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473594788800 140473590574486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14082940 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225930402 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225930403 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473063634080 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225930403 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473062580976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 225930405 14420930560 7259 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14420930560 7325 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0.01 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) R 1381 1381 31211 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 225930405 14420930560 7325 33554432000 4194304 4196468 140727664360400 140473058372080 140473583668273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14420930560 7325 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930406 14420930560 7325 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30228 KiB

[startup+0.210729 s]*
/proc/loadavg: 1.89 1.91 1.90 4/218 1399
/proc/meminfo: memFree=14463548/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14082940 memory=40696 CPUtime=0.34 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 8182 0 0 0 31 3 0 0 20 0 15 0 225930400 14420930560 10174 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3520735 10174 3189 1 0 3483012 0
[pid=1385/tid=1386] ppid=1381 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 5409 0 0 0 18 2 0 0 20 0 15 0 225930400 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473594802224 140473590584477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14082940 memory=4294977833 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14082940 memory=288370055690053248 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225930401 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225930402 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225930403 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473063634080 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225930403 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473062580976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 15 0 225930405 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 225930405 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14082940 memory=139679538341504 CPUtime=0.07 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 225930405 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930406 14420930560 10174 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42148 KiB

[startup+0.31062 s]*
/proc/loadavg: 1.89 1.91 1.90 5/218 1399
/proc/meminfo: memFree=14457344/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14087196 memory=47272 CPUtime=0.51 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 8954 0 0 0 48 3 0 0 20 0 15 0 225930400 14425288704 11818 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3521799 11818 3262 1 0 3483012 0
[pid=1385/tid=1386] ppid=1381 vsize=14087196 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 6061 0 0 0 27 2 0 0 20 0 15 0 225930400 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473594793664 140473590584477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930401 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225930401 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14087196 memory=3763099673816014896 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225930402 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14087196 memory=7883313791549059376 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225930403 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473063634080 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14087196 memory=7526543200479828581 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225930403 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473062580976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14087196 memory=8463010448012958341 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) R 1381 1381 31211 0 -1 1077944384 596 0 0 0 4 0 0 0 20 0 15 0 225930405 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14087196 memory=3467824627881425208 CPUtime=0.04 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) R 1381 1381 31211 0 -1 4202560 202 0 0 0 4 0 0 0 20 0 15 0 225930405 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473059425136 140473569801008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14087196 memory=3545379924816238770 CPUtime=0.12 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) R 1381 1381 31211 0 -1 4202560 877 0 0 0 12 0 0 0 20 0 15 0 225930405 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473058372080 140473582799678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14087196 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14087196 memory=4122395904335677108 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930406 14425288704 11905 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48724 KiB

[startup+0.70092 s]
/proc/loadavg: 1.89 1.91 1.90 5/218 1399
/proc/meminfo: memFree=14360788/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14087196 memory=291816 CPUtime=1.6 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 12037 0 0 0 136 24 0 0 20 0 15 0 225930400 14425288704 72954 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3521799 72954 3328 1 0 3483012 0
[pid=1385/tid=1386] ppid=1381 vsize=14087196 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 6335 0 0 0 53 8 0 0 20 0 15 0 225930400 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473594801680 140473590584477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14087196 memory=17 CPUtime=0.05 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 58 0 0 0 2 3 0 0 20 0 15 0 225930401 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14087196 memory=2 CPUtime=0.05 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 225930401 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 15 0 225930401 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14087196 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 68 0 0 0 3 3 0 0 20 0 15 0 225930401 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 225930402 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 225930403 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473063634080 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 225930403 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473062580976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14087196 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) R 1381 1381 31211 0 -1 4202560 1941 0 0 0 25 0 0 0 20 0 15 0 225930405 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473060477976 140473574048430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14087196 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) R 1381 1381 31211 0 -1 4202560 998 0 0 0 25 0 0 0 20 0 15 0 225930405 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473059425136 140473574091287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14087196 memory=26 CPUtime=0.19 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 1130 0 0 0 19 0 0 0 20 0 15 0 225930405 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14087196 memory=3 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14087196 memory=33796 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225930406 14425288704 72954 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 293268 KiB

[startup+1.50109 s]
/proc/loadavg: 1.89 1.91 1.90 6/218 1399
/proc/meminfo: memFree=14168716/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0

################
# More data... #
################

/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473062580992 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14091368 memory=1452 CPUtime=5.58 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 39930 0 0 0 554 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14091368 memory=4140 CPUtime=4.35 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 28101 0 0 0 431 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 14300 0 0 0 104 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.4 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 5006 0 0 0 66 74 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 2401.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4204092 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/217 1580
/proc/meminfo: memFree=6282204/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2462 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 282912 0 0 0 245869 331 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3522842 1050660 3438 1 0 3484036 0
[pid=1385/tid=1386] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2439.49 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 115926 0 0 0 243888 61 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473594799320 140473237243853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 18106 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 18008 0 0 0 195 51 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 17567 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.43 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 17136 0 0 0 194 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0.17 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 7358 0 0 0 15 2 0 0 20 0 15 0 225930402 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473063634144 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473062580992 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14091368 memory=1452 CPUtime=5.58 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 39937 0 0 0 554 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14091368 memory=4202640 CPUtime=4.35 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 28113 0 0 0 431 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 14312 0 0 0 104 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 5074 0 0 0 68 76 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 2462 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4204092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/217 1580
/proc/meminfo: memFree=6283216/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2520.04 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 284283 0 0 0 251671 333 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3522842 1050660 3438 1 0 3484036 0
[pid=1385/tid=1386] ppid=1381 vsize=14091368 memory=4140 CPUtime=2497.48 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 117233 0 0 0 249687 61 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473594799320 140473237244052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14091368 memory=1452 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 18106 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 18008 0 0 0 195 51 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 17567 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14091368 memory=1452 CPUtime=2.43 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 17136 0 0 0 194 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0.17 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 7367 0 0 0 15 2 0 0 20 0 15 0 225930402 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473063634144 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473062580992 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14091368 memory=1452 CPUtime=5.58 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 39942 0 0 0 554 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14091368 memory=4202640 CPUtime=4.35 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 28116 0 0 0 431 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 14319 0 0 0 104 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.47 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 5114 0 0 0 70 77 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4204092 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2500.31 s]
# the end of solver process 1381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002324 s, system=0 s

[startup+2500.33 s]
# the end of solver process 1385 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.73 s, system=3.35558 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2500.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/217 1580
/proc/meminfo: memFree=6283216/32770624 swapFree=67108844/67108860
[pid=1381] ppid=1378 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1381/stat : 1381 (xcsp3-exec) S 1378 1381 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225930399 115843072 363 33554432000 4194304 5098028 140721350049024 140721350047128 140494508053116 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21348352 140721350054971 140721350055172 140721350055172 140721350057930 0
/proc/1381/statm: 28282 363 305 221 0 87 0
[pid=1385] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2520.04 cores=0,2,4,6
/proc/1385/stat : 1385 (java) S 1381 1381 31211 0 -1 1077944320 284283 0 0 0 251671 333 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140727664342944 140473590562551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
/proc/1385/statm: 3522842 1050660 3438 1 0 3484036 0
[pid=1385/tid=1386] ppid=1381 vsize=14091368 memory=4140 CPUtime=2497.48 cores=0,2,4,6
/proc/1385/task/1386/stat : 1386 (java) R 1381 1381 31211 0 -1 4202560 117233 0 0 0 249687 61 0 0 20 0 15 0 225930400 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473594799320 140473237244052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1387] ppid=1381 vsize=14091368 memory=1452 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1387/stat : 1387 (java) S 1381 1381 31211 0 -1 1077944384 18106 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473186728976 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1388] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1388/stat : 1388 (java) S 1381 1381 31211 0 -1 1077944384 18008 0 0 0 195 51 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473185676432 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1389] ppid=1381 vsize=14091368 memory=4202640 CPUtime=2.46 cores=0,2,4,6
/proc/1385/task/1389/stat : 1389 (java) S 1381 1381 31211 0 -1 1077944384 17567 0 0 0 197 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473184623376 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1390] ppid=1381 vsize=14091368 memory=1452 CPUtime=2.43 cores=0,2,4,6
/proc/1385/task/1390/stat : 1390 (java) S 1381 1381 31211 0 -1 1077944384 17136 0 0 0 194 49 0 0 20 0 15 0 225930401 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473183570832 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1391] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0.17 cores=0,2,4,6
/proc/1385/task/1391/stat : 1391 (java) S 1381 1381 31211 0 -1 1077944384 7367 0 0 0 15 2 0 0 20 0 15 0 225930402 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473064687856 140473590573698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1392] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1392/stat : 1392 (java) S 1381 1381 31211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473063634144 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1393] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1393/stat : 1393 (java) S 1381 1381 31211 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 225930403 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473062580992 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1394] ppid=1381 vsize=14091368 memory=4202640 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1394/stat : 1394 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473061529552 140473590581147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1395] ppid=1381 vsize=14091368 memory=1452 CPUtime=5.58 cores=0,2,4,6
/proc/1385/task/1395/stat : 1395 (java) S 1381 1381 31211 0 -1 1077944384 39942 0 0 0 554 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473060477680 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1396] ppid=1381 vsize=14091368 memory=4202640 CPUtime=4.35 cores=0,2,4,6
/proc/1385/task/1396/stat : 1396 (java) S 1381 1381 31211 0 -1 1077944384 28116 0 0 0 431 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473059425136 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1397] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/1385/task/1397/stat : 1397 (java) S 1381 1381 31211 0 -1 1077944384 14319 0 0 0 104 4 0 0 20 0 15 0 225930405 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473058372080 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1398] ppid=1381 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1385/task/1398/stat : 1398 (java) S 1381 1381 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473057319776 140473590572757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
[pid=1385/tid=1399] ppid=1381 vsize=14091368 memory=1452 CPUtime=1.47 cores=0,2,4,6
/proc/1385/task/1399/stat : 1399 (java) S 1381 1381 31211 0 -1 1077944384 5114 0 0 0 70 77 0 0 20 0 15 0 225930406 14429560832 1050660 33554432000 4194304 4196468 140727664360400 140473056266800 140473590573698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140727664362630 140727664362801 140727664362801 140727664365519 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4204092 KiB

Child status: 143
Real time (s): 2500.33
CPU time (s): 2520.09
CPU user time (s): 2516.73
CPU system time (s): 3.35558
CPU usage (%): 100.79
Max. virtual memory (cumulated for all children) (KiB): 14206424
Max. memory (cumulated for all children) (KiB): 4214544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.73
system time used= 3.35558
maximum resident set size= 4214632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59908
involuntary context switches= 3357


# summary of solver processes directly reported to runsolver:
#   pid: 1381,1385
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.73
#   total CPU system time (s): 3.35558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2875 second user time and 25.8452 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-12 16:21:12
IDJOB=4307052
IDBENCH=141262
IDSOLVER=2787
FILE ID=node136/4307052-1534083672
RUNJOBID= node136-1534063588-31242
PBS_JOBID= 21036988
Free space on /tmp= 35432 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307052-1534083672/watcher-4307052-1534083672 -o /tmp/evaluation-result-4307052-1534083672/solver-4307052-1534083672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31242 --watchdog 2580  HOME/xcsp3-exec -seed 890853469 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307052-1534083672.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=890853469

node136.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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        14492060 kB
MemAvailable:   29402004 kB
Buffers:          252876 kB
Cached:         14759752 kB
SwapCached:            8 kB
Active:          9816020 kB
Inactive:        7750072 kB
Active(anon):    2503604 kB
Inactive(anon):   102692 kB
Active(file):    7312416 kB
Inactive(file):  7647380 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:            112640 kB
Writeback:             0 kB
AnonPages:       2561100 kB
Mapped:            65712 kB
Shmem:             49788 kB
Slab:             406600 kB
SReclaimable:     378608 kB
SUnreclaim:        27992 kB
KernelStack:        3536 kB
PageTables:        10372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4279604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2461696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35140 MiB
End job on node136 at 2018-08-12 17:02:53