Trace number 4297933

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)548030622 3009.19 2520.26

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
MD5SUM51c3d091a7e4b0716a15e9a29832b849
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark548030622
Best CPU time to get the best result obtained on this benchmark3009.19
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 constraints2177
Number of intensional constraints2488
Distribution of constraint types[{"type":"extension","count":2177},{"type":"intension","count":2488}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297933-1532713683.xml"  -tl '20160s' -p 8
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297933-1532713683.xml, -tl, 20160s, -p, 8]
0.11/0.21	c 8 solvers in parallel
0.34/0.28	c parse instance...
552.53/208.88	c solve instance...
593.95/214.57	o 548640379 
597.55/216.03	o 548640375 
693.46/235.20	o 548618605 
693.46/235.25	o 548596835 
700.86/242.34	o 548575060 
702.72/243.47	o 548575056 
2615.05/2152.88	o 548553286 
2615.18/2152.92	o 548553282 
2616.42/2153.98	o 548553278 
2616.42/2153.99	o 548553274 
2616.59/2154.02	o 548531507 
2616.59/2154.05	o 548531503 
2618.08/2155.41	o 548531499 
2619.86/2156.69	o 548531495 
2621.70/2158.13	o 548531491 
2623.56/2159.27	o 548531487 
2625.01/2160.65	o 548531483 
2626.44/2162.07	o 548509726 
2626.44/2162.09	o 548509722 
2626.59/2162.11	o 548509718 
2633.38/2164.18	o 548509714 
2633.48/2164.21	o 548509710 
2633.48/2164.22	o 548509706 
2633.48/2164.23	o 548509702 
2634.55/2165.07	o 548487952 
2636.19/2166.60	o 548487948 
2637.81/2168.24	o 548466178 
2639.15/2169.59	o 548466174 
2639.27/2169.60	o 548466170 
2639.27/2169.61	o 548466166 
2641.04/2171.35	o 548466162 
2641.04/2171.37	o 548466158 
2641.04/2171.39	o 548466154 
2641.23/2171.40	o 548444399 
2641.23/2171.42	o 548444395 
2643.05/2172.98	o 548444391 
2644.49/2174.33	o 548444387 
2646.25/2176.05	o 548444383 
2647.77/2177.56	o 548444379 
2649.31/2179.01	o 548444375 
2650.76/2180.44	o 548422618 
2650.76/2180.46	o 548422614 
2650.76/2180.47	o 548422610 
2650.94/2180.50	o 548422606 
2650.94/2180.51	o 548422602 
2652.41/2181.93	o 548422598 
2653.83/2183.35	o 548422594 
2655.48/2184.97	o 548400855 
2655.48/2184.99	o 548400851 
2656.93/2186.39	o 548400847 
2657.03/2186.40	o 548400843 
2659.33/2188.11	o 548400839 
2659.45/2188.22	o 548400835 
2661.08/2189.88	o 548400831 
2661.08/2189.89	o 548379074 
2662.53/2191.28	o 548379070 
2664.17/2192.84	o 548379066 
2665.61/2194.22	o 548379062 
2665.61/2194.23	o 548379058 
2665.61/2194.27	o 548379054 
2665.61/2194.28	o 548379050 
2667.98/2195.87	o 548357300 
2669.53/2197.39	o 548357296 
2671.08/2198.84	o 548357292 
2671.08/2198.85	o 548357288 
2672.56/2200.22	o 548357284 
2672.98/2200.67	o 548357280 
2672.98/2200.69	o 548357276 
2673.14/2200.72	o 548357274 
2674.77/2202.33	o 548357270 
2676.41/2203.86	o 548357266 
2677.88/2205.25	o 548335527 
2677.88/2205.27	o 548335523 
2679.63/2206.93	o 548335519 
2679.63/2206.95	o 548335515 
2680.54/2207.13	o 548335511 
2680.54/2207.15	o 548335507 
2681.98/2208.46	o 548335503 
2683.14/2209.60	o 548313746 
2683.24/2209.63	o 548313742 
2684.80/2211.18	o 548313738 
2686.25/2212.54	o 548313734 
2687.59/2213.84	o 548313730 
2689.12/2215.40	o 548313726 
2689.22/2215.42	o 548313722 
2689.22/2215.45	o 548291972 
2689.22/2215.49	o 548291968 
2690.57/2216.61	o 548291964 
2691.92/2217.98	o 548291960 
2693.43/2219.32	o 548291956 
2695.06/2220.90	o 548291952 
2695.06/2220.91	o 548291948 
2696.60/2222.45	o 548291944 
2697.92/2223.71	o 548291940 
2697.92/2223.74	o 548270194 
2697.92/2223.76	o 548270190 
2699.32/2225.05	o 548270186 
2700.85/2226.59	o 548270182 
2700.96/2226.61	o 548270178 
2700.96/2226.62	o 548270174 
2702.20/2227.89	o 548270170 
2703.89/2229.49	o 548270166 
2705.55/2231.05	o 548270162 
2707.07/2232.57	o 548248422 
2708.50/2233.91	o 548248418 
2709.64/2235.01	o 548248414 
2709.64/2235.02	o 548248410 
2709.64/2235.03	o 548248406 
2711.27/2236.56	o 548248402 
2711.27/2236.57	o 548248398 
2712.91/2238.09	o 548248394 
2714.32/2239.47	o 548248390 
2714.49/2239.59	o 548248386 
2716.43/2241.06	o 548248383 
2716.43/2241.07	o 548226643 
2716.43/2241.08	o 548226639 
2717.89/2242.40	o 548226635 
2719.36/2243.85	o 548226631 
2719.36/2243.88	o 548226627 
2720.75/2245.13	o 548226623 
2722.27/2246.70	o 548226619 
2723.63/2247.95	o 548226615 
2723.63/2247.98	o 548226611 
2725.19/2249.47	o 548226607 
2726.54/2250.75	o 548226605 
2727.88/2252.04	o 548226604 
2729.41/2253.51	o 548226601 
2730.74/2254.89	o 548204861 
2732.53/2256.45	o 548204857 
2733.92/2257.73	o 548204853 
2734.05/2257.80	o 548204849 
2735.58/2259.36	o 548204845 
2737.12/2260.89	o 548204841 
2738.77/2262.44	o 548204837 
2739.45/2263.10	o 548204833 
2739.55/2263.12	o 548204829 
2741.11/2264.67	o 548204825 
2742.69/2266.13	o 548204823 
2744.31/2267.73	o 548204821 
2745.85/2269.23	o 548204820 
2747.30/2270.69	o 548204817 
2748.85/2272.14	o 548183077 
2748.85/2272.16	o 548183073 
2750.37/2273.69	o 548183069 
2751.74/2274.98	o 548183065 
2753.08/2276.27	o 548183061 
2753.08/2276.29	o 548183057 
2754.85/2277.93	o 548183053 
2756.38/2279.50	o 548183049 
2756.49/2279.55	o 548183045 
2756.49/2279.57	o 548183041 
2758.31/2281.24	o 548183039 
2759.75/2282.67	o 548183037 
2762.32/2284.05	o 548161297 
2762.32/2284.06	o 548161293 
2763.90/2285.15	o 548161289 
2765.42/2286.61	o 548161285 
2765.42/2286.65	o 548161281 
2766.79/2287.96	o 548161277 
2768.23/2289.34	o 548161273 
2768.23/2289.35	o 548161269 
2769.68/2290.73	o 548161265 
2771.11/2292.17	o 548161261 
2771.94/2292.90	o 548161259 
2773.10/2294.08	o 548139537 
2774.31/2295.23	o 548139533 
2775.83/2296.73	o 548139529 
2777.35/2298.20	o 548139525 
2778.68/2299.53	o 548139521 
2779.99/2300.86	o 548139517 
2779.99/2300.87	o 548139513 
2781.54/2302.32	o 548139509 
2782.96/2303.77	o 548139505 
2782.96/2303.79	o 548139501 
2783.13/2303.82	o 548139499 
2784.60/2305.20	o 548139497 
2784.60/2305.22	o 548139495 
2786.08/2306.64	o 548139493 
2787.22/2307.79	o 548117753 
2788.67/2309.13	o 548117749 
2789.98/2310.44	o 548117745 
2789.98/2310.45	o 548117741 
2791.48/2311.86	o 548117737 
2791.48/2311.89	o 548117733 
2793.03/2313.32	o 548117729 
2793.03/2313.33	o 548117725 
2794.37/2314.67	o 548117721 
2794.37/2314.68	o 548117717 
2795.84/2316.07	o 548117715 
2797.09/2317.26	o 548117713 
2798.55/2318.60	o 548117711 
2798.55/2318.61	o 548117709 
2799.90/2319.94	o 548117707 
2801.44/2321.43	o 548095967 
2802.75/2322.72	o 548095963 
2804.26/2324.20	o 548095959 
2805.58/2325.58	o 548095955 
2807.00/2326.97	o 548095951 
2808.96/2328.48	o 548095948 
2816.65/2334.95	o 548095947 
2817.49/2335.75	o 548095943 
2819.02/2337.27	o 548074178 
2826.74/2343.59	o 548074174 
2828.45/2344.45	o 548074170 
2829.98/2345.95	o 548074166 
2831.32/2347.23	o 548074162 
2832.83/2348.70	o 548074158 
2832.83/2348.75	o 548074154 
2834.39/2350.23	o 548052408 
2841.84/2356.35	o 548052404 
2843.38/2357.83	o 548052400 
2845.92/2359.40	o 548052396 
2847.26/2360.72	o 548052392 
2848.48/2361.97	o 548052388 
2850.05/2363.46	o 548030638 
2857.55/2369.48	o 548030630 
2859.32/2371.11	o 548030626 
2860.13/2371.87	o 548030622 
3008.47/2520.11	s SATISFIABLE
3008.47/2520.11	v <instantiation>
3008.47/2520.11	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] </list>
3009.05/2520.13	v 	<values>2180 2180 2180 2180 2180 2180 2488 2180 2180 2488 2180 2384 2180 2180 2180 2180 2180 2412 2180 2220 2180 2180 2180 2180 2180 2180 2180 2180 2180 2220 2180 2180 2180 2220 2384 2180 2424 2180 2180 2412 2220 2180 2180 2180 2488 2180 2180 2180 2180 2412 2180 2488 2180 2180 2180 2384 2180 2180 2384 2180 2412 2220 2412 2180 2488 2180 2180 2220 2180 2180 2180 2424 2180 2412 2220 2452 2180 2180 2180 2220 2220 2180 2180 2180 2180 2180 2180 2220 2180 2180 2180 2220 2180 2412 2180 2488 2180 2180 2180 2384 2180 2180 2180 2180 2180 2180 2180 2412 2180 2180 2180 2220 2180 2488 2412 2220 2180 2180 2180 2180 2220 2220 2180 2220 2220 2412 2180 2180 2180 2180 2412 2180 2220 2220 2180 2220 2180 2180 2220 2220 2180 2384 2488 2180 2180 2180 2220 2180 2180 2220 2488 2180 2384 2220 2528 2180 2180 2180 2220 2528 2412 2180 2180 2180 2220 2220 2180 2424 2220 2220 2220 2220 2452 2220 2220 2220 2220 2180 2180 2220 2220 2180 2180 2528 2220 2180 2424 2220 2220 2220 2452 2424 2180 2452 2180 2180 2220 2180 2180 2220 2488 2220 2220 2180 2180 2220 2180 2452 2220 2488 2180 2180 2220 2220 2220 2220 2180 2424 2220 2220 2220 2180 2424 2220 2220 2220 2220 2180 2220 2220 2220 2220 2452 2180 2180 2220 2528 2180 2180 2528 2488 2220 2180 2220 2220 2220 2528 2528 2452 2488 2180 2220 2220 2220 2220 2220 2384 2220 2452 2220 2180 2180 2220 2220 2220 2220 2180 2180 2220 2220 2452 2528 2220 2220 2412 2220 2220 2220 2488 2180 2220 2528 2220 2220 2220 2424 2220 2220 2180 2220 2220 2220 2220 2220 2180 2220 2220 2528 2220 2220 2220 2220 2220 2220 2452 2220 2220 2528 2220 2220 2220 2220 2220 2452 2220 2220 2220 2220 2220 2220 2180 2528 2528 2220 2528 2488 2220 2452 2220 2220 2220 2384 2220 2220 2220 2220 2528 2220 2220 2220 2220 2220 2220 2220 2220 2424 2220 2220 2220 2452 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 11 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 10 10 0 10 10 5 10 0 8 10 10 10 10 0 10 10 10 10 0 1 0 10 4 10 10 10 10 10 10 0 7 10 10 10 10 10 10 10 10 0 1 10 0 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 2 10 10 1 10 10 5 10 3 10 10 0 10 10 10 10 0 10 0 0 0 10 10 1 10 10 0 10 10 0 10 0 10 10 10 0 10 10 10 10 0 0 10 10 10 1 1 0 5 10 10 10 10 10 10 10 10 0 9 0 9 10 10 0 0 0 1 3 10 0 0 0 10 10 10 10 10 0 1 10 10 8 10 10 10 10 10 0 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 10 0 10 0 9 0 0 0 10 8 0 10 8 0 10 1 10 10 10 10 10 0 10 10 7 10 10 0 10 10 10 10 10 10 8 10 10 10 0 10 7 10 10 10 10 10 10 2 10 10 0 10 10 10 10 10 0 6 0 0 10 10 10 10 0 10 0 7 10 10 0 1 10 10 10 10 0 0 0 10 10 10 0 10 0 1 10 10 6 10 10 10 0 10 10 0 10 10 0 1 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 10 10 7 0 10 10 0 10 10 10 3 0 10 1 0 10 10 5 10 10 10 10 10 10 8 10 10 0 0 10 10 10 10 10 0 0 0 10 0 3 10 0 10 10 10 10 10 0 10 0 0 1 10 10 0 10 0 10 6 10 10 0 0 0 0 10 10 10 10 0 10 7 10 10 9 10 10 0 10 6 10 10 10 10 10 10 8 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 0 10 0 10 1 10 10 10 0 6 0 0 0 10 10 10 0 10 10 0 10 10 0 10 0 10 10 10 0 10 10 0 10 0 7 0 10 10 10 10 10 10 10 10 10 1 0 0 0 0 10 10 1 10 1 10 1 10 0 10 0 10 10 1 10 10 10 10 10 10 10 10 4 0 0 10 5 10 10 10 10 0 0 10 10 10 0 0 10 0 10 10 10 0 10 10 10 9 10 10 10 10 10 1 7 10 0 10 10 10 10 10 10 10 0 10 1 10 10 1 10 10 10 9 0 10 10 5 10 0 0 0 10 0 0 4 0 0 0 1 10 0 10 0 10 0 0 10 10 5 0 10 10 0 10 0 10 10 10 8 10 10 10 10 10 0 10 10 0 10 10 10 0 1 10 0 10 10 10 10 10 10 10 10 0 1 10 10 10 0 10 10 10 10 10 10 0 0 10 10 10 1 0 10 9 10 10 10 1 10 10 10 0 0 10 0 10 10 10 10 10 0 0 0 10 10 5 1 0 10 10 6 10 10 0 10 0 10 10 10 0 9 10 10 10 3 0 10 0 10 10 10 10 10 6 10 10 6 10 10 10 10 10 10 0 0 10 5 10 10 10 0 0 0 10 10 1 1 0 0 1 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 1 0 1 0 0 0 0 0 0 10 1 0 1 0 0 0 10 10 2 10 10 0 7 10 10 10 10 10 0 10 0 10 8 10 10 5 10 10 10 10 7 1 10 10 10 10 10 10 1 10 0 10 10 7 10 10 10 10 6 9 7 10 0 10 10 10 10 10 10 0 0 0 1 10 10 10 10 9 8 10 10 1 10 10 0 0 0 0 8 10 10 0 0 10 9 10 10 10 0 10 10 10 10 0 0 10 10 10 0 10 10 0 10 10 4 10 10 7 10 10 10 10 1 1 10 0 10 10 10 0 10 10 0 10 10 0 10 2 10 10 10 10 10 8 10 10 10 0 10 10 0 8 0 10 10 10 10 0 10 10 0 10 8 10 0 10 0 5 0 10 0 10 10 10 10 10 0 1 10 10 10 10 10 10 10 10 10 10 10 10 10 6 10 0 10 10 10 10 10 10 1 10 2 10 10 5 10 1 0 0 8 10 0 10 0 0 10 0 6 10 9 10 10 1 0 10 10 1 10 0 10 0 10 10 10 1 10 1 10 0 9 0 10 10 0 0 10 8 5 10 10 7 0 0 6 10 0 0 10 10 10 10 8 10 9 10 10 10 10 10 8 0 0 10 10 0 10 4 0 10 10 0 0 0 0 0 10 10 1 10 10 0 0 10 10 0 0 10 0 0 10 10 10 0 10 10 10 0 0 10 10 0 10 10 10 7 10 10 10 3 10 0 10 10 0 3 10 0 10 10 0 8 10 6 10 0 10 10 0 1 4 10 0 10 0 10 10 10 10 0 10 10 10 10 7 10 10 10 10 10 0 0 10 10 10 0 0 10 0 10 10 10 10 10 0 10 0 0 8 10 10 10 0 10 0 10 10 10 10 0 10 0 7 10 1 10 10 10 0 9 10 10 0 10 10 10 10 10 10 0 10 10 10 0 0 0 10 6 10 10 10 10 0 10 0 0 0 10 9 0 10 1 10 10 10 10 10 10 1 8 10 0 10 10 10 10 0 0 10 10 0 2 10 10 0 0 10 10 1 0 0 10 0 10 10 0 9 8 10 1 10 0 0 10 10 1 0 10 10 0 0 1 10 10 10 10 10 0 9 10 10 10 10 10 7 10 5 10 10 0 10 10 10 10 10 10 10 10 10 9 0 10 10 10 0 10 10 10 1 10 10 10 0 9 10 10 10 0 10 9 10 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 3 10 0 0 10 10 10 0 0 10 1 10 7 0 10 0 10 10 0 0 6 10 0 10 10 0 8 10 10 10 0 10 0 0 10 0 0 10 10 3 0 0 0 0 0 10 10 0 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 0 10 2 0 10 0 0 0 10 10 10 0 0 0 8 10 10 10 10 9 10 5 6 10 10 1 10 6 10 0 0 0 10 10 0 3 0 1 10 10 0 10 0 10 10 10 10 10 0 0 6 10 10 0 10 3 10 3 10 0 0 10 10 10 10 0 10 10 10 0 10 10 0 10 0 10 10 10 0 0 10 8 5 0 9 10 10 0 10 10 0 10 0 4 10 10 0 0 10 10 0 10 10 10 10 10 10 10 0 0 0 0 3 10 10 0 0 10 10 0 10 0 0 0 10 10 10 10 10 10 0 7 1 1 10 10 10 0 0 10 0 10 0 10 0 0 4 0 0 0 0 10 10 0 10 10 10 10 0 1 1 10 10 10 0 0 7 10 0 10 0 10 10 0 0 0 0 0 0 0 8 10 6 10 10 10 10 10 1 10 10 10 10 10 10 0 10 9 5 0 10 10 10 10 10 0 0 10 10 10 10 6 10 10 10 10 10 10 10 10 10 10 4 0 0 10 10 10 10 9 9 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 4 10 10 0 1 0 10 0 10 10 0 10 10 10 0 10 10 10 10 10 10 5 8 0 10 8 0 7 10 0 10 0 0 10 10 8 10 0 0 10 10 2 10 10 10 10 10 10 1 10 10 0 10 10 0 3 10 10 0 5 10 10 10 10 0 1 0 10 0 2 0 0 10 10 10 10 10 0 10 10 0 10 0 1 0 10 7 10 9 9 10 10 8 10 0 10 10 0 0 10 0 10 10 0 10 0 0 0 9 10 10 0 9 10 10 10 10 0 10 10 10 10 1 10 10 10 10 10 10 0 10 10 0 10 10 10 0 10 10 10 0 1 10 10 0 10 10 10 0 10 10 10 3 10 10 0 0 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 10 0 10 10 9 10 10 1 10 10 0 0 4 10 0 0 10 0 10 10 10 0 9 10 10 10 10 10 10 9 0 0 10 1 10 9 10 7 10 10 10 10 7 0 10 0 10 10 10 0 10 2 10 0 0 1 1 0 10 10 0 0 8 0 7 0 0 10 0 0 10 10 0 10 0 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 1 10 10 10 5 10 0 10 0 10 10 0 0 0 0 0 1 0 10 0 0 10 1 10 10 10 10 0 10 10 0 1 0 10 0 10 0 10 10 10 10 10 0 0 10 10 7 10 0 10 10 10 10 0 10 10 0 10 9 10 6 10 10 10 1 10 10 0 0 0 1 1 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 0 0 0 10 0 0 0 1 0 10 10 10 10 10 7 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 5 10 7 0 0 10 10 10 10 10 0 1 10 0 10 10 10 7 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 10 10 3 10 0 0 0 10 9 0 0 0 10 10 0 7 8 0 10 10 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 0 10 0 5 10 10 10 10 0 10 0 10 0 0 10 1 10 10 10 10 0 10 10 10 1 10 10 0 0 10 0 10 0 2 10 10 10 10 0 10 10 5 0 0 10 10 0 10 0 8 0 0 10 10 10 7 10 10 10 10 10 10 10 0 9 10 10 10 10 10 0 10 9 0 10 6 10 10 10 7 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 9 10 10 10 5 10 0 1 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 1 10 10 10 0 0 0 204 0 0 0 0 40 0 40 40 40 308 40 40 0 0 0 0 40 0 40 40 40 348 40 40 40 40 0 40 40 272 40 40 40 0 40 0 0 0 40 0 0 40 40 40 232 0 40 40 0 0 0 0 0 40 0 0 0 0 40 0 0 40 40 40 0 0 244 0 0 40 40 0 0 0 272 40 40 272 268 64 36 0 0 40 244 0 40 40 0 40 40 40 40 40 0 308 0 0 40 40 0 40 40 40 40 76 308 308 308 308 308 308 76 268 308 268 308 40 268 268 0 0 40 0 308 40 40 0 40 40 272 308 204 204 164 204 164 40 204 164 204 68 164 164 164 164 40 0 0 0 0 40 308 40 40 40 40 40 0 40 40 0 0 0 0 40 40 40 0 40 272 0 0 0 0 0 0 308 0 40 0 0 40 0 0 40 40 0 0 40 0 40 40 40 308 40 0 0 40 40 0 40 0 40 40 40 40 232 232 232 232 192 192 116 232 232 232 0 232 0 348 40 0 272 40 348 0 40 40 40 40 40 40 0 164 0 0 232 0 40 268 0 232 0 0 0 308 40 40 40 40 232 40 40 40 0 40 0 232 0 0 40 0 0 40 40 0 40 40 40 40 0 0 0 0 0 0 40 0 348 308 40 40 348 244 308 0 40 272 40 40 0 40 0 0 40 348 0 0 0 0 40 0 0 40 40 40 40 40 0 40 40 40 0 0 0 40 0 0 0 0 40 308 0 40 40 40 40 348 0 204 40 232 0 0 0 0 40 0 244 40 0 40 40 0 0 0 0 40 40 0 272 40 40 204 0 0 0 40 40 40 40 40 40 40 40 192 40 268 40 0 0 40 40 0 204 308 0 0 0 0 0 40 0 0 40 40 40 40 40 40 40 40 0 232 0 348 0 40 348 0 0 308 40 40 40 0 40 40 40 40 40 40 40 40 40 0 268 192 0 204 0 0 0 0 0 0 0 104 204 164 204 164 0 164 68 164 144 164 232 0 0 40 40 40 40 40 232 40 308 40 0 244 12 64 244 204 204 0 232 272 0 0 348 40 40 40 0 308 40 0 0 40 0 40 40 40 40 40 272 40 192 192 192 40 192 192 232 232 192 192 116 40 192 192 40 40 40 192 40 0 0 0 0 272 0 0 0 0 0 0 0 40 0 40 40 0 40 0 0 0 40 348 40 40 40 0 244 40 40 0 0 40 0 348 40 348 40 244 308 76 308 308 308 0 268 40 268 0 40 0 0 0 40 40 0 40 40 40 40 40 40 0 0 0 0 0 40 40 0 40 40 348 40 40 308 0 0 232 40 0 40 308 40 0 40 40 0 40 40 0 40 40 40 40 40 40 0 192 0 232 192 232 12 76 192 192 0 0 40 0 348 0 40 0 40 0 40 40 0 268 308 64 308 0 0 40 0 0 40 0 40 40 40 40 40 232 40 40 40 272 40 40 0 0 0 0 0 40 40 0 0 0 40 232 40 204 28 164 204 0 204 164 204 68 204 104 204 144 164 164 272 40 0 272 40 348 40 40 40 40 0 0 0 0 0 40 0 0 40 0 0 40 40 0 40 164 28 204 204 164 204 204 164 164 164 204 164 164 164 232 40 0 40 40 0 0 40 40 40 40 40 232 0 232 232 192 192 192 232 192 232 232 192 12 40 40 40 40 40 40 0 0 0 0 28 192 12 192 232 192 192 40 192 192 40 204 0 0 244 40 40 40 40 40 40 268 308 308 308 308 308 308 40 268 268 308 36 268 268 268 0 0 232 40 0 40 40 272 232 348 40 204 0 0 0 40 308 0 40 0 0 0 0 40 40 40 40 40 40 0 268 0 268 232 164 0 0 308 0 40 308 0 40 40 40 40 40 40 40 40 0 40 0 40 40 40 40 40 0 40 40 40 0 40 0 40 40 40 0 40 40 244 244 204 244 244 0 40 0 0 348 40 40 40 40 40 232 232 192 232 192 192 192 12 232 0 0 232 0 40 0 308 0 0 40 272 272 272 272 0 272 232 232 40 232 204 0 232 0 348 0 40 40 348 0 40 232 40 0 40 244 40 192 192 0 0 0 0 40 0 0 0 0 0 40 40 0 0 0 40 0 0 0 0 0 0 0 0 0 40 40 0 0 0 0 40 40 348 40 272 0 0 0 40 0 40 40 40 40 0 40 40 40 0 40 40 40 40 232 0 40 40 0 40 40 40 40 0 40 40 40 40 0 40 40 40 40 40 40 40 40 40 40 40 0 272 40 40 40 0 40 0 268 40 0 0 0 40 0 40 0 0 40 40 0 0 0 40 0 0 40 348 40 40 308 40 0 0 40 40 40 40 40 192 0 40 40 0 308 0 0 40 0 0 40 0 40 244 40 0 192 192 76 192 192 40 116 12 204 0 0 40 40 40 0 0 244 40 272 40 308 76 64 40 268 268 268 268 308 268 40 40 0 40 40 0 40 40 0 0 0 40 0 0 0 40 104 40 204 204 204 164 204 144 232 0 40 40 308 0 40 244 40 40 0 0 40 0 40 40 40 40 40 0 40 0 0 0 0 0 40 0 0 40 204 0 40 40 40 40 0 0 40 40 40 0 0 40 40 40 40 0 0 40 40 40 40 40 40 40 40 0 0 348 40 0 0 40 40 40 348 244 232 192 232 232 232 76 192 192 192 192 0 0 40 40 40 40 40 40 40 272 0 40 40 40 40 40 40 40 40 40 0 0 0 0 0 40 192 40 0 0 308 0 40 0 0 40 40 40 40 40 40 40 40 308 268 40 36 268 268 40 268 232 12 232 40 40 40 40 0 0 40 308 0 0 0 244 0 40 348 40 348 40 40 0 40 40 232 0 272 0 0 40 0 0 0 40 40 232 232 0 0 0 192 40 268 0 0 0 0 204 0 40 0 308 40 40 348 40 272 164 40 0 40 0 40 0 40 0 40 0 192 0 204 0 0 0 0 0 0 232 192 116 116 116 40 192 116 192 0 40 308 40 40 40 40 40 40 40 40 40 40 0 40 40 40 40 40 40 40 40 40 0 0 40 0 0 40 40 0 0 0 0 40 348 192 12 192 232 192 232 192 40 192 40 308 40 272 40 40 40 0 40 0 0 0 0 0 0 0 0 0 0 40 0 40 348 0 40 348 0 0 232 40 0 0 40 0 0 308 40 40 40 40 40 40 40 40 40 272 268 40 0 0 0 0 0 0 0 0 0 0 0 0 244 0 40 40 204 164 68 164 308 268 308 40 40 268 0 0 40 40 40 40 40 348 40 40 272 0 40 40 232 40 40 40 244 40 40 40 40 40 348 40 0 0 0 40 0 0 0 0 40 0 40 0 40 40 40 40 0 0 40 204 0 40 0 40 0 268 36 268 308 268 104 0 0 40 40 40 40 40 40 40 40 40 164 164 144 40 164 232 308 0 0 232 0 348 308 0 0 76 0 0 40 40 272 40 0 0 40 40 0 40 40 40 272 40 40 204 0 204 0 0 0 308 308 0 192 192 232 76 192 192 192 192 192 272 40 40 244 40 40 0 40 272 40 348 348 40 40 40 40 40 0 0 0 0 0 0 0 0 40 40 40 40 40 40 0 232 0 244 0 40 244 0 204 0 204 204 244 204 40 40 40 0 0 0 0 0 40 0 308 40 40 0 268 0 0 0 0 308 0 308 204 0 40 308 40 0 268 0 0 272 0 40 40 0 0 0 0 0 308 40 268 0 0 40 40 0 40 0 232 0 0 0 40 40 0 0 0 348 40 40 0 40 40 40 40 348 0 40 232 308 40 40 40 40 40 308 0 0 0 0 40 0 0 308 0 40 0 40 40 272 0 40 40 272 40 0 244 40 40 40 348 0 0 0 244 40 40 0 40 40 40 40 40 40 204 244 204 28 104 40 0 40 0 40 0 0 0 0 164 40 0 0 204 0 0 0 0 232 232 232 244 64 0 0 40 0 40 0 40 272 272 232 0 232 0 40 348 40 308 40 0 40 272 0 40 40 0 0 40 0 0 0 40 40 40 244 40 40 40 308 0 40 36 0 0 0 0 0 0 40 0 0 0 0 40 40 40 40 40 0 0 40 40 40 232 232 0 0 0 308 268 268 268 268 40 268 36 40 40 40 40 40 40 40 0 40 0 232 0 0 0 0 0 0 40 0 0 40 40 40 40 272 204 204 0 0 232 0 232 0 0 0 0 0 40 0 308 0 0 0 0 0 40 348 40 64 104 204 28 0 0 0 0 0 0 40 268 0 308 0 268 0 0 0 0 0 308 268 0 0 0 40 0 40 308 40 0 0 0 164 0 0 40 0 232 0 0 0 0 0 40 0 204 0 0 0 0 76 232 36 272 232 348 40 272 0 348 40 40 40 0 0 0 232 0 0 348 0 308 40 40 40 40 348 40 308 348 308 348 0 308 348 40 268 308 0 0 40 40 40 40 40 0 0 0 0 0 0 0 40 0 0 0 0 308 268 0 0 308 0 0 308 308 348 28 40 40 40 40 308 0 0 0 40 0 0 268 0 0 0 0 0 0 0 204 164 164 308 0 0 0 0 0 0 40 40 40 40 40 40 0 0 0 0 40 0 0 0 0 40 0 40 244 40 40 40 40 0 40 272 0 0 0 0 268 0 0 0 0 0 0 232 0 104 76 308 40 76 0 0 0 0 0 0 0 0 308 0 232 192 192 192 192 12 0 0 0 268 268 40 40 0 232 0 308 308 0 0 232 232 0 204 28 204 204 28 308 0 0 0 348 40 40 0 0 0 232 308 0 0 40 40 40 40 40 0 0 0 308 0 0 0 0 0 0 0 0 0 0 0 0 232 0 0 0 0 232 0 0 0 308 308 0 0 0 232 0 272 232 0 0 0 0 0 0 204 308 0 272 308 308 268 268 0 0 0 0 28 </values>
3009.05/2520.13	v </instantiation>
3009.05/2520.13	c Unexpected resolution interruption!

Verifier Data 

OK	548030622

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297933-1532713683/watcher-4297933-1532713683 -o /tmp/evaluation-result-4297933-1532713683/solver-4297933-1532713683 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580 HOME/xcsp3-exec -seed 819633403 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297933-1532713683.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18742, runsolver pid=18739
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 7.41 7.07 7.00 2/199 18763
/proc/meminfo: memFree=23776068/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26104152 memory=27100 CPUtime=0.11 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 5649 0 0 0 10 1 0 0 20 0 20 0 88931499 26730651648 6775 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6526038 6775 3030 1 0 6488315 0
[pid=18744/tid=18745] ppid=18742 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) R 18742 18742 17490 0 -1 4202560 3666 0 0 0 8 1 0 0 20 0 20 0 88931499 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942536409920 139942532189590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26104152 memory=139816142558848 CPUtime=0 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18749] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18749/stat : 18749 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942451600144 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18750] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18750/stat : 18750 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942085810832 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18751] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18751/stat : 18751 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942084758032 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18752] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18752/stat : 18752 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942083705232 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18753] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18753/stat : 18753 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 6775 33554432000 4194304 4196468 140732849289232 139942082652432 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18754] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18754/stat : 18754 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941659016048 139942532188802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18755] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18755/stat : 18755 (java) S 18742 18742 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941657962016 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18756] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18756/stat : 18756 (java) S 18742 18742 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941656909168 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18757] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18757/stat : 18757 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941655857488 139942532196251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18758] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18758/stat : 18758 (java) S 18742 18742 17490 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941654804848 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18759] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18759/stat : 18759 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941653752048 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18760] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18760/stat : 18760 (java) R 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941652699248 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18761] ppid=18742 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18744/task/18761/stat : 18761 (java) R 18742 18742 17490 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941651646448 139942516258142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18762] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18762/stat : 18762 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941650594912 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18763] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18763/stat : 18763 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 6775 33554432000 4194304 4196468 140732849289232 139941649542192 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28556 KiB

[startup+0.210237 s]*
/proc/loadavg: 7.41 7.07 7.00 4/199 18763
/proc/meminfo: memFree=23764036/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26104152 memory=39756 CPUtime=0.34 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 8493 0 0 0 31 3 0 0 20 0 20 0 88931499 26730651648 9939 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6526038 9939 3201 1 0 6488315 0
[pid=18744/tid=18745] ppid=18742 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) R 18742 18742 17490 0 -1 4202560 5595 0 0 0 18 2 0 0 20 0 20 0 88931499 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942536412192 139942516258142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26104152 memory=288370192294270592 CPUtime=0 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18749] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18749/stat : 18749 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942451600144 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18750] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18750/stat : 18750 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942085810832 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18751] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18751/stat : 18751 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942084758032 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18752] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18752/stat : 18752 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942083705232 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18753] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18753/stat : 18753 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26730651648 9939 33554432000 4194304 4196468 140732849289232 139942082652432 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18754] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18754/stat : 18754 (java) S 18742 18742 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 9939 33554432000 4194304 4196468 140732849289232 139941659016048 139942532188802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18755] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18755/stat : 18755 (java) S 18742 18742 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 9939 33554432000 4194304 4196468 140732849289232 139941657962016 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18756] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18756/stat : 18756 (java) S 18742 18742 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88931502 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941656909168 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18757] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18757/stat : 18757 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941655857488 139942532196251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18758] ppid=18742 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18744/task/18758/stat : 18758 (java) S 18742 18742 17490 0 -1 1077944384 607 0 0 0 1 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941654804848 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18759] ppid=18742 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/18744/task/18759/stat : 18759 (java) S 18742 18742 17490 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941653752048 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18760] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18760/stat : 18760 (java) S 18742 18742 17490 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941652699248 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18761] ppid=18742 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/18744/task/18761/stat : 18761 (java) S 18742 18742 17490 0 -1 1077944384 819 0 0 0 8 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941651646448 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18762] ppid=18742 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18762/stat : 18762 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941650594912 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18763] ppid=18742 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18763/stat : 18763 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26730651648 10004 33554432000 4194304 4196468 140732849289232 139941649542192 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41212 KiB

[startup+0.310233 s]*
/proc/loadavg: 7.41 7.07 7.00 3/199 18763
/proc/meminfo: memFree=23757956/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26108408 memory=46824 CPUtime=0.52 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 9403 0 0 0 48 4 0 0 20 0 20 0 88931499 26735009792 11706 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6527102 11706 3255 1 0 6488315 0
[pid=18744/tid=18745] ppid=18742 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) R 18742 18742 17490 0 -1 4202560 6319 0 0 0 26 3 0 0 20 0 20 0 88931499 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942536414432 139942532199581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18749] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18749/stat : 18749 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942451600144 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18750] ppid=18742 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18744/task/18750/stat : 18750 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942085810832 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18751] ppid=18742 vsize=26108408 memory=139816016638895 CPUtime=0 cores=0-7
/proc/18744/task/18751/stat : 18751 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942084758032 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18752] ppid=18742 vsize=26108408 memory=139816016641200 CPUtime=0 cores=0-7
/proc/18744/task/18752/stat : 18752 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942083705232 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18753] ppid=18742 vsize=26108408 memory=139816016643504 CPUtime=0 cores=0-7
/proc/18744/task/18753/stat : 18753 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931500 26735009792 11706 33554432000 4194304 4196468 140732849289232 139942082652432 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18754] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18754/stat : 18754 (java) S 18742 18742 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88931502 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941659016048 139942532188802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18755] ppid=18742 vsize=26108408 memory=279632033293968 CPUtime=0 cores=0-7
/proc/18744/task/18755/stat : 18755 (java) S 18742 18742 17490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88931502 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941657962016 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18756] ppid=18742 vsize=26108408 memory=279632033300880 CPUtime=0 cores=0-7
/proc/18744/task/18756/stat : 18756 (java) S 18742 18742 17490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88931502 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941656909168 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18757] ppid=18742 vsize=26108408 memory=279632033242160 CPUtime=0 cores=0-7
/proc/18744/task/18757/stat : 18757 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941655857488 139942532196251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18758] ppid=18742 vsize=26108408 memory=279632033314704 CPUtime=0.02 cores=0-7
/proc/18744/task/18758/stat : 18758 (java) S 18742 18742 17490 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 20 0 88931505 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941654804848 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18759] ppid=18742 vsize=26108408 memory=279632033321616 CPUtime=0.04 cores=0-7
/proc/18744/task/18759/stat : 18759 (java) S 18742 18742 17490 0 -1 1077944384 232 0 0 0 4 0 0 0 20 0 20 0 88931505 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941653752048 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18760] ppid=18742 vsize=26108408 memory=279632033319312 CPUtime=0.01 cores=0-7
/proc/18744/task/18760/stat : 18760 (java) S 18742 18742 17490 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 88931505 26735009792 11706 33554432000 4194304 4196468 140732849289232 139941652699248 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18761] ppid=18742 vsize=26108408 memory=279632033335472 CPUtime=0.12 cores=0-7
/proc/18744/task/18761/stat : 18761 (java) S 18742 18742 17490 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 20 0 88931505 26735009792 11714 33554432000 4194304 4196468 140732849289232 139941651646448 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18762] ppid=18742 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18744/task/18762/stat : 18762 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88931505 26735009792 11714 33554432000 4194304 4196468 140732849289232 139941650594912 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18763] ppid=18742 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18744/task/18763/stat : 18763 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88931505 26735009792 11714 33554432000 4194304 4196468 140732849289232 139941649542192 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48280 KiB

[startup+0.701045 s]
/proc/loadavg: 7.41 7.07 7.00 2/199 18763
/proc/meminfo: memFree=23644992/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26108408 memory=293300 CPUtime=1.77 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 12649 0 0 0 133 44 0 0 20 0 20 0 88931499 26735009792 73325 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6527102 73325 3324 1 0 6488315 0
[pid=18744/tid=18745] ppid=18742 vsize=26108408 memory=279632033693360 CPUtime=0.61 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) R 18742 18742 17490 0 -1 4202560 6481 0 0 0 53 8 0 0 20 0 20 0 88931499 26735009792 73325 33554432000 4194304 4196468 140732849289232 139942536416784 139942532199581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26108408 memory=139816016847728 CPUtime=0.05 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 56 0 0 0 1 4 0 0 20 0 20 0 88931500 26735009792 73325 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26108408 memory=0 CPUtime=0.06 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 62 0 0 0 2 4 0 0 20 0 20 0 88931500 26735009792 73325 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26108408 memory=10612 CPUtime=0.05 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 58 0 0 0 1 4 0 0 20 0 20 0 88931500 26735009792 73325 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0

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

/proc/meminfo: memFree=5485812/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26645092 memory=18283040 CPUtime=2990.74 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 2471656 0 0 0 294676 4398 0 0 20 0 28 0 88931499 27284574208 4570760 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6661273 4570760 3469 1 0 6622467 0
[pid=18744/tid=18745] ppid=18742 vsize=26645092 memory=1456 CPUtime=159.16 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) S 18742 18742 17490 0 -1 1077944384 67593 0 0 0 15783 133 0 0 20 0 28 0 88931499 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942536418464 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.68 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 190540 0 0 0 5508 460 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.68 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 239343 0 0 0 5497 471 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26645092 memory=1456 CPUtime=59.71 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 198164 0 0 0 5518 453 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18749] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.54 cores=0-7
/proc/18744/task/18749/stat : 18749 (java) S 18742 18742 17490 0 -1 1077944384 325908 0 0 0 5479 475 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942451600144 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18750] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.42 cores=0-7
/proc/18744/task/18750/stat : 18750 (java) S 18742 18742 17490 0 -1 1077944384 161579 0 0 0 5475 467 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942085810832 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18751] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.35 cores=0-7
/proc/18744/task/18751/stat : 18751 (java) S 18742 18742 17490 0 -1 1077944384 154870 0 0 0 5475 460 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942084758032 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18752] ppid=18742 vsize=26645092 memory=18283040 CPUtime=59.57 cores=0-7
/proc/18744/task/18752/stat : 18752 (java) S 18742 18742 17490 0 -1 1077944384 150087 0 0 0 5465 492 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942083705232 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18753] ppid=18742 vsize=26645092 memory=932 CPUtime=59.42 cores=0-7
/proc/18744/task/18753/stat : 18753 (java) S 18742 18742 17490 0 -1 1077944384 198401 0 0 0 5449 493 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942082652432 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18754] ppid=18742 vsize=26645092 memory=1456 CPUtime=2.35 cores=0-7
/proc/18744/task/18754/stat : 18754 (java) S 18742 18742 17490 0 -1 1077944384 83070 0 0 0 221 14 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941659016048 139942532188802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18755] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/18755/stat : 18755 (java) S 18742 18742 17490 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941657962080 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18756] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/18756/stat : 18756 (java) S 18742 18742 17490 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941656909184 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18757] ppid=18742 vsize=26645092 memory=18283196 CPUtime=0 cores=0-7
/proc/18744/task/18757/stat : 18757 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941655857488 139942532196251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18758] ppid=18742 vsize=26645092 memory=18283196 CPUtime=5.35 cores=0-7
/proc/18744/task/18758/stat : 18758 (java) S 18742 18742 17490 0 -1 1077944384 39113 0 0 0 527 8 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941654804848 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18759] ppid=18742 vsize=26645092 memory=1456 CPUtime=5.77 cores=0-7
/proc/18744/task/18759/stat : 18759 (java) S 18742 18742 17490 0 -1 1077944384 43514 0 0 0 570 7 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941653752048 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18760] ppid=18742 vsize=26645092 memory=18283196 CPUtime=5.14 cores=0-7
/proc/18744/task/18760/stat : 18760 (java) S 18742 18742 17490 0 -1 1077944384 37727 0 0 0 508 6 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941652699248 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18761] ppid=18742 vsize=26645092 memory=18270624 CPUtime=1.33 cores=0-7
/proc/18744/task/18761/stat : 18761 (java) S 18742 18742 17490 0 -1 1077944384 30291 0 0 0 128 5 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941651646448 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18762] ppid=18742 vsize=26645092 memory=18202924 CPUtime=0 cores=0-7
/proc/18744/task/18762/stat : 18762 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941650594912 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18763] ppid=18742 vsize=26645092 memory=18202804 CPUtime=1.55 cores=0-7
/proc/18744/task/18763/stat : 18763 (java) S 18742 18742 17490 0 -1 1077944384 7844 0 0 0 66 89 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941649542192 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20589] ppid=18742 vsize=26645092 memory=18202948 CPUtime=0 cores=0-7
/proc/18744/task/20589/stat : 20589 (java) S 18742 18742 17490 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940782829584 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20590] ppid=18742 vsize=26645092 memory=18202992 CPUtime=0 cores=0-7
/proc/18744/task/20590/stat : 20590 (java) S 18742 18742 17490 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940777567568 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20591] ppid=18742 vsize=26645092 memory=18219532 CPUtime=0 cores=0-7
/proc/18744/task/20591/stat : 20591 (java) S 18742 18742 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940776514768 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20592] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/20592/stat : 20592 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940781778000 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20593] ppid=18742 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/18744/task/20593/stat : 20593 (java) S 18742 18742 17490 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940779672528 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20594] ppid=18742 vsize=26645092 memory=18283040 CPUtime=130.41 cores=0-7
/proc/18744/task/20594/stat : 20594 (java) R 18742 18742 17490 0 -1 4202560 11126 0 0 0 13032 9 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940780719184 139942137455295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20595] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/20595/stat : 20595 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940778620624 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20596] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/20596/stat : 20596 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940775462480 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
Current children cumulated CPU time: 2990.74 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 18284496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 0.99 1.43 2/207 20604
/proc/meminfo: memFree=5485704/32770624 swapFree=67108860/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (xcsp3-exec) S 18739 18742 17490 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88931499 115843072 364 33554432000 4194304 5098028 140733787587776 140733787585880 140654983561852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13062144 140733787595830 140733787596032 140733787596032 140733787598794 0
/proc/18742/statm: 28282 364 306 221 0 87 0
[pid=18744] ppid=18742 vsize=26645092 memory=18283040 CPUtime=3008.47 cores=0-7
/proc/18744/stat : 18744 (java) S 18742 18742 17490 0 -1 1077944320 2472727 0 0 0 296447 4400 0 0 20 0 28 0 88931499 27284574208 4570760 33554432000 4194304 4196468 140732849289232 140732849271776 139942532177655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
/proc/18744/statm: 6661273 4570760 3469 1 0 6622467 0
[pid=18744/tid=18745] ppid=18742 vsize=26645092 memory=6791534058613427641 CPUtime=159.16 cores=0-7
/proc/18744/task/18745/stat : 18745 (java) S 18742 18742 17490 0 -1 1077944384 67593 0 0 0 15783 133 0 0 20 0 28 0 88931499 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942536418464 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18746] ppid=18742 vsize=26645092 memory=636 CPUtime=59.68 cores=0-7
/proc/18744/task/18746/stat : 18746 (java) S 18742 18742 17490 0 -1 1077944384 190540 0 0 0 5508 460 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942454758544 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18747] ppid=18742 vsize=26645092 memory=960 CPUtime=59.68 cores=0-7
/proc/18744/task/18747/stat : 18747 (java) S 18742 18742 17490 0 -1 1077944384 239343 0 0 0 5497 471 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942453705744 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18748] ppid=18742 vsize=26645092 memory=1456 CPUtime=59.71 cores=0-7
/proc/18744/task/18748/stat : 18748 (java) S 18742 18742 17490 0 -1 1077944384 198164 0 0 0 5518 453 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942452652944 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18749] ppid=18742 vsize=26645092 memory=4872558044660077418 CPUtime=59.54 cores=0-7
/proc/18744/task/18749/stat : 18749 (java) S 18742 18742 17490 0 -1 1077944384 325908 0 0 0 5479 475 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942451600144 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18750] ppid=18742 vsize=26645092 memory=960 CPUtime=59.42 cores=0-7
/proc/18744/task/18750/stat : 18750 (java) S 18742 18742 17490 0 -1 1077944384 161579 0 0 0 5475 467 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942085810832 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18751] ppid=18742 vsize=26645092 memory=1232 CPUtime=59.35 cores=0-7
/proc/18744/task/18751/stat : 18751 (java) S 18742 18742 17490 0 -1 1077944384 154870 0 0 0 5475 460 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942084758032 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18752] ppid=18742 vsize=26645092 memory=2344 CPUtime=59.57 cores=0-7
/proc/18744/task/18752/stat : 18752 (java) S 18742 18742 17490 0 -1 1077944384 150087 0 0 0 5465 492 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942083705232 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18753] ppid=18742 vsize=26645092 memory=932 CPUtime=59.42 cores=0-7
/proc/18744/task/18753/stat : 18753 (java) S 18742 18742 17490 0 -1 1077944384 198401 0 0 0 5449 493 0 0 20 0 28 0 88931500 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139942082652432 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18754] ppid=18742 vsize=26645092 memory=1580 CPUtime=2.35 cores=0-7
/proc/18744/task/18754/stat : 18754 (java) S 18742 18742 17490 0 -1 1077944384 83079 0 0 0 221 14 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941659016048 139942532188802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18755] ppid=18742 vsize=26645092 memory=2240 CPUtime=0 cores=0-7
/proc/18744/task/18755/stat : 18755 (java) S 18742 18742 17490 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941657962080 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18756] ppid=18742 vsize=26645092 memory=4124 CPUtime=0 cores=0-7
/proc/18744/task/18756/stat : 18756 (java) S 18742 18742 17490 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 28 0 88931502 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941656909184 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18757] ppid=18742 vsize=26645092 memory=2200 CPUtime=0 cores=0-7
/proc/18744/task/18757/stat : 18757 (java) S 18742 18742 17490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941655857488 139942532196251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18758] ppid=18742 vsize=26645092 memory=1456 CPUtime=5.35 cores=0-7
/proc/18744/task/18758/stat : 18758 (java) S 18742 18742 17490 0 -1 1077944384 39116 0 0 0 527 8 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941654804848 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18759] ppid=18742 vsize=26645092 memory=18283040 CPUtime=5.77 cores=0-7
/proc/18744/task/18759/stat : 18759 (java) S 18742 18742 17490 0 -1 1077944384 43520 0 0 0 570 7 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941653752048 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18760] ppid=18742 vsize=26645092 memory=1008 CPUtime=5.14 cores=0-7
/proc/18744/task/18760/stat : 18760 (java) S 18742 18742 17490 0 -1 1077944384 37738 0 0 0 508 6 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941652699248 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18761] ppid=18742 vsize=26645092 memory=9992 CPUtime=1.33 cores=0-7
/proc/18744/task/18761/stat : 18761 (java) S 18742 18742 17490 0 -1 1077944384 30294 0 0 0 128 5 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941651646448 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18762] ppid=18742 vsize=26645092 memory=1228 CPUtime=0 cores=0-7
/proc/18744/task/18762/stat : 18762 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941650594912 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=18763] ppid=18742 vsize=26645092 memory=1952 CPUtime=1.57 cores=0-7
/proc/18744/task/18763/stat : 18763 (java) S 18742 18742 17490 0 -1 1077944384 7882 0 0 0 67 90 0 0 20 0 28 0 88931505 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139941649542192 139942532188802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20589] ppid=18742 vsize=26645092 memory=1200 CPUtime=0 cores=0-7
/proc/18744/task/20589/stat : 20589 (java) S 18742 18742 17490 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940782829584 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20590] ppid=18742 vsize=26645092 memory=8592 CPUtime=0 cores=0-7
/proc/18744/task/20590/stat : 20590 (java) S 18742 18742 17490 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940777567568 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20591] ppid=18742 vsize=26645092 memory=4616 CPUtime=0 cores=0-7
/proc/18744/task/20591/stat : 20591 (java) S 18742 18742 17490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940776514768 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20592] ppid=18742 vsize=26645092 memory=18283040 CPUtime=0 cores=0-7
/proc/18744/task/20592/stat : 20592 (java) S 18742 18742 17490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940781778000 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20593] ppid=18742 vsize=26645092 memory=960 CPUtime=0 cores=0-7
/proc/18744/task/20593/stat : 20593 (java) S 18742 18742 17490 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940779672528 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20594] ppid=18742 vsize=26645092 memory=1232 CPUtime=148.12 cores=0-7
/proc/18744/task/20594/stat : 20594 (java) R 18742 18742 17490 0 -1 4202560 12127 0 0 0 14802 10 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940780719184 139942135300135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20595] ppid=18742 vsize=26645092 memory=2344 CPUtime=0 cores=0-7
/proc/18744/task/20595/stat : 20595 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940778620624 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
[pid=18744/tid=20596] ppid=18742 vsize=26645092 memory=932 CPUtime=0 cores=0-7
/proc/18744/task/20596/stat : 20596 (java) S 18742 18742 17490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89168686 27284574208 4570760 33554432000 4194304 4196468 140732849289232 139940775462480 139942532187861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140732849292417 140732849292589 140732849292589 140732849295311 0
Current children cumulated CPU time: 3008.47 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 18284496 KiB

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

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

[startup+2520.26 s]
# the end of solver process 18744 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2964.97 s, system=44.2189 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+2520.21 s]*
/proc/loadavg: 1.00 0.99 1.43 2/180 20606
/proc/meminfo: memFree=12922252/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002299 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.26
CPU time (s): 3009.19
CPU user time (s): 2964.97
CPU system time (s): 44.2189
CPU usage (%): 119.4
Max. virtual memory (cumulated for all children) (KiB): 26778220
Max. memory (cumulated for all children) (KiB): 18284820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2964.97
system time used= 44.2189
maximum resident set size= 18283500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2512995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105921
involuntary context switches= 13044


# summary of solver processes directly reported to runsolver:
#   pid: 18742,18744
#   total CPU time (s): 3009.19
#   total CPU user time (s): 2964.97
#   total CPU system time (s): 44.2189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4109 second user time and 29.4529 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-27 19:48:03
IDJOB=4297933
IDBENCH=141270
IDSOLVER=2760
FILE ID=node139/4297933-1532713683
RUNJOBID= node139-1532705227-17517
PBS_JOBID= 21022311
Free space on /tmp= 38572 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297933-1532713683/watcher-4297933-1532713683 -o /tmp/evaluation-result-4297933-1532713683/solver-4297933-1532713683 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532705227-17517 --watchdog 2580  HOME/xcsp3-exec -seed 819633403 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297933-1532713683.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=819633403

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
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.80
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.80
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.80
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:        23791768 kB
MemAvailable:   31930488 kB
Buffers:          211556 kB
Cached:          8058472 kB
SwapCached:            0 kB
Active:          3221836 kB
Inactive:        5099568 kB
Active(anon):       3032 kB
Inactive(anon):    76604 kB
Active(file):    3218804 kB
Inactive(file):  5022964 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            170324 kB
Writeback:             0 kB
AnonPages:         59008 kB
Mapped:            42232 kB
Shmem:             25228 kB
Slab:             352564 kB
SReclaimable:     325412 kB
SUnreclaim:        27152 kB
KernelStack:        3456 kB
PageTables:         4540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38552 MiB
End job on node139 at 2018-07-27 20:30:04