Trace number 4406247

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)521763705 2520.1 2397.75

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 benchmark521763705
Best CPU time to get the best result obtained on this benchmark2520.1
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-4406247-1569414639.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406247-1569414639.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
212.56/101.25	c solve instance...
1781.59/1665.77	o 521785831 
1781.59/1665.79	o 521785830 
1782.09/1665.94	o 521785824 
1806.09/1688.99	o 521785823 
1806.27/1689.01	o 521785821 
1806.27/1689.06	o 521785817 
1806.39/1689.13	o 521785815 
1806.51/1689.22	o 521785806 
1806.51/1689.23	o 521785800 
1827.60/1709.63	o 521785798 
1827.60/1709.67	o 521785789 
1827.60/1709.68	o 521785782 
1827.60/1709.69	o 521785779 
1827.74/1709.71	o 521785778 
1827.86/1709.86	o 521785772 
1828.07/1710.01	o 521785771 
1828.07/1710.03	o 521785768 
1844.83/1726.62	o 521785763 
1844.83/1726.64	o 521785757 
1844.83/1726.65	o 521785751 
1845.03/1726.84	o 521785749 
1845.03/1726.84	o 521785741 
1845.13/1726.90	o 521785735 
1845.24/1727.02	o 521785723 
1845.34/1727.19	o 521785721 
1860.29/1742.10	o 521785720 
1860.29/1742.10	o 521785718 
1860.39/1742.12	o 521785706 
1860.39/1742.12	o 521785704 
1860.39/1742.13	o 521785703 
1860.39/1742.14	o 521785697 
1860.39/1742.17	o 521785690 
1860.39/1742.19	o 521785684 
1860.59/1742.38	o 521785682 
1860.96/1742.66	o 521763934 
1860.96/1742.67	o 521763925 
1877.23/1756.93	o 521763923 
1877.23/1756.94	o 521763920 
1877.23/1756.95	o 521763914 
1877.23/1756.96	o 521763913 
1877.23/1756.99	o 521763908 
1877.38/1757.10	o 521763904 
1877.57/1757.17	o 521763900 
1877.57/1757.18	o 521763899 
1877.67/1757.22	o 521763892 
1877.67/1757.23	o 521763891 
1877.98/1757.56	o 521763888 
1878.99/1758.55	o 521763884 
1893.22/1772.38	o 521763882 
1893.22/1772.39	o 521763881 
1893.32/1772.40	o 521763869 
1893.32/1772.43	o 521763866 
1893.32/1772.46	o 521763864 
1893.32/1772.47	o 521763863 
1893.32/1772.49	o 521763862 
1893.43/1772.52	o 521763859 
1893.43/1772.52	o 521763858 
1893.43/1772.53	o 521763857 
1894.23/1773.36	o 521763856 
1894.43/1773.51	o 521763851 
1911.58/1790.48	o 521763850 
1927.94/1806.61	o 521763837 
1927.94/1806.62	o 521763836 
1927.94/1806.66	o 521763830 
1928.04/1806.80	o 521763827 
1928.14/1806.80	o 521763826 
1928.14/1806.85	o 521763825 
1928.24/1806.98	o 521763824 
1928.35/1807.09	o 521763820 
1942.23/1820.88	o 521763819 
1942.23/1820.89	o 521763818 
1942.33/1820.90	o 521763816 
1942.33/1820.93	o 521763812 
1942.33/1820.98	o 521763811 
1942.33/1821.01	o 521763808 
1942.93/1821.55	o 521763807 
1942.93/1821.56	o 521763806 
1943.33/1821.91	o 521763805 
1944.24/1822.83	o 521763800 
1944.24/1822.85	o 521763798 
1959.03/1837.58	o 521763792 
1959.03/1837.59	o 521763791 
1959.14/1837.63	o 521763788 
1959.24/1837.74	o 521763787 
1959.34/1837.89	o 521763783 
1975.37/1853.81	o 521763778 
1975.37/1853.88	o 521763777 
1975.37/1853.89	o 521763776 
1976.87/1855.32	o 521763773 
1976.87/1855.33	o 521763772 
2007.10/1885.58	o 521763771 
2031.34/1909.78	o 521763763 
2031.76/1910.14	o 521763762 
2032.01/1910.30	o 521763759 
2032.01/1910.31	o 521763758 
2032.11/1910.49	o 521763757 
2032.21/1910.56	o 521763756 
2032.21/1910.59	o 521763755 
2056.47/1934.68	o 521763754 
2056.88/1935.10	o 521763751 
2056.98/1935.12	o 521763744 
2058.47/1936.63	o 521763743 
2217.07/2095.10	o 521763742 
2221.46/2099.47	o 521763741 
2222.26/2100.21	o 521763739 
2236.38/2114.34	o 521763738 
2252.10/2130.02	o 521763735 
2335.26/2213.16	o 521763733 
2353.97/2231.80	o 521763732 
2353.97/2231.82	o 521763731 
2354.57/2232.46	o 521763728 
2371.98/2249.86	o 521763727 
2374.88/2252.71	o 521763726 
2374.88/2252.71	o 521763725 
2466.15/2343.96	o 521763724 
2483.28/2361.02	o 521763716 
2483.28/2361.03	o 521763715 
2483.28/2361.05	o 521763709 
2483.28/2361.07	o 521763708 
2500.03/2377.75	o 521763707 
2508.53/2386.25	o 521763705 
2520.04/2397.70	s SATISFIABLE
2520.04/2397.70	v <instantiation>
2520.04/2397.70	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>
2520.04/2397.70	v 	<values>2528 2296 2280 2456 2664 2688 2528 2200 2436 2584 2676 2560 2556 2676 2504 2632 2656 2476 2300 2476 2392 2236 2704 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 2472 2220 2600 2272 2488 2340 2528 2332 2220 2232 2240 2180 2620 2716 2352 2244 2260 2308 2224 2468 2300 2296 2560 2180 2412 2688 2528 2412 2460 2364 2508 2672 2548 2456 2652 2552 2228 2356 2472 2396 2284 2668 2432 2196 2584 2452 2220 2252 2564 2312 2400 2392 2632 2220 2632 2360 2508 2664 2200 2596 2584 2500 2340 2664 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 2432 2420 2540 2376 2228 2300 2360 2672 2180 2436 2696 2676 2180 2528 2524 2248 2548 2396 2688 2524 2468 2404 2676 2432 2588 2200 2208 2656 2184 2228 2540 2236 2220 2412 2372 2420 2696 2468 2420 2516 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 2380 2336 2576 2676 2220 2372 2596 2656 2536 2372 2228 2568 2196 2340 2312 2416 2288 2676 2224 2636 2436 2584 2716 2712 2496 2488 2548 2624 2552 2592 2212 2512 2508 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 2556 2180 2544 2544 2504 2536 2364 2220 2716 2552 2596 2336 2708 2380 2584 2236 2588 2600 2204 2184 2324 2348 2372 2592 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 0 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 0 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 0 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 2 0 0 10 0 0 7 1 0 0 0 0 1 0 10 0 0 0 0 0 0 0 1 9 0 1 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 9 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 0 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 0 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 1 0 1 0 0 5 0 0 8 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 7 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 7 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 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 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 1 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 1 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 4 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 1 0 1 0 0 0 0 0 9 0 0 4 0 0 1 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 7 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 1 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 1 10 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 6 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 0 10 1 0 0 0 0 0 0 10 0 1 0 0 0 0 0 10 0 3 3 1 1 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 56 300 332 148 348 148 268 204 36 16 156 148 96 116 168 400 72 100 76 44 120 288 280 420 300 412 28 152 60 220 92 56 308 276 92 28 192 224 236 116 208 68 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 308 460 252 64 296 276 168 20 12 204 216 124 360 20 488 324 64 440 128 396 36 388 128 52 128 248 212 64 208 96 140 88 72 124 120 312 104 32 188 184 84 152 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 148 376 80 152 292 92 100 76 28 136 320 376 68 76 332 192 160 352 20 456 480 496 256 256 376 480 176 196 252 324 140 104 92 16 180 144 172 304 296 240 112 152 292 336 404 40 44 292 80 8 80 32 420 472 316 432 360 64 428 316 56 32 436 212 64 60 228 48 56 12 164 188 256 52 112 388 244 76 372 168 404 240 80 416 188 56 112 396 36 116 124 172 252 64 100 200 76 256 24 148 76 172 96 324 108 52 24 104 200 28 44 144 208 36 252 312 16 456 180 440 452 288 356 272 280 360 340 484 12 236 152 348 36 484 272 216 124 48 512 176 112 128 244 164 136 28 224 276 184 116 272 228 124 144 148 104 96 144 352 384 64 112 104 96 348 212 168 28 56 44 252 160 200 80 16 40 92 316 136 160 288 160 108 336 164 24 72 64 48 108 168 184 36 52 200 168 308 212 128 336 304 84 52 128 252 512 236 360 264 24 208 216 292 528 80 144 256 344 40 492 312 236 64 80 220 76 332 128 176 276 140 192 188 312 184 184 436 460 476 20 52 396 332 436 156 164 360 408 276 376 172 488 172 260 80 88 76 116 192 96 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 136 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 120 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 96 76 136 88 72 36 260 144 24 24 204 80 100 220 128 148 32 16 368 108 104 112 44 68 300 280 168 268 92 164 48 76 136 252 92 220 416 156 44 472 492 492 44 328 228 372 416 408 184 104 312 140 120 52 176 52 160 40 80 48 40 24 332 264 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 96 144 188 192 344 252 112 152 16 68 344 200 152 108 296 124 76 316 60 132 4 84 352 132 72 228 184 140 272 236 188 104 184 312 92 16 152 204 120 168 220 240 208 144 288 40 212 272 132 296 300 124 164 168 88 68 272 452 44 536 352 260 120 528 416 192 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 464 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 180 444 468 348 32 428 100 68 284 284 200 8 156 248 300 28 288 196 272 120 272 8 96 84 172 104 232 144 212 220 64 152 80 44 220 24 200 140 288 76 108 280 80 160 80 104 272 40 100 136 140 128 76 68 308 192 124 92 180 176 148 56 228 184 188 8 276 132 284 228 68 324 44 4 36 488 312 312 368 228 368 52 364 108 28 352 92 36 444 180 140 384 20 140 124 476 112 312 192 344 352 300 256 356 100 140 344 500 424 112 240 472 348 456 200 120 180 512 332 244 292 204 212 36 252 52 200 64 28 20 224 40 40 456 452 272 416 192 28 92 288 380 76 188 124 52 392 144 92 256 416 236 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 368 448 32 352 120 200 268 292 408 160 360 228 232 268 44 180 60 72 436 308 392 124 476 348 120 104 212 252 56 360 488 396 40 236 308 8 440 220 296 320 260 56 420 208 356 84 36 68 88 208 364 260 520 444 532 44 344 220 344 152 364 352 324 124 156 364 156 20 228 320 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 340 20 208 116 356 344 32 200 64 288 212 248 180 208 164 248 96 16 40 64 396 240 368 240 416 296 192 100 360 380 416 328 352 292 112 52 104 116 144 260 60 416 144 120 20 84 60 436 476 376 476 88 208 112 128 188 72 104 160 180 180 104 500 40 464 492 16 308 132 96 188 500 20 56 20 28 112 188 336 188 304 180 256 76 264 200 208 208 40 56 92 36 40 4 164 48 252 292 20 104 148 208 84 196 284 36 164 88 448 276 92 292 16 116 480 492 328 128 140 40 156 324 108 40 168 324 48 132 208 256 44 192 248 160 56 12 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 236 196 252 60 236 236 68 248 204 152 292 112 168 300 160 320 272 180 92 320 140 56 64 148 48 384 292 264 224 432 96 472 328 212 192 76 20 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 72 104 228 32 344 92 212 68 4 348 364 232 276 16 308 48 388 236 324 260 48 360 132 144 276 196 76 140 276 200 192 12 136 216 256 156 40 144 324 56 20 132 452 116 80 84 44 456 164 456 304 368 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 468 12 316 12 16 100 404 316 276 36 276 468 356 24 92 200 376 148 336 376 232 468 132 332 364 212 12 240 460 176 320 248 176 520 8 188 500 336 404 164 328 8 364 252 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 276 88 364 120 32 416 352 456 256 140 300 32 72 140 240 156 132 256 36 36 216 264 228 64 260 236 272 224 76 92 24 228 300 180 176 156 116 128 172 164 320 308 476 284 316 380 296 124 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 12 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 268 68 148 424 176 176 280 356 156 140 148 336 116 184 180 448 44 156 492 368 272 112 40 484 24 304 92 480 352 348 168 152 196 12 108 284 96 160 240 260 80 132 128 132 156 296 28 196 76 88 172 256 12 212 148 272 184 316 24 60 376 288 92 356 404 196 376 356 396 316 52 296 336 492 144 252 460 292 16 484 44 436 360 200 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 408 376 148 316 416 112 56 0 84 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 20 100 284 116 196 72 228 116 236 32 140 188 476 468 264 436 60 20 60 264 92 104 252 104 52 48 80 44 8 212 40 296 416 516 204 496 32 408 448 20 428 316 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 128 408 120 200 248 272 200 108 64 228 32 304 124 296 68 200 104 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 296 180 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 48 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 332 16 368 344 32 292 292 280 224 52 252 48 132 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 336 52 28 148 80 160 120 128 272 52 276 276 68 360 360 260 420 452 56 76 460 304 204 424 464 492 396 504 24 248 164 16 84 44 104 116 336 48 232 84 76 168 188 260 140 336 192 44 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 284 292 236 320 100 100 124 404 276 260 388 260 268 76 300 128 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 96 84 184 168 340 372 264 256 420 288 292 292 148 288 88 96 132 44 40 40 140 352 144 224 108 36 188 160 92 192 256 464 124 20 176 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 296 64 304 340 188 16 128 392 188 148 292 180 104 340 120 192 132 148 96 68 280 312 388 360 52 172 204 224 380 136 180 </values>
2520.04/2397.70	v </instantiation>
2520.04/2397.70	c Unexpected resolution interruption!

Verifier Data 

OK	521763705

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406247-1569414639/watcher-4406247-1569414639 -o /var/tmp/evaluation-result-4406247-1569414639/solver-4406247-1569414639 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569411628-1827 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 329943988 HOME/instance-4406247-1569414639.xml 

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

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

solver pid=3272, runsolver pid=3269

[startup+0.100059 s]*
/proc/loadavg: 1.91 1.98 1.95 5/229 3288
/proc/meminfo: memFree=24888428/32770624 swapFree=66997192/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15144776 memory=29748 CPUtime=0.13 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 5853 0 0 0 12 1 0 0 20 0 15 0 517402487 15508250624 7437 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3786194 7437 3130 1 0 3748377 0
[pid=3274/tid=3275] ppid=3272 vsize=15144776 memory=7827439355836994395 CPUtime=0.08 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 3801 0 0 0 8 0 0 0 20 0 15 0 517402487 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679914435728 140679894254949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402489 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402490 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679444890400 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402490 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679443838064 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) R 3272 3272 1796 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) R 3272 3272 1796 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679440681752 140679891755495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0.02 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) R 3272 3272 1796 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679372073840 140679894373280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 7503 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31204 KiB

[startup+0.210796 s]*
/proc/loadavg: 1.91 1.98 1.95 5/229 3288
/proc/meminfo: memFree=24874248/32770624 swapFree=66997192/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15144776 memory=41148 CPUtime=0.34 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 9486 0 0 0 31 3 0 0 20 0 15 0 517402487 15508250624 10287 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3786194 10287 3316 1 0 3748377 0
[pid=3274/tid=3275] ppid=3272 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 6642 0 0 0 17 2 0 0 20 0 15 0 517402487 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679914449136 140679910223254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15144776 memory=2128866 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15144776 memory=140001422121447 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402489 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402490 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679444890400 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402490 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679443838064 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) S 3272 3272 1796 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679440681456 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15144776 memory=140001418286720 CPUtime=0.08 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402493 15508250624 10287 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42604 KiB

[startup+0.310664 s]*
/proc/loadavg: 1.91 1.98 1.95 4/229 3288
/proc/meminfo: memFree=24867672/32770624 swapFree=66997192/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15149032 memory=49976 CPUtime=0.54 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 10833 0 0 0 50 4 0 0 20 0 15 0 517402487 15512608768 12494 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3787258 12494 3359 1 0 3748377 0
[pid=3274/tid=3275] ppid=3272 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 7836 0 0 0 27 3 0 0 20 0 15 0 517402487 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679914442432 140679910233245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15149032 memory=-7022074515825631275 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402488 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15149032 memory=7521901370507621794 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402488 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15149032 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402489 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15149032 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402490 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679444890400 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15149032 memory=7824336315716348491 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402490 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679443838064 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15149032 memory=8226496019563508123 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 361 0 0 0 4 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) R 3272 3272 1796 0 -1 4202560 516 0 0 0 5 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679440681456 140679887472576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 12563 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51432 KiB

[startup+0.700852 s]
/proc/loadavg: 1.91 1.98 1.95 4/229 3288
/proc/meminfo: memFree=24743784/32770624 swapFree=66997192/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15149032 memory=300232 CPUtime=1.52 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 15333 0 0 0 132 20 0 0 20 0 15 0 517402487 15512608768 75058 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3787258 75058 3418 1 0 3748377 0
[pid=3274/tid=3275] ppid=3272 vsize=15149032 memory=1428 CPUtime=0.62 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 8034 0 0 0 55 7 0 0 20 0 15 0 517402487 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679914450448 140679910233245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15149032 memory=1540 CPUtime=0.02 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 15 0 517402488 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15149032 memory=772 CPUtime=0.04 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 63 0 0 0 1 3 0 0 20 0 15 0 517402488 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15149032 memory=10596 CPUtime=0.02 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 35 0 0 0 0 2 0 0 20 0 15 0 517402488 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15149032 memory=1708 CPUtime=0.04 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 67 0 0 0 1 3 0 0 20 0 15 0 517402488 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15149032 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517402489 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15149032 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517402490 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679444890400 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15149032 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517402490 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679443838064 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15149032 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15149032 memory=6140 CPUtime=0.32 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 2700 0 0 0 32 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15149032 memory=612 CPUtime=0.2 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) R 3272 3272 1796 0 -1 4202560 1764 0 0 0 20 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679440681456 140679894185256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15149032 memory=1220 CPUtime=0.19 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 1249 0 0 0 19 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15149032 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15149032 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402493 15512608768 75058 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 301688 KiB

[startup+1.50082 s]
/proc/loadavg: 1.91 1.98 1.95 3/229 3288
/proc/meminfo: memFree=24427472/32770624 swapFree=66997192/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0

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

/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679443838080 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15151156 memory=10954600 CPUtime=5.43 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 46996 0 0 0 537 6 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15151156 memory=1456 CPUtime=5.95 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) S 3272 3272 1796 0 -1 1077944384 52368 0 0 0 590 5 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679440681456 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15151156 memory=1456 CPUtime=1.09 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 25248 0 0 0 106 3 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15151156 memory=10954600 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15151156 memory=1456 CPUtime=1.39 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 4730 0 0 0 71 68 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 2444.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10956056 KiB

[startup+2382.3 s]
/proc/loadavg: 1.01 1.37 1.78 2/207 3584
/proc/meminfo: memFree=14178848/32770624 swapFree=66997208/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2504.63 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 453530 0 0 0 249339 1124 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3787789 2738650 3531 1 0 3748889 0
[pid=3274/tid=3275] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2342.74 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 232251 0 0 0 234223 51 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679914442848 140679528015643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.27 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 17747 0 0 0 3377 250 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15151156 memory=1456 CPUtime=36.25 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 18104 0 0 0 3376 249 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.12 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 16598 0 0 0 3372 240 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.02 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 14808 0 0 0 3347 255 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15151156 memory=10954600 CPUtime=3.19 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 19433 0 0 0 315 4 0 0 20 0 15 0 517402489 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679444890464 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15151156 memory=6425271076035 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679443838080 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15151156 memory=1456 CPUtime=5.44 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 47884 0 0 0 538 6 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15151156 memory=1456 CPUtime=5.98 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) S 3272 3272 1796 0 -1 1077944384 53194 0 0 0 593 5 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679440681456 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15151156 memory=3624 CPUtime=1.1 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 27313 0 0 0 107 3 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15151156 memory=65436 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15151156 memory=10954600 CPUtime=1.43 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 4816 0 0 0 73 70 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 2504.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10956056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2397.7 s]
/proc/loadavg: 1.00 1.35 1.77 2/207 3584
/proc/meminfo: memFree=14178812/32770624 swapFree=66997208/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2520.04 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 456029 0 0 0 250879 1125 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3787789 2738650 3531 1 0 3748889 0
[pid=3274/tid=3275] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2358.14 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 234387 0 0 0 235763 51 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679914449832 140679528015734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.27 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 17747 0 0 0 3377 250 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.25 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 18104 0 0 0 3376 249 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.12 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 16598 0 0 0 3372 240 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.02 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 14808 0 0 0 3347 255 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15151156 memory=10954600 CPUtime=3.2 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 19442 0 0 0 315 5 0 0 20 0 15 0 517402489 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15151156 memory=10954600 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679444890464 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679443838080 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15151156 memory=10954600 CPUtime=5.44 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 47887 0 0 0 538 6 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15151156 memory=6425271076035 CPUtime=5.98 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) S 3272 3272 1796 0 -1 1077944384 53197 0 0 0 593 5 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679440681456 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15151156 memory=-8961168018402230209 CPUtime=1.1 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 27635 0 0 0 107 3 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15151156 memory=10954600 CPUtime=1.43 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 4842 0 0 0 73 70 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10956056 KiB

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

[startup+2397.75 s]
# the end of solver process 3272 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001084 s, system=0.001616 s

[startup+2397.75 s]
# the end of solver process 3274 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.8 s, system=11.3034 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+2397.7 s]
/proc/loadavg: 1.00 1.35 1.77 2/207 3584
/proc/meminfo: memFree=14178812/32770624 swapFree=66997208/67108860
[pid=3272] ppid=3269 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3272/stat : 3272 (xcsp3-exec) S 3269 3272 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402487 115843072 364 33554432000 4194304 5098028 140726983265392 140726983263496 139966241284732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17858560 140726983271255 140726983271513 140726983271513 140726983274438 0
/proc/3272/statm: 28282 364 305 221 0 87 0
[pid=3274] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2520.04 cores=0,2,4,6
/proc/3274/stat : 3274 (java) S 3272 3272 1796 0 -1 1077944320 456029 0 0 0 250879 1125 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140720356324048 140679910211319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
/proc/3274/statm: 3787789 2738650 3531 1 0 3748889 0
[pid=3274/tid=3275] ppid=3272 vsize=15151156 memory=10954600 CPUtime=2358.14 cores=0,2,4,6
/proc/3274/task/3275/stat : 3275 (java) R 3272 3272 1796 0 -1 4202560 234387 0 0 0 235763 51 0 0 20 0 15 0 517402487 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679914449832 140679528015734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3276] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.27 cores=0,2,4,6
/proc/3274/task/3276/stat : 3276 (java) S 3272 3272 1796 0 -1 1077944384 17747 0 0 0 3377 250 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679846448016 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3277] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.25 cores=0,2,4,6
/proc/3274/task/3277/stat : 3277 (java) S 3272 3272 1796 0 -1 1077944384 18104 0 0 0 3376 249 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679845395216 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3278] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.12 cores=0,2,4,6
/proc/3274/task/3278/stat : 3278 (java) S 3272 3272 1796 0 -1 1077944384 16598 0 0 0 3372 240 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679844342928 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3279] ppid=3272 vsize=15151156 memory=10954600 CPUtime=36.02 cores=0,2,4,6
/proc/3274/task/3279/stat : 3279 (java) S 3272 3272 1796 0 -1 1077944384 14808 0 0 0 3347 255 0 0 20 0 15 0 517402488 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679843290128 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3280] ppid=3272 vsize=15151156 memory=10954600 CPUtime=3.2 cores=0,2,4,6
/proc/3274/task/3280/stat : 3280 (java) S 3272 3272 1796 0 -1 1077944384 19442 0 0 0 315 5 0 0 20 0 15 0 517402489 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679445944432 140679910222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3281] ppid=3272 vsize=15151156 memory=10954600 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3281/stat : 3281 (java) S 3272 3272 1796 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679444890464 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3282] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3282/stat : 3282 (java) S 3272 3272 1796 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 517402490 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679443838080 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3283] ppid=3272 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3283/stat : 3283 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679442786384 140679910229915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3284] ppid=3272 vsize=15151156 memory=10954600 CPUtime=5.44 cores=0,2,4,6
/proc/3274/task/3284/stat : 3284 (java) S 3272 3272 1796 0 -1 1077944384 47887 0 0 0 538 6 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679441734256 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3285] ppid=3272 vsize=15151156 memory=6425271076035 CPUtime=5.98 cores=0,2,4,6
/proc/3274/task/3285/stat : 3285 (java) S 3272 3272 1796 0 -1 1077944384 53197 0 0 0 593 5 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679440681456 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3286] ppid=3272 vsize=15151156 memory=-8961168018402230209 CPUtime=1.1 cores=0,2,4,6
/proc/3274/task/3286/stat : 3286 (java) S 3272 3272 1796 0 -1 1077944384 27635 0 0 0 107 3 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679372073840 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3287] ppid=3272 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/3274/task/3287/stat : 3287 (java) S 3272 3272 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679371021280 140679910221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
[pid=3274/tid=3288] ppid=3272 vsize=15151156 memory=10954600 CPUtime=1.43 cores=0,2,4,6
/proc/3274/task/3288/stat : 3288 (java) S 3272 3272 1796 0 -1 1077944384 4842 0 0 0 73 70 0 0 20 0 15 0 517402493 15514783744 2738650 33554432000 4194304 4196468 140720356341504 140679369968048 140679910222466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38199296 140720356344795 140720356344970 140720356344970 140720356347855 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 10956056 KiB

Child status: 143
Real time (s): 2397.75
CPU time (s): 2520.1
CPU user time (s): 2508.8
CPU system time (s): 11.3034
CPU usage (%): 105.103
Max. virtual memory (cumulated for all children) (KiB): 15266260
Max. memory (cumulated for all children) (KiB): 10965932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.8
system time used= 11.3034
maximum resident set size= 10964476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58253
involuntary context switches= 2126


# summary of solver processes directly reported to runsolver:
#   pid: 3272,3274
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2508.8
#   total CPU system time (s): 11.3034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4388 second user time and 23.3507 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-25 14:30:00
IDJOB=4406247
IDBENCH=141284
IDSOLVER=2869
FILE ID=node140/4406247-1569414639
RUNJOBID= node140-1569411628-1827
PBS_JOBID= 21705714
Free space on /var/tmp= 12920 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 /var/tmp/evaluation-result-4406247-1569414639/watcher-4406247-1569414639 -o /var/tmp/evaluation-result-4406247-1569414639/solver-4406247-1569414639 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569411628-1827 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 329943988 HOME/instance-4406247-1569414639.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=329943988

node140.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.43
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.43
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.43
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.43
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:        24905892 kB
MemAvailable:   31634664 kB
Buffers:          156916 kB
Cached:          6676152 kB
SwapCached:         3012 kB
Active:          3927696 kB
Inactive:        3124416 kB
Active(anon):     217084 kB
Inactive(anon):    57568 kB
Active(file):    3710612 kB
Inactive(file):  3066848 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66997192 kB
Dirty:            609860 kB
Writeback:             0 kB
AnonPages:        325120 kB
Mapped:            70852 kB
Shmem:             46504 kB
Slab:             408356 kB
SReclaimable:     379772 kB
SUnreclaim:        28584 kB
KernelStack:        3712 kB
PageTables:         6460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1655604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 12920 MiB
End job on node140 at 2019-09-25 15:09:58