Trace number 4292758

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.7 seq (493a269)SAT (TO)372103316 2400.06 2378.85

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-4292758-1532330614.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292758-1532330614.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
27.91/15.84	c solve instance...
68.73/52.38	o 372287325 
80.56/62.36	o 372287316 
88.90/70.22	o 372250526 
89.02/70.38	o 372250516 
89.24/70.51	o 372232116 
157.25/138.39	o 372213716 
157.46/138.51	o 372195316 
208.64/189.67	o 372176916 
232.98/213.84	o 372140116 
591.39/571.82	o 372103325 
591.83/572.23	o 372103316 
2400.00/2378.80	s SATISFIABLE
2400.00/2378.80	v <instantiation>
2400.00/2378.80	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>
2400.00/2378.80	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>
2400.00/2378.81	v </instantiation>
2400.00/2378.81	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 (10942 MiB free)
  memory of node 1: 16384 MiB (9849 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292758-1532330614/watcher-4292758-1532330614 -o /tmp/evaluation-result-4292758-1532330614/solver-4292758-1532330614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11338 --watchdog 2560 HOME/xcsp3-exec -seed 1204963566 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292758-1532330614.xml 

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

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

solver pid=11798, runsolver pid=11795

[startup+0.100118 s]*
/proc/loadavg: 1.97 2.00 1.95 4/217 11814
/proc/meminfo: memFree=21275672/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14082840 memory=28392 CPUtime=0.12 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 15 0 50624584 14420828160 7098 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3520710 7098 2973 1 0 3483008 0
[pid=11800/tid=11801] ppid=11798 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 3535 0 0 0 8 0 0 0 20 0 15 0 50624584 14420828160 7098 33554432000 4194304 4196468 140729694462816 140452628909840 140452608767326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14082840 memory=3472467971038287056 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 7098 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 7098 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 7098 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 7098 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624586 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50624587 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451535373344 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50624587 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451534320496 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 50624589 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 50624589 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0.01 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) R 11798 11798 11307 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 50624589 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451530109136 140452624708186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624590 14420828160 7098 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29848 KiB

[startup+0.210644 s]*
/proc/loadavg: 1.97 2.00 1.95 3/217 11814
/proc/meminfo: memFree=21264592/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14082840 memory=41112 CPUtime=0.34 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 8289 0 0 0 32 2 0 0 20 0 15 0 50624584 14420828160 10278 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3520710 10278 3203 1 0 3483008 0
[pid=11800/tid=11801] ppid=11798 vsize=14082840 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 5407 0 0 0 19 1 0 0 20 0 15 0 50624584 14420828160 10278 33554432000 4194304 4196468 140729694462816 140452628912016 140452608767356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14082840 memory=3472467971038287056 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 10278 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 10278 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 10278 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14420828160 10278 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50624586 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50624587 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451535373344 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50624587 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451534320496 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 727 0 0 0 3 0 0 0 20 0 15 0 50624589 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 50624589 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0.07 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 15 0 50624589 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14082840 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624590 14420828160 10278 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42568 KiB

[startup+0.310521 s]*
/proc/loadavg: 1.97 2.00 1.95 3/217 11814
/proc/meminfo: memFree=21258388/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14087096 memory=47772 CPUtime=0.5 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 9091 0 0 0 48 2 0 0 20 0 15 0 50624584 14425186304 11943 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3521774 11943 3238 1 0 3483008 0
[pid=11800/tid=11801] ppid=11798 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 6124 0 0 0 28 1 0 0 20 0 15 0 50624584 14425186304 11943 33554432000 4194304 4196468 140729694462816 140452628920624 140452608767326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14087096 memory=3472467971038287056 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14425186304 11943 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14087096 memory=139842143135360 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14425186304 11943 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14087096 memory=2 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624585 14425186304 11943 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14087096 memory=139841987815455 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50624585 14425186304 11943 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14087096 memory=279683975591680 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50624586 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14087096 memory=139841987792399 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50624587 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451535373344 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14087096 memory=279684130936928 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50624587 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451534320496 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14087096 memory=139841987797007 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 50624589 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 50624589 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 770 0 0 0 12 0 0 0 20 0 15 0 50624589 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14087096 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624590 14425186304 11943 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49228 KiB

[startup+0.700838 s]
/proc/loadavg: 2.05 2.02 1.96 5/217 11814
/proc/meminfo: memFree=21159348/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14087096 memory=291584 CPUtime=1.62 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 11974 0 0 0 143 19 0 0 20 0 15 0 50624584 14425186304 72896 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3521774 72896 3309 1 0 3483008 0
[pid=11800/tid=11801] ppid=11798 vsize=14087096 memory=7660742144744843625 CPUtime=0.61 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 6297 0 0 0 56 5 0 0 20 0 15 0 50624584 14425186304 72896 33554432000 4194304 4196468 140729694462816 140452628925968 140452624708765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14087096 memory=5865465064658194540 CPUtime=0.06 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 50624585 14425186304 72896 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14087096 memory=4638778398332764256 CPUtime=0.06 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 50624585 14425186304 72896 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14087096 memory=-7242455096852575424 CPUtime=0.05 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 45 0 0 0 2 3 0 0 20 0 15 0 50624585 14425186304 72896 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14087096 memory=8326441112149131693 CPUtime=0.06 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 65 0 0 0 3 3 0 0 20 0 15 0 50624585 14425186304 72896 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14087096 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 50624586 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14087096 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 50624587 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451535373344 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14087096 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50624587 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451534320496 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14087096 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14087096 memory=16460 CPUtime=0.3 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) R 11798 11798 11307 0 -1 4202560 1928 0 0 0 30 0 0 0 20 0 15 0 50624589 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451532202944 140452602880614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14087096 memory=1296 CPUtime=0.25 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) R 11798 11798 11307 0 -1 4202560 918 0 0 0 25 0 0 0 20 0 15 0 50624589 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451531164400 140452608187351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14087096 memory=2412 CPUtime=0.19 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 1208 0 0 0 19 0 0 0 20 0 15 0 50624589 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14087096 memory=7668012111147524688 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14087096 memory=7451579857426993518 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50624590 14425186304 72896 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 293040 KiB

[startup+1.50085 s]
/proc/loadavg: 2.05 2.02 1.96 6/217 11814
/proc/meminfo: memFree=20979812/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0

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

/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451534320512 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14091268 memory=4219932 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14091268 memory=4219932 CPUtime=5.33 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 36763 0 0 0 529 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14091268 memory=1456 CPUtime=5.74 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 32774 0 0 0 570 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14091268 memory=137 CPUtime=1.12 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 14893 0 0 0 109 3 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14091268 memory=4219932 CPUtime=1.37 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 4066 0 0 0 65 72 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 2223.39 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4221388 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/218 11907
/proc/meminfo: memFree=16211868/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2283.42 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 321650 0 0 0 228050 292 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3522817 1054983 3417 1 0 3484032 0
[pid=11800/tid=11801] ppid=11798 vsize=14091268 memory=1456 CPUtime=2259.5 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 157070 0 0 0 225903 47 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452628923736 140452234734969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14091268 memory=1456 CPUtime=2.51 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 16003 0 0 0 211 40 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14091268 memory=4140 CPUtime=2.52 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 17088 0 0 0 207 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14091268 memory=279683976278576 CPUtime=2.49 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 17486 0 0 0 205 44 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2.53 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 16300 0 0 0 208 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14091268 memory=1456 CPUtime=0.16 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 7775 0 0 0 14 2 0 0 20 0 15 0 50624586 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14091268 memory=4219932 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451535373408 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14091268 memory=4219932 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451534320512 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14091268 memory=1456 CPUtime=5.33 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 36766 0 0 0 529 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14091268 memory=1196 CPUtime=5.74 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 32777 0 0 0 570 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14091268 memory=5300 CPUtime=1.12 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 14902 0 0 0 109 3 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14091268 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14091268 memory=11960 CPUtime=1.41 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 4106 0 0 0 67 74 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 2283.42 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4221388 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/218 11908
/proc/meminfo: memFree=16212556/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2343.46 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 324305 0 0 0 234052 294 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3522817 1054983 3417 1 0 3484032 0
[pid=11800/tid=11801] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2319.5 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 159610 0 0 0 231903 47 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452628923736 140452228585896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2.51 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 16003 0 0 0 211 40 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14091268 memory=1456 CPUtime=2.52 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 17088 0 0 0 207 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14091268 memory=14018773256590 CPUtime=2.49 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 17486 0 0 0 205 44 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14091268 memory=1456 CPUtime=2.53 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 16300 0 0 0 208 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14091268 memory=1456 CPUtime=0.16 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 7793 0 0 0 14 2 0 0 20 0 15 0 50624586 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451535373408 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451534320512 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14091268 memory=4140 CPUtime=5.34 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 36772 0 0 0 529 5 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14091268 memory=1456 CPUtime=5.74 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 32781 0 0 0 570 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14091268 memory=4219932 CPUtime=1.12 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 14913 0 0 0 109 3 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14091268 memory=1456 CPUtime=1.45 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 4182 0 0 0 69 76 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 2343.46 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4221388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.8 s]
/proc/loadavg: 2.56 2.15 2.06 3/218 11990
/proc/meminfo: memFree=14976852/32770624 swapFree=67108860/67108860
[pid=11798] ppid=11795 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11798/stat : 11798 (xcsp3-exec) S 11795 11798 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 50624583 115843072 364 33554432000 4194304 5098028 140723033049056 140723033047160 140635157725820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28581888 140723033052218 140723033052420 140723033052420 140723033055178 0
/proc/11798/statm: 28282 364 306 221 0 87 0
[pid=11800] ppid=11798 vsize=14091268 memory=4219932 CPUtime=2400 cores=0,2,4,6
/proc/11800/stat : 11800 (java) S 11798 11798 11307 0 -1 1077944320 327569 0 0 0 239704 296 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140729694445360 140452624686839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
/proc/11800/statm: 3522817 1054983 3417 1 0 3484032 0
[pid=11800/tid=11801] ppid=11798 vsize=14091268 memory=16102567671237208 CPUtime=2376 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (java) R 11798 11798 11307 0 -1 4202560 162811 0 0 0 237553 47 0 0 20 0 15 0 50624584 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452628923736 140452234862577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11802] ppid=11798 vsize=14091268 memory=4616 CPUtime=2.51 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (java) S 11798 11798 11307 0 -1 1077944384 16003 0 0 0 211 40 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452554775696 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11803] ppid=11798 vsize=14091268 memory=11960 CPUtime=2.52 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (java) S 11798 11798 11307 0 -1 1077944384 17088 0 0 0 207 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452553722896 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11804] ppid=11798 vsize=14091268 memory=1008 CPUtime=2.49 cores=0,2,4,6
/proc/11800/task/11804/stat : 11804 (java) S 11798 11798 11307 0 -1 1077944384 17486 0 0 0 205 44 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452552670096 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11805] ppid=11798 vsize=14091268 memory=792 CPUtime=2.53 cores=0,2,4,6
/proc/11800/task/11805/stat : 11805 (java) S 11798 11798 11307 0 -1 1077944384 16300 0 0 0 208 45 0 0 20 0 15 0 50624585 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140452551617296 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11806] ppid=11798 vsize=14091268 memory=1716 CPUtime=0.16 cores=0,2,4,6
/proc/11800/task/11806/stat : 11806 (java) S 11798 11798 11307 0 -1 1077944384 7802 0 0 0 14 2 0 0 20 0 15 0 50624586 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451536427376 140452624697986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11807] ppid=11798 vsize=14091268 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11807/stat : 11807 (java) S 11798 11798 11307 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451535373408 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11808] ppid=11798 vsize=14091268 memory=8388 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11808/stat : 11808 (java) S 11798 11798 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 50624587 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451534320512 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11809] ppid=11798 vsize=14091268 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11809/stat : 11809 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451533268816 140452624705435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11810] ppid=11798 vsize=14091268 memory=4012 CPUtime=5.34 cores=0,2,4,6
/proc/11800/task/11810/stat : 11810 (java) S 11798 11798 11307 0 -1 1077944384 36777 0 0 0 529 5 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451532217200 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11811] ppid=11798 vsize=14091268 memory=10036 CPUtime=5.74 cores=0,2,4,6
/proc/11800/task/11811/stat : 11811 (java) S 11798 11798 11307 0 -1 1077944384 32784 0 0 0 570 4 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451531164400 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11812] ppid=11798 vsize=14091268 memory=18484 CPUtime=1.13 cores=0,2,4,6
/proc/11800/task/11812/stat : 11812 (java) S 11798 11798 11307 0 -1 1077944384 14929 0 0 0 110 3 0 0 20 0 15 0 50624589 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451530111600 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11813] ppid=11798 vsize=14091268 memory=2788 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11813/stat : 11813 (java) S 11798 11798 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451529059040 140452624697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
[pid=11800/tid=11814] ppid=11798 vsize=14091268 memory=1452 CPUtime=1.49 cores=0,2,4,6
/proc/11800/task/11814/stat : 11814 (java) S 11798 11798 11307 0 -1 1077944384 4212 0 0 0 71 78 0 0 20 0 15 0 50624590 14429458432 1054983 33554432000 4194304 4196468 140729694462816 140451528006320 140452624697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24805376 140729694467201 140729694467377 140729694467377 140729694470095 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4221388 KiB

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

[startup+2378.81 s]
# the end of solver process 11798 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001079 s, system=0.001579 s

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

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

Child status: 143
Real time (s): 2378.85
CPU time (s): 2400.06
CPU user time (s): 2397.05
CPU system time (s): 3.00521
CPU usage (%): 100.891
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 4227144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.05
system time used= 3.00521
maximum resident set size= 4225688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57345
involuntary context switches= 3166


# summary of solver processes directly reported to runsolver:
#   pid: 11798,11800
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2397.05
#   total CPU system time (s): 3.00521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1902 second user time and 19.9063 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-23 09:23:34
IDJOB=4292758
IDBENCH=141262
IDSOLVER=2747
FILE ID=node103/4292758-1532330614
RUNJOBID= node103-1532328173-11338
PBS_JOBID= 21018996
Free space on /tmp= 56700 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
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-4292758-1532330614/watcher-4292758-1532330614 -o /tmp/evaluation-result-4292758-1532330614/solver-4292758-1532330614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11338 --watchdog 2560  HOME/xcsp3-exec -seed 1204963566 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292758-1532330614.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1204963566

node103.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.48
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.48
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.48
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.48
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:        21292196 kB
MemAvailable:   29991072 kB
Buffers:          255264 kB
Cached:          8640772 kB
SwapCached:            0 kB
Active:          3607368 kB
Inactive:        7287076 kB
Active(anon):    2001272 kB
Inactive(anon):    16976 kB
Active(file):    1606096 kB
Inactive(file):  7270100 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            111308 kB
Writeback:             0 kB
AnonPages:       2005696 kB
Mapped:            49412 kB
Shmem:             17036 kB
Slab:             279188 kB
SReclaimable:     251140 kB
SUnreclaim:        28048 kB
KernelStack:        3520 kB
PageTables:         9208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3450640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1892352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56624 MiB
End job on node103 at 2018-07-23 10:03:13