Trace number 4406547

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)521763735 2400.14 2266.16

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763735
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
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-4406547-1569406153.xml"  -tl '2400s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406547-1569406153.xml, -tl, 2400s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
235.94/111.08	c solve instance...
1842.28/1712.77	o 521785831 
1842.28/1712.80	o 521785830 
1842.77/1712.95	o 521785824 
1867.79/1736.99	o 521785823 
1867.79/1737.00	o 521785821 
1867.96/1737.05	o 521785817 
1868.08/1737.13	o 521785815 
1868.19/1737.21	o 521785806 
1868.19/1737.22	o 521785800 
1890.17/1758.50	o 521785798 
1890.17/1758.53	o 521785789 
1890.17/1758.55	o 521785782 
1890.17/1758.56	o 521785779 
1890.17/1758.57	o 521785778 
1890.43/1758.74	o 521785772 
1890.53/1758.89	o 521785771 
1890.65/1758.90	o 521785768 
1908.01/1776.18	o 521785763 
1908.01/1776.20	o 521785757 
1908.10/1776.20	o 521785751 
1908.30/1776.40	o 521785749 
1908.30/1776.40	o 521785741 
1908.30/1776.46	o 521785735 
1908.40/1776.59	o 521785723 
1908.60/1776.76	o 521785721 
1924.17/1792.29	o 521785720 
1924.17/1792.30	o 521785718 
1924.27/1792.31	o 521785706 
1924.27/1792.32	o 521785704 
1924.27/1792.33	o 521785703 
1924.27/1792.33	o 521785697 
1924.27/1792.36	o 521785690 
1924.27/1792.38	o 521785684 
1924.48/1792.58	o 521785682 
1924.85/1792.87	o 521763934 
1924.85/1792.88	o 521763925 
1939.16/1807.09	o 521763923 
1939.16/1807.10	o 521763920 
1939.26/1807.11	o 521763914 
1939.26/1807.12	o 521763913 
1939.26/1807.15	o 521763908 
1939.43/1807.26	o 521763904 
1939.59/1807.34	o 521763900 
1939.59/1807.34	o 521763899 
1939.59/1807.39	o 521763892 
1939.59/1807.40	o 521763891 
1940.00/1807.73	o 521763888 
1941.02/1808.74	o 521763884 
1955.85/1823.14	o 521763882 
1955.85/1823.15	o 521763881 
1955.85/1823.16	o 521763869 
1955.85/1823.19	o 521763866 
1955.95/1823.22	o 521763864 
1955.95/1823.23	o 521763863 
1955.95/1823.25	o 521763862 
1955.95/1823.28	o 521763859 
1955.95/1823.28	o 521763858 
1955.95/1823.29	o 521763857 
1956.86/1824.13	o 521763856 
1956.95/1824.28	o 521763851 
1974.81/1841.85	o 521763850 
1991.78/1858.66	o 521763837 
1991.78/1858.68	o 521763836 
1991.88/1858.72	o 521763830 
1991.98/1858.85	o 521763827 
1991.98/1858.86	o 521763826 
1992.08/1858.91	o 521763825 
1992.19/1859.04	o 521763824 
1992.29/1859.15	o 521763820 
2006.78/1873.52	o 521763819 
2006.78/1873.53	o 521763818 
2006.78/1873.54	o 521763816 
2006.78/1873.57	o 521763812 
2006.88/1873.62	o 521763811 
2006.88/1873.65	o 521763808 
2007.48/1874.20	o 521763807 
2007.48/1874.20	o 521763806 
2007.78/1874.56	o 521763805 
2008.79/1875.50	o 521763800 
2008.79/1875.51	o 521763798 
2023.77/1890.41	o 521763792 
2023.77/1890.42	o 521763791 
2023.77/1890.46	o 521763788 
2023.87/1890.57	o 521763787 
2024.07/1890.72	o 521763783 
2040.21/1906.81	o 521763778 
2040.21/1906.89	o 521763777 
2040.31/1906.90	o 521763776 
2041.71/1908.36	o 521763773 
2041.71/1908.37	o 521763772 
2072.55/1939.12	o 521763771 
2097.18/1963.72	o 521763763 
2097.49/1964.10	o 521763762 
2097.69/1964.25	o 521763759 
2097.69/1964.26	o 521763758 
2097.94/1964.44	o 521763757 
2098.04/1964.52	o 521763756 
2098.04/1964.56	o 521763755 
2122.61/1988.98	o 521763754 
2123.11/1989.41	o 521763751 
2123.11/1989.44	o 521763744 
2124.61/1990.98	o 521763743 
2287.70/2153.86	o 521763742 
2292.20/2158.34	o 521763741 
2292.91/2159.10	o 521763739 
2307.61/2173.79	o 521763738 
2323.94/2190.05	o 521763735 
2400.09/2266.11	s SATISFIABLE
2400.09/2266.11	v <instantiation>
2400.09/2266.11	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] 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] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] 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] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] </list>
2400.09/2266.11	v 	<values>2528 2296 2280 2456 2664 2688 2528 2200 2432 2584 2676 2560 2556 2676 2504 2632 2656 2476 2300 2472 2392 2236 2700 2404 2324 2380 2380 2180 2180 2364 2656 2672 2336 2544 2388 2396 2428 2260 2400 2460 2616 2308 2464 2184 2532 2260 2632 2180 2564 2536 2404 2544 2484 2264 2716 2444 2244 2252 2452 2648 2496 2444 2428 2520 2488 2184 2232 2240 2696 2476 2220 2600 2272 2488 2340 2528 2332 2220 2232 2240 2180 2620 2716 2352 2244 2260 2308 2224 2432 2300 2296 2560 2180 2412 2688 2528 2412 2676 2364 2508 2672 2548 2456 2652 2552 2228 2356 2472 2396 2284 2664 2432 2196 2584 2452 2220 2252 2528 2312 2400 2392 2632 2220 2632 2360 2508 2664 2200 2596 2584 2500 2340 2660 2692 2340 2204 2196 2188 2592 2272 2676 2600 2584 2532 2456 2288 2180 2312 2676 2352 2488 2416 2384 2220 2544 2416 2324 2708 2260 2544 2476 2432 2188 2248 2324 2648 2236 2560 2224 2196 2436 2420 2540 2376 2228 2300 2360 2672 2180 2436 2696 2676 2180 2528 2568 2248 2548 2396 2688 2524 2468 2404 2676 2432 2512 2200 2208 2656 2184 2228 2540 2236 2220 2412 2372 2420 2696 2468 2716 2520 2540 2264 2180 2716 2668 2672 2536 2412 2288 2376 2704 2300 2424 2500 2240 2340 2492 2680 2220 2224 2444 2640 2496 2476 2376 2348 2488 2616 2676 2500 2580 2416 2640 2212 2660 2296 2540 2488 2452 2512 2376 2336 2576 2676 2220 2372 2596 2656 2536 2372 2228 2568 2196 2336 2312 2416 2288 2676 2224 2636 2436 2584 2716 2712 2496 2488 2552 2624 2552 2592 2212 2512 2472 2632 2716 2556 2328 2220 2412 2240 2392 2656 2380 2592 2220 2356 2452 2552 2220 2648 2496 2192 2716 2248 2500 2676 2412 2528 2576 2352 2224 2188 2188 2516 2704 2716 2696 2496 2516 2716 2224 2572 2560 2180 2544 2544 2504 2536 2364 2220 2716 2540 2596 2336 2704 2380 2584 2236 2588 2600 2204 2184 2324 2348 2372 2580 2608 2364 2716 2412 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 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 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 5 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 8 1 0 0 0 0 0 0 1 0 0 0 10 1 1 0 1 0 0 0 0 0 3 1 0 0 1 7 0 0 5 0 0 0 0 0 3 0 5 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 3 0 1 1 0 0 0 1 0 1 0 0 3 9 0 0 10 0 0 0 0 8 0 0 0 0 0 0 0 0 5 0 5 0 1 0 0 0 0 7 10 0 3 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 10 7 0 0 1 0 0 1 1 0 10 1 0 0 0 10 2 8 0 0 3 0 0 1 0 7 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 1 0 0 1 0 0 0 0 0 10 0 7 0 0 6 0 0 0 0 8 1 0 1 9 0 0 0 0 0 0 0 0 10 0 9 1 0 0 0 0 1 10 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 10 0 1 0 1 0 0 0 0 0 1 10 5 0 10 1 1 0 0 0 0 1 2 1 0 0 0 10 0 0 8 0 0 4 0 0 3 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 6 0 0 10 0 0 7 1 0 0 0 0 1 0 10 0 0 0 0 0 0 0 1 9 0 0 0 0 0 1 0 0 1 1 1 1 0 9 0 9 1 0 0 1 0 0 0 0 0 1 1 0 0 0 5 9 0 0 0 1 0 0 1 0 2 0 0 0 0 4 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 6 0 1 1 0 10 1 0 0 4 5 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 4 0 0 0 0 0 1 0 0 1 0 0 10 1 0 0 0 1 0 5 1 0 0 0 0 0 0 0 0 1 1 1 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 5 0 0 0 1 0 0 0 7 0 0 0 0 5 0 0 0 0 10 0 0 0 1 0 1 0 0 1 1 7 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 6 0 1 1 0 3 1 0 1 0 0 0 5 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 1 0 0 2 8 0 0 0 0 0 0 1 0 0 5 0 0 8 0 0 0 0 0 0 0 0 0 0 1 10 1 0 0 0 0 4 0 0 0 0 0 0 1 1 0 10 0 10 0 1 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 1 1 0 9 0 1 0 0 0 0 0 0 0 1 10 9 0 0 0 1 0 0 8 0 0 0 5 0 0 0 0 0 0 7 0 0 10 1 0 1 0 0 0 1 0 9 0 9 1 0 0 10 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 5 0 0 9 0 1 0 0 0 0 0 0 1 0 0 0 10 0 10 0 0 4 0 0 0 7 0 6 0 1 0 0 1 0 9 0 0 0 0 5 1 0 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 0 0 0 0 5 1 0 0 3 0 4 0 4 1 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 10 0 0 0 0 5 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 6 1 1 0 0 0 7 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 5 0 0 1 2 0 0 0 0 0 0 1 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 10 0 0 0 0 0 0 9 0 0 4 0 8 5 1 0 0 0 0 10 0 1 10 0 0 1 0 4 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 1 0 3 0 0 10 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 1 2 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 5 0 0 10 0 0 0 0 7 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 9 0 0 10 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 10 0 4 0 1 1 1 0 0 0 0 3 0 1 5 8 0 10 0 0 0 0 0 0 0 0 5 0 0 1 9 1 0 0 0 1 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 1 10 0 0 3 0 0 0 0 0 0 0 0 0 0 7 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 5 0 0 0 0 0 0 0 0 0 0 1 0 0 1 4 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 1 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 10 0 1 0 0 0 2 10 0 0 0 5 0 0 0 0 0 1 0 0 10 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 4 0 0 0 1 0 3 0 0 1 0 0 0 9 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 8 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 10 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 10 0 0 1 0 0 0 1 0 0 0 10 0 0 1 0 0 6 0 1 8 0 0 0 0 0 1 1 0 0 0 0 0 5 0 1 0 10 0 0 0 0 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 10 0 0 0 1 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 1 9 0 4 1 0 0 0 0 0 0 1 0 0 4 0 0 0 5 0 10 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 10 10 0 0 1 0 0 0 0 0 0 0 7 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 2 0 0 0 4 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 8 0 1 0 4 10 0 0 0 0 1 1 9 0 10 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 9 0 0 8 0 1 0 0 1 0 10 0 0 0 0 0 0 0 0 1 7 0 0 10 0 0 1 3 0 1 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 9 0 0 4 0 0 0 7 0 7 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 0 1 0 0 3 0 2 0 0 0 4 0 0 1 0 0 10 0 0 0 0 0 0 1 0 1 0 0 0 9 0 1 0 0 0 10 1 0 1 8 1 0 0 6 10 1 0 0 0 1 0 9 10 1 8 5 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 10 0 0 9 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 1 8 4 1 0 0 0 0 0 0 0 0 0 6 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 9 0 0 0 1 0 0 0 0 0 10 0 10 0 0 0 1 4 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 10 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 10 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 2 10 0 0 0 1 0 0 0 0 1 0 0 0 7 0 0 5 1 1 0 1 0 0 0 0 5 0 1 0 0 0 0 8 0 0 0 0 0 1 0 0 0 1 1 10 1 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 3 3 1 0 9 0 0 0 0 0 0 0 0 0 0 1 10 0 0 5 0 0 9 1 5 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 10 148 204 140 52 300 332 148 348 148 268 204 36 16 156 148 96 116 168 400 72 100 76 40 120 288 280 420 300 408 28 152 60 220 92 56 308 276 92 28 192 224 236 116 208 112 276 232 40 136 64 152 160 356 412 432 32 440 300 264 68 12 456 252 400 468 248 8 56 32 260 504 392 96 292 32 312 460 252 64 296 276 168 20 12 204 216 124 360 20 488 324 64 440 128 396 36 388 132 56 124 244 208 60 204 96 144 84 68 124 120 312 104 32 188 184 84 148 404 148 336 96 388 220 20 192 436 456 92 456 280 376 36 28 176 132 116 288 320 160 124 12 24 220 332 60 16 380 144 376 84 152 292 92 100 76 28 136 320 376 68 76 332 192 160 352 20 456 480 496 256 40 376 480 176 196 252 324 140 104 92 16 180 144 172 304 296 240 112 152 292 336 404 40 44 296 80 8 80 32 420 472 316 432 360 64 428 320 56 32 436 212 64 60 228 48 240 12 164 188 256 52 112 388 244 76 372 168 404 240 76 416 188 56 112 396 36 120 128 176 248 68 96 204 80 252 28 148 40 136 96 324 108 52 24 104 200 28 44 144 208 36 252 312 16 456 180 440 452 288 356 236 280 360 336 480 16 268 148 344 36 480 268 212 120 44 508 172 120 128 244 164 136 28 224 276 184 116 272 228 124 144 152 104 96 144 352 384 64 112 104 96 348 212 168 28 56 44 252 160 200 80 16 40 92 316 140 160 288 160 108 336 164 24 72 64 48 108 168 184 36 56 200 168 308 212 92 336 304 84 52 128 252 512 236 360 264 24 208 216 296 528 80 144 256 388 40 492 312 236 64 80 220 76 332 128 176 276 140 192 188 312 184 180 436 460 476 20 52 396 332 436 156 164 360 408 276 376 172 488 172 260 80 88 76 116 192 100 380 112 40 116 152 380 88 76 280 284 120 344 272 40 68 316 120 116 324 172 48 132 48 44 140 196 180 148 176 208 168 128 108 156 212 140 152 96 236 192 168 300 316 100 68 148 176 172 96 16 156 192 96 248 128 276 208 420 116 268 456 80 456 296 128 40 264 200 128 152 52 188 176 160 176 116 304 28 100 240 80 208 124 232 132 104 188 100 76 136 88 72 36 260 144 24 24 204 80 100 220 128 148 32 16 368 108 104 408 44 68 300 280 168 268 92 164 48 76 136 252 92 220 416 156 44 472 492 492 44 328 228 376 416 396 184 104 312 140 120 52 172 52 160 40 80 48 40 24 332 308 280 64 228 456 72 76 76 412 324 236 292 100 64 396 92 84 36 144 144 84 88 120 108 296 60 496 236 332 184 132 144 188 192 344 252 112 152 12 68 344 200 152 108 296 124 140 316 60 132 4 84 352 132 72 228 184 140 272 236 188 68 184 312 92 16 152 204 120 168 220 240 208 144 288 84 212 272 132 296 300 124 164 168 88 68 272 452 44 536 352 260 120 528 416 148 40 516 176 476 220 60 260 28 240 248 60 228 48 252 52 32 136 156 100 272 260 284 188 4 296 132 244 148 168 460 472 368 72 112 204 72 48 424 52 44 160 12 452 12 364 404 108 40 168 164 76 272 88 240 44 64 228 116 72 216 152 408 216 444 468 348 32 428 96 68 284 284 200 8 156 248 300 72 288 196 272 120 272 8 84 84 172 104 232 68 212 220 28 152 80 44 220 24 200 140 288 76 108 276 80 160 80 104 272 40 196 136 140 128 76 68 308 192 124 92 176 176 148 56 228 184 188 8 276 132 284 228 68 324 44 4 36 488 312 312 368 228 356 52 364 108 28 352 92 36 444 180 140 384 20 140 124 476 112 312 192 344 352 300 256 356 96 140 344 500 424 112 240 472 348 456 200 120 180 512 332 248 296 200 216 40 256 56 196 60 24 16 228 40 40 456 452 272 416 192 28 92 288 380 76 188 124 52 388 144 92 256 416 200 56 444 324 136 228 56 176 260 36 228 64 12 252 56 128 120 336 284 232 120 260 116 300 56 188 292 12 156 152 176 128 144 288 452 232 68 324 292 448 32 352 120 200 268 336 408 160 348 192 232 268 44 180 60 72 436 312 392 124 476 348 120 104 212 256 56 360 488 396 40 236 308 8 440 220 296 320 260 56 420 208 356 84 36 68 84 208 364 260 520 444 532 44 344 220 344 152 364 352 324 124 156 364 120 20 228 284 388 40 188 44 200 172 416 324 172 24 52 100 60 12 88 112 36 376 20 236 316 444 64 104 48 232 80 188 304 20 208 116 356 344 32 232 100 252 248 212 144 244 200 284 96 16 40 64 396 240 368 240 416 296 192 100 360 380 416 328 352 292 112 52 100 116 144 260 60 416 144 120 20 84 60 436 476 376 476 88 208 112 128 188 76 104 160 168 180 104 500 40 464 492 16 312 132 96 188 500 20 56 20 28 112 192 336 188 304 176 256 76 264 200 208 424 256 160 92 36 40 4 164 48 252 292 20 104 148 208 84 196 284 36 164 88 448 276 92 296 16 116 480 492 328 128 140 36 156 324 108 76 168 324 48 132 208 256 44 192 248 160 56 8 268 12 76 440 64 288 196 32 328 192 344 176 88 164 144 164 48 448 480 32 208 192 444 68 108 348 152 44 228 188 132 316 176 332 236 168 188 224 192 252 60 236 236 68 248 204 152 292 112 132 300 160 320 272 180 92 320 140 56 64 152 48 384 292 268 188 432 96 468 324 208 188 72 16 44 184 208 40 96 176 16 480 512 24 224 304 100 16 52 184 412 244 148 96 48 168 132 56 88 76 104 228 32 308 92 212 68 4 348 364 232 276 16 308 48 388 236 324 260 48 324 96 188 240 196 76 140 276 200 192 12 136 216 256 156 40 144 324 56 20 132 452 112 80 84 44 456 164 456 304 292 320 492 108 308 496 316 32 320 280 48 24 64 84 408 84 160 88 116 328 52 12 148 140 136 316 336 200 184 20 32 20 72 288 20 324 464 392 176 292 440 28 424 444 52 12 40 484 72 48 460 172 24 436 296 376 504 124 236 80 396 388 332 20 60 360 404 212 320 56 132 72 196 48 292 128 56 124 136 64 264 352 244 100 156 268 464 16 312 16 12 100 404 316 276 36 276 468 356 24 96 200 376 148 336 376 232 468 132 332 364 212 12 240 460 176 324 248 176 520 8 188 500 336 404 164 328 8 364 256 120 372 56 372 76 60 48 32 224 404 52 116 20 340 364 60 68 164 220 336 404 96 96 72 344 116 100 296 184 136 44 124 52 184 312 120 220 120 40 40 48 400 428 124 68 200 428 100 108 256 496 80 144 256 356 320 312 200 200 88 364 120 32 416 352 456 256 140 300 28 72 140 240 120 132 256 80 36 216 264 228 52 260 236 272 224 80 56 24 228 300 180 176 156 116 128 172 164 320 308 476 284 316 380 296 172 56 56 108 280 116 80 204 84 100 352 60 380 104 172 208 264 412 172 460 328 144 412 152 232 36 12 128 132 16 240 188 176 36 60 20 256 240 124 108 12 284 20 144 12 136 192 248 404 364 396 48 412 268 360 348 96 348 176 168 28 56 76 424 24 468 464 172 8 272 68 148 424 176 176 280 344 156 156 148 336 116 184 180 448 44 152 492 368 272 112 40 484 24 304 92 480 356 348 168 152 200 280 104 280 92 144 240 260 80 132 132 132 156 296 28 196 76 88 176 256 12 212 148 272 184 316 24 60 376 212 92 356 404 196 376 356 396 316 52 296 336 492 144 44 460 296 16 484 44 436 360 196 536 316 372 412 516 536 156 192 92 216 64 56 56 396 280 120 112 208 284 508 12 36 240 84 348 40 140 88 332 376 148 316 416 112 56 0 40 300 100 412 320 24 8 28 248 428 116 312 44 308 48 36 260 172 280 264 172 316 252 204 48 92 96 360 16 100 284 116 196 72 228 116 236 32 140 176 476 468 264 436 60 20 60 264 92 104 252 104 128 28 40 32 84 212 40 296 416 516 204 496 32 408 448 20 428 320 56 32 372 196 408 228 360 488 52 4 12 340 16 360 200 452 316 272 456 160 148 244 48 220 180 188 72 132 408 120 200 248 272 496 404 60 232 32 308 128 300 64 196 108 176 320 52 176 352 112 392 160 500 40 356 468 496 116 332 180 48 136 376 424 36 240 288 156 124 304 292 168 156 164 368 248 68 40 64 228 328 88 260 208 140 340 48 48 380 144 240 48 156 116 252 12 8 204 156 52 124 252 236 340 416 312 56 240 76 116 152 364 376 204 204 164 244 112 460 204 88 136 92 412 144 496 320 16 368 344 32 292 292 280 224 52 252 48 168 84 312 76 44 268 44 8 56 84 308 24 296 160 148 208 136 340 172 136 312 288 152 328 228 104 64 72 8 340 52 28 148 80 160 124 128 272 52 276 276 68 360 360 264 420 452 56 76 460 304 204 424 464 492 396 504 24 248 164 16 84 44 100 116 336 48 232 84 76 164 188 260 128 340 188 40 76 192 356 88 140 356 388 252 124 456 440 304 268 496 32 220 376 120 244 104 60 124 264 152 204 8 396 8 376 148 148 28 288 296 240 320 100 100 124 404 276 260 388 264 268 76 300 124 44 264 312 264 16 452 352 100 84 140 120 80 312 272 80 80 72 28 84 112 40 48 124 524 528 20 380 88 492 208 128 112 276 276 220 84 220 84 80 188 164 340 372 264 256 420 288 292 292 148 252 124 60 132 44 52 40 140 352 144 224 108 36 188 160 92 192 256 464 124 20 180 140 104 136 428 32 496 380 176 44 248 180 276 496 484 104 428 48 220 208 524 220 392 132 148 100 28 40 312 124 292 64 304 340 188 16 128 392 188 148 292 180 104 340 120 192 132 148 84 68 280 312 388 360 52 172 200 224 380 136 168 </values>
2400.09/2266.11	v </instantiation>
2400.09/2266.11	c Unexpected resolution interruption!

Verifier Data 

OK	521763735

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406547-1569406153/watcher-4406547-1569406153 -o /tmp/evaluation-result-4406547-1569406153/solver-4406547-1569406153 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3343 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406547-1569406153.xml 

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

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


[startup+0.10013 s]*
/proc/loadavg: 2.04 2.05 2.01 4/228 5582
/proc/meminfo: memFree=23029732/32770624 swapFree=66941104/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15144776 memory=29076 CPUtime=0.13 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 5677 0 0 0 12 1 0 0 20 0 15 0 516886458 15508250624 7269 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3786194 7269 3155 1 0 3748377 0
[pid=5568/tid=5569] ppid=5566 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 516886458 15508250624 7269 33554432000 4194304 4196468 140732563577024 140151440746632 140151428754238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15144776 memory=3472468208081257680 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 7269 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 7269 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 7269 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 7269 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886460 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516886460 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150904034336 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516886461 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150902981488 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) R 5566 5566 3311 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0.02 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) R 5566 5566 3311 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150898772592 140151436529046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 7269 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30528 KiB

[startup+0.212145 s]*
/proc/loadavg: 2.04 2.05 2.01 3/228 5582
/proc/meminfo: memFree=23016492/32770624 swapFree=66941104/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15144776 memory=40932 CPUtime=0.34 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 9457 0 0 0 31 3 0 0 20 0 15 0 516886458 15508250624 10233 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3786194 10233 3321 1 0 3748377 0
[pid=5568/tid=5569] ppid=5566 vsize=15144776 memory=4500116723524083353 CPUtime=0.2 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 15 0 516886458 15508250624 10233 33554432000 4194304 4196468 140732563577024 140151440754576 140151436529046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15144776 memory=3472468208081257680 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 10233 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 10233 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 10233 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15508250624 10297 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516886460 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516886460 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150904034336 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516886461 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150902981488 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0.08 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) R 5566 5566 3311 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150898772592 140151428855817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15144776 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886463 15508250624 10297 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42384 KiB

[startup+0.310587 s]*
/proc/loadavg: 2.04 2.05 2.01 4/228 5582
/proc/meminfo: memFree=23009448/32770624 swapFree=66941104/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15149032 memory=49920 CPUtime=0.53 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 10889 0 0 0 49 4 0 0 20 0 15 0 516886458 15512608768 12480 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3787258 12480 3361 1 0 3748377 0
[pid=5568/tid=5569] ppid=5566 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 15 0 516886458 15512608768 12551 33554432000 4194304 4196468 140732563577024 140151440743728 140151420597598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15149032 memory=3472468375413786288 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15512608768 12551 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15149032 memory=140079186105984 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15512608768 12551 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15149032 memory=6 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516886459 15512608768 12551 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15149032 memory=140079083429663 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886459 15512608768 12551 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15149032 memory=280158166820096 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516886460 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15149032 memory=140079083406607 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516886460 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150904034336 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15149032 memory=280158269521760 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516886461 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150902981488 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15149032 memory=140079083411215 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 648 0 0 0 5 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 242 0 0 0 4 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 912 0 0 0 12 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 12551 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51372 KiB

[startup+0.700887 s]
/proc/loadavg: 2.04 2.05 2.01 4/228 5582
/proc/meminfo: memFree=22883724/32770624 swapFree=66941104/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15149032 memory=300412 CPUtime=1.52 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 15282 0 0 0 136 16 0 0 20 0 15 0 516886458 15512608768 75103 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3787258 75103 3420 1 0 3748377 0
[pid=5568/tid=5569] ppid=5566 vsize=15149032 memory=6153395287087403600 CPUtime=0.62 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 7993 0 0 0 54 8 0 0 20 0 15 0 516886458 15512608768 75103 33554432000 4194304 4196468 140732563577024 140151440756240 140151436539037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15149032 memory=7883644968863624293 CPUtime=0.05 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 66 0 0 0 3 2 0 0 20 0 15 0 516886459 15512608768 75103 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15149032 memory=8099279071866868838 CPUtime=0.05 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 68 0 0 0 3 2 0 0 20 0 15 0 516886459 15512608768 75103 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15149032 memory=667680 CPUtime=0.02 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 15 0 516886459 15512608768 75103 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 516886459 15512608768 75103 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516886460 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15149032 memory=784 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516886460 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150904034336 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15149032 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516886461 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150902981488 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15149032 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15149032 memory=1096 CPUtime=0.19 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 1852 0 0 0 19 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15149032 memory=1228 CPUtime=0.32 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 2551 0 0 0 32 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15149032 memory=6152 CPUtime=0.18 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 1307 0 0 0 18 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15149032 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15149032 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516886463 15512608768 75103 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 301864 KiB

[startup+1.50088 s]
/proc/loadavg: 2.04 2.05 2.01 3/228 5582
/proc/meminfo: memFree=22566480/32770624 swapFree=66941104/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0

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

/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 516886461 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150902981504 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15151156 memory=1452 CPUtime=6.11 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 58204 0 0 0 604 7 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15151156 memory=10879676 CPUtime=5.18 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 51823 0 0 0 512 6 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15151156 memory=10879676 CPUtime=1.09 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 27039 0 0 0 105 4 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 4148 0 0 0 63 75 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 2336.24 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10881128 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/206 5830
/proc/meminfo: memFree=13798932/32770624 swapFree=66941108/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15151156 memory=10879676 CPUtime=2396.27 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 403336 0 0 0 238477 1150 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3787789 2719919 3531 1 0 3748889 0
[pid=5568/tid=5569] ppid=5566 vsize=15151156 memory=1448 CPUtime=2218.65 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 194264 0 0 0 221815 50 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151440748640 140151043553437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15151156 memory=1452 CPUtime=40.08 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 12237 0 0 0 3747 261 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.17 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 12311 0 0 0 3768 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.1 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 13528 0 0 0 3759 251 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.33 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 13032 0 0 0 3784 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15151156 memory=1452 CPUtime=3.05 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 15322 0 0 0 301 4 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150904034400 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 516886461 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150902981504 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15151156 memory=10879676 CPUtime=6.11 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 58210 0 0 0 604 7 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15151156 memory=1452 CPUtime=5.18 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 51844 0 0 0 512 6 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15151156 memory=10879676 CPUtime=1.09 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 27047 0 0 0 105 4 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15151156 memory=1452 CPUtime=1.42 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 4216 0 0 0 65 77 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 2396.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10881128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2266.11 s]
/proc/loadavg: 1.00 1.01 1.22 2/205 5830
/proc/meminfo: memFree=13798916/32770624 swapFree=66941108/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15151156 memory=10879676 CPUtime=2400.09 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 403581 0 0 0 238858 1151 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3787789 2719919 3531 1 0 3748889 0
[pid=5568/tid=5569] ppid=5566 vsize=15151156 memory=1452 CPUtime=2222.46 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 194509 0 0 0 222196 50 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151440748640 140151043553304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.08 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 12237 0 0 0 3747 261 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15151156 memory=1452 CPUtime=40.17 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 12311 0 0 0 3768 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.1 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 13528 0 0 0 3759 251 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15151156 memory=1452 CPUtime=40.33 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 13032 0 0 0 3784 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15151156 memory=10728 CPUtime=3.05 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 15322 0 0 0 301 4 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150904034400 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 516886461 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150902981504 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15151156 memory=10879676 CPUtime=6.11 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 58210 0 0 0 604 7 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15151156 memory=10879676 CPUtime=5.18 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 51844 0 0 0 512 6 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15151156 memory=1452 CPUtime=1.09 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 27047 0 0 0 105 4 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15151156 memory=500 CPUtime=1.43 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 4216 0 0 0 65 78 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10881128 KiB

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

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

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

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

[startup+2266.11 s]
/proc/loadavg: 1.00 1.01 1.22 2/205 5830
/proc/meminfo: memFree=13798916/32770624 swapFree=66941108/67108860
[pid=5566] ppid=5563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5566/stat : 5566 (xcsp3-exec) S 5563 5566 3311 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516886457 115843072 363 33554432000 4194304 5098028 140735897416800 140735897414904 139760354374268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11849728 140735897420666 140735897420909 140735897420909 140735897423818 0
/proc/5566/statm: 28282 363 304 221 0 87 0
[pid=5568] ppid=5566 vsize=15151156 memory=10879676 CPUtime=2400.09 cores=1,3,5,7
/proc/5568/stat : 5568 (java) S 5566 5566 3311 0 -1 1077944320 403581 0 0 0 238858 1151 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140732563559568 140151436517111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
/proc/5568/statm: 3787789 2719919 3531 1 0 3748889 0
[pid=5568/tid=5569] ppid=5566 vsize=15151156 memory=1452 CPUtime=2222.46 cores=1,3,5,7
/proc/5568/task/5569/stat : 5569 (java) R 5566 5566 3311 0 -1 4202560 194509 0 0 0 222196 50 0 0 20 0 15 0 516886458 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151440748640 140151043553304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5570] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.08 cores=1,3,5,7
/proc/5568/task/5570/stat : 5570 (java) S 5566 5566 3311 0 -1 1077944384 12237 0 0 0 3747 261 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151364557968 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5571] ppid=5566 vsize=15151156 memory=1452 CPUtime=40.17 cores=1,3,5,7
/proc/5568/task/5571/stat : 5571 (java) S 5566 5566 3311 0 -1 1077944384 12311 0 0 0 3768 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151363505168 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5572] ppid=5566 vsize=15151156 memory=10879676 CPUtime=40.1 cores=1,3,5,7
/proc/5568/task/5572/stat : 5572 (java) S 5566 5566 3311 0 -1 1077944384 13528 0 0 0 3759 251 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151362452368 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5573] ppid=5566 vsize=15151156 memory=1452 CPUtime=40.33 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (java) S 5566 5566 3311 0 -1 1077944384 13032 0 0 0 3784 249 0 0 20 0 15 0 516886459 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140151361399568 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5574] ppid=5566 vsize=15151156 memory=10728 CPUtime=3.05 cores=1,3,5,7
/proc/5568/task/5574/stat : 5574 (java) S 5566 5566 3311 0 -1 1077944384 15322 0 0 0 301 4 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150905088368 140151436528258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5575] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5575/stat : 5575 (java) S 5566 5566 3311 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 516886460 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150904034400 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5576] ppid=5566 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5576/stat : 5576 (java) S 5566 5566 3311 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 516886461 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150902981504 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5577] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5577/stat : 5577 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150901929808 140151436535707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5578] ppid=5566 vsize=15151156 memory=10879676 CPUtime=6.11 cores=1,3,5,7
/proc/5568/task/5578/stat : 5578 (java) S 5566 5566 3311 0 -1 1077944384 58210 0 0 0 604 7 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150900878192 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5579] ppid=5566 vsize=15151156 memory=10879676 CPUtime=5.18 cores=1,3,5,7
/proc/5568/task/5579/stat : 5579 (java) S 5566 5566 3311 0 -1 1077944384 51844 0 0 0 512 6 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150899825392 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5580] ppid=5566 vsize=15151156 memory=1452 CPUtime=1.09 cores=1,3,5,7
/proc/5568/task/5580/stat : 5580 (java) S 5566 5566 3311 0 -1 1077944384 27047 0 0 0 105 4 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150898772592 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5581] ppid=5566 vsize=15151156 memory=10879676 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5581/stat : 5581 (java) S 5566 5566 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150897720032 140151436527317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
[pid=5568/tid=5582] ppid=5566 vsize=15151156 memory=500 CPUtime=1.43 cores=1,3,5,7
/proc/5568/task/5582/stat : 5582 (java) S 5566 5566 3311 0 -1 1077944384 4216 0 0 0 65 78 0 0 20 0 15 0 516886463 15514783744 2719919 33554432000 4194304 4196468 140732563577024 140150896667312 140151436528258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17264640 140732563583983 140732563584154 140732563584154 140732563587023 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10881128 KiB

Child status: 143
Real time (s): 2266.16
CPU time (s): 2400.14
CPU user time (s): 2388.59
CPU system time (s): 11.554
CPU usage (%): 105.912
Max. virtual memory (cumulated for all children) (KiB): 15266268
Max. memory (cumulated for all children) (KiB): 10894772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.59
system time used= 11.554
maximum resident set size= 10893580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55613
involuntary context switches= 3640


# summary of solver processes directly reported to runsolver:
#   pid: 5566,5568
#   total CPU time (s): 2400.14
#   total CPU user time (s): 2388.59
#   total CPU system time (s): 11.554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2115 second user time and 22.1116 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-25 12:11:30
IDJOB=4406547
IDBENCH=141284
IDSOLVER=2870
FILE ID=node139/4406547-1569406153
RUNJOBID= node139-1569396805-3343
PBS_JOBID= 21705683
Free space on /tmp= 4548 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_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 /tmp/evaluation-result-4406547-1569406153/watcher-4406547-1569406153 -o /tmp/evaluation-result-4406547-1569406153/solver-4406547-1569406153 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3343 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406547-1569406153.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1898939242

node139.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.57
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.57
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.57
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.57
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:        23046344 kB
MemAvailable:   30166372 kB
Buffers:          131752 kB
Cached:          7075332 kB
SwapCached:        64768 kB
Active:          5543208 kB
Inactive:        3346648 kB
Active(anon):    1619260 kB
Inactive(anon):   119604 kB
Active(file):    3923948 kB
Inactive(file):  3227044 kB
Unevictable:      109024 kB
Mlocked:          109024 kB
SwapTotal:      67108860 kB
SwapFree:       66941104 kB
Dirty:            577080 kB
Writeback:         24444 kB
AnonPages:       1728500 kB
Mapped:            71312 kB
Shmem:             47436 kB
Slab:             426728 kB
SReclaimable:     397496 kB
SUnreclaim:        29232 kB
KernelStack:        3696 kB
PageTables:         9080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3472944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 4548 MiB
End job on node139 at 2019-09-25 12:49:16