Trace number 4406134

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 2019-09-24SAT (TO)360841782 2520.12 2498.84

General information on the benchmark

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

Verifier Data 

OK	360841782

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406134-1569414604/watcher-4406134-1569414604 -o /var/tmp/evaluation-result-4406134-1569414604/solver-4406134-1569414604 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569414560-13290 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1242998561 HOME/instance-4406134-1569414604.xml 

running on 4 cores: 1,3,5,7

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

solver pid=13334, runsolver pid=13331

[startup+0.10011 s]*
/proc/loadavg: 0.88 0.94 1.47 6/229 13350
/proc/meminfo: memFree=25110420/32770624 swapFree=66974676/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15144776 memory=27660 CPUtime=0.12 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 5876 0 0 0 12 0 0 0 20 0 15 0 517402219 15508250624 6915 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3786194 6915 3138 1 0 3748377 0
[pid=13336/tid=13337] ppid=13334 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) S 13334 13334 13258 0 -1 1077944384 3732 0 0 0 9 0 0 0 20 0 15 0 517402220 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050933556528 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050396906528 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050395853680 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0.02 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 6915 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29116 KiB

[startup+0.210708 s]*
/proc/loadavg: 0.88 0.94 1.47 5/229 13350
/proc/meminfo: memFree=25078152/32770624 swapFree=66974676/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15144776 memory=39212 CPUtime=0.34 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 9581 0 0 0 32 2 0 0 20 0 15 0 517402219 15508250624 9803 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3786194 9803 3315 1 0 3748377 0
[pid=13336/tid=13337] ppid=13334 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 6661 0 0 0 19 1 0 0 20 0 15 0 517402220 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050933557584 140050929339798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15144776 memory=140328143555734 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402220 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050396906528 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402222 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050395853680 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15144776 memory=140328139691648 CPUtime=0.08 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) R 13334 13334 13258 0 -1 4202560 929 0 0 0 8 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050391644592 140050913408350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402225 15508250624 9869 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40668 KiB

[startup+0.311166 s]*
/proc/loadavg: 0.88 0.94 1.47 7/229 13350
/proc/meminfo: memFree=25060184/32770624 swapFree=66974676/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15149032 memory=48576 CPUtime=0.54 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 11043 0 0 0 51 3 0 0 20 0 15 0 517402219 15512608768 12144 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3787258 12144 3359 1 0 3748377 0
[pid=13336/tid=13337] ppid=13334 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 7800 0 0 0 28 2 0 0 20 0 15 0 517402220 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050933558976 140050913408350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402220 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402220 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050396906528 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050395853680 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15149032 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) R 13334 13334 13258 0 -1 4202560 610 0 0 0 6 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050393740768 140050929349210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 190 0 0 0 3 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 1141 0 0 0 12 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 12144 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50032 KiB

[startup+0.701389 s]
/proc/loadavg: 0.88 0.94 1.47 7/229 13350
/proc/meminfo: memFree=24945012/32770624 swapFree=66974676/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15149032 memory=295272 CPUtime=1.61 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 14618 0 0 0 137 24 0 0 20 0 15 0 517402219 15512608768 73818 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3787258 73818 3415 1 0 3748377 0
[pid=13336/tid=13337] ppid=13334 vsize=15149032 memory=1793819936001 CPUtime=0.61 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 8066 0 0 0 55 6 0 0 20 0 15 0 517402220 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050933566992 140050929349789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15149032 memory=33 CPUtime=0.05 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 517402220 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15149032 memory=-7816663703405220396 CPUtime=0.06 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 65 0 0 0 2 4 0 0 20 0 15 0 517402220 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 517402220 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 15 0 517402220 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15149032 memory=55536 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15149032 memory=992 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050396906528 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15149032 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517402222 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050395853680 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15149032 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15149032 memory=11624 CPUtime=0.26 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) R 13334 13334 13258 0 -1 4202560 1808 0 0 0 26 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050393742336 140050912538952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15149032 memory=740 CPUtime=0.25 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) R 13334 13334 13258 0 -1 4202560 1445 0 0 0 25 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050392679152 140050907303203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15149032 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 1661 0 0 0 19 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15149032 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15149032 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402225 15512608768 73818 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 296728 KiB

[startup+1.50085 s]
/proc/loadavg: 0.88 0.94 1.47 9/229 13350
/proc/meminfo: memFree=24661532/32770624 swapFree=66974676/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0

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

/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050395853696 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15153204 memory=3753996 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15153204 memory=3753996 CPUtime=5.2 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 30135 0 0 0 516 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15153204 memory=1456 CPUtime=5.65 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 42652 0 0 0 559 6 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15153204 memory=3753996 CPUtime=1.18 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 19437 0 0 0 114 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15153204 memory=3753996 CPUtime=1.35 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 2708 0 0 0 61 74 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 2343.46 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3755452 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/230 13670
/proc/meminfo: memFree=17080300/32770624 swapFree=66974688/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2403.5 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 253608 0 0 0 240019 331 0 0 20 0 15 0 517402219 15516880896 938499 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3788301 938499 3530 1 0 3749401 0
[pid=13336/tid=13337] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2379.41 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 128616 0 0 0 237903 38 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050933564352 140050568699163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.58 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 6362 0 0 0 206 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.62 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 4516 0 0 0 210 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.59 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 5467 0 0 0 207 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.6 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 6259 0 0 0 207 53 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15153204 memory=1456 CPUtime=0.19 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 6049 0 0 0 16 3 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15153204 memory=3753996 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050396906592 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050395853696 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15153204 memory=1456 CPUtime=5.2 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 30141 0 0 0 516 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15153204 memory=0 CPUtime=5.65 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 42668 0 0 0 559 6 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15153204 memory=992 CPUtime=1.18 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 19445 0 0 0 114 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15153204 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15153204 memory=1456 CPUtime=1.38 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 2760 0 0 0 62 76 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 2403.5 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3755452 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/229 13683
/proc/meminfo: memFree=17059792/32770624 swapFree=66974688/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2463.53 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 255452 0 0 0 246020 333 0 0 20 0 15 0 517402219 15516880896 938499 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3788301 938499 3530 1 0 3749401 0
[pid=13336/tid=13337] ppid=13334 vsize=15153204 memory=1456 CPUtime=2439.41 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 130403 0 0 0 243903 38 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050933564352 140050566792769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.58 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 6362 0 0 0 206 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.62 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 4516 0 0 0 210 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.59 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 5467 0 0 0 207 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.6 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 6259 0 0 0 207 53 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15153204 memory=3753996 CPUtime=0.19 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 6057 0 0 0 16 3 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15153204 memory=3753996 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050396906592 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15153204 memory=3753996 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050395853696 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15153204 memory=1456 CPUtime=5.2 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 30145 0 0 0 516 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15153204 memory=1456 CPUtime=5.65 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 42676 0 0 0 559 6 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15153204 memory=3753996 CPUtime=1.18 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 19449 0 0 0 114 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15153204 memory=6188 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15153204 memory=6791534058613427641 CPUtime=1.42 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 2793 0 0 0 64 78 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 2463.53 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3755452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2498.8 s]
/proc/loadavg: 2.00 2.01 1.97 3/229 13687
/proc/meminfo: memFree=17048040/32770624 swapFree=66974688/67108860
[pid=13334] ppid=13331 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13334/stat : 13334 (xcsp3-exec) S 13331 13334 13258 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517402219 115843072 364 33554432000 4194304 5098028 140721808377152 140721808375256 139701761176188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13946880 140721808380758 140721808381017 140721808381017 140721808383942 0
/proc/13334/statm: 28282 364 305 221 0 87 0
[pid=13336] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2520.07 cores=1,3,5,7
/proc/13336/stat : 13336 (java) S 13334 13334 13258 0 -1 1077944320 259105 0 0 0 251672 335 0 0 20 0 15 0 517402219 15516880896 938499 33554432000 4194304 4196468 140727414518512 140727414501056 140050929327863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
/proc/13336/statm: 3788301 938499 3530 1 0 3749401 0
[pid=13336/tid=13337] ppid=13334 vsize=15153204 memory=-8253362762722141311 CPUtime=2495.9 cores=1,3,5,7
/proc/13336/task/13337/stat : 13337 (java) R 13334 13334 13258 0 -1 4202560 132728 0 0 0 249552 38 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050933566808 140050575183075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13338] ppid=13334 vsize=15153204 memory=6188 CPUtime=2.58 cores=1,3,5,7
/proc/13336/task/13338/stat : 13338 (java) S 13334 13334 13258 0 -1 1077944384 6362 0 0 0 206 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050899041424 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13339] ppid=13334 vsize=15153204 memory=1456 CPUtime=2.62 cores=1,3,5,7
/proc/13336/task/13339/stat : 13339 (java) S 13334 13334 13258 0 -1 1077944384 4516 0 0 0 210 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050520738832 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13340] ppid=13334 vsize=15153204 memory=3753996 CPUtime=2.59 cores=1,3,5,7
/proc/13336/task/13340/stat : 13340 (java) S 13334 13334 13258 0 -1 1077944384 5467 0 0 0 207 52 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050519686032 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13341] ppid=13334 vsize=15153204 memory=288230574492221466 CPUtime=2.6 cores=1,3,5,7
/proc/13336/task/13341/stat : 13341 (java) S 13334 13334 13258 0 -1 1077944384 6259 0 0 0 207 53 0 0 20 0 15 0 517402220 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050518633232 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13342] ppid=13334 vsize=15153204 memory=288230621803970871 CPUtime=0.2 cores=1,3,5,7
/proc/13336/task/13342/stat : 13342 (java) S 13334 13334 13258 0 -1 1077944384 6074 0 0 0 16 4 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050397960560 140050929339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13343] ppid=13334 vsize=15153204 memory=15534115864709562 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13343/stat : 13343 (java) S 13334 13334 13258 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050396906592 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13344] ppid=13334 vsize=15153204 memory=924 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13344/stat : 13344 (java) S 13334 13334 13258 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 517402222 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050395853696 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13345] ppid=13334 vsize=15153204 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13345/stat : 13345 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050394802000 140050929346459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13346] ppid=13334 vsize=15153204 memory=2600 CPUtime=5.2 cores=1,3,5,7
/proc/13336/task/13346/stat : 13346 (java) S 13334 13334 13258 0 -1 1077944384 30156 0 0 0 516 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050393750384 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13347] ppid=13334 vsize=15153204 memory=2308 CPUtime=5.65 cores=1,3,5,7
/proc/13336/task/13347/stat : 13347 (java) S 13334 13334 13258 0 -1 1077944384 42688 0 0 0 559 6 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050392697584 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13348] ppid=13334 vsize=15153204 memory=1408 CPUtime=1.18 cores=1,3,5,7
/proc/13336/task/13348/stat : 13348 (java) S 13334 13334 13258 0 -1 1077944384 20674 0 0 0 114 4 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050391644784 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13349] ppid=13334 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13336/task/13349/stat : 13349 (java) S 13334 13334 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050390592224 140050929338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
[pid=13336/tid=13350] ppid=13334 vsize=15153204 memory=3753996 CPUtime=1.45 cores=1,3,5,7
/proc/13336/task/13350/stat : 13350 (java) S 13334 13334 13258 0 -1 1077944384 2856 0 0 0 65 80 0 0 20 0 15 0 517402225 15516880896 938499 33554432000 4194304 4196468 140727414518512 140050389539504 140050929339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28938240 140727414526939 140727414527114 140727414527114 140727414529999 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3755452 KiB

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

[startup+2498.81 s]
# the end of solver process 13334 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001125 s, system=0.001125 s

[startup+2498.84 s]
# the end of solver process 13336 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.74 s, system=3.37657 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): 2498.84
CPU time (s): 2520.12
CPU user time (s): 2516.74
CPU system time (s): 3.37657
CPU usage (%): 100.851
Max. virtual memory (cumulated for all children) (KiB): 15268052
Max. memory (cumulated for all children) (KiB): 3759224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.74
system time used= 3.37657
maximum resident set size= 3759376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59002
involuntary context switches= 820


# summary of solver processes directly reported to runsolver:
#   pid: 13334,13336
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.74
#   total CPU system time (s): 3.37657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8221 second user time and 23.9129 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-25 14:29:20
IDJOB=4406134
IDBENCH=141269
IDSOLVER=2869
FILE ID=node117/4406134-1569414604
RUNJOBID= node117-1569414560-13290
PBS_JOBID= 21705716
Free space on /var/tmp= 13388 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406134-1569414604/watcher-4406134-1569414604 -o /var/tmp/evaluation-result-4406134-1569414604/solver-4406134-1569414604 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569414560-13290 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1242998561 HOME/instance-4406134-1569414604.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=1242998561

node117.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.75
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.75
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.75
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.75
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:        25141728 kB
MemAvailable:   31786324 kB
Buffers:          153804 kB
Cached:          6544164 kB
SwapCached:        27788 kB
Active:          3401840 kB
Inactive:        3367224 kB
Active(anon):      42128 kB
Inactive(anon):    80416 kB
Active(file):    3359712 kB
Inactive(file):  3286808 kB
Unevictable:      108052 kB
Mlocked:          108052 kB
SwapTotal:      67108860 kB
SwapFree:       66974676 kB
Dirty:            153012 kB
Writeback:             0 kB
AnonPages:        134100 kB
Mapped:            67400 kB
Shmem:             43012 kB
Slab:             454772 kB
SReclaimable:     426536 kB
SUnreclaim:        28236 kB
KernelStack:        3280 kB
PageTables:         5752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1513300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13240 MiB
End job on node117 at 2019-09-25 15:10:59