Trace number 4394161

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14OPT45 164.563 43.5331

General information on the benchmark

NameOpenStacks/
OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
MD5SUM00ff107c10292685d5feb35a59a49636
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark68.4885
Satisfiable
(Un)Satisfiability was proved
Number of variables7600
Number of constraints7551
Number of domains17
Minimum domain size2
Maximum domain size51
Distribution of domain sizes[{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}]
Minimum variable degree2
Maximum variable degree51
Distribution of variable degrees[{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}]
Number of extensional constraints2500
Number of intensional constraints2500
Distribution of constraint types[{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394161-1568347197.xml"  -tl '2400s' -p 4
0.13/0.19	c Choco e747e1e
0.13/0.19	c [HOME/instance-4394161-1568347197.xml, -tl, 2400s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
8.09/2.71	c solve instance...
11.63/3.69	o 49 
12.43/3.81	o 48 
13.61/4.11	o 47 
14.36/4.35	o 46 
20.04/7.07	o 45 
164.53/43.50	s OPTIMUM FOUND
164.53/43.50	v <instantiation>
164.53/43.50	v 	<list>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] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][40] np[0][41] np[0][42] np[0][43] np[0][44] np[0][45] np[0][46] np[0][47] np[0][48] np[0][49] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][40] np[1][41] np[1][42] np[1][43] np[1][44] np[1][45] np[1][46] np[1][47] np[1][48] np[1][49] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][40] np[2][41] np[2][42] np[2][43] np[2][44] np[2][45] np[2][46] np[2][47] np[2][48] np[2][49] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][40] np[3][41] np[3][42] np[3][43] np[3][44] np[3][45] np[3][46] np[3][47] np[3][48] np[3][49] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][40] np[4][41] np[4][42] np[4][43] np[4][44] np[4][45] np[4][46] np[4][47] np[4][48] np[4][49] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][40] np[5][41] np[5][42] np[5][43] np[5][44] np[5][45] np[5][46] np[5][47] np[5][48] np[5][49] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][40] np[6][41] np[6][42] np[6][43] np[6][44] np[6][45] np[6][46] np[6][47] np[6][48] np[6][49] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][40] np[7][41] np[7][42] np[7][43] np[7][44] np[7][45] np[7][46] np[7][47] np[7][48] np[7][49] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][40] np[8][41] np[8][42] np[8][43] np[8][44] np[8][45] np[8][46] np[8][47] np[8][48] np[8][49] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][40] np[9][41] np[9][42] np[9][43] np[9][44] np[9][45] np[9][46] np[9][47] np[9][48] np[9][49] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][40] np[10][41] np[10][42] np[10][43] np[10][44] np[10][45] np[10][46] np[10][47] np[10][48] np[10][49] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][40] np[11][41] np[11][42] np[11][43] np[11][44] np[11][45] np[11][46] np[11][47] np[11][48] np[11][49] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][40] np[12][41] np[12][42] np[12][43] np[12][44] np[12][45] np[12][46] np[12][47] np[12][48] np[12][49] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][40] np[13][41] np[13][42] np[13][43] np[13][44] np[13][45] np[13][46] np[13][47] np[13][48] np[13][49] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][40] np[14][41] np[14][42] np[14][43] np[14][44] np[14][45] np[14][46] np[14][47] np[14][48] np[14][49] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][40] np[15][41] np[15][42] np[15][43] np[15][44] np[15][45] np[15][46] np[15][47] np[15][48] np[15][49] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][40] np[16][41] np[16][42] np[16][43] np[16][44] np[16][45] np[16][46] np[16][47] np[16][48] np[16][49] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][40] np[17][41] np[17][42] np[17][43] np[17][44] np[17][45] np[17][46] np[17][47] np[17][48] np[17][49] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][40] np[18][41] np[18][42] np[18][43] np[18][44] np[18][45] np[18][46] np[18][47] np[18][48] np[18][49] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][40] np[19][41] np[19][42] np[19][43] np[19][44] np[19][45] np[19][46] np[19][47] np[19][48] np[19][49] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][30] np[20][31] np[20][32] np[20][33] np[20][34] np[20][35] np[20][36] np[20][37] np[20][38] np[20][39] np[20][40] np[20][41] np[20][42] np[20][43] np[20][44] np[20][45] np[20][46] np[20][47] np[20][48] np[20][49] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][30] np[21][31] np[21][32] np[21][33] np[21][34] np[21][35] np[21][36] np[21][37] np[21][38] np[21][39] np[21][40] np[21][41] np[21][42] np[21][43] np[21][44] np[21][45] np[21][46] np[21][47] np[21][48] np[21][49] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][30] np[22][31] np[22][32] np[22][33] np[22][34] np[22][35] np[22][36] np[22][37] np[22][38] np[22][39] np[22][40] np[22][41] np[22][42] np[22][43] np[22][44] np[22][45] np[22][46] np[22][47] np[22][48] np[22][49] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][30] np[23][31] np[23][32] np[23][33] np[23][34] np[23][35] np[23][36] np[23][37] np[23][38] np[23][39] np[23][40] np[23][41] np[23][42] np[23][43] np[23][44] np[23][45] np[23][46] np[23][47] np[23][48] np[23][49] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][30] np[24][31] np[24][32] np[24][33] np[24][34] np[24][35] np[24][36] np[24][37] np[24][38] np[24][39] np[24][40] np[24][41] np[24][42] np[24][43] np[24][44] np[24][45] np[24][46] np[24][47] np[24][48] np[24][49] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][30] np[25][31] np[25][32] np[25][33] np[25][34] np[25][35] np[25][36] np[25][37] np[25][38] np[25][39] np[25][40] np[25][41] np[25][42] np[25][43] np[25][44] np[25][45] np[25][46] np[25][47] np[25][48] np[25][49] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][30] np[26][31] np[26][32] np[26][33] np[26][34] np[26][35] np[26][36] np[26][37] np[26][38] np[26][39] np[26][40] np[26][41] np[26][42] np[26][43] np[26][44] np[26][45] np[26][46] np[26][47] np[26][48] np[26][49] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][30] np[27][31] np[27][32] np[27][33] np[27][34] np[27][35] np[27][36] np[27][37] np[27][38] np[27][39] np[27][40] np[27][41] np[27][42] np[27][43] np[27][44] np[27][45] np[27][46] np[27][47] np[27][48] np[27][49] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][30] np[28][31] np[28][32] np[28][33] np[28][34] np[28][35] np[28][36] np[28][37] np[28][38] np[28][39] np[28][40] np[28][41] np[28][42] np[28][43] np[28][44] np[28][45] np[28][46] np[28][47] np[28][48] np[28][49] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][30] np[29][31] np[29][32] np[29][33] np[29][34] np[29][35] np[29][36] np[29][37] np[29][38] np[29][39] np[29][40] np[29][41] np[29][42] np[29][43] np[29][44] np[29][45] np[29][46] np[29][47] np[29][48] np[29][49] np[30][0] np[30][1] np[30][2] np[30][3] np[30][4] np[30][5] np[30][6] np[30][7] np[30][8] np[30][9] np[30][10] np[30][11] np[30][12] np[30][13] np[30][14] np[30][15] np[30][16] np[30][17] np[30][18] np[30][19] np[30][20] np[30][21] np[30][22] np[30][23] np[30][24] np[30][25] np[30][26] np[30][27] np[30][28] np[30][29] np[30][30] np[30][31] np[30][32] np[30][33] np[30][34] np[30][35] np[30][36] np[30][37] np[30][38] np[30][39] np[30][40] np[30][41] np[30][42] np[30][43] np[30][44] np[30][45] np[30][46] np[30][47] np[30][48] np[30][49] np[31][0] np[31][1] np[31][2] np[31][3] np[31][4] np[31][5] np[31][6] np[31][7] np[31][8] np[31][9] np[31][10] np[31][11] np[31][12] np[31][13] np[31][14] np[31][15] np[31][16] np[31][17] np[31][18] np[31][19] np[31][20] np[31][21] np[31][22] np[31][23] np[31][24] np[31][25] np[31][26] np[31][27] np[31][28] np[31][29] np[31][30] np[31][31] np[31][32] np[31][33] np[31][34] np[31][35] np[31][36] np[31][37] np[31][38] np[31][39] np[31][40] np[31][41] np[31][42] np[31][43] np[31][44] np[31][45] np[31][46] np[31][47] np[31][48] np[31][49] np[32][0] np[32][1] np[32][2] np[32][3] np[32][4] np[32][5] np[32][6] np[32][7] np[32][8] np[32][9] np[32][10] np[32][11] np[32][12] np[32][13] np[32][14] np[32][15] np[32][16] np[32][17] np[32][18] np[32][19] np[32][20] np[32][21] np[32][22] np[32][23] np[32][24] np[32][25] np[32][26] np[32][27] np[32][28] np[32][29] np[32][30] np[32][31] np[32][32] np[32][33] np[32][34] np[32][35] np[32][36] np[32][37] np[32][38] np[32][39] np[32][40] np[32][41] np[32][42] np[32][43] np[32][44] np[32][45] np[32][46] np[32][47] np[32][48] np[32][49] np[33][0] np[33][1] np[33][2] np[33][3] np[33][4] np[33][5] np[33][6] np[33][7] np[33][8] np[33][9] np[33][10] np[33][11] np[33][12] np[33][13] np[33][14] np[33][15] np[33][16] np[33][17] np[33][18] np[33][19] np[33][20] np[33][21] np[33][22] np[33][23] np[33][24] np[33][25] np[33][26] np[33][27] np[33][28] np[33][29] np[33][30] np[33][31] np[33][32] np[33][33] np[33][34] np[33][35] np[33][36] np[33][37] np[33][38] np[33][39] np[33][40] np[33][41] np[33][42] np[33][43] np[33][44] np[33][45] np[33][46] np[33][47] np[33][48] np[33][49] np[34][0] np[34][1] np[34][2] np[34][3] np[34][4] np[34][5] np[34][6] np[34][7] np[34][8] np[34][9] np[34][10] np[34][11] np[34][12] np[34][13] np[34][14] np[34][15] np[34][16] np[34][17] np[34][18] np[34][19] np[34][20] np[34][21] np[34][22] np[34][23] np[34][24] np[34][25] np[34][26] np[34][27] np[34][28] np[34][29] np[34][30] np[34][31] np[34][32] np[34][33] np[34][34] np[34][35] np[34][36] np[34][37] np[34][38] np[34][39] np[34][40] np[34][41] np[34][42] np[34][43] np[34][44] np[34][45] np[34][46] np[34][47] np[34][48] np[34][49] np[35][0] np[35][1] np[35][2] np[35][3] np[35][4] np[35][5] np[35][6] np[35][7] np[35][8] np[35][9] np[35][10] np[35][11] np[35][12] np[35][13] np[35][14] np[35][15] np[35][16] np[35][17] np[35][18] np[35][19] np[35][20] np[35][21] np[35][22] np[35][23] np[35][24] np[35][25] np[35][26] np[35][27] np[35][28] np[35][29] np[35][30] np[35][31] np[35][32] np[35][33] np[35][34] np[35][35] np[35][36] np[35][37] np[35][38] np[35][39] np[35][40] np[35][41] np[35][42] np[35][43] np[35][44] np[35][45] np[35][46] np[35][47] np[35][48] np[35][49] np[36][0] np[36][1] np[36][2] np[36][3] np[36][4] np[36][5] np[36][6] np[36][7] np[36][8] np[36][9] np[36][10] np[36][11] np[36][12] np[36][13] np[36][14] np[36][15] np[36][16] np[36][17] np[36][18] np[36][19] np[36][20] np[36][21] np[36][22] np[36][23] np[36][24] np[36][25] np[36][26] np[36][27] np[36][28] np[36][29] np[36][30] np[36][31] np[36][32] np[36][33] np[36][34] np[36][35] np[36][36] np[36][37] np[36][38] np[36][39] np[36][40] np[36][41] np[36][42] np[36][43] np[36][44] np[36][45] np[36][46] np[36][47] np[36][48] np[36][49] np[37][0] np[37][1] np[37][2] np[37][3] np[37][4] np[37][5] np[37][6] np[37][7] np[37][8] np[37][9] np[37][10] np[37][11] np[37][12] np[37][13] np[37][14] np[37][15] np[37][16] np[37][17] np[37][18] np[37][19] np[37][20] np[37][21] np[37][22] np[37][23] np[37][24] np[37][25] np[37][26] np[37][27] np[37][28] np[37][29] np[37][30] np[37][31] np[37][32] np[37][33] np[37][34] np[37][35] np[37][36] np[37][37] np[37][38] np[37][39] np[37][40] np[37][41] np[37][42] np[37][43] np[37][44] np[37][45] np[37][46] np[37][47] np[37][48] np[37][49] np[38][0] np[38][1] np[38][2] np[38][3] np[38][4] np[38][5] np[38][6] np[38][7] np[38][8] np[38][9] np[38][10] np[38][11] np[38][12] np[38][13] np[38][14] np[38][15] np[38][16] np[38][17] np[38][18] np[38][19] np[38][20] np[38][21] np[38][22] np[38][23] np[38][24] np[38][25] np[38][26] np[38][27] np[38][28] np[38][29] np[38][30] np[38][31] np[38][32] np[38][33] np[38][34] np[38][35] np[38][36] np[38][37] np[38][38] np[38][39] np[38][40] np[38][41] np[38][42] np[38][43] np[38][44] np[38][45] np[38][46] np[38][47] np[38][48] np[38][49] np[39][0] np[39][1] np[39][2] np[39][3] np[39][4] np[39][5] np[39][6] np[39][7] np[39][8] np[39][9] np[39][10] np[39][11] np[39][12] np[39][13] np[39][14] np[39][15] np[39][16] np[39][17] np[39][18] np[39][19] np[39][20] np[39][21] np[39][22] np[39][23] np[39][24] np[39][25] np[39][26] np[39][27] np[39][28] np[39][29] np[39][30] np[39][31] np[39][32] np[39][33] np[39][34] np[39][35] np[39][36] np[39][37] np[39][38] np[39][39] np[39][40] np[39][41] np[39][42] np[39][43] np[39][44] np[39][45] np[39][46] np[39][47] np[39][48] np[39][49] np[40][0] np[40][1] np[40][2] np[40][3] np[40][4] np[40][5] np[40][6] np[40][7] np[40][8] np[40][9] np[40][10] np[40][11] np[40][12] np[40][13] np[40][14] np[40][15] np[40][16] np[40][17] np[40][18] np[40][19] np[40][20] np[40][21] np[40][22] np[40][23] np[40][24] np[40][25] np[40][26] np[40][27] np[40][28] np[40][29] np[40][30] np[40][31] np[40][32] np[40][33] np[40][34] np[40][35] np[40][36] np[40][37] np[40][38] np[40][39] np[40][40] np[40][41] np[40][42] np[40][43] np[40][44] np[40][45] np[40][46] np[40][47] np[40][48] np[40][49] np[41][0] np[41][1] np[41][2] np[41][3] np[41][4] np[41][5] np[41][6] np[41][7] np[41][8] np[41][9] np[41][10] np[41][11] np[41][12] np[41][13] np[41][14] np[41][15] np[41][16] np[41][17] np[41][18] np[41][19] np[41][20] np[41][21] np[41][22] np[41][23] np[41][24] np[41][25] np[41][26] np[41][27] np[41][28] np[41][29] np[41][30] np[41][31] np[41][32] np[41][33] np[41][34] np[41][35] np[41][36] np[41][37] np[41][38] np[41][39] np[41][40] np[41][41] np[41][42] np[41][43] np[41][44] np[41][45] np[41][46] np[41][47] np[41][48] np[41][49] np[42][0] np[42][1] np[42][2] np[42][3] np[42][4] np[42][5] np[42][6] np[42][7] np[42][8] np[42][9] np[42][10] np[42][11] np[42][12] np[42][13] np[42][14] np[42][15] np[42][16] np[42][17] np[42][18] np[42][19] np[42][20] np[42][21] np[42][22] np[42][23] np[42][24] np[42][25] np[42][26] np[42][27] np[42][28] np[42][29] np[42][30] np[42][31] np[42][32] np[42][33] np[42][34] np[42][35] np[42][36] np[42][37] np[42][38] np[42][39] np[42][40] np[42][41] np[42][42] np[42][43] np[42][44] np[42][45] np[42][46] np[42][47] np[42][48] np[42][49] np[43][0] np[43][1] np[43][2] np[43][3] np[43][4] np[43][5] np[43][6] np[43][7] np[43][8] np[43][9] np[43][10] np[43][11] np[43][12] np[43][13] np[43][14] np[43][15] np[43][16] np[43][17] np[43][18] np[43][19] np[43][20] np[43][21] np[43][22] np[43][23] np[43][24] np[43][25] np[43][26] np[43][27] np[43][28] np[43][29] np[43][30] np[43][31] np[43][32] np[43][33] np[43][34] np[43][35] np[43][36] np[43][37] np[43][38] np[43][39] np[43][40] np[43][41] np[43][42] np[43][43] np[43][44] np[43][45] np[43][46] np[43][47] np[43][48] np[43][49] np[44][0] np[44][1] np[44][2] np[44][3] np[44][4] np[44][5] np[44][6] np[44][7] np[44][8] np[44][9] np[44][10] np[44][11] np[44][12] np[44][13] np[44][14] np[44][15] np[44][16] np[44][17] np[44][18] np[44][19] np[44][20] np[44][21] np[44][22] np[44][23] np[44][24] np[44][25] np[44][26] np[44][27] np[44][28] np[44][29] np[44][30] np[44][31] np[44][32] np[44][33] np[44][34] np[44][35] np[44][36] np[44][37] np[44][38] np[44][39] np[44][40] np[44][41] np[44][42] np[44][43] np[44][44] np[44][45] np[44][46] np[44][47] np[44][48] np[44][49] np[45][0] np[45][1] np[45][2] np[45][3] np[45][4] np[45][5] np[45][6] np[45][7] np[45][8] np[45][9] np[45][10] np[45][11] np[45][12] np[45][13] np[45][14] np[45][15] np[45][16] np[45][17] np[45][18] np[45][19] np[45][20] np[45][21] np[45][22] np[45][23] np[45][24] np[45][25] np[45][26] np[45][27] np[45][28] np[45][29] np[45][30] np[45][31] np[45][32] np[45][33] np[45][34] np[45][35] np[45][36] np[45][37] np[45][38] np[45][39] np[45][40] np[45][41] np[45][42] np[45][43] np[45][44] np[45][45] np[45][46] np[45][47] np[45][48] np[45][49] np[46][0] np[46][1] np[46][2] np[46][3] np[46][4] np[46][5] np[46][6] np[46][7] np[46][8] np[46][9] np[46][10] np[46][11] np[46][12] np[46][13] np[46][14] np[46][15] np[46][16] np[46][17] np[46][18] np[46][19] np[46][20] np[46][21] np[46][22] np[46][23] np[46][24] np[46][25] np[46][26] np[46][27] np[46][28] np[46][29] np[46][30] np[46][31] np[46][32] np[46][33] np[46][34] np[46][35] np[46][36] np[46][37] np[46][38] np[46][39] np[46][40] np[46][41] np[46][42] np[46][43] np[46][44] np[46][45] np[46][46] np[46][47] np[46][48] np[46][49] np[47][0] np[47][1] np[47][2] np[47][3] np[47][4] np[47][5] np[47][6] np[47][7] np[47][8] np[47][9] np[47][10] np[47][11] np[47][12] np[47][13] np[47][14] np[47][15] np[47][16] np[47][17] np[47][18] np[47][19] np[47][20] np[47][21] np[47][22] np[47][23] np[47][24] np[47][25] np[47][26] np[47][27] np[47][28] np[47][29] np[47][30] np[47][31] np[47][32] np[47][33] np[47][34] np[47][35] np[47][36] np[47][37] np[47][38] np[47][39] np[47][40] np[47][41] np[47][42] np[47][43] np[47][44] np[47][45] np[47][46] np[47][47] np[47][48] np[47][49] np[48][0] np[48][1] np[48][2] np[48][3] np[48][4] np[48][5] np[48][6] np[48][7] np[48][8] np[48][9] np[48][10] np[48][11] np[48][12] np[48][13] np[48][14] np[48][15] np[48][16] np[48][17] np[48][18] np[48][19] np[48][20] np[48][21] np[48][22] np[48][23] np[48][24] np[48][25] np[48][26] np[48][27] np[48][28] np[48][29] np[48][30] np[48][31] np[48][32] np[48][33] np[48][34] np[48][35] np[48][36] np[48][37] np[48][38] np[48][39] np[48][40] np[48][41] np[48][42] np[48][43] np[48][44] np[48][45] np[48][46] np[48][47] np[48][48] np[48][49] np[49][0] np[49][1] np[49][2] np[49][3] np[49][4] np[49][5] np[49][6] np[49][7] np[49][8] np[49][9] np[49][10] np[49][11] np[49][12] np[49][13] np[49][14] np[49][15] np[49][16] np[49][17] np[49][18] np[49][19] np[49][20] np[49][21] np[49][22] np[49][23] np[49][24] np[49][25] np[49][26] np[49][27] np[49][28] np[49][29] np[49][30] np[49][31] np[49][32] np[49][33] np[49][34] np[49][35] np[49][36] np[49][37] np[49][38] np[49][39] np[49][40] np[49][41] np[49][42] np[49][43] np[49][44] np[49][45] np[49][46] np[49][47] np[49][48] np[49][49] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][40] r[0][41] r[0][42] r[0][43] r[0][44] r[0][45] r[0][46] r[0][47] r[0][48] r[0][49] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][40] r[1][41] r[1][42] r[1][43] r[1][44] r[1][45] r[1][46] r[1][47] r[1][48] r[1][49] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][40] r[2][41] r[2][42] r[2][43] r[2][44] r[2][45] r[2][46] r[2][47] r[2][48] r[2][49] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][40] r[3][41] r[3][42] r[3][43] r[3][44] r[3][45] r[3][46] r[3][47] r[3][48] r[3][49] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][40] r[4][41] r[4][42] r[4][43] r[4][44] r[4][45] r[4][46] r[4][47] r[4][48] r[4][49] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][40] r[5][41] r[5][42] r[5][43] r[5][44] r[5][45] r[5][46] r[5][47] r[5][48] r[5][49] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][40] r[6][41] r[6][42] r[6][43] r[6][44] r[6][45] r[6][46] r[6][47] r[6][48] r[6][49] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][40] r[7][41] r[7][42] r[7][43] r[7][44] r[7][45] r[7][46] r[7][47] r[7][48] r[7][49] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][40] r[8][41] r[8][42] r[8][43] r[8][44] r[8][45] r[8][46] r[8][47] r[8][48] r[8][49] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][40] r[9][41] r[9][42] r[9][43] r[9][44] r[9][45] r[9][46] r[9][47] r[9][48] r[9][49] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][40] r[10][41] r[10][42] r[10][43] r[10][44] r[10][45] r[10][46] r[10][47] r[10][48] r[10][49] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][40] r[11][41] r[11][42] r[11][43] r[11][44] r[11][45] r[11][46] r[11][47] r[11][48] r[11][49] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][40] r[12][41] r[12][42] r[12][43] r[12][44] r[12][45] r[12][46] r[12][47] r[12][48] r[12][49] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] r[13][40] r[13][41] r[13][42] r[13][43] r[13][44] r[13][45] r[13][46] r[13][47] r[13][48] r[13][49] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] r[14][40] r[14][41] r[14][42] r[14][43] r[14][44] r[14][45] r[14][46] r[14][47] r[14][48] r[14][49] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] r[15][40] r[15][41] r[15][42] r[15][43] r[15][44] r[15][45] r[15][46] r[15][47] r[15][48] r[15][49] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] r[16][40] r[16][41] r[16][42] r[16][43] r[16][44] r[16][45] r[16][46] r[16][47] r[16][48] r[16][49] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] r[17][40] r[17][41] r[17][42] r[17][43] r[17][44] r[17][45] r[17][46] r[17][47] r[17][48] r[17][49] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] r[18][40] r[18][41] r[18][42] r[18][43] r[18][44] r[18][45] r[18][46] r[18][47] r[18][48] r[18][49] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] r[19][40] r[19][41] r[19][42] r[19][43] r[19][44] r[19][45] r[19][46] r[19][47] r[19][48] r[19][49] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][30] r[20][31] r[20][32] r[20][33] r[20][34] r[20][35] r[20][36] r[20][37] r[20][38] r[20][39] r[20][40] r[20][41] r[20][42] r[20][43] r[20][44] r[20][45] r[20][46] r[20][47] r[20][48] r[20][49] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][30] r[21][31] r[21][32] r[21][33] r[21][34] r[21][35] r[21][36] r[21][37] r[21][38] r[21][39] r[21][40] r[21][41] r[21][42] r[21][43] r[21][44] r[21][45] r[21][46] r[21][47] r[21][48] r[21][49] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][30] r[22][31] r[22][32] r[22][33] r[22][34] r[22][35] r[22][36] r[22][37] r[22][38] r[22][39] r[22][40] r[22][41] r[22][42] r[22][43] r[22][44] r[22][45] r[22][46] r[22][47] r[22][48] r[22][49] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][30] r[23][31] r[23][32] r[23][33] r[23][34] r[23][35] r[23][36] r[23][37] r[23][38] r[23][39] r[23][40] r[23][41] r[23][42] r[23][43] r[23][44] r[23][45] r[23][46] r[23][47] r[23][48] r[23][49] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][30] r[24][31] r[24][32] r[24][33] r[24][34] r[24][35] r[24][36] r[24][37] r[24][38] r[24][39] r[24][40] r[24][41] r[24][42] r[24][43] r[24][44] r[24][45] r[24][46] r[24][47] r[24][48] r[24][49] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][30] r[25][31] r[25][32] r[25][33] r[25][34] r[25][35] r[25][36] r[25][37] r[25][38] r[25][39] r[25][40] r[25][41] r[25][42] r[25][43] r[25][44] r[25][45] r[25][46] r[25][47] r[25][48] r[25][49] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][30] r[26][31] r[26][32] r[26][33] r[26][34] r[26][35] r[26][36] r[26][37] r[26][38] r[26][39] r[26][40] r[26][41] r[26][42] r[26][43] r[26][44] r[26][45] r[26][46] r[26][47] r[26][48] r[26][49] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][30] r[27][31] r[27][32] r[27][33] r[27][34] r[27][35] r[27][36] r[27][37] r[27][38] r[27][39] r[27][40] r[27][41] r[27][42] r[27][43] r[27][44] r[27][45] r[27][46] r[27][47] r[27][48] r[27][49] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][30] r[28][31] r[28][32] r[28][33] r[28][34] r[28][35] r[28][36] r[28][37] r[28][38] r[28][39] r[28][40] r[28][41] r[28][42] r[28][43] r[28][44] r[28][45] r[28][46] r[28][47] r[28][48] r[28][49] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][30] r[29][31] r[29][32] r[29][33] r[29][34] r[29][35] r[29][36] r[29][37] r[29][38] r[29][39] r[29][40] r[29][41] r[29][42] r[29][43] r[29][44] r[29][45] r[29][46] r[29][47] r[29][48] r[29][49] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][20] r[30][21] r[30][22] r[30][23] r[30][24] r[30][25] r[30][26] r[30][27] r[30][28] r[30][29] r[30][30] r[30][31] r[30][32] r[30][33] r[30][34] r[30][35] r[30][36] r[30][37] r[30][38] r[30][39] r[30][40] r[30][41] r[30][42] r[30][43] r[30][44] r[30][45] r[30][46] r[30][47] r[30][48] r[30][49] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][20] r[31][21] r[31][22] r[31][23] r[31][24] r[31][25] r[31][26] r[31][27] r[31][28] r[31][29] r[31][30] r[31][31] r[31][32] r[31][33] r[31][34] r[31][35] r[31][36] r[31][37] r[31][38] r[31][39] r[31][40] r[31][41] r[31][42] r[31][43] r[31][44] r[31][45] r[31][46] r[31][47] r[31][48] r[31][49] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][20] r[32][21] r[32][22] r[32][23] r[32][24] r[32][25] r[32][26] r[32][27] r[32][28] r[32][29] r[32][30] r[32][31] r[32][32] r[32][33] r[32][34] r[32][35] r[32][36] r[32][37] r[32][38] r[32][39] r[32][40] r[32][41] r[32][42] r[32][43] r[32][44] r[32][45] r[32][46] r[32][47] r[32][48] r[32][49] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][20] r[33][21] r[33][22] r[33][23] r[33][24] r[33][25] r[33][26] r[33][27] r[33][28] r[33][29] r[33][30] r[33][31] r[33][32] r[33][33] r[33][34] r[33][35] r[33][36] r[33][37] r[33][38] r[33][39] r[33][40] r[33][41] r[33][42] r[33][43] r[33][44] r[33][45] r[33][46] r[33][47] r[33][48] r[33][49] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][20] r[34][21] r[34][22] r[34][23] r[34][24] r[34][25] r[34][26] r[34][27] r[34][28] r[34][29] r[34][30] r[34][31] r[34][32] r[34][33] r[34][34] r[34][35] r[34][36] r[34][37] r[34][38] r[34][39] r[34][40] r[34][41] r[34][42] r[34][43] r[34][44] r[34][45] r[34][46] r[34][47] r[34][48] r[34][49] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][20] r[35][21] r[35][22] r[35][23] r[35][24] r[35][25] r[35][26] r[35][27] r[35][28] r[35][29] r[35][30] r[35][31] r[35][32] r[35][33] r[35][34] r[35][35] r[35][36] r[35][37] r[35][38] r[35][39] r[35][40] r[35][41] r[35][42] r[35][43] r[35][44] r[35][45] r[35][46] r[35][47] r[35][48] r[35][49] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][20] r[36][21] r[36][22] r[36][23] r[36][24] r[36][25] r[36][26] r[36][27] r[36][28] r[36][29] r[36][30] r[36][31] r[36][32] r[36][33] r[36][34] r[36][35] r[36][36] r[36][37] r[36][38] r[36][39] r[36][40] r[36][41] r[36][42] r[36][43] r[36][44] r[36][45] r[36][46] r[36][47] r[36][48] r[36][49] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][20] r[37][21] r[37][22] r[37][23] r[37][24] r[37][25] r[37][26] r[37][27] r[37][28] r[37][29] r[37][30] r[37][31] r[37][32] r[37][33] r[37][34] r[37][35] r[37][36] r[37][37] r[37][38] r[37][39] r[37][40] r[37][41] r[37][42] r[37][43] r[37][44] r[37][45] r[37][46] r[37][47] r[37][48] r[37][49] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][20] r[38][21] r[38][22] r[38][23] r[38][24] r[38][25] r[38][26] r[38][27] r[38][28] r[38][29] r[38][30] r[38][31] r[38][32] r[38][33] r[38][34] r[38][35] r[38][36] r[38][37] r[38][38] r[38][39] r[38][40] r[38][41] r[38][42] r[38][43] r[38][44] r[38][45] r[38][46] r[38][47] r[38][48] r[38][49] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][20] r[39][21] r[39][22] r[39][23] r[39][24] r[39][25] r[39][26] r[39][27] r[39][28] r[39][29] r[39][30] r[39][31] r[39][32] r[39][33] r[39][34] r[39][35] r[39][36] r[39][37] r[39][38] r[39][39] r[39][40] r[39][41] r[39][42] r[39][43] r[39][44] r[39][45] r[39][46] r[39][47] r[39][48] r[39][49] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][20] r[40][21] r[40][22] r[40][23] r[40][24] r[40][25] r[40][26] r[40][27] r[40][28] r[40][29] r[40][30] r[40][31] r[40][32] r[40][33] r[40][34] r[40][35] r[40][36] r[40][37] r[40][38] r[40][39] r[40][40] r[40][41] r[40][42] r[40][43] r[40][44] r[40][45] r[40][46] r[40][47] r[40][48] r[40][49] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][20] r[41][21] r[41][22] r[41][23] r[41][24] r[41][25] r[41][26] r[41][27] r[41][28] r[41][29] r[41][30] r[41][31] r[41][32] r[41][33] r[41][34] r[41][35] r[41][36] r[41][37] r[41][38] r[41][39] r[41][40] r[41][41] r[41][42] r[41][43] r[41][44] r[41][45] r[41][46] r[41][47] r[41][48] r[41][49] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][20] r[42][21] r[42][22] r[42][23] r[42][24] r[42][25] r[42][26] r[42][27] r[42][28] r[42][29] r[42][30] r[42][31] r[42][32] r[42][33] r[42][34] r[42][35] r[42][36] r[42][37] r[42][38] r[42][39] r[42][40] r[42][41] r[42][42] r[42][43] r[42][44] r[42][45] r[42][46] r[42][47] r[42][48] r[42][49] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][20] r[43][21] r[43][22] r[43][23] r[43][24] r[43][25] r[43][26] r[43][27] r[43][28] r[43][29] r[43][30] r[43][31] r[43][32] r[43][33] r[43][34] r[43][35] r[43][36] r[43][37] r[43][38] r[43][39] r[43][40] r[43][41] r[43][42] r[43][43] r[43][44] r[43][45] r[43][46] r[43][47] r[43][48] r[43][49] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][20] r[44][21] r[44][22] r[44][23] r[44][24] r[44][25] r[44][26] r[44][27] r[44][28] r[44][29] r[44][30] r[44][31] r[44][32] r[44][33] r[44][34] r[44][35] r[44][36] r[44][37] r[44][38] r[44][39] r[44][40] r[44][41] r[44][42] r[44][43] r[44][44] r[44][45] r[44][46] r[44][47] r[44][48] r[44][49] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][20] r[45][21] r[45][22] r[45][23] r[45][24] r[45][25] r[45][26] r[45][27] r[45][28] r[45][29] r[45][30] r[45][31] r[45][32] r[45][33] r[45][34] r[45][35] r[45][36] r[45][37] r[45][38] r[45][39] r[45][40] r[45][41] r[45][42] r[45][43] r[45][44] r[45][45] r[45][46] r[45][47] r[45][48] r[45][49] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][20] r[46][21] r[46][22] r[46][23] r[46][24] r[46][25] r[46][26] r[46][27] r[46][28] r[46][29] r[46][30] r[46][31] r[46][32] r[46][33] r[46][34] r[46][35] r[46][36] r[46][37] r[46][38] r[46][39] r[46][40] r[46][41] r[46][42] r[46][43] r[46][44] r[46][45] r[46][46] r[46][47] r[46][48] r[46][49] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][20] r[47][21] r[47][22] r[47][23] r[47][24] r[47][25] r[47][26] r[47][27] r[47][28] r[47][29] r[47][30] r[47][31] r[47][32] r[47][33] r[47][34] r[47][35] r[47][36] r[47][37] r[47][38] r[47][39] r[47][40] r[47][41] r[47][42] r[47][43] r[47][44] r[47][45] r[47][46] r[47][47] r[47][48] r[47][49] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][20] r[48][21] r[48][22] r[48][23] r[48][24] r[48][25] r[48][26] r[48][27] r[48][28] r[48][29] r[48][30] r[48][31] r[48][32] r[48][33] r[48][34] r[48][35] r[48][36] r[48][37] r[48][38] r[48][39] r[48][40] r[48][41] r[48][42] r[48][43] r[48][44] r[48][45] r[48][46] r[48][47] r[48][48] r[48][49] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][20] r[49][21] r[49][22] r[49][23] r[49][24] r[49][25] r[49][26] r[49][27] r[49][28] r[49][29] r[49][30] r[49][31] r[49][32] r[49][33] r[49][34] r[49][35] r[49][36] r[49][37] r[49][38] r[49][39] r[49][40] r[49][41] r[49][42] r[49][43] r[49][44] r[49][45] r[49][46] r[49][47] r[49][48] r[49][49] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][40] o[0][41] o[0][42] o[0][43] o[0][44] o[0][45] o[0][46] o[0][47] o[0][48] o[0][49] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][40] o[1][41] o[1][42] o[1][43] o[1][44] o[1][45] o[1][46] o[1][47] o[1][48] o[1][49] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][40] o[2][41] o[2][42] o[2][43] o[2][44] o[2][45] o[2][46] o[2][47] o[2][48] o[2][49] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][40] o[3][41] o[3][42] o[3][43] o[3][44] o[3][45] o[3][46] o[3][47] o[3][48] o[3][49] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][40] o[4][41] o[4][42] o[4][43] o[4][44] o[4][45] o[4][46] o[4][47] o[4][48] o[4][49] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][40] o[5][41] o[5][42] o[5][43] o[5][44] o[5][45] o[5][46] o[5][47] o[5][48] o[5][49] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][40] o[6][41] o[6][42] o[6][43] o[6][44] o[6][45] o[6][46] o[6][47] o[6][48] o[6][49] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][40] o[7][41] o[7][42] o[7][43] o[7][44] o[7][45] o[7][46] o[7][47] o[7][48] o[7][49] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][40] o[8][41] o[8][42] o[8][43] o[8][44] o[8][45] o[8][46] o[8][47] o[8][48] o[8][49] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][40] o[9][41] o[9][42] o[9][43] o[9][44] o[9][45] o[9][46] o[9][47] o[9][48] o[9][49] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][40] o[10][41] o[10][42] o[10][43] o[10][44] o[10][45] o[10][46] o[10][47] o[10][48] o[10][49] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][40] o[11][41] o[11][42] o[11][43] o[11][44] o[11][45] o[11][46] o[11][47] o[11][48] o[11][49] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][40] o[12][41] o[12][42] o[12][43] o[12][44] o[12][45] o[12][46] o[12][47] o[12][48] o[12][49] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][40] o[13][41] o[13][42] o[13][43] o[13][44] o[13][45] o[13][46] o[13][47] o[13][48] o[13][49] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][40] o[14][41] o[14][42] o[14][43] o[14][44] o[14][45] o[14][46] o[14][47] o[14][48] o[14][49] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][40] o[15][41] o[15][42] o[15][43] o[15][44] o[15][45] o[15][46] o[15][47] o[15][48] o[15][49] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][40] o[16][41] o[16][42] o[16][43] o[16][44] o[16][45] o[16][46] o[16][47] o[16][48] o[16][49] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][40] o[17][41] o[17][42] o[17][43] o[17][44] o[17][45] o[17][46] o[17][47] o[17][48] o[17][49] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][40] o[18][41] o[18][42] o[18][43] o[18][44] o[18][45] o[18][46] o[18][47] o[18][48] o[18][49] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][40] o[19][41] o[19][42] o[19][43] o[19][44] o[19][45] o[19][46] o[19][47] o[19][48] o[19][49] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][30] o[20][31] o[20][32] o[20][33] o[20][34] o[20][35] o[20][36] o[20][37] o[20][38] o[20][39] o[20][40] o[20][41] o[20][42] o[20][43] o[20][44] o[20][45] o[20][46] o[20][47] o[20][48] o[20][49] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][30] o[21][31] o[21][32] o[21][33] o[21][34] o[21][35] o[21][36] o[21][37] o[21][38] o[21][39] o[21][40] o[21][41] o[21][42] o[21][43] o[21][44] o[21][45] o[21][46] o[21][47] o[21][48] o[21][49] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][30] o[22][31] o[22][32] o[22][33] o[22][34] o[22][35] o[22][36] o[22][37] o[22][38] o[22][39] o[22][40] o[22][41] o[22][42] o[22][43] o[22][44] o[22][45] o[22][46] o[22][47] o[22][48] o[22][49] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][30] o[23][31] o[23][32] o[23][33] o[23][34] o[23][35] o[23][36] o[23][37] o[23][38] o[23][39] o[23][40] o[23][41] o[23][42] o[23][43] o[23][44] o[23][45] o[23][46] o[23][47] o[23][48] o[23][49] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][30] o[24][31] o[24][32] o[24][33] o[24][34] o[24][35] o[24][36] o[24][37] o[24][38] o[24][39] o[24][40] o[24][41] o[24][42] o[24][43] o[24][44] o[24][45] o[24][46] o[24][47] o[24][48] o[24][49] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][30] o[25][31] o[25][32] o[25][33] o[25][34] o[25][35] o[25][36] o[25][37] o[25][38] o[25][39] o[25][40] o[25][41] o[25][42] o[25][43] o[25][44] o[25][45] o[25][46] o[25][47] o[25][48] o[25][49] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][30] o[26][31] o[26][32] o[26][33] o[26][34] o[26][35] o[26][36] o[26][37] o[26][38] o[26][39] o[26][40] o[26][41] o[26][42] o[26][43] o[26][44] o[26][45] o[26][46] o[26][47] o[26][48] o[26][49] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][30] o[27][31] o[27][32] o[27][33] o[27][34] o[27][35] o[27][36] o[27][37] o[27][38] o[27][39] o[27][40] o[27][41] o[27][42] o[27][43] o[27][44] o[27][45] o[27][46] o[27][47] o[27][48] o[27][49] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][30] o[28][31] o[28][32] o[28][33] o[28][34] o[28][35] o[28][36] o[28][37] o[28][38] o[28][39] o[28][40] o[28][41] o[28][42] o[28][43] o[28][44] o[28][45] o[28][46] o[28][47] o[28][48] o[28][49] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][30] o[29][31] o[29][32] o[29][33] o[29][34] o[29][35] o[29][36] o[29][37] o[29][38] o[29][39] o[29][40] o[29][41] o[29][42] o[29][43] o[29][44] o[29][45] o[29][46] o[29][47] o[29][48] o[29][49] o[30][0] o[30][1] o[30][2] o[30][3] o[30][4] o[30][5] o[30][6] o[30][7] o[30][8] o[30][9] o[30][10] o[30][11] o[30][12] o[30][13] o[30][14] o[30][15] o[30][16] o[30][17] o[30][18] o[30][19] o[30][20] o[30][21] o[30][22] o[30][23] o[30][24] o[30][25] o[30][26] o[30][27] o[30][28] o[30][29] o[30][30] o[30][31] o[30][32] o[30][33] o[30][34] o[30][35] o[30][36] o[30][37] o[30][38] o[30][39] o[30][40] o[30][41] o[30][42] o[30][43] o[30][44] o[30][45] o[30][46] o[30][47] o[30][48] o[30][49] o[31][0] o[31][1] o[31][2] o[31][3] o[31][4] o[31][5] o[31][6] o[31][7] o[31][8] o[31][9] o[31][10] o[31][11] o[31][12] o[31][13] o[31][14] o[31][15] o[31][16] o[31][17] o[31][18] o[31][19] o[31][20] o[31][21] o[31][22] o[31][23] o[31][24] o[31][25] o[31][26] o[31][27] o[31][28] o[31][29] o[31][30] o[31][31] o[31][32] o[31][33] o[31][34] o[31][35] o[31][36] o[31][37] o[31][38] o[31][39] o[31][40] o[31][41] o[31][42] o[31][43] o[31][44] o[31][45] o[31][46] o[31][47] o[31][48] o[31][49] o[32][0] o[32][1] o[32][2] o[32][3] o[32][4] o[32][5] o[32][6] o[32][7] o[32][8] o[32][9] o[32][10] o[32][11] o[32][12] o[32][13] o[32][14] o[32][15] o[32][16] o[32][17] o[32][18] o[32][19] o[32][20] o[32][21] o[32][22] o[32][23] o[32][24] o[32][25] o[32][26] o[32][27] o[32][28] o[32][29] o[32][30] o[32][31] o[32][32] o[32][33] o[32][34] o[32][35] o[32][36] o[32][37] o[32][38] o[32][39] o[32][40] o[32][41] o[32][42] o[32][43] o[32][44] o[32][45] o[32][46] o[32][47] o[32][48] o[32][49] o[33][0] o[33][1] o[33][2] o[33][3] o[33][4] o[33][5] o[33][6] o[33][7] o[33][8] o[33][9] o[33][10] o[33][11] o[33][12] o[33][13] o[33][14] o[33][15] o[33][16] o[33][17] o[33][18] o[33][19] o[33][20] o[33][21] o[33][22] o[33][23] o[33][24] o[33][25] o[33][26] o[33][27] o[33][28] o[33][29] o[33][30] o[33][31] o[33][32] o[33][33] o[33][34] o[33][35] o[33][36] o[33][37] o[33][38] o[33][39] o[33][40] o[33][41] o[33][42] o[33][43] o[33][44] o[33][45] o[33][46] o[33][47] o[33][48] o[33][49] o[34][0] o[34][1] o[34][2] o[34][3] o[34][4] o[34][5] o[34][6] o[34][7] o[34][8] o[34][9] o[34][10] o[34][11] o[34][12] o[34][13] o[34][14] o[34][15] o[34][16] o[34][17] o[34][18] o[34][19] o[34][20] o[34][21] o[34][22] o[34][23] o[34][24] o[34][25] o[34][26] o[34][27] o[34][28] o[34][29] o[34][30] o[34][31] o[34][32] o[34][33] o[34][34] o[34][35] o[34][36] o[34][37] o[34][38] o[34][39] o[34][40] o[34][41] o[34][42] o[34][43] o[34][44] o[34][45] o[34][46] o[34][47] o[34][48] o[34][49] o[35][0] o[35][1] o[35][2] o[35][3] o[35][4] o[35][5] o[35][6] o[35][7] o[35][8] o[35][9] o[35][10] o[35][11] o[35][12] o[35][13] o[35][14] o[35][15] o[35][16] o[35][17] o[35][18] o[35][19] o[35][20] o[35][21] o[35][22] o[35][23] o[35][24] o[35][25] o[35][26] o[35][27] o[35][28] o[35][29] o[35][30] o[35][31] o[35][32] o[35][33] o[35][34] o[35][35] o[35][36] o[35][37] o[35][38] o[35][39] o[35][40] o[35][41] o[35][42] o[35][43] o[35][44] o[35][45] o[35][46] o[35][47] o[35][48] o[35][49] o[36][0] o[36][1] o[36][2] o[36][3] o[36][4] o[36][5] o[36][6] o[36][7] o[36][8] o[36][9] o[36][10] o[36][11] o[36][12] o[36][13] o[36][14] o[36][15] o[36][16] o[36][17] o[36][18] o[36][19] o[36][20] o[36][21] o[36][22] o[36][23] o[36][24] o[36][25] o[36][26] o[36][27] o[36][28] o[36][29] o[36][30] o[36][31] o[36][32] o[36][33] o[36][34] o[36][35] o[36][36] o[36][37] o[36][38] o[36][39] o[36][40] o[36][41] o[36][42] o[36][43] o[36][44] o[36][45] o[36][46] o[36][47] o[36][48] o[36][49] o[37][0] o[37][1] o[37][2] o[37][3] o[37][4] o[37][5] o[37][6] o[37][7] o[37][8] o[37][9] o[37][10] o[37][11] o[37][12] o[37][13] o[37][14] o[37][15] o[37][16] o[37][17] o[37][18] o[37][19] o[37][20] o[37][21] o[37][22] o[37][23] o[37][24] o[37][25] o[37][26] o[37][27] o[37][28] o[37][29] o[37][30] o[37][31] o[37][32] o[37][33] o[37][34] o[37][35] o[37][36] o[37][37] o[37][38] o[37][39] o[37][40] o[37][41] o[37][42] o[37][43] o[37][44] o[37][45] o[37][46] o[37][47] o[37][48] o[37][49] o[38][0] o[38][1] o[38][2] o[38][3] o[38][4] o[38][5] o[38][6] o[38][7] o[38][8] o[38][9] o[38][10] o[38][11] o[38][12] o[38][13] o[38][14] o[38][15] o[38][16] o[38][17] o[38][18] o[38][19] o[38][20] o[38][21] o[38][22] o[38][23] o[38][24] o[38][25] o[38][26] o[38][27] o[38][28] o[38][29] o[38][30] o[38][31] o[38][32] o[38][33] o[38][34] o[38][35] o[38][36] o[38][37] o[38][38] o[38][39] o[38][40] o[38][41] o[38][42] o[38][43] o[38][44] o[38][45] o[38][46] o[38][47] o[38][48] o[38][49] o[39][0] o[39][1] o[39][2] o[39][3] o[39][4] o[39][5] o[39][6] o[39][7] o[39][8] o[39][9] o[39][10] o[39][11] o[39][12] o[39][13] o[39][14] o[39][15] o[39][16] o[39][17] o[39][18] o[39][19] o[39][20] o[39][21] o[39][22] o[39][23] o[39][24] o[39][25] o[39][26] o[39][27] o[39][28] o[39][29] o[39][30] o[39][31] o[39][32] o[39][33] o[39][34] o[39][35] o[39][36] o[39][37] o[39][38] o[39][39] o[39][40] o[39][41] o[39][42] o[39][43] o[39][44] o[39][45] o[39][46] o[39][47] o[39][48] o[39][49] o[40][0] o[40][1] o[40][2] o[40][3] o[40][4] o[40][5] o[40][6] o[40][7] o[40][8] o[40][9] o[40][10] o[40][11] o[40][12] o[40][13] o[40][14] o[40][15] o[40][16] o[40][17] o[40][18] o[40][19] o[40][20] o[40][21] o[40][22] o[40][23] o[40][24] o[40][25] o[40][26] o[40][27] o[40][28] o[40][29] o[40][30] o[40][31] o[40][32] o[40][33] o[40][34] o[40][35] o[40][36] o[40][37] o[40][38] o[40][39] o[40][40] o[40][41] o[40][42] o[40][43] o[40][44] o[40][45] o[40][46] o[40][47] o[40][48] o[40][49] o[41][0] o[41][1] o[41][2] o[41][3] o[41][4] o[41][5] o[41][6] o[41][7] o[41][8] o[41][9] o[41][10] o[41][11] o[41][12] o[41][13] o[41][14] o[41][15] o[41][16] o[41][17] o[41][18] o[41][19] o[41][20] o[41][21] o[41][22] o[41][23] o[41][24] o[41][25] o[41][26] o[41][27] o[41][28] o[41][29] o[41][30] o[41][31] o[41][32] o[41][33] o[41][34] o[41][35] o[41][36] o[41][37] o[41][38] o[41][39] o[41][40] o[41][41] o[41][42] o[41][43] o[41][44] o[41][45] o[41][46] o[41][47] o[41][48] o[41][49] o[42][0] o[42][1] o[42][2] o[42][3] o[42][4] o[42][5] o[42][6] o[42][7] o[42][8] o[42][9] o[42][10] o[42][11] o[42][12] o[42][13] o[42][14] o[42][15] o[42][16] o[42][17] o[42][18] o[42][19] o[42][20] o[42][21] o[42][22] o[42][23] o[42][24] o[42][25] o[42][26] o[42][27] o[42][28] o[42][29] o[42][30] o[42][31] o[42][32] o[42][33] o[42][34] o[42][35] o[42][36] o[42][37] o[42][38] o[42][39] o[42][40] o[42][41] o[42][42] o[42][43] o[42][44] o[42][45] o[42][46] o[42][47] o[42][48] o[42][49] o[43][0] o[43][1] o[43][2] o[43][3] o[43][4] o[43][5] o[43][6] o[43][7] o[43][8] o[43][9] o[43][10] o[43][11] o[43][12] o[43][13] o[43][14] o[43][15] o[43][16] o[43][17] o[43][18] o[43][19] o[43][20] o[43][21] o[43][22] o[43][23] o[43][24] o[43][25] o[43][26] o[43][27] o[43][28] o[43][29] o[43][30] o[43][31] o[43][32] o[43][33] o[43][34] o[43][35] o[43][36] o[43][37] o[43][38] o[43][39] o[43][40] o[43][41] o[43][42] o[43][43] o[43][44] o[43][45] o[43][46] o[43][47] o[43][48] o[43][49] o[44][0] o[44][1] o[44][2] o[44][3] o[44][4] o[44][5] o[44][6] o[44][7] o[44][8] o[44][9] o[44][10] o[44][11] o[44][12] o[44][13] o[44][14] o[44][15] o[44][16] o[44][17] o[44][18] o[44][19] o[44][20] o[44][21] o[44][22] o[44][23] o[44][24] o[44][25] o[44][26] o[44][27] o[44][28] o[44][29] o[44][30] o[44][31] o[44][32] o[44][33] o[44][34] o[44][35] o[44][36] o[44][37] o[44][38] o[44][39] o[44][40] o[44][41] o[44][42] o[44][43] o[44][44] o[44][45] o[44][46] o[44][47] o[44][48] o[44][49] o[45][0] o[45][1] o[45][2] o[45][3] o[45][4] o[45][5] o[45][6] o[45][7] o[45][8] o[45][9] o[45][10] o[45][11] o[45][12] o[45][13] o[45][14] o[45][15] o[45][16] o[45][17] o[45][18] o[45][19] o[45][20] o[45][21] o[45][22] o[45][23] o[45][24] o[45][25] o[45][26] o[45][27] o[45][28] o[45][29] o[45][30] o[45][31] o[45][32] o[45][33] o[45][34] o[45][35] o[45][36] o[45][37] o[45][38] o[45][39] o[45][40] o[45][41] o[45][42] o[45][43] o[45][44] o[45][45] o[45][46] o[45][47] o[45][48] o[45][49] o[46][0] o[46][1] o[46][2] o[46][3] o[46][4] o[46][5] o[46][6] o[46][7] o[46][8] o[46][9] o[46][10] o[46][11] o[46][12] o[46][13] o[46][14] o[46][15] o[46][16] o[46][17] o[46][18] o[46][19] o[46][20] o[46][21] o[46][22] o[46][23] o[46][24] o[46][25] o[46][26] o[46][27] o[46][28] o[46][29] o[46][30] o[46][31] o[46][32] o[46][33] o[46][34] o[46][35] o[46][36] o[46][37] o[46][38] o[46][39] o[46][40] o[46][41] o[46][42] o[46][43] o[46][44] o[46][45] o[46][46] o[46][47] o[46][48] o[46][49] o[47][0] o[47][1] o[47][2] o[47][3] o[47][4] o[47][5] o[47][6] o[47][7] o[47][8] o[47][9] o[47][10] o[47][11] o[47][12] o[47][13] o[47][14] o[47][15] o[47][16] o[47][17] o[47][18] o[47][19] o[47][20] o[47][21] o[47][22] o[47][23] o[47][24] o[47][25] o[47][26] o[47][27] o[47][28] o[47][29] o[47][30] o[47][31] o[47][32] o[47][33] o[47][34] o[47][35] o[47][36] o[47][37] o[47][38] o[47][39] o[47][40] o[47][41] o[47][42] o[47][43] o[47][44] o[47][45] o[47][46] o[47][47] o[47][48] o[47][49] o[48][0] o[48][1] o[48][2] o[48][3] o[48][4] o[48][5] o[48][6] o[48][7] o[48][8] o[48][9] o[48][10] o[48][11] o[48][12] o[48][13] o[48][14] o[48][15] o[48][16] o[48][17] o[48][18] o[48][19] o[48][20] o[48][21] o[48][22] o[48][23] o[48][24] o[48][25] o[48][26] o[48][27] o[48][28] o[48][29] o[48][30] o[48][31] o[48][32] o[48][33] o[48][34] o[48][35] o[48][36] o[48][37] o[48][38] o[48][39] o[48][40] o[48][41] o[48][42] o[48][43] o[48][44] o[48][45] o[48][46] o[48][47] o[48][48] o[48][49] o[49][0] o[49][1] o[49][2] o[49][3] o[49][4] o[49][5] o[49][6] o[49][7] o[49][8] o[49][9] o[49][10] o[49][11] o[49][12] o[49][13] o[49][14] o[49][15] o[49][16] o[49][17] o[49][18] o[49][19] o[49][20] o[49][21] o[49][22] o[49][23] o[49][24] o[49][25] o[49][26] o[49][27] o[49][28] o[49][29] o[49][30] o[49][31] o[49][32] o[49][33] o[49][34] o[49][35] o[49][36] o[49][37] o[49][38] o[49][39] o[49][40] o[49][41] o[49][42] o[49][43] o[49][44] o[49][45] o[49][46] o[49][47] o[49][48] o[49][49] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[40] so[41] so[42] so[43] so[44] so[45] so[46] so[47] so[48] so[49] </list>
164.53/43.51	v 	<values>0 5 2 11 13 15 16 18 20 22 23 25 26 27 29 36 38 40 42 46 47 49 1 3 6 9 10 12 17 24 30 32 33 34 35 39 41 43 45 48 4 8 14 19 31 7 28 37 21 44 0 1 2 3 4 5 6 7 8 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 39 40 41 42 43 44 45 45 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 43 44 45 46 1 2 3 4 5 5 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 16 16 17 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 20 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 42 43 44 45 1 2 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 42 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 47 48 49 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 45 46 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 15 16 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 1 2 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 5 5 5 5 5 0 1 2 3 4 5 6 7 8 9 10 11 11 11 12 13 13 14 15 15 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 30 30 30 31 32 33 33 34 35 36 37 38 39 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 1 2 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 20 21 22 23 24 25 26 27 28 28 28 29 30 31 32 33 34 34 34 35 35 36 36 37 38 39 40 41 1 2 2 3 4 5 6 7 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 42 42 43 44 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 45 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 37 38 39 40 41 41 41 42 43 44 45 1 2 3 4 5 5 5 6 6 6 7 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 0 1 2 3 4 5 6 7 8 8 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 33 34 35 36 37 38 39 40 41 42 43 1 2 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 16 17 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 36 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 19 20 21 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 47 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 38 39 40 41 42 43 43 1 2 3 3 4 5 6 7 7 8 9 10 11 12 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 32 33 33 34 35 36 37 37 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 3 4 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 43 43 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 40 41 42 43 44 44 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 17 18 19 20 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 1 1 2 3 4 4 5 5 6 7 8 9 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 43 44 45 46 47 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 39 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 39 </values>
164.53/43.51	v </instantiation>

Verifier Data

OK	45

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394161-1568347197/watcher-4394161-1568347197 -o /tmp/evaluation-result-4394161-1568347197/solver-4394161-1568347197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394161-1568347197.xml 

running on 4 cores: 4-7

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

solver pid=18045, runsolver pid=18042

[startup+0.100059 s]*
/proc/loadavg: 5.37 6.58 4.79 4/233 18061
/proc/meminfo: memFree=27000472/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15144768 memory=29112 CPUtime=0.13 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 5737 0 0 0 12 1 0 0 20 0 15 0 410726007 15508242432 7278 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3786192 7278 3114 1 0 3748377 0
[pid=18047/tid=18048] ppid=18045 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 3663 0 0 0 9 0 0 0 20 0 15 0 410726007 15508242432 7278 33554432000 4194304 4196468 140733672196800 140592179151216 140591811865819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) R 18045 18045 17600 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) R 18045 18045 17600 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0.01 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30564 KiB

[startup+0.21172 s]*
/proc/loadavg: 5.37 6.58 4.79 3/233 18061
/proc/meminfo: memFree=26987228/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15144768 memory=40848 CPUtime=0.34 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 9416 0 0 0 32 2 0 0 20 0 15 0 410726007 15508242432 10212 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3786192 10212 3301 1 0 3748377 0
[pid=18047/tid=18048] ppid=18045 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 6580 0 0 0 19 1 0 0 20 0 15 0 410726007 15508242432 10212 33554432000 4194304 4196468 140733672196800 140592179154640 140592159004028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15144768 memory=3472474972060169888 CPUtime=0 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15144768 memory=0 CPUtime=0.02 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15144768 memory=-1 CPUtime=0.02 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0.08 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 693 0 0 0 8 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42300 KiB

[startup+0.311656 s]*
/proc/loadavg: 5.37 6.58 4.79 3/233 18061
/proc/meminfo: memFree=26982492/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15149024 memory=46636 CPUtime=0.52 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 10517 0 0 0 49 3 0 0 20 0 15 0 410726007 15512600576 11659 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3787256 11659 3323 1 0 3748377 0
[pid=18047/tid=18048] ppid=18045 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 7605 0 0 0 28 2 0 0 20 0 15 0 410726007 15512600576 11659 33554432000 4194304 4196468 140733672196800 140592179155200 140592161193680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15149024 memory=0 CPUtime=0.04 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 266 0 0 0 4 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) R 18045 18045 17600 0 -1 4202560 759 0 0 0 12 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591042201840 140592174944858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48088 KiB

[startup+0.701616 s]
/proc/loadavg: 5.37 6.58 4.79 6/233 18061
/proc/meminfo: memFree=26956128/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15151148 memory=98372 CPUtime=1.69 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 14241 0 0 0 164 5 0 0 20 0 15 0 410726007 15514775552 24593 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3787787 24593 3434 1 0 3748889 0
[pid=18047/tid=18048] ppid=18045 vsize=15151148 memory=0 CPUtime=0.67 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 8349 0 0 0 64 3 0 0 20 0 15 0 410726007 15514775552 24593 33554432000 4194304 4196468 140733672196800 140592179157160 140591815105286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15151148 memory=45184 CPUtime=0 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15151148 memory=1556 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15151148 memory=9588 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15151148 memory=1712 CPUtime=0.31 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) R 18045 18045 17600 0 -1 4202560 1575 0 0 0 31 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591044295280 140592158420281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15151148 memory=5972 CPUtime=0.33 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) R 18045 18045 17600 0 -1 4202560 1420 0 0 0 33 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591043238632 140592156116651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15151148 memory=4164 CPUtime=0.34 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 1590 0 0 0 34 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15151148 memory=1056 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15151148 memory=2828 CPUtime=0 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 99824 KiB

[startup+1.50162 s]
/proc/loadavg: 5.37 6.58 4.79 6/233 18061
/proc/meminfo: memFree=26874780/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0

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

/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=140048549083409 CPUtime=34.72 cores=4-7
/proc/18047/task/18082/stat : 18082 (java) R 18045 18045 17600 0 -1 4202560 1547 0 0 0 3472 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591027972792 140591820980757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=280097098715296 CPUtime=34.19 cores=4-7
/proc/18047/task/18083/stat : 18083 (java) R 18045 18045 17600 0 -1 4202560 3943 0 0 0 3415 4 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591029026656 140591821059147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=8243114992657236051 CPUtime=34.37 cores=4-7
/proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1168 0 0 0 3437 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591025871368 140591819161296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=288286688357385055 CPUtime=34.05 cores=4-7
/proc/18047/task/18085/stat : 18085 (java) R 18045 18045 17600 0 -1 4202560 1217 0 0 0 3405 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591026921520 140591821050772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 160.62 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 757852 KiB

[startup+43.2016 s]
/proc/loadavg: 5.03 6.30 4.78 6/237 18097
/proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15419452 memory=784064 CPUtime=163.81 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78193 0 0 0 16338 43 0 0 20 0 19 0 410726007 15789518848 196016 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3854863 196016 3548 1 0 3815965 0
[pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=756400 CPUtime=2.63 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 196016 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=1452 CPUtime=0.2 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=731692 CPUtime=0.2 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=1452 CPUtime=0.18 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=3624 CPUtime=0.2 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=45184 CPUtime=0.03 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=984 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=1444 CPUtime=5.6 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=1764 CPUtime=5.49 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=1452 CPUtime=1.21 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=984 CPUtime=0.03 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=2020 CPUtime=35.5 cores=4-7
/proc/18047/task/18082/stat : 18082 (java) R 18045 18045 17600 0 -1 4202560 1548 0 0 0 3550 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591027972792 140591821058883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=1432 CPUtime=34.99 cores=4-7
/proc/18047/task/18083/stat : 18083 (java) R 18045 18045 17600 0 -1 4202560 4498 0 0 0 3495 4 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591029026656 140591815817860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=1452 CPUtime=35.17 cores=4-7
/proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3517 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591025868200 140591821058742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=756400 CPUtime=34.85 cores=4-7
/proc/18047/task/18085/stat : 18085 (java) R 18045 18045 17600 0 -1 4202560 1217 0 0 0 3485 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591026920896 140591820979725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 163.81 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 785516 KiB

[startup+43.401 s]
/proc/loadavg: 5.03 6.30 4.78 6/237 18097
/proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15419452 memory=792256 CPUtime=164.43 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78224 0 0 0 16400 43 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3854863 198064 3548 1 0 3815965 0
[pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=16200244861 CPUtime=2.63 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0.2 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=7013046241623959919 CPUtime=0.2 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=7307760355955337570 CPUtime=0.18 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=7307760355955337570 CPUtime=0.2 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=7450478124797027945 CPUtime=0.03 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=7450478124797027945 CPUtime=5.6 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=7665499679901704809 CPUtime=5.49 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=7665239142639167333 CPUtime=1.21 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=7665239142639167333 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=4164 CPUtime=0.03 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=1056 CPUtime=35.64 cores=4-7
/proc/18047/task/18082/stat : 18082 (java) S 18045 18045 17600 0 -1 1077944384 1565 0 0 0 3564 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591027977600 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=2828 CPUtime=35.13 cores=4-7
/proc/18047/task/18083/stat : 18083 (java) S 18045 18045 17600 0 -1 1077944384 4506 0 0 0 3509 4 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591029031888 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=1176 CPUtime=35.37 cores=4-7
/proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3537 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591025868200 140591821059051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=980 CPUtime=34.99 cores=4-7
/proc/18047/task/18085/stat : 18085 (java) S 18045 18045 17600 0 -1 1077944384 1223 0 0 0 3499 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591026926800 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 164.43 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 793708 KiB

[startup+43.501 s]
/proc/loadavg: 5.03 6.30 4.78 6/237 18097
/proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860
[pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0
/proc/18045/statm: 28282 363 304 221 0 87 0
[pid=18047] ppid=18045 vsize=15419452 memory=792256 CPUtime=164.53 cores=4-7
/proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78224 0 0 0 16410 43 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
/proc/18047/statm: 3854863 198064 3548 1 0 3815965 0
[pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=1452 CPUtime=2.63 cores=4-7
/proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=20 CPUtime=0.2 cores=4-7
/proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=765428 CPUtime=0.2 cores=4-7
/proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=0 CPUtime=0.18 cores=4-7
/proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=0 CPUtime=0.2 cores=4-7
/proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=776 CPUtime=0.03 cores=4-7
/proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=660 CPUtime=0 cores=4-7
/proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=1452 CPUtime=0 cores=4-7
/proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7
/proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=18 CPUtime=5.6 cores=4-7
/proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=2 CPUtime=5.49 cores=4-7
/proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=1176 CPUtime=1.21 cores=4-7
/proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=4-7
/proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=56 CPUtime=0.03 cores=4-7
/proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=6944656592455097440 CPUtime=35.64 cores=4-7
/proc/18047/task/18082/stat : 18082 (java) S 18045 18045 17600 0 -1 1077944384 1565 0 0 0 3564 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591027977600 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=1452 CPUtime=35.13 cores=4-7
/proc/18047/task/18083/stat : 18083 (java) S 18045 18045 17600 0 -1 1077944384 4506 0 0 0 3509 4 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591029031888 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=303430223234596890 CPUtime=35.47 cores=4-7
/proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3547 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591025868200 140591821050043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
[pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=1452 CPUtime=34.99 cores=4-7
/proc/18047/task/18085/stat : 18085 (java) S 18045 18045 17600 0 -1 1077944384 1223 0 0 0 3499 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591026926800 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0
Current children cumulated CPU time: 164.53 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 793708 KiB

Child status: 0
Real time (s): 43.5331
CPU time (s): 164.563
CPU user time (s): 164.113
CPU system time (s): 0.449542
CPU usage (%): 378.019
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 793708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.113
system time used= 0.449542
maximum resident set size= 796192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4899
involuntary context switches= 2745


# summary of solver processes directly reported to runsolver:
#   pid: 18045
#   total CPU time (s): 164.563
#   total CPU user time (s): 164.113
#   total CPU system time (s): 0.449542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.314774 second user time and 0.60136 second system time

The end

Launcher Data

Begin job on node120 at 2011-12-14 12:20:19
IDJOB=4394161
IDBENCH=140457
IDSOLVER=2842
FILE ID=node120/4394161-1568347197
RUNJOBID= node120-1323860857-17632
PBS_JOBID= 21701167
Free space on /tmp= 59128 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394161-1568347197/watcher-4394161-1568347197 -o /tmp/evaluation-result-4394161-1568347197/solver-4394161-1568347197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394161-1568347197.xml

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

MD5SUM BENCH= 00ff107c10292685d5feb35a59a49636
RANDOM SEED=238290766

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        27016528 kB
MemAvailable:   31085160 kB
Buffers:          157852 kB
Cached:          4204552 kB
SwapCached:        77548 kB
Active:          2026220 kB
Inactive:        3149452 kB
Active(anon):     736192 kB
Inactive(anon):   126960 kB
Active(file):    1290028 kB
Inactive(file):  3022492 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:        786080 kB
Mapped:            60548 kB
Shmem:             41008 kB
Slab:             172832 kB
SReclaimable:     143896 kB
SUnreclaim:        28936 kB
KernelStack:        4064 kB
PageTables:         7624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    2558632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59100 MiB
End job on node120 at 2011-12-14 12:21:03