Trace number 4286052

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
OscaR - Parallel with EPS 2017-08-22SAT (TO)3647 1892.75 252.162

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n78-k10.xml
MD5SUM7c96a44e638c86f7d39463bcb8517eb1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1571
Best CPU time to get the best result obtained on this benchmark251.90199
Satisfiable
(Un)Satisfiability was proved
Number of variables6162
Number of constraints6083
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":78},{"size":2,"count":6006},{"size":101,"count":77}]
Minimum variable degree0
Maximum variable degree153
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":78},{"degree":2,"count":154},{"degree":4,"count":5852},{"degree":153,"count":77}]
Minimum constraint arity1
Maximum constraint arity77
Distribution of constraint arities[{"arity":1,"count":77},{"arity":3,"count":5852},{"arity":77,"count":154}]
Number of extensional constraints0
Number of intensional constraints77
Distribution of constraint types[{"type":"intension","count":77},{"type":"sum","count":5852},{"type":"count","count":154}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 879256376
0.29/0.25	c timeout: 2016
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.90/1.04	c Parsing done, starting search...
30.95/18.40	o 4495
30.95/18.41	o 4420
30.95/18.42	o 4102
30.95/18.49	o 4039
31.74/18.55	o 4033
31.74/18.57	o 4029
32.61/18.62	o 4024
32.61/18.63	o 3959
33.34/18.71	o 3957
33.34/18.73	o 3952
33.34/18.74	o 3913
34.14/18.85	o 3906
34.99/18.95	o 3905
34.99/18.96	o 3883
37.31/19.21	o 3879
37.31/19.25	o 3874
37.31/19.26	o 3866
37.31/19.29	o 3860
38.11/19.36	o 3859
38.11/19.37	o 3851
38.91/19.42	o 3844
38.91/19.44	o 3843
39.71/19.54	o 3831
39.71/19.56	o 3830
66.75/23.00	o 3827
67.61/23.07	o 3826
96.19/26.68	o 3813
166.45/35.61	o 3809
166.45/35.65	o 3801
166.45/35.67	o 3793
176.81/36.90	o 3789
218.33/42.19	o 3774
219.05/42.21	o 3759
219.05/42.24	o 3758
219.85/42.36	o 3734
219.85/42.40	o 3729
231.81/43.82	o 3722
234.98/44.28	o 3717
263.68/47.81	o 3713
278.03/49.63	o 3711
346.56/58.25	o 3709
347.36/58.39	o 3706
348.23/58.42	o 3701
673.43/99.21	o 3687
678.22/99.89	o 3683
698.14/102.35	o 3658
708.50/103.64	o 3656
710.10/103.80	o 3652
718.07/104.86	o 3651
741.98/107.87	o 3647
1891.84/252.08	s SATISFIABLE
1891.84/252.09	v <instantiation>
1891.84/252.09	v 	<list>
1891.84/252.09	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[12][68] x[12][69] x[12][70] x[12][71] x[12][72] x[12][73] x[12][74] x[12][75] x[12][76] x[12][77] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[13][68] x[13][69] x[13][70] x[13][71] x[13][72] x[13][73] x[13][74] x[13][75] x[13][76] x[13][77] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[14][68] x[14][69] x[14][70] x[14][71] x[14][72] x[14][73] x[14][74] x[14][75] x[14][76] x[14][77] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[15][68] x[15][69] x[15][70] x[15][71] x[15][72] x[15][73] x[15][74] x[15][75] x[15][76] x[15][77] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[16][68] x[16][69] x[16][70] x[16][71] x[16][72] x[16][73] x[16][74] x[16][75] x[16][76] x[16][77] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[17][68] x[17][69] x[17][70] x[17][71] x[17][72] x[17][73] x[17][74] x[17][75] x[17][76] x[17][77] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[18][68] x[18][69] x[18][70] x[18][71] x[18][72] x[18][73] x[18][74] x[18][75] x[18][76] x[18][77] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[19][68] x[19][69] x[19][70] x[19][71] x[19][72] x[19][73] x[19][74] x[19][75] x[19][76] x[19][77] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[20][68] x[20][69] x[20][70] x[20][71] x[20][72] x[20][73] x[20][74] x[20][75] x[20][76] x[20][77] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[21][68] x[21][69] x[21][70] x[21][71] x[21][72] x[21][73] x[21][74] x[21][75] x[21][76] x[21][77] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[22][68] x[22][69] x[22][70] x[22][71] x[22][72] x[22][73] x[22][74] x[22][75] x[22][76] x[22][77] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[23][68] x[23][69] x[23][70] x[23][71] x[23][72] x[23][73] x[23][74] x[23][75] x[23][76] x[23][77] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[24][68] x[24][69] x[24][70] x[24][71] x[24][72] x[24][73] x[24][74] x[24][75] x[24][76] x[24][77] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[25][68] x[25][69] x[25][70] x[25][71] x[25][72] x[25][73] x[25][74] x[25][75] x[25][76] x[25][77] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[26][68] x[26][69] x[26][70] x[26][71] x[26][72] x[26][73] x[26][74] x[26][75] x[26][76] x[26][77] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[27][68] x[27][69] x[27][70] x[27][71] x[27][72] x[27][73] x[27][74] x[27][75] x[27][76] x[27][77] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[28][68] x[28][69] x[28][70] x[28][71] x[28][72] x[28][73] x[28][74] x[28][75] x[28][76] x[28][77] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[29][68] x[29][69] x[29][70] x[29][71] x[29][72] x[29][73] x[29][74] x[29][75] x[29][76] x[29][77] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[30][68] x[30][69] x[30][70] x[30][71] x[30][72] x[30][73] x[30][74] x[30][75] x[30][76] x[30][77] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[31][68] x[31][69] x[31][70] x[31][71] x[31][72] x[31][73] x[31][74] x[31][75] x[31][76] x[31][77] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[32][68] x[32][69] x[32][70] x[32][71] x[32][72] x[32][73] x[32][74] x[32][75] x[32][76] x[32][77] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[33][68] x[33][69] x[33][70] x[33][71] x[33][72] x[33][73] x[33][74] x[33][75] x[33][76] x[33][77] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[34][68] x[34][69] x[34][70] x[34][71] x[34][72] x[34][73] x[34][74] x[34][75] x[34][76] x[34][77] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[35][68] x[35][69] x[35][70] x[35][71] x[35][72] x[35][73] x[35][74] x[35][75] x[35][76] x[35][77] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[36][68] x[36][69] x[36][70] x[36][71] x[36][72] x[36][73] x[36][74] x[36][75] x[36][76] x[36][77] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[37][68] x[37][69] x[37][70] x[37][71] x[37][72] x[37][73] x[37][74] x[37][75] x[37][76] x[37][77] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[38][68] x[38][69] x[38][70] x[38][71] x[38][72] x[38][73] x[38][74] x[38][75] x[38][76] x[38][77] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[39][68] x[39][69] x[39][70] x[39][71] x[39][72] x[39][73] x[39][74] x[39][75] x[39][76] x[39][77] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[40][68] x[40][69] x[40][70] x[40][71] x[40][72] x[40][73] x[40][74] x[40][75] x[40][76] x[40][77] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[41][68] x[41][69] x[41][70] x[41][71] x[41][72] x[41][73] x[41][74] x[41][75] x[41][76] x[41][77] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[42][68] x[42][69] x[42][70] x[42][71] x[42][72] x[42][73] x[42][74] x[42][75] x[42][76] x[42][77] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[43][68] x[43][69] x[43][70] x[43][71] x[43][72] x[43][73] x[43][74] x[43][75] x[43][76] x[43][77] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[44][68] x[44][69] x[44][70] x[44][71] x[44][72] x[44][73] x[44][74] x[44][75] x[44][76] x[44][77] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[45][68] x[45][69] x[45][70] x[45][71] x[45][72] x[45][73] x[45][74] x[45][75] x[45][76] x[45][77] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[46][68] x[46][69] x[46][70] x[46][71] x[46][72] x[46][73] x[46][74] x[46][75] x[46][76] x[46][77] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[47][68] x[47][69] x[47][70] x[47][71] x[47][72] x[47][73] x[47][74] x[47][75] x[47][76] x[47][77] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[48][68] x[48][69] x[48][70] x[48][71] x[48][72] x[48][73] x[48][74] x[48][75] x[48][76] x[48][77] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[49][68] x[49][69] x[49][70] x[49][71] x[49][72] x[49][73] x[49][74] x[49][75] x[49][76] x[49][77] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[50][68] x[50][69] x[50][70] x[50][71] x[50][72] x[50][73] x[50][74] x[50][75] x[50][76] x[50][77] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[51][68] x[51][69] x[51][70] x[51][71] x[51][72] x[51][73] x[51][74] x[51][75] x[51][76] x[51][77] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[52][68] x[52][69] x[52][70] x[52][71] x[52][72] x[52][73] x[52][74] x[52][75] x[52][76] x[52][77] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[53][68] x[53][69] x[53][70] x[53][71] x[53][72] x[53][73] x[53][74] x[53][75] x[53][76] x[53][77] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[54][68] x[54][69] x[54][70] x[54][71] x[54][72] x[54][73] x[54][74] x[54][75] x[54][76] x[54][77] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[55][68] x[55][69] x[55][70] x[55][71] x[55][72] x[55][73] x[55][74] x[55][75] x[55][76] x[55][77] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[56][68] x[56][69] x[56][70] x[56][71] x[56][72] x[56][73] x[56][74] x[56][75] x[56][76] x[56][77] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[57][68] x[57][69] x[57][70] x[57][71] x[57][72] x[57][73] x[57][74] x[57][75] x[57][76] x[57][77] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[58][68] x[58][69] x[58][70] x[58][71] x[58][72] x[58][73] x[58][74] x[58][75] x[58][76] x[58][77] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[59][68] x[59][69] x[59][70] x[59][71] x[59][72] x[59][73] x[59][74] x[59][75] x[59][76] x[59][77] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[60][68] x[60][69] x[60][70] x[60][71] x[60][72] x[60][73] x[60][74] x[60][75] x[60][76] x[60][77] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[61][68] x[61][69] x[61][70] x[61][71] x[61][72] x[61][73] x[61][74] x[61][75] x[61][76] x[61][77] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[62][68] x[62][69] x[62][70] x[62][71] x[62][72] x[62][73] x[62][74] x[62][75] x[62][76] x[62][77] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[63][68] x[63][69] x[63][70] x[63][71] x[63][72] x[63][73] x[63][74] x[63][75] x[63][76] x[63][77] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[64][68] x[64][69] x[64][70] x[64][71] x[64][72] x[64][73] x[64][74] x[64][75] x[64][76] x[64][77] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[65][68] x[65][69] x[65][70] x[65][71] x[65][72] x[65][73] x[65][74] x[65][75] x[65][76] x[65][77] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[66][68] x[66][69] x[66][70] x[66][71] x[66][72] x[66][73] x[66][74] x[66][75] x[66][76] x[66][77] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] x[67][68] x[67][69] x[67][70] x[67][71] x[67][72] x[67][73] x[67][74] x[67][75] x[67][76] x[67][77] x[68][0] x[68][1] x[68][2] x[68][3] x[68][4] x[68][5] x[68][6] x[68][7] x[68][8] x[68][9] x[68][10] x[68][11] x[68][12] x[68][13] x[68][14] x[68][15] x[68][16] x[68][17] x[68][18] x[68][19] x[68][20] x[68][21] x[68][22] x[68][23] x[68][24] x[68][25] x[68][26] x[68][27] x[68][28] x[68][29] x[68][30] x[68][31] x[68][32] x[68][33] x[68][34] x[68][35] x[68][36] x[68][37] x[68][38] x[68][39] x[68][40] x[68][41] x[68][42] x[68][43] x[68][44] x[68][45] x[68][46] x[68][47] x[68][48] x[68][49] x[68][50] x[68][51] x[68][52] x[68][53] x[68][54] x[68][55] x[68][56] x[68][57] x[68][58] x[68][59] x[68][60] x[68][61] x[68][62] x[68][63] x[68][64] x[68][65] x[68][66] x[68][67] x[68][68] x[68][69] x[68][70] x[68][71] x[68][72] x[68][73] x[68][74] x[68][75] x[68][76] x[68][77] x[69][0] x[69][1] x[69][2] x[69][3] x[69][4] x[69][5] x[69][6] x[69][7] x[69][8] x[69][9] x[69][10] x[69][11] x[69][12] x[69][13] x[69][14] x[69][15] x[69][16] x[69][17] x[69][18] x[69][19] x[69][20] x[69][21] x[69][22] x[69][23] x[69][24] x[69][25] x[69][26] x[69][27] x[69][28] x[69][29] x[69][30] x[69][31] x[69][32] x[69][33] x[69][34] x[69][35] x[69][36] x[69][37] x[69][38] x[69][39] x[69][40] x[69][41] x[69][42] x[69][43] x[69][44] x[69][45] x[69][46] x[69][47] x[69][48] x[69][49] x[69][50] x[69][51] x[69][52] x[69][53] x[69][54] x[69][55] x[69][56] x[69][57] x[69][58] x[69][59] x[69][60] x[69][61] x[69][62] x[69][63] x[69][64] x[69][65] x[69][66] x[69][67] x[69][68] x[69][69] x[69][70] x[69][71] x[69][72] x[69][73] x[69][74] x[69][75] x[69][76] x[69][77] x[70][0] x[70][1] x[70][2] x[70][3] x[70][4] x[70][5] x[70][6] x[70][7] x[70][8] x[70][9] x[70][10] x[70][11] x[70][12] x[70][13] x[70][14] x[70][15] x[70][16] x[70][17] x[70][18] x[70][19] x[70][20] x[70][21] x[70][22] x[70][23] x[70][24] x[70][25] x[70][26] x[70][27] x[70][28] x[70][29] x[70][30] x[70][31] x[70][32] x[70][33] x[70][34] x[70][35] x[70][36] x[70][37] x[70][38] x[70][39] x[70][40] x[70][41] x[70][42] x[70][43] x[70][44] x[70][45] x[70][46] x[70][47] x[70][48] x[70][49] x[70][50] x[70][51] x[70][52] x[70][53] x[70][54] x[70][55] x[70][56] x[70][57] x[70][58] x[70][59] x[70][60] x[70][61] x[70][62] x[70][63] x[70][64] x[70][65] x[70][66] x[70][67] x[70][68] x[70][69] x[70][70] x[70][71] x[70][72] x[70][73] x[70][74] x[70][75] x[70][76] x[70][77] x[71][0] x[71][1] x[71][2] x[71][3] x[71][4] x[71][5] x[71][6] x[71][7] x[71][8] x[71][9] x[71][10] x[71][11] x[71][12] x[71][13] x[71][14] x[71][15] x[71][16] x[71][17] x[71][18] x[71][19] x[71][20] x[71][21] x[71][22] x[71][23] x[71][24] x[71][25] x[71][26] x[71][27] x[71][28] x[71][29] x[71][30] x[71][31] x[71][32] x[71][33] x[71][34] x[71][35] x[71][36] x[71][37] x[71][38] x[71][39] x[71][40] x[71][41] x[71][42] x[71][43] x[71][44] x[71][45] x[71][46] x[71][47] x[71][48] x[71][49] x[71][50] x[71][51] x[71][52] x[71][53] x[71][54] x[71][55] x[71][56] x[71][57] x[71][58] x[71][59] x[71][60] x[71][61] x[71][62] x[71][63] x[71][64] x[71][65] x[71][66] x[71][67] x[71][68] x[71][69] x[71][70] x[71][71] x[71][72] x[71][73] x[71][74] x[71][75] x[71][76] x[71][77] x[72][0] x[72][1] x[72][2] x[72][3] x[72][4] x[72][5] x[72][6] x[72][7] x[72][8] x[72][9] x[72][10] x[72][11] x[72][12] x[72][13] x[72][14] x[72][15] x[72][16] x[72][17] x[72][18] x[72][19] x[72][20] x[72][21] x[72][22] x[72][23] x[72][24] x[72][25] x[72][26] x[72][27] x[72][28] x[72][29] x[72][30] x[72][31] x[72][32] x[72][33] x[72][34] x[72][35] x[72][36] x[72][37] x[72][38] x[72][39] x[72][40] x[72][41] x[72][42] x[72][43] x[72][44] x[72][45] x[72][46] x[72][47] x[72][48] x[72][49] x[72][50] x[72][51] x[72][52] x[72][53] x[72][54] x[72][55] x[72][56] x[72][57] x[72][58] x[72][59] x[72][60] x[72][61] x[72][62] x[72][63] x[72][64] x[72][65] x[72][66] x[72][67] x[72][68] x[72][69] x[72][70] x[72][71] x[72][72] x[72][73] x[72][74] x[72][75] x[72][76] x[72][77] x[73][0] x[73][1] x[73][2] x[73][3] x[73][4] x[73][5] x[73][6] x[73][7] x[73][8] x[73][9] x[73][10] x[73][11] x[73][12] x[73][13] x[73][14] x[73][15] x[73][16] x[73][17] x[73][18] x[73][19] x[73][20] x[73][21] x[73][22] x[73][23] x[73][24] x[73][25] x[73][26] x[73][27] x[73][28] x[73][29] x[73][30] x[73][31] x[73][32] x[73][33] x[73][34] x[73][35] x[73][36] x[73][37] x[73][38] x[73][39] x[73][40] x[73][41] x[73][42] x[73][43] x[73][44] x[73][45] x[73][46] x[73][47] x[73][48] x[73][49] x[73][50] x[73][51] x[73][52] x[73][53] x[73][54] x[73][55] x[73][56] x[73][57] x[73][58] x[73][59] x[73][60] x[73][61] x[73][62] x[73][63] x[73][64] x[73][65] x[73][66] x[73][67] x[73][68] x[73][69] x[73][70] x[73][71] x[73][72] x[73][73] x[73][74] x[73][75] x[73][76] x[73][77] x[74][0] x[74][1] x[74][2] x[74][3] x[74][4] x[74][5] x[74][6] x[74][7] x[74][8] x[74][9] x[74][10] x[74][11] x[74][12] x[74][13] x[74][14] x[74][15] x[74][16] x[74][17] x[74][18] x[74][19] x[74][20] x[74][21] x[74][22] x[74][23] x[74][24] x[74][25] x[74][26] x[74][27] x[74][28] x[74][29] x[74][30] x[74][31] x[74][32] x[74][33] x[74][34] x[74][35] x[74][36] x[74][37] x[74][38] x[74][39] x[74][40] x[74][41] x[74][42] x[74][43] x[74][44] x[74][45] x[74][46] x[74][47] x[74][48] x[74][49] x[74][50] x[74][51] x[74][52] x[74][53] x[74][54] x[74][55] x[74][56] x[74][57] x[74][58] x[74][59] x[74][60] x[74][61] x[74][62] x[74][63] x[74][64] x[74][65] x[74][66] x[74][67] x[74][68] x[74][69] x[74][70] x[74][71] x[74][72] x[74][73] x[74][74] x[74][75] x[74][76] x[74][77] x[75][0] x[75][1] x[75][2] x[75][3] x[75][4] x[75][5] x[75][6] x[75][7] x[75][8] x[75][9] x[75][10] x[75][11] x[75][12] x[75][13] x[75][14] x[75][15] x[75][16] x[75][17] x[75][18] x[75][19] x[75][20] x[75][21] x[75][22] x[75][23] x[75][24] x[75][25] x[75][26] x[75][27] x[75][28] x[75][29] x[75][30] x[75][31] x[75][32] x[75][33] x[75][34] x[75][35] x[75][36] x[75][37] x[75][38] x[75][39] x[75][40] x[75][41] x[75][42] x[75][43] x[75][44] x[75][45] x[75][46] x[75][47] x[75][48] x[75][49] x[75][50] x[75][51] x[75][52] x[75][53] x[75][54] x[75][55] x[75][56] x[75][57] x[75][58] x[75][59] x[75][60] x[75][61] x[75][62] x[75][63] x[75][64] x[75][65] x[75][66] x[75][67] x[75][68] x[75][69] x[75][70] x[75][71] x[75][72] x[75][73] x[75][74] x[75][75] x[75][76] x[75][77] x[76][0] x[76][1] x[76][2] x[76][3] x[76][4] x[76][5] x[76][6] x[76][7] x[76][8] x[76][9] x[76][10] x[76][11] x[76][12] x[76][13] x[76][14] x[76][15] x[76][16] x[76][17] x[76][18] x[76][19] x[76][20] x[76][21] x[76][22] x[76][23] x[76][24] x[76][25] x[76][26] x[76][27] x[76][28] x[76][29] x[76][30] x[76][31] x[76][32] x[76][33] x[76][34] x[76][35] x[76][36] x[76][37] x[76][38] x[76][39] x[76][40] x[76][41] x[76][42] x[76][43] x[76][44] x[76][45] x[76][46] x[76][47] x[76][48] x[76][49] x[76][50] x[76][51] x[76][52] x[76][53] x[76][54] x[76][55] x[76][56] x[76][57] x[76][58] x[76][59] x[76][60] x[76][61] x[76][62] x[76][63] x[76][64] x[76][65] x[76][66] x[76][67] x[76][68] x[76][69] x[76][70] x[76][71] x[76][72] x[76][73] x[76][74] x[76][75] x[76][76] x[76][77] x[77][0] x[77][1] x[77][2] x[77][3] x[77][4] x[77][5] x[77][6] x[77][7] x[77][8] x[77][9] x[77][10] x[77][11] x[77][12] x[77][13] x[77][14] x[77][15] x[77][16] x[77][17] x[77][18] x[77][19] x[77][20] x[77][21] x[77][22] x[77][23] x[77][24] x[77][25] x[77][26] x[77][27] x[77][28] x[77][29] x[77][30] x[77][31] x[77][32] x[77][33] x[77][34] x[77][35] x[77][36] x[77][37] x[77][38] x[77][39] x[77][40] x[77][41] x[77][42] x[77][43] x[77][44] x[77][45] x[77][46] x[77][47] x[77][48] x[77][49] x[77][50] x[77][51] x[77][52] x[77][53] x[77][54] x[77][55] x[77][56] x[77][57] x[77][58] x[77][59] x[77][60] x[77][61] x[77][62] x[77][63] x[77][64] x[77][65] x[77][66] x[77][67] x[77][68] x[77][69] x[77][70] x[77][71] x[77][72] x[77][73] x[77][74] x[77][75] x[77][76] x[77][77] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] u[68] u[69] u[70] u[71] u[72] u[73] u[74] u[75] u[76] u[77]
1891.84/252.09	v 	</list>
1891.84/252.09	v 	<values>
1891.84/252.09	v 		0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 24 21 88 96 30 100 49 100 60 100 100 67 98 56 88 65 54 19 41 34 29 31 100 100 29 96 59 9 40 10 100 96 76 100 72 36 86 23 98 77 30 100 86 99 22 72 90 80 22 72 48 100 78 38 75 38 97 61 52 92 53 83 58 58 34 28 72 39 14 28 70 50 44 61 71 51 53 
1891.84/252.10	v 	</values>
1891.84/252.10	v </instantiation>

Verifier Data 

OK	3647

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11609 MiB free)
  memory of node 1: 16384 MiB (11882 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4286052-1503442205/watcher-4286052-1503442205 -o /tmp/evaluation-result-4286052-1503442205/solver-4286052-1503442205 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503424483-30705 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 879256376 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286052-1503442205.xml 

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

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

solver pid=32350, runsolver pid=32347

[startup+0.100153 s]*
/proc/loadavg: 8.47 8.54 8.57 2/198 32370
/proc/meminfo: memFree=24038360/32770624 swapFree=67108860/67108860
[pid=32350] ppid=32347 vsize=26000852 memory=32768 CPUtime=0.12 cores=0-7
/proc/32350/stat : 32350 (java) S 32347 32350 30678 0 -1 1077944320 8602 0 0 0 10 2 0 0 20 0 20 0 177301145 26624872448 8192 33554432000 4194304 4196468 140724081060544 140724081043088 140065707032311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
/proc/32350/statm: 6500213 8192 3412 1 0 6487932 0
[pid=32350/tid=32352] ppid=32347 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32350/task/32352/stat : 32352 (java) R 32347 32350 30678 0 -1 4202560 6540 0 0 0 7 2 0 0 20 0 20 0 177301145 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065711229264 140065707054237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32353] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32353/stat : 32353 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065663584656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32354] ppid=32347 vsize=26000852 memory=140212809893504 CPUtime=0 cores=0-7
/proc/32350/task/32354/stat : 32354 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065263712528 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32355] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32355/stat : 32355 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065262660240 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32356] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32356/stat : 32356 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065261607440 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32357] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32357/stat : 32357 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065260555152 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32358] ppid=32347 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32358/stat : 32358 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065259502352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32359] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32359/stat : 32359 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065258450064 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32360] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32360/stat : 32360 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 8192 33554432000 4194304 4196468 140724081060544 140065257397264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32361] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32361/stat : 32361 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301147 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064045635696 140065707043458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32362] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32362/stat : 32362 (java) S 32347 32350 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177301148 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064044581664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32363] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32363/stat : 32363 (java) S 32347 32350 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177301148 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064043529328 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32364] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32364/stat : 32364 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064042477648 140065707050907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32365] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32365/stat : 32365 (java) S 32347 32350 30678 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064041425520 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32366] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32366/stat : 32366 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064040372720 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32367] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32367/stat : 32367 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064039320432 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32368] ppid=32347 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/32350/task/32368/stat : 32368 (java) S 32347 32350 30678 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064038267632 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32369] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32369/stat : 32369 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064037214560 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32370] ppid=32347 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32370/stat : 32370 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 8192 33554432000 4194304 4196468 140724081060544 140064036161840 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32768 KiB

[startup+0.20981 s]*
/proc/loadavg: 8.47 8.54 8.57 3/198 32370
/proc/meminfo: memFree=24028612/32770624 swapFree=67108860/67108860
[pid=32350] ppid=32347 vsize=26000852 memory=41912 CPUtime=0.29 cores=0-7
/proc/32350/stat : 32350 (java) S 32347 32350 30678 0 -1 1077944320 9614 0 0 0 26 3 0 0 20 0 20 0 177301145 26624872448 10478 33554432000 4194304 4196468 140724081060544 140724081043088 140065707032311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
/proc/32350/statm: 6500213 10478 3625 1 0 6487932 0
[pid=32350/tid=32352] ppid=32347 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/32350/task/32352/stat : 32352 (java) R 32347 32350 30678 0 -1 4202560 7171 0 0 0 17 2 0 0 20 0 20 0 177301145 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065711238608 140065707054237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32353] ppid=32347 vsize=26000852 memory=3221 CPUtime=0 cores=0-7
/proc/32350/task/32353/stat : 32353 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065663584656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32354] ppid=32347 vsize=26000852 memory=140212810756766 CPUtime=0 cores=0-7
/proc/32350/task/32354/stat : 32354 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065263712528 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32355] ppid=32347 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32355/stat : 32355 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065262660240 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32356] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32356/stat : 32356 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065261607440 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32357] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32357/stat : 32357 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065260555152 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32358] ppid=32347 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32358/stat : 32358 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065259502352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32359] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32359/stat : 32359 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065258450064 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32360] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32360/stat : 32360 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301146 26624872448 10478 33554432000 4194304 4196468 140724081060544 140065257397264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32361] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32361/stat : 32361 (java) S 32347 32350 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177301147 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064045635696 140065707043458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32362] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32362/stat : 32362 (java) S 32347 32350 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177301148 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064044581664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32363] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32363/stat : 32363 (java) S 32347 32350 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177301148 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064043529328 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32364] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32364/stat : 32364 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064042477648 140065707050907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32365] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32365/stat : 32365 (java) R 32347 32350 30678 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064041425520 140065707053658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32366] ppid=32347 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/32350/task/32366/stat : 32366 (java) S 32347 32350 30678 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064040372720 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32367] ppid=32347 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/32350/task/32367/stat : 32367 (java) S 32347 32350 30678 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064039320432 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32368] ppid=32347 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/32350/task/32368/stat : 32368 (java) R 32347 32350 30678 0 -1 4202560 402 0 0 0 5 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064038267632 140065685616020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32369] ppid=32347 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32369/stat : 32369 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064037214560 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32370] ppid=32347 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32370/stat : 32370 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624872448 10478 33554432000 4194304 4196468 140724081060544 140064036161840 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41912 KiB

[startup+0.309328 s]*
/proc/loadavg: 8.47 8.54 8.57 2/198 32370
/proc/meminfo: memFree=24021540/32770624 swapFree=67108860/67108860
[pid=32350] ppid=32347 vsize=26000872 memory=49044 CPUtime=0.48 cores=0-7
/proc/32350/stat : 32350 (java) S 32347 32350 30678 0 -1 1077944320 10591 0 0 0 44 4 0 0 20 0 20 0 177301145 26624892928 12261 33554432000 4194304 4196468 140724081060544 140724081043088 140065707032311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
/proc/32350/statm: 6500218 12261 3698 1 0 6487932 0
[pid=32350/tid=32352] ppid=32347 vsize=26000872 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/32350/task/32352/stat : 32352 (java) R 32347 32350 30678 0 -1 4202560 7730 0 0 0 26 2 0 0 20 0 20 0 177301145 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065711249280 140065707044246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32353] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32353/stat : 32353 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065663584656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32354] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32354/stat : 32354 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065263712528 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32355] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32355/stat : 32355 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065262660240 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32356] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32356/stat : 32356 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065261607440 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32357] ppid=32347 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/32350/task/32357/stat : 32357 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065260555152 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32358] ppid=32347 vsize=26000872 memory=140212697133999 CPUtime=0 cores=0-7
/proc/32350/task/32358/stat : 32358 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065259502352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32359] ppid=32347 vsize=26000872 memory=140212697136304 CPUtime=0 cores=0-7
/proc/32350/task/32359/stat : 32359 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065258450064 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32360] ppid=32347 vsize=26000872 memory=140212697138608 CPUtime=0 cores=0-7
/proc/32350/task/32360/stat : 32360 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301146 26624892928 12261 33554432000 4194304 4196468 140724081060544 140065257397264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32361] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32361/stat : 32361 (java) S 32347 32350 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177301147 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064045635696 140065707043458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32362] ppid=32347 vsize=26000872 memory=280425394284176 CPUtime=0 cores=0-7
/proc/32350/task/32362/stat : 32362 (java) S 32347 32350 30678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177301148 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064044581664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32363] ppid=32347 vsize=26000872 memory=280425394291088 CPUtime=0 cores=0-7
/proc/32350/task/32363/stat : 32363 (java) S 32347 32350 30678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177301148 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064043529328 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32364] ppid=32347 vsize=26000872 memory=280425394232368 CPUtime=0 cores=0-7
/proc/32350/task/32364/stat : 32364 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064042477648 140065707050907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32365] ppid=32347 vsize=26000872 memory=280425394304912 CPUtime=0.03 cores=0-7
/proc/32350/task/32365/stat : 32365 (java) R 32347 32350 30678 0 -1 1077944384 494 0 0 0 3 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064041425520 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32366] ppid=32347 vsize=26000872 memory=280425394311824 CPUtime=0.02 cores=0-7
/proc/32350/task/32366/stat : 32366 (java) S 32347 32350 30678 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064040372720 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32367] ppid=32347 vsize=26000872 memory=280425394309520 CPUtime=0.03 cores=0-7
/proc/32350/task/32367/stat : 32367 (java) S 32347 32350 30678 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064039320432 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32368] ppid=32347 vsize=26000872 memory=280425394326128 CPUtime=0.08 cores=0-7
/proc/32350/task/32368/stat : 32368 (java) R 32347 32350 30678 0 -1 4202560 520 0 0 0 8 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064038267632 140065707044246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32369] ppid=32347 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32369/stat : 32369 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064037214560 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32370] ppid=32347 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/32350/task/32370/stat : 32370 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301151 26624892928 12261 33554432000 4194304 4196468 140724081060544 140064036161840 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49044 KiB

[startup+0.700816 s]
/proc/loadavg: 8.47 8.54 8.57 4/198 32370
/proc/meminfo: memFree=24003656/32770624 swapFree=67108860/67108860
[pid=32350] ppid=32347 vsize=26002920 memory=110668 CPUtime=1.64 cores=0-7
/proc/32350/stat : 32350 (java) S 32347 32350 30678 0 -1 1077944320 14632 0 0 0 158 6 0 0 20 0 20 0 177301145 26626990080 27667 33554432000 4194304 4196468 140724081060544 140724081043088 140065707032311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
/proc/32350/statm: 6500730 27667 3780 1 0 6488444 0
[pid=32350/tid=32352] ppid=32347 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/32350/task/32352/stat : 32352 (java) R 32347 32350 30678 0 -1 4202560 8513 0 0 0 64 3 0 0 20 0 20 0 177301145 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065711265080 140065346036204 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32353] ppid=32347 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32353/stat : 32353 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065663584656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32354] ppid=32347 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32354/stat : 32354 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065263712528 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32355] ppid=32347 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32350/task/32355/stat : 32355 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065262660240 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32356] ppid=32347 vsize=26002920 memory=1944 CPUtime=0 cores=0-7
/proc/32350/task/32356/stat : 32356 (java) S 32347 32350 30678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065261607440 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32357] ppid=32347 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/32350/task/32357/stat : 32357 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065260555152 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32358] ppid=32347 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/32350/task/32358/stat : 32358 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065259502352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32359] ppid=32347 vsize=26002920 memory=8748 CPUtime=0 cores=0-7
/proc/32350/task/32359/stat : 32359 (java) S 32347 32350 30678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065258450064 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32360] ppid=32347 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/32350/task/32360/stat : 32360 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177301146 26626990080 27667 33554432000 4194304 4196468 140724081060544 140065257397264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32361] ppid=32347 vsize=26002920 memory=4052 CPUtime=0 cores=0-7
/proc/32350/task/32361/stat : 32361 (java) S 32347 32350 30678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177301147 26626990080 27667 33554432000 4194304 4196468 140724081060544 140064045635696 140065707043458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0

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

/proc/32350/task/32373/stat : 32373 (java) R 32347 32350 30678 0 -1 4202560 11400 0 0 0 23072 33 0 0 20 0 46 0 177302899 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064019566184 140065346583018 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32374] ppid=32347 vsize=27743860 memory=4132 CPUtime=232.07 cores=0-7
/proc/32350/task/32374/stat : 32374 (java) R 32347 32350 30678 0 -1 4202560 10151 0 0 0 23174 33 0 0 20 0 46 0 177302900 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064018513192 140065351850156 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32375] ppid=32347 vsize=27743860 memory=2204 CPUtime=0.1 cores=0-7
/proc/32350/task/32375/stat : 32375 (java) S 32347 32350 30678 0 -1 1077944384 95 0 0 0 10 0 0 0 20 0 46 0 177302900 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064017466928 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32376] ppid=32347 vsize=27743860 memory=7792 CPUtime=0 cores=0-7
/proc/32350/task/32376/stat : 32376 (java) S 32347 32350 30678 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 46 0 177302900 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064016414352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32377] ppid=32347 vsize=27743860 memory=844 CPUtime=232 cores=0-7
/proc/32350/task/32377/stat : 32377 (java) R 32347 32350 30678 0 -1 4202560 9623 0 0 0 23171 29 0 0 20 0 46 0 177302902 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064015356928 140065346582928 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32378] ppid=32347 vsize=27743860 memory=1696 CPUtime=0.12 cores=0-7
/proc/32350/task/32378/stat : 32378 (java) S 32347 32350 30678 0 -1 1077944384 82 0 0 0 12 0 0 0 20 0 46 0 177302903 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064014308000 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32379] ppid=32347 vsize=27743860 memory=7463944 CPUtime=232.62 cores=0-7
/proc/32350/task/32379/stat : 32379 (java) R 32347 32350 30678 0 -1 4202560 12780 0 0 0 23218 44 0 0 20 0 46 0 177302903 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064013249704 140065346637978 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32380] ppid=32347 vsize=27743860 memory=5772 CPUtime=232.4 cores=0-7
/proc/32350/task/32380/stat : 32380 (java) R 32347 32350 30678 0 -1 4202560 8700 0 0 0 23214 26 0 0 20 0 46 0 177302903 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064012197096 140065346582912 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32381] ppid=32347 vsize=27743860 memory=4104 CPUtime=0.13 cores=0-7
/proc/32350/task/32381/stat : 32381 (java) S 32347 32350 30678 0 -1 1077944384 372 0 0 0 12 1 0 0 20 0 46 0 177302903 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064011150864 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32382] ppid=32347 vsize=27743860 memory=3472328296227679313 CPUtime=232.39 cores=0-7
/proc/32350/task/32382/stat : 32382 (java) R 32347 32350 30678 0 -1 4202560 11607 0 0 0 23209 30 0 0 20 0 46 0 177302903 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064010091816 140065347380514 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32383] ppid=32347 vsize=27743860 memory=7589506976814820205 CPUtime=230.39 cores=0-7
/proc/32350/task/32383/stat : 32383 (java) R 32347 32350 30678 0 -1 4202560 9353 0 0 0 23014 25 0 0 20 0 46 0 177302949 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064009039016 140065346582928 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32384] ppid=32347 vsize=27743860 memory=7523636291572688235 CPUtime=231.26 cores=0-7
/proc/32350/task/32384/stat : 32384 (java) R 32347 32350 30678 0 -1 4202560 10684 0 0 0 23098 28 0 0 20 0 46 0 177302950 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064007985968 140065346582928 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32385] ppid=32347 vsize=27743860 memory=932 CPUtime=0 cores=0-7
/proc/32350/task/32385/stat : 32385 (java) S 32347 32350 30678 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 46 0 177302950 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064006939664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32386] ppid=32347 vsize=27743860 memory=1580 CPUtime=0 cores=0-7
/proc/32350/task/32386/stat : 32386 (java) S 32347 32350 30678 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 177302950 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064005886864 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32387] ppid=32347 vsize=27743860 memory=2244 CPUtime=0 cores=0-7
/proc/32350/task/32387/stat : 32387 (java) S 32347 32350 30678 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 177302950 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064004834352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32388] ppid=32347 vsize=27743860 memory=5788 CPUtime=0 cores=0-7
/proc/32350/task/32388/stat : 32388 (java) S 32347 32350 30678 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 177302950 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064003781664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32389] ppid=32347 vsize=27743860 memory=1720 CPUtime=0 cores=0-7
/proc/32350/task/32389/stat : 32389 (java) S 32347 32350 30678 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 46 0 177302986 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140064000595472 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32390] ppid=32347 vsize=27743860 memory=4612 CPUtime=0 cores=0-7
/proc/32350/task/32390/stat : 32390 (java) S 32347 32350 30678 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 177302986 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063999542672 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32391] ppid=32347 vsize=27743860 memory=1008 CPUtime=0 cores=0-7
/proc/32350/task/32391/stat : 32391 (java) S 32347 32350 30678 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 46 0 177302987 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063998490384 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32392] ppid=32347 vsize=27743860 memory=1944 CPUtime=0 cores=0-7
/proc/32350/task/32392/stat : 32392 (java) S 32347 32350 30678 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 46 0 177302987 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063997437584 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32393] ppid=32347 vsize=27743860 memory=1200 CPUtime=0 cores=0-7
/proc/32350/task/32393/stat : 32393 (java) S 32347 32350 30678 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 46 0 177302987 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063996384272 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32394] ppid=32347 vsize=27743860 memory=1424 CPUtime=0 cores=0-7
/proc/32350/task/32394/stat : 32394 (java) S 32347 32350 30678 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 46 0 177302987 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063995331472 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32395] ppid=32347 vsize=27743860 memory=8748 CPUtime=0 cores=0-7
/proc/32350/task/32395/stat : 32395 (java) S 32347 32350 30678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 177303041 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063994278960 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32396] ppid=32347 vsize=27743860 memory=920 CPUtime=0 cores=0-7
/proc/32350/task/32396/stat : 32396 (java) S 32347 32350 30678 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 46 0 177303044 28409712640 1865986 33554432000 4194304 4196468 140724081060544 140063993226384 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
Current children cumulated CPU time: 1891.84 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 7463944 KiB

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

[startup+252.162 s]
# the end of solver process 32350 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1887.92 s, system=4.83614 s

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

[startup+252.124 s]
/proc/loadavg: 9.02 8.53 8.52 10/224 32396
/proc/meminfo: memFree=16594972/32770624 swapFree=67108860/67108860
[pid=32350] ppid=32347 vsize=27876988 memory=7464156 CPUtime=1892.7 cores=0-7
/proc/32350/stat : 32350 (java) S 32347 32350 30678 0 -1 1077944320 198442 0 0 0 188791 479 0 0 20 0 46 0 177301145 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140724081043088 140065707032311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
/proc/32350/statm: 6969247 1866039 3874 1 0 6956440 0
[pid=32350/tid=32352] ppid=32347 vsize=27876988 memory=7463944 CPUtime=17.33 cores=0-7
/proc/32350/task/32352/stat : 32352 (java) S 32347 32350 30678 0 -1 1077944384 16496 0 0 0 1720 13 0 0 20 0 46 0 177301145 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065711270016 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32353] ppid=32347 vsize=27876988 memory=7463944 CPUtime=1.15 cores=0-7
/proc/32350/task/32353/stat : 32353 (java) S 32347 32350 30678 0 -1 1077944384 2533 0 0 0 91 24 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065663584656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32354] ppid=32347 vsize=27876988 memory=7441196 CPUtime=1.13 cores=0-7
/proc/32350/task/32354/stat : 32354 (java) S 32347 32350 30678 0 -1 1077944384 3014 0 0 0 90 23 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065263712528 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32355] ppid=32347 vsize=27876988 memory=7463944 CPUtime=1.18 cores=0-7
/proc/32350/task/32355/stat : 32355 (java) S 32347 32350 30678 0 -1 1077944384 2537 0 0 0 93 25 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065262660240 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32356] ppid=32347 vsize=27876988 memory=7463944 CPUtime=1.09 cores=0-7
/proc/32350/task/32356/stat : 32356 (java) S 32347 32350 30678 0 -1 1077944384 2486 0 0 0 87 22 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065261607440 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32357] ppid=32347 vsize=27876988 memory=7441196 CPUtime=1.13 cores=0-7
/proc/32350/task/32357/stat : 32357 (java) S 32347 32350 30678 0 -1 1077944384 5177 0 0 0 89 24 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065260555152 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32358] ppid=32347 vsize=27876988 memory=7441196 CPUtime=1.13 cores=0-7
/proc/32350/task/32358/stat : 32358 (java) S 32347 32350 30678 0 -1 1077944384 2723 0 0 0 89 24 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065259502352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32359] ppid=32347 vsize=27876988 memory=0 CPUtime=1.14 cores=0-7
/proc/32350/task/32359/stat : 32359 (java) S 32347 32350 30678 0 -1 1077944384 1767 0 0 0 91 23 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065258450064 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32360] ppid=32347 vsize=27876988 memory=0 CPUtime=1.14 cores=0-7
/proc/32350/task/32360/stat : 32360 (java) S 32347 32350 30678 0 -1 1077944384 2828 0 0 0 90 24 0 0 20 0 46 0 177301146 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140065257397264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32361] ppid=32347 vsize=27876988 memory=7307488862751314020 CPUtime=0.27 cores=0-7
/proc/32350/task/32361/stat : 32361 (java) R 32347 32350 30678 0 -1 4202560 15622 0 0 0 25 2 0 0 20 0 46 0 177301147 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064045635696 140065699749463 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32362] ppid=32347 vsize=27876988 memory=7307488862751314020 CPUtime=0 cores=0-7
/proc/32350/task/32362/stat : 32362 (java) S 32347 32350 30678 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 177301148 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064044581728 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32363] ppid=32347 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32350/task/32363/stat : 32363 (java) S 32347 32350 30678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 177301148 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064043529344 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32364] ppid=32347 vsize=27876988 memory=49252 CPUtime=0 cores=0-7
/proc/32350/task/32364/stat : 32364 (java) S 32347 32350 30678 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064042477296 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32365] ppid=32347 vsize=27876988 memory=1292 CPUtime=2.76 cores=0-7
/proc/32350/task/32365/stat : 32365 (java) S 32347 32350 30678 0 -1 1077944384 13465 0 0 0 273 3 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064041425520 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32366] ppid=32347 vsize=27876988 memory=7441428 CPUtime=2.83 cores=0-7
/proc/32350/task/32366/stat : 32366 (java) S 32347 32350 30678 0 -1 1077944384 10059 0 0 0 280 3 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064040372720 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32367] ppid=32347 vsize=27876988 memory=2204 CPUtime=2.82 cores=0-7
/proc/32350/task/32367/stat : 32367 (java) S 32347 32350 30678 0 -1 1077944384 9862 0 0 0 280 2 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064039320432 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32368] ppid=32347 vsize=27876988 memory=792 CPUtime=1.21 cores=0-7
/proc/32350/task/32368/stat : 32368 (java) S 32347 32350 30678 0 -1 1077944384 17045 0 0 0 118 3 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064038267632 140065707043458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32369] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0 cores=0-7
/proc/32350/task/32369/stat : 32369 (java) S 32347 32350 30678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 177301151 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064037214560 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32371] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0 cores=0-7
/proc/32350/task/32371/stat : 32371 (java) S 32347 32350 30678 0 -1 1077944384 600 0 0 0 0 0 0 0 20 0 46 0 177302877 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064025871264 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32372] ppid=32347 vsize=27876988 memory=10096 CPUtime=0.62 cores=0-7
/proc/32350/task/32372/stat : 32372 (java) R 32347 32350 30678 0 -1 1077944384 2150 0 0 0 22 40 0 0 20 0 46 0 177302889 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064022721456 140065707043458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32373] ppid=32347 vsize=27876988 memory=6791534058613427641 CPUtime=231.13 cores=0-7
/proc/32350/task/32373/stat : 32373 (java) S 32347 32350 30678 0 -1 1077944384 11404 0 0 0 23080 33 0 0 20 0 46 0 177302899 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064019565344 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32374] ppid=32347 vsize=27876988 memory=5788 CPUtime=232.16 cores=0-7
/proc/32350/task/32374/stat : 32374 (java) S 32347 32350 30678 0 -1 1077944384 10155 0 0 0 23183 33 0 0 20 0 46 0 177302900 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064018512544 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32375] ppid=32347 vsize=27876988 memory=1720 CPUtime=0.1 cores=0-7
/proc/32350/task/32375/stat : 32375 (java) S 32347 32350 30678 0 -1 1077944384 95 0 0 0 10 0 0 0 20 0 46 0 177302900 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064017466928 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32376] ppid=32347 vsize=27876988 memory=7264476 CPUtime=0 cores=0-7
/proc/32350/task/32376/stat : 32376 (java) S 32347 32350 30678 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 46 0 177302900 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064016414352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32377] ppid=32347 vsize=27876988 memory=7463944 CPUtime=232.11 cores=0-7
/proc/32350/task/32377/stat : 32377 (java) S 32347 32350 30678 0 -1 1077944384 9625 0 0 0 23182 29 0 0 20 0 46 0 177302902 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064015354656 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32378] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0.12 cores=0-7
/proc/32350/task/32378/stat : 32378 (java) S 32347 32350 30678 0 -1 1077944384 82 0 0 0 12 0 0 0 20 0 46 0 177302903 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064014308000 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32379] ppid=32347 vsize=27876988 memory=13571517741015468 CPUtime=232.72 cores=0-7
/proc/32350/task/32379/stat : 32379 (java) S 32347 32350 30678 0 -1 1077944384 12784 0 0 0 23228 44 0 0 20 0 46 0 177302903 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064013249248 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32380] ppid=32347 vsize=27876988 memory=932 CPUtime=232.51 cores=0-7
/proc/32350/task/32380/stat : 32380 (java) S 32347 32350 30678 0 -1 1077944384 8703 0 0 0 23225 26 0 0 20 0 46 0 177302903 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064012196768 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32381] ppid=32347 vsize=27876988 memory=1580 CPUtime=0.13 cores=0-7
/proc/32350/task/32381/stat : 32381 (java) S 32347 32350 30678 0 -1 1077944384 372 0 0 0 12 1 0 0 20 0 46 0 177302903 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064011150864 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32382] ppid=32347 vsize=27876988 memory=49252 CPUtime=232.5 cores=0-7
/proc/32350/task/32382/stat : 32382 (java) S 32347 32350 30678 0 -1 1077944384 11612 0 0 0 23220 30 0 0 20 0 46 0 177302903 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064010091168 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32383] ppid=32347 vsize=27876988 memory=1292 CPUtime=230.49 cores=0-7
/proc/32350/task/32383/stat : 32383 (java) S 32347 32350 30678 0 -1 1077944384 9357 0 0 0 23024 25 0 0 20 0 46 0 177302949 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064009039072 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32384] ppid=32347 vsize=27876988 memory=2428 CPUtime=231.36 cores=0-7
/proc/32350/task/32384/stat : 32384 (java) S 32347 32350 30678 0 -1 1077944384 10687 0 0 0 23108 28 0 0 20 0 46 0 177302950 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064007986272 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32385] ppid=32347 vsize=27876988 memory=1840 CPUtime=0 cores=0-7
/proc/32350/task/32385/stat : 32385 (java) S 32347 32350 30678 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 46 0 177302950 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064006939664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32386] ppid=32347 vsize=27876988 memory=792 CPUtime=0 cores=0-7
/proc/32350/task/32386/stat : 32386 (java) S 32347 32350 30678 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 46 0 177302950 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064005886864 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32387] ppid=32347 vsize=27876988 memory=7441196 CPUtime=0 cores=0-7
/proc/32350/task/32387/stat : 32387 (java) S 32347 32350 30678 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 177302950 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064004834352 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32388] ppid=32347 vsize=27876988 memory=7441196 CPUtime=0 cores=0-7
/proc/32350/task/32388/stat : 32388 (java) S 32347 32350 30678 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 177302950 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064003781664 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32389] ppid=32347 vsize=27876988 memory=7282988 CPUtime=0 cores=0-7
/proc/32350/task/32389/stat : 32389 (java) S 32347 32350 30678 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 46 0 177302986 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140064000595472 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32390] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0 cores=0-7
/proc/32350/task/32390/stat : 32390 (java) S 32347 32350 30678 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 177302986 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140063999542672 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32391] ppid=32347 vsize=27876988 memory=7441428 CPUtime=0 cores=0-7
/proc/32350/task/32391/stat : 32391 (java) S 32347 32350 30678 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 46 0 177302987 28546035712 1866039 33554432000 4194304 4196468 140724081060544 140063998490384 140065707042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32392] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0 cores=0-7
/proc/32350/task/32392/stat : 32392 (java) S 32347 32350 30678 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 46 0 177302987 28546035712 1866042 33554432000 4194304 4196468 140724081060544 140063997437584 140065707042517 256 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32393] ppid=32347 vsize=27876988 memory=7463944 CPUtime=0 cores=0-7
/proc/32350/task/32393/stat : 32393 (java) R 32347 32350 30678 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 44 0 177302987 28546035712 1866082 33554432000 4194304 4196468 140724081060544 140063996384272 140065707042517 256 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32394] ppid=32347 vsize=27876988 memory=4144 CPUtime=0 cores=0-7
/proc/32350/task/32394/stat : 32394 (java) R 32347 32350 30678 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 36 0 177302987 28546035712 1866149 33554432000 4194304 4196468 140724081060544 140063995331472 140065707042517 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32395] ppid=32347 vsize=27876988 memory=49252 CPUtime=0 cores=0-7
/proc/32350/task/32395/stat : 32395 (java) R 32347 32350 30678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 27 0 177303041 28546035712 1866184 33554432000 4194304 4196468 140724081060544 140063994278960 140065707042517 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140724081063016 140724081063200 140724081063200 140724081065935 0
[pid=32350/tid=32396] ppid=0 vsize=0 memory=4144 CPUtime=0 cores=0-7
/proc/32350/task/32396/stat : 32396 (java) X 0 -1 -1 0 -1 4228172 140 0 0 0 0 0 0 0 20 0 0 0 177303044 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 1892.7 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 7464156 KiB

Child status: 143
Real time (s): 252.162
CPU time (s): 1892.75
CPU user time (s): 1887.92
CPU system time (s): 4.83614
CPU usage (%): 750.609
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 7464156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1887.92
system time used= 4.83615
maximum resident set size= 7465068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36645
involuntary context switches= 40533


# summary of solver processes directly reported to runsolver:
#   pid: 32350
#   total CPU time (s): 1892.75
#   total CPU user time (s): 1887.92
#   total CPU system time (s): 4.83614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.8688 second user time and 3.37989 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-23 00:35:44
IDJOB=4286052
IDBENCH=124454
IDSOLVER=2682
FILE ID=node151/4286052-1503442205
RUNJOBID= node151-1503424483-30705
PBS_JOBID= 20632133
Free space on /tmp= 61680 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n78-k10.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4286052-1503442205/watcher-4286052-1503442205 -o /tmp/evaluation-result-4286052-1503442205/solver-4286052-1503442205 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503424483-30705 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 879256376 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4286052-1503442205.xml

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

MD5SUM BENCH= 7c96a44e638c86f7d39463bcb8517eb1
RANDOM SEED=879256376

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24055948 kB
MemAvailable:   31957424 kB
Buffers:          334924 kB
Cached:          7862284 kB
SwapCached:            0 kB
Active:          2012328 kB
Inactive:        6238236 kB
Active(anon):      45532 kB
Inactive(anon):    52508 kB
Active(file):    1966796 kB
Inactive(file):  6185728 kB
Unevictable:        7512 kB
Mlocked:            7512 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42668 kB
Writeback:             0 kB
AnonPages:        103996 kB
Mapped:            55180 kB
Shmem:             41608 kB
Slab:             156668 kB
SReclaimable:     129576 kB
SUnreclaim:        27092 kB
KernelStack:        3360 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61640 MiB
End job on node151 at 2017-08-23 00:39:56