Trace number 4285833

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)5664 1973.3 252.19299

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-096.xml
MD5SUM5bf1605d7392d1261526feabe1cfbecc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1300
Best CPU time to get the best result obtained on this benchmark251.91901
Satisfiable
(Un)Satisfiability was proved
Number of variables9311
Number of constraints4750
Number of domains191
Minimum domain size2
Maximum domain size191
Distribution of domain sizes[{"size":2,"count":4657},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}]
Minimum variable degree0
Maximum variable degree95
Distribution of variable degrees[{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}]
Minimum constraint arity2
Maximum constraint arity96
Distribution of constraint arities[{"arity":2,"count":96},{"arity":3,"count":4561},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}]
Number of extensional constraints0
Number of intensional constraints4655
Distribution of constraint types[{"type":"intension","count":4655},{"type":"sum","count":95}]
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.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1096459932
0.30/0.25	c timeout: 2016
0.30/0.26	c memlimit: 22000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
3.74/1.21	c Parsing done, starting search...
23.92/7.68	o 221268
23.92/7.68	o 201184
23.92/7.69	o 125580
23.92/7.70	o 112296
24.65/7.70	o 112056
24.65/7.71	o 99916
24.65/7.72	o 99548
24.65/7.74	o 88400
24.65/7.77	o 78164
24.65/7.78	o 77948
24.65/7.79	o 68760
25.38/7.82	o 68744
25.38/7.85	o 68640
25.38/7.85	o 68512
25.38/7.85	o 60268
26.15/7.91	o 59108
26.15/7.92	o 53208
26.15/7.95	o 52160
26.15/7.96	o 51944
26.15/7.98	o 51680
26.15/7.99	o 46564
26.15/8.01	o 45836
27.08/8.03	o 45716
27.08/8.05	o 40640
27.08/8.08	o 40544
27.08/8.08	o 39928
27.80/8.11	o 35436
27.80/8.16	o 34988
27.80/8.18	o 34892
28.54/8.22	o 34420
28.54/8.22	o 34404
29.31/8.31	o 30632
29.31/8.37	o 30496
30.11/8.45	o 29776
30.11/8.47	o 26780
30.91/8.56	o 26700
30.91/8.57	o 26004
32.51/8.76	o 23280
33.30/8.82	o 23136
34.15/8.98	o 23032
35.06/9.04	o 22960
35.06/9.11	o 22472
35.86/9.13	o 20604
38.08/9.48	o 20140
38.87/9.54	o 19940
42.04/9.94	o 19836
42.04/9.94	o 17808
45.99/10.43	o 17608
49.18/10.86	o 17472
49.98/10.92	o 17128
50.84/11.09	o 17112
50.84/11.10	o 15300
62.73/12.59	o 15268
63.55/12.66	o 15044
65.92/12.93	o 15012
68.35/13.27	o 14284
77.85/14.50	o 13360
80.24/14.78	o 12872
86.66/15.58	o 12304
103.35/17.69	o 11468
111.31/18.69	o 11356
121.69/20.00	o 10876
125.67/20.47	o 10296
148.01/23.21	o 9520
181.52/27.48	o 9376
182.26/27.52	o 8908
231.69/33.72	o 8780
233.24/34.01	o 8524
270.70/38.63	o 8284
293.03/41.52	o 7868
376.71/51.90	o 7624
565.67/75.60	o 7344
576.90/77.06	o 7152
582.42/77.80	o 7008
582.42/77.80	o 6876
1001.04/130.27	o 6836
1141.37/147.81	o 6792
1160.51/150.23	o 6404
1386.97/178.63	o 6364
1425.24/183.43	o 6340
1431.62/184.27	o 6004
1433.22/184.41	o 5988
1433.22/184.43	o 5664
1972.33/252.08	s SATISFIABLE
1972.33/252.11	v <instantiation>
1972.33/252.11	v 	<list>
1972.33/252.11	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94]
1972.33/252.11	v 	</list>
1972.33/252.11	v 	<values>
1972.33/252.11	v 		1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 19 14 13 12 3 2 9 4 13 14 13 12 -1 14 23 6 7 4 -5 8 1 6 -7 14 1 6 -1 6 13 -2 11 4 -3 -8 -3 -6 -13 4 1 4 1 -4 -1 -4 -7 4 -1 0 1 4 3 -4 5 0 11 8 3 12 5 10 11 8 -1 4 5 6 7 10 9 10 11 6 7 2 7 8 9 4 5 6 5 6 5 4 3 6 7 8 7 6 5 4 3 2 1 361 196 169 144 9 4 81 16 169 196 169 144 1 196 529 36 49 16 25 64 1 36 49 196 1 36 1 36 169 4 121 16 9 64 9 36 169 16 1 16 1 16 1 16 49 16 1 0 1 16 9 16 25 0 121 64 9 144 25 100 121 64 1 16 25 36 49 100 81 100 121 36 49 4 49 64 81 16 25 36 25 36 25 16 9 36 49 64 49 36 25 16 9 4 1 
1972.33/252.11	v 	</values>
1972.33/252.11	v </instantiation>

Verifier Data 

OK	5664

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285833-1503449363/watcher-4285833-1503449363 -o /tmp/evaluation-result-4285833-1503449363/solver-4285833-1503449363 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503438312-8174 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1096459932 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285833-1503449363.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10202, runsolver pid=10199

[startup+0.100116 s]*
/proc/loadavg: 6.86 8.24 8.55 2/198 10222
/proc/meminfo: memFree=23532376/32770624 swapFree=67108860/67108860
[pid=10202] ppid=10199 vsize=26000852 memory=32964 CPUtime=0.12 cores=0-7
/proc/10202/stat : 10202 (java) S 10199 10202 8147 0 -1 1077944320 8635 0 0 0 10 2 0 0 20 0 20 0 178017063 26624872448 8241 33554432000 4194304 4196468 140725044355712 140725044338256 139930210320119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
/proc/10202/statm: 6500213 8241 3392 1 0 6487932 0
[pid=10202/tid=10204] ppid=10199 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10202/task/10204/stat : 10204 (java) R 10199 10202 8147 0 -1 4202560 6586 0 0 0 8 1 0 0 20 0 20 0 178017064 26624872448 8241 33554432000 4194304 4196468 140725044355712 139930214536816 139930194400606 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10205] ppid=10199 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10202/task/10205/stat : 10205 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929768709008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10206] ppid=10199 vsize=26000852 memory=139839220475520 CPUtime=0 cores=0-7
/proc/10202/task/10206/stat : 10206 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929767656208 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10207] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10207/stat : 10207 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929766603920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10208] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10208/stat : 10208 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929765551120 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10209] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10209/stat : 10209 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929764497808 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10210] ppid=10199 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10210/stat : 10210 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929763445008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10211] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10211/stat : 10211 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929762392720 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10212] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10212/stat : 10212 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 8241 33554432000 4194304 4196468 140725044355712 139929761339920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10213] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10213/stat : 10213 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017066 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928617843312 139930210331266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10214] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10214/stat : 10214 (java) S 10199 10202 8147 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178017066 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928616789280 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10215] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10215/stat : 10215 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178017067 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928615736944 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10216] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10216/stat : 10216 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928614685264 139930210338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10217] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10217/stat : 10217 (java) S 10199 10202 8147 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928613632112 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10218] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10218/stat : 10218 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928612579312 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10219] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10219/stat : 10219 (java) S 10199 10202 8147 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928611527024 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10220] ppid=10199 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/10202/task/10220/stat : 10220 (java) R 10199 10202 8147 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928610474224 139930210331266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10221] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10221/stat : 10221 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928609422176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10222] ppid=10199 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10222/stat : 10222 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017070 26624872448 8241 33554432000 4194304 4196468 140725044355712 139928608369456 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32964 KiB

[startup+0.21039 s]*
/proc/loadavg: 6.86 8.24 8.55 3/198 10222
/proc/meminfo: memFree=23522636/32770624 swapFree=67108860/67108860
[pid=10202] ppid=10199 vsize=26000852 memory=42112 CPUtime=0.3 cores=0-7
/proc/10202/stat : 10202 (java) S 10199 10202 8147 0 -1 1077944320 9647 0 0 0 27 3 0 0 20 0 20 0 178017063 26624872448 10528 33554432000 4194304 4196468 140725044355712 140725044338256 139930210320119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
/proc/10202/statm: 6500213 10528 3627 1 0 6487932 0
[pid=10202/tid=10204] ppid=10199 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/10202/task/10204/stat : 10204 (java) R 10199 10202 8147 0 -1 4202560 7213 0 0 0 18 2 0 0 20 0 20 0 178017064 26624872448 10528 33554432000 4194304 4196468 140725044355712 139930214542160 139930194400636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10205] ppid=10199 vsize=26000852 memory=13941 CPUtime=0 cores=0-7
/proc/10202/task/10205/stat : 10205 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929768709008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10206] ppid=10199 vsize=26000852 memory=139839220484355 CPUtime=0 cores=0-7
/proc/10202/task/10206/stat : 10206 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929767656208 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10207] ppid=10199 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10207/stat : 10207 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929766603920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10208] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10208/stat : 10208 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929765551120 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10209] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10209/stat : 10209 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929764497808 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10210] ppid=10199 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10210/stat : 10210 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929763445008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10211] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10211/stat : 10211 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929762392720 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10212] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10212/stat : 10212 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017065 26624872448 10528 33554432000 4194304 4196468 140725044355712 139929761339920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10213] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10213/stat : 10213 (java) S 10199 10202 8147 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178017066 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928617843312 139930210331266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10214] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10214/stat : 10214 (java) S 10199 10202 8147 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178017066 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928616789280 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10215] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10215/stat : 10215 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178017067 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928615736944 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10216] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10216/stat : 10216 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928614685264 139930210338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10217] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10217/stat : 10217 (java) S 10199 10202 8147 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928613632112 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10218] ppid=10199 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10202/task/10218/stat : 10218 (java) S 10199 10202 8147 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928612579312 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10219] ppid=10199 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10202/task/10219/stat : 10219 (java) S 10199 10202 8147 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928611527024 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10220] ppid=10199 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/10202/task/10220/stat : 10220 (java) S 10199 10202 8147 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928610474224 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10221] ppid=10199 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10221/stat : 10221 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017069 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928609422176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10222] ppid=10199 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10222/stat : 10222 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017070 26624872448 10528 33554432000 4194304 4196468 140725044355712 139928608369456 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42112 KiB

[startup+0.309721 s]*
/proc/loadavg: 6.86 8.24 8.55 2/198 10222
/proc/meminfo: memFree=23515068/32770624 swapFree=67108860/67108860
[pid=10202] ppid=10199 vsize=26000872 memory=49248 CPUtime=0.48 cores=0-7
/proc/10202/stat : 10202 (java) S 10199 10202 8147 0 -1 1077944320 10599 0 0 0 45 3 0 0 20 0 20 0 178017063 26624892928 12312 33554432000 4194304 4196468 140725044355712 140725044338256 139930210320119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
/proc/10202/statm: 6500218 12312 3699 1 0 6487932 0
[pid=10202/tid=10204] ppid=10199 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10202/task/10204/stat : 10204 (java) R 10199 10202 8147 0 -1 4202560 7782 0 0 0 27 2 0 0 20 0 20 0 178017064 26624892928 12312 33554432000 4194304 4196468 140725044355712 139930214550192 139930194363749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10205] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10205/stat : 10205 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929768709008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10206] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10206/stat : 10206 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929767656208 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10207] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10207/stat : 10207 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929766603920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10208] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10208/stat : 10208 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929765551120 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10209] ppid=10199 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/10202/task/10209/stat : 10209 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929764497808 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10210] ppid=10199 vsize=26000872 memory=139839102088111 CPUtime=0 cores=0-7
/proc/10202/task/10210/stat : 10210 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929763445008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10211] ppid=10199 vsize=26000872 memory=139839102090416 CPUtime=0 cores=0-7
/proc/10202/task/10211/stat : 10211 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929762392720 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10212] ppid=10199 vsize=26000872 memory=139839102092720 CPUtime=0 cores=0-7
/proc/10202/task/10212/stat : 10212 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017065 26624892928 12312 33554432000 4194304 4196468 140725044355712 139929761339920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10213] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10213/stat : 10213 (java) S 10199 10202 8147 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178017066 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928617843312 139930210331266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10214] ppid=10199 vsize=26000872 memory=279678204192400 CPUtime=0 cores=0-7
/proc/10202/task/10214/stat : 10214 (java) S 10199 10202 8147 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178017066 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928616789280 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10215] ppid=10199 vsize=26000872 memory=279678204199312 CPUtime=0 cores=0-7
/proc/10202/task/10215/stat : 10215 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178017067 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928615736944 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10216] ppid=10199 vsize=26000872 memory=279678204140592 CPUtime=0 cores=0-7
/proc/10202/task/10216/stat : 10216 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928614685264 139930210338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10217] ppid=10199 vsize=26000872 memory=279678204213136 CPUtime=0.03 cores=0-7
/proc/10202/task/10217/stat : 10217 (java) S 10199 10202 8147 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928613632112 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10218] ppid=10199 vsize=26000872 memory=279678204220048 CPUtime=0.02 cores=0-7
/proc/10202/task/10218/stat : 10218 (java) S 10199 10202 8147 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928612579312 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10219] ppid=10199 vsize=26000872 memory=279678204217744 CPUtime=0.03 cores=0-7
/proc/10202/task/10219/stat : 10219 (java) S 10199 10202 8147 0 -1 1077944384 605 0 0 0 3 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928611527024 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10220] ppid=10199 vsize=26000872 memory=279678204234352 CPUtime=0.08 cores=0-7
/proc/10202/task/10220/stat : 10220 (java) S 10199 10202 8147 0 -1 1077944384 427 0 0 0 8 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928610474224 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10221] ppid=10199 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10221/stat : 10221 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017069 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928609422176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10222] ppid=10199 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/10202/task/10222/stat : 10222 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017070 26624892928 12312 33554432000 4194304 4196468 140725044355712 139928608369456 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49248 KiB

[startup+0.700912 s]
/proc/loadavg: 6.47 8.14 8.51 5/198 10222
/proc/meminfo: memFree=23496952/32770624 swapFree=67108860/67108860
[pid=10202] ppid=10199 vsize=26002920 memory=117608 CPUtime=1.76 cores=0-7
/proc/10202/stat : 10202 (java) S 10199 10202 8147 0 -1 1077944320 15928 0 0 0 171 5 0 0 20 0 20 0 178017063 26626990080 29402 33554432000 4194304 4196468 140725044355712 140725044338256 139930210320119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
/proc/10202/statm: 6500730 29402 3781 1 0 6488444 0
[pid=10202/tid=10204] ppid=10199 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/10202/task/10204/stat : 10204 (java) R 10199 10202 8147 0 -1 4202560 8547 0 0 0 64 3 0 0 20 0 20 0 178017064 26626990080 29402 33554432000 4194304 4196468 140725044355712 139930214552880 139930194363749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10205] ppid=10199 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10205/stat : 10205 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929768709008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10206] ppid=10199 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10206/stat : 10206 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929767656208 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10207] ppid=10199 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10202/task/10207/stat : 10207 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929766603920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10208] ppid=10199 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/10202/task/10208/stat : 10208 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929765551120 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10209] ppid=10199 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/10202/task/10209/stat : 10209 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929764497808 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10210] ppid=10199 vsize=26002920 memory=1728 CPUtime=0 cores=0-7
/proc/10202/task/10210/stat : 10210 (java) S 10199 10202 8147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929763445008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10211] ppid=10199 vsize=26002920 memory=1440 CPUtime=0 cores=0-7
/proc/10202/task/10211/stat : 10211 (java) S 10199 10202 8147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929762392720 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10212] ppid=10199 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/10202/task/10212/stat : 10212 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178017065 26626990080 29402 33554432000 4194304 4196468 140725044355712 139929761339920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10213] ppid=10199 vsize=26002920 memory=16244 CPUtime=0 cores=0-7
/proc/10202/task/10213/stat : 10213 (java) S 10199 10202 8147 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178017066 26626990080 29402 33554432000 4194304 4196468 140725044355712 139928617843312 139930210331266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0

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

/proc/10202/task/10226/stat : 10226 (java) R 10199 10202 8147 0 -1 4202560 8201 0 0 0 24356 29 0 0 20 0 46 0 178017669 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928590720072 139929851831337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10227] ppid=10199 vsize=27745908 memory=279678205213632 CPUtime=0.66 cores=0-7
/proc/10202/task/10227/stat : 10227 (java) S 10199 10202 8147 0 -1 1077944384 353 0 0 0 65 1 0 0 20 0 46 0 178017669 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928589673744 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10228] ppid=10199 vsize=27745908 memory=4116 CPUtime=244.89 cores=0-7
/proc/10202/task/10228/stat : 10228 (java) R 10199 10202 8147 0 -1 4202560 7361 0 0 0 24469 20 0 0 20 0 46 0 178017671 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928588614168 139929854757488 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10229] ppid=10199 vsize=27745908 memory=4096 CPUtime=244.63 cores=0-7
/proc/10202/task/10229/stat : 10229 (java) R 10199 10202 8147 0 -1 4202560 7152 0 0 0 24439 24 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928587561904 139929859355226 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10230] ppid=10199 vsize=27745908 memory=1156 CPUtime=244.13 cores=0-7
/proc/10202/task/10230/stat : 10230 (java) R 10199 10202 8147 0 -1 4202560 8371 0 0 0 24390 23 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928586509272 139929854757512 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10231] ppid=10199 vsize=27745908 memory=15880 CPUtime=0.69 cores=0-7
/proc/10202/task/10231/stat : 10231 (java) S 10199 10202 8147 0 -1 1077944384 220 0 0 0 68 1 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928585463568 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10232] ppid=10199 vsize=27745908 memory=16244 CPUtime=0.69 cores=0-7
/proc/10202/task/10232/stat : 10232 (java) S 10199 10202 8147 0 -1 1077944384 79 0 0 0 68 1 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928584410544 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10233] ppid=10199 vsize=27745908 memory=7649576 CPUtime=0.65 cores=0-7
/proc/10202/task/10233/stat : 10233 (java) S 10199 10202 8147 0 -1 1077944384 79 0 0 0 64 1 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928583357360 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10234] ppid=10199 vsize=27745908 memory=4044 CPUtime=244.19 cores=0-7
/proc/10202/task/10234/stat : 10234 (java) R 10199 10202 8147 0 -1 4202560 9947 0 0 0 24398 21 0 0 20 0 46 0 178017672 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928582298136 139929859353244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10235] ppid=10199 vsize=27745908 memory=7649576 CPUtime=243.16 cores=0-7
/proc/10202/task/10235/stat : 10235 (java) R 10199 10202 8147 0 -1 4202560 7989 0 0 0 24288 28 0 0 20 0 46 0 178017784 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928581245672 139929852352957 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10236] ppid=10199 vsize=27745908 memory=636 CPUtime=0 cores=0-7
/proc/10202/task/10236/stat : 10236 (java) S 10199 10202 8147 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 46 0 178017784 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928580199568 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10237] ppid=10199 vsize=27745908 memory=1236 CPUtime=241.14 cores=0-7
/proc/10202/task/10237/stat : 10237 (java) R 10199 10202 8147 0 -1 4202560 6987 0 0 0 24086 28 0 0 20 0 46 0 178017784 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928579141320 139929855128875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10238] ppid=10199 vsize=27745908 memory=960 CPUtime=0 cores=0-7
/proc/10202/task/10238/stat : 10238 (java) S 10199 10202 8147 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 178017832 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928575960368 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10239] ppid=10199 vsize=27745908 memory=2240 CPUtime=0 cores=0-7
/proc/10202/task/10239/stat : 10239 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928574907952 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10240] ppid=10199 vsize=27745908 memory=2464 CPUtime=0 cores=0-7
/proc/10202/task/10240/stat : 10240 (java) S 10199 10202 8147 0 -1 1077944384 532 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928573855376 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10241] ppid=10199 vsize=27745908 memory=4080 CPUtime=0 cores=0-7
/proc/10202/task/10241/stat : 10241 (java) S 10199 10202 8147 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928572802064 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10242] ppid=10199 vsize=27745908 memory=932 CPUtime=0 cores=0-7
/proc/10202/task/10242/stat : 10242 (java) S 10199 10202 8147 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928571749264 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10243] ppid=10199 vsize=27745908 memory=1584 CPUtime=0 cores=0-7
/proc/10202/task/10243/stat : 10243 (java) S 10199 10202 8147 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928570696976 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10244] ppid=10199 vsize=27745908 memory=2196 CPUtime=0 cores=0-7
/proc/10202/task/10244/stat : 10244 (java) S 10199 10202 8147 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 46 0 178017833 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928569644176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10245] ppid=10199 vsize=27745908 memory=932 CPUtime=0 cores=0-7
/proc/10202/task/10245/stat : 10245 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 178017834 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928568591792 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10246] ppid=10199 vsize=27745908 memory=1584 CPUtime=0 cores=0-7
/proc/10202/task/10246/stat : 10246 (java) S 10199 10202 8147 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 178017834 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928567539088 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10247] ppid=10199 vsize=27745908 memory=2196 CPUtime=0 cores=0-7
/proc/10202/task/10247/stat : 10247 (java) S 10199 10202 8147 0 -1 1077944384 520 0 0 0 0 0 0 0 20 0 46 0 178017834 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928566486800 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10248] ppid=10199 vsize=27745908 memory=8052 CPUtime=0 cores=0-7
/proc/10202/task/10248/stat : 10248 (java) S 10199 10202 8147 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 46 0 178017834 28411809792 1912394 33554432000 4194304 4196468 140725044355712 139928565434000 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
Current children cumulated CPU time: 1972.33 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 7649576 KiB

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

[startup+252.193 s]
# the end of solver process 10202 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1969.76 s, system=3.54379 s

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

[startup+252.123 s]
/proc/loadavg: 8.35 8.26 8.47 9/224 10248
/proc/meminfo: memFree=15902948/32770624 swapFree=67108860/67108860
[pid=10202] ppid=10199 vsize=27879036 memory=7649796 CPUtime=1973.2 cores=0-7
/proc/10202/stat : 10202 (java) S 10199 10202 8147 0 -1 1077944320 157781 0 0 0 196972 348 0 0 20 0 47 0 178017063 28548132864 1912449 33554432000 4194304 4196468 140725044355712 140725044338256 139930210320119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
/proc/10202/statm: 6969759 1912449 3878 1 0 6956952 0
[pid=10202/tid=10204] ppid=10199 vsize=27879036 memory=7649576 CPUtime=5.63 cores=0-7
/proc/10202/task/10204/stat : 10204 (java) S 10199 10202 8147 0 -1 1077944384 14912 0 0 0 550 13 0 0 20 0 47 0 178017064 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139930214557824 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10205] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0.39 cores=0-7
/proc/10202/task/10205/stat : 10205 (java) S 10199 10202 8147 0 -1 1077944384 2467 0 0 0 26 13 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929768709008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10206] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0.41 cores=0-7
/proc/10202/task/10206/stat : 10206 (java) S 10199 10202 8147 0 -1 1077944384 2345 0 0 0 27 14 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929767656208 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10207] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0.41 cores=0-7
/proc/10202/task/10207/stat : 10207 (java) S 10199 10202 8147 0 -1 1077944384 3685 0 0 0 28 13 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929766603920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10208] ppid=10199 vsize=27879036 memory=0 CPUtime=0.42 cores=0-7
/proc/10202/task/10208/stat : 10208 (java) S 10199 10202 8147 0 -1 1077944384 1257 0 0 0 28 14 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929765551120 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10209] ppid=10199 vsize=27879036 memory=0 CPUtime=0.42 cores=0-7
/proc/10202/task/10209/stat : 10209 (java) S 10199 10202 8147 0 -1 1077944384 1029 0 0 0 28 14 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929764497808 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10210] ppid=10199 vsize=27879036 memory=7463024 CPUtime=0.41 cores=0-7
/proc/10202/task/10210/stat : 10210 (java) S 10199 10202 8147 0 -1 1077944384 1359 0 0 0 28 13 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929763445008 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10211] ppid=10199 vsize=27879036 memory=279678205975264 CPUtime=0.41 cores=0-7
/proc/10202/task/10211/stat : 10211 (java) S 10199 10202 8147 0 -1 1077944384 1639 0 0 0 28 13 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929762392720 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10212] ppid=10199 vsize=27879036 memory=1952 CPUtime=0.41 cores=0-7
/proc/10202/task/10212/stat : 10212 (java) S 10199 10202 8147 0 -1 1077944384 1650 0 0 0 28 13 0 0 20 0 47 0 178017065 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139929761339920 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10213] ppid=10199 vsize=27879036 memory=225 CPUtime=0.09 cores=0-7
/proc/10202/task/10213/stat : 10213 (java) S 10199 10202 8147 0 -1 1077944384 7927 0 0 0 7 2 0 0 20 0 47 0 178017066 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928617843312 139930210331266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10214] ppid=10199 vsize=27879036 memory=-9001734043636558696 CPUtime=0 cores=0-7
/proc/10202/task/10214/stat : 10214 (java) S 10199 10202 8147 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 47 0 178017066 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928616789344 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10215] ppid=10199 vsize=27879036 memory=7393092 CPUtime=0 cores=0-7
/proc/10202/task/10215/stat : 10215 (java) S 10199 10202 8147 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 47 0 178017067 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928615736960 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10216] ppid=10199 vsize=27879036 memory=1792 CPUtime=0 cores=0-7
/proc/10202/task/10216/stat : 10216 (java) S 10199 10202 8147 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928614685264 139930210338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10217] ppid=10199 vsize=27879036 memory=164 CPUtime=3.27 cores=0-7
/proc/10202/task/10217/stat : 10217 (java) R 10199 10202 8147 0 -1 4202560 10400 0 0 0 325 2 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928613632408 139930191020416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10218] ppid=10199 vsize=27879036 memory=7450453953174857574 CPUtime=2.74 cores=0-7
/proc/10202/task/10218/stat : 10218 (java) S 10199 10202 8147 0 -1 1077944384 9609 0 0 0 272 2 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928612579312 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10219] ppid=10199 vsize=27879036 memory=6791534058613427641 CPUtime=2.89 cores=0-7
/proc/10202/task/10219/stat : 10219 (java) R 10199 10202 8147 0 -1 4202560 10157 0 0 0 286 3 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928611527320 139930191863842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10220] ppid=10199 vsize=27879036 memory=4616 CPUtime=1.32 cores=0-7
/proc/10202/task/10220/stat : 10220 (java) S 10199 10202 8147 0 -1 1077944384 12070 0 0 0 128 4 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928610474224 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10221] ppid=10199 vsize=27879036 memory=1952 CPUtime=0 cores=0-7
/proc/10202/task/10221/stat : 10221 (java) S 10199 10202 8147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 178017069 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928609422176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10222] ppid=10199 vsize=27879036 memory=5796 CPUtime=0.1 cores=0-7
/proc/10202/task/10222/stat : 10222 (java) R 10199 10202 8147 0 -1 1077944384 869 0 0 0 5 5 0 0 20 0 47 0 178017070 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928608369456 139930210331266 0 4 0 16800975 0 0 0 -1 3 0 0 50 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10223] ppid=10199 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10202/task/10223/stat : 10223 (java) S 10199 10202 8147 0 -1 1077944384 877 0 0 0 0 0 0 0 20 0 47 0 178017646 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928595981728 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10224] ppid=10199 vsize=27879036 memory=1440 CPUtime=0.7 cores=0-7
/proc/10202/task/10224/stat : 10224 (java) S 10199 10202 8147 0 -1 1077944384 2412 0 0 0 35 35 0 0 20 0 47 0 178017658 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928594929072 139930210331266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10225] ppid=10199 vsize=27879036 memory=15880 CPUtime=243.42 cores=0-7
/proc/10202/task/10225/stat : 10225 (java) R 10199 10202 8147 0 -1 4202560 11791 0 0 0 24315 27 0 0 20 0 47 0 178017668 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928591774160 139929852353386 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10226] ppid=10199 vsize=27879036 memory=6009172 CPUtime=243.95 cores=0-7
/proc/10202/task/10226/stat : 10226 (java) R 10199 10202 8147 0 -1 4202560 8205 0 0 0 24366 29 0 0 20 0 47 0 178017669 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928590719944 139929851872888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10227] ppid=10199 vsize=27879036 memory=2196 CPUtime=0.66 cores=0-7
/proc/10202/task/10227/stat : 10227 (java) S 10199 10202 8147 0 -1 1077944384 353 0 0 0 65 1 0 0 20 0 47 0 178017669 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928589673744 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10228] ppid=10199 vsize=27879036 memory=7265620 CPUtime=245.01 cores=0-7
/proc/10202/task/10228/stat : 10228 (java) R 10199 10202 8147 0 -1 4202560 7364 0 0 0 24481 20 0 0 20 0 47 0 178017671 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928588614096 139929854757220 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10229] ppid=10199 vsize=27879036 memory=7463024 CPUtime=244.74 cores=0-7
/proc/10202/task/10229/stat : 10229 (java) R 10199 10202 8147 0 -1 4202560 7156 0 0 0 24450 24 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928587562152 139929855128875 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10230] ppid=10199 vsize=27879036 memory=7463024 CPUtime=244.24 cores=0-7
/proc/10202/task/10230/stat : 10230 (java) R 10199 10202 8147 0 -1 4202560 8373 0 0 0 24401 23 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928586509768 139929858451380 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10231] ppid=10199 vsize=27879036 memory=4616 CPUtime=0.69 cores=0-7
/proc/10202/task/10231/stat : 10231 (java) S 10199 10202 8147 0 -1 1077944384 220 0 0 0 68 1 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928585463568 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10232] ppid=10199 vsize=27879036 memory=2240 CPUtime=0.69 cores=0-7
/proc/10202/task/10232/stat : 10232 (java) S 10199 10202 8147 0 -1 1077944384 79 0 0 0 68 1 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928584410544 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10233] ppid=10199 vsize=27879036 memory=2464 CPUtime=0.65 cores=0-7
/proc/10202/task/10233/stat : 10233 (java) S 10199 10202 8147 0 -1 1077944384 79 0 0 0 64 1 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928583357360 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10234] ppid=10199 vsize=27879036 memory=4080 CPUtime=244.3 cores=0-7
/proc/10202/task/10234/stat : 10234 (java) R 10199 10202 8147 0 -1 4202560 9950 0 0 0 24409 21 0 0 20 0 47 0 178017672 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928582300232 139929855128875 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10235] ppid=10199 vsize=27879036 memory=7649576 CPUtime=243.27 cores=0-7
/proc/10202/task/10235/stat : 10235 (java) R 10199 10202 8147 0 -1 4202560 7991 0 0 0 24299 28 0 0 20 0 47 0 178017784 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928581246472 139929859353662 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10236] ppid=10199 vsize=27879036 memory=2428 CPUtime=0 cores=0-7
/proc/10202/task/10236/stat : 10236 (java) S 10199 10202 8147 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 47 0 178017784 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928580199568 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10237] ppid=10199 vsize=27879036 memory=7649576 CPUtime=241.23 cores=0-7
/proc/10202/task/10237/stat : 10237 (java) R 10199 10202 8147 0 -1 4202560 6990 0 0 0 24095 28 0 0 20 0 47 0 178017784 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928579140776 139929858451375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10238] ppid=10199 vsize=27879036 memory=1292 CPUtime=0 cores=0-7
/proc/10202/task/10238/stat : 10238 (java) S 10199 10202 8147 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 47 0 178017832 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928575960368 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10239] ppid=10199 vsize=27879036 memory=1728 CPUtime=0 cores=0-7
/proc/10202/task/10239/stat : 10239 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928574907952 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10240] ppid=10199 vsize=27879036 memory=12136 CPUtime=0 cores=0-7
/proc/10202/task/10240/stat : 10240 (java) S 10199 10202 8147 0 -1 1077944384 532 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928573855376 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10241] ppid=10199 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10202/task/10241/stat : 10241 (java) S 10199 10202 8147 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928572802064 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10242] ppid=10199 vsize=27879036 memory=1728 CPUtime=0 cores=0-7
/proc/10202/task/10242/stat : 10242 (java) S 10199 10202 8147 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928571749264 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10243] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0 cores=0-7
/proc/10202/task/10243/stat : 10243 (java) S 10199 10202 8147 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928570696976 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10244] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0 cores=0-7
/proc/10202/task/10244/stat : 10244 (java) S 10199 10202 8147 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 47 0 178017833 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928569644176 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10245] ppid=10199 vsize=27879036 memory=49732 CPUtime=0 cores=0-7
/proc/10202/task/10245/stat : 10245 (java) S 10199 10202 8147 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 47 0 178017834 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928568591792 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10246] ppid=10199 vsize=27879036 memory=2428 CPUtime=0 cores=0-7
/proc/10202/task/10246/stat : 10246 (java) S 10199 10202 8147 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 47 0 178017834 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928567539088 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10247] ppid=10199 vsize=27879036 memory=1292 CPUtime=0 cores=0-7
/proc/10202/task/10247/stat : 10247 (java) S 10199 10202 8147 0 -1 1077944384 520 0 0 0 0 0 0 0 20 0 47 0 178017834 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928566486800 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
[pid=10202/tid=10248] ppid=10199 vsize=27879036 memory=7649576 CPUtime=0 cores=0-7
/proc/10202/task/10248/stat : 10248 (java) S 10199 10202 8147 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 47 0 178017834 28548132864 1912449 33554432000 4194304 4196468 140725044355712 139928565434000 139930210330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140725044360295 140725044360480 140725044360480 140725044363215 0
Current children cumulated CPU time: 1973.2 s
Current children cumulated vsize: 27879036 KiB
Current children cumulated memory: 7649796 KiB

Child status: 143
Real time (s): 252.193
CPU time (s): 1973.3
CPU user time (s): 1969.76
CPU system time (s): 3.54379
CPU usage (%): 782.456
Max. virtual memory (cumulated for all children) (KiB): 27879036
Max. memory (cumulated for all children) (KiB): 7649796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1969.76
system time used= 3.54379
maximum resident set size= 7650620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37638
involuntary context switches= 42018


# summary of solver processes directly reported to runsolver:
#   pid: 10202
#   total CPU time (s): 1973.3
#   total CPU user time (s): 1969.76
#   total CPU system time (s): 3.54379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.79831 second user time and 3.53368 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-23 02:35:02
IDJOB=4285833
IDBENCH=126994
IDSOLVER=2682
FILE ID=node148/4285833-1503449363
RUNJOBID= node148-1503438312-8174
PBS_JOBID= 20632146
Free space on /tmp= 61644 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.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-4285833-1503449363/watcher-4285833-1503449363 -o /tmp/evaluation-result-4285833-1503449363/solver-4285833-1503449363 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503438312-8174 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1096459932 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285833-1503449363.xml

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

MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc
RANDOM SEED=1096459932

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.19
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:        23550992 kB
MemAvailable:   31945136 kB
Buffers:          297744 kB
Cached:          8375456 kB
SwapCached:            0 kB
Active:          1725136 kB
Inactive:        7000308 kB
Active(anon):       3048 kB
Inactive(anon):    93496 kB
Active(file):    1722088 kB
Inactive(file):  6906812 kB
Unevictable:        7760 kB
Mlocked:            7760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42320 kB
Writeback:             0 kB
AnonPages:         60268 kB
Mapped:            55312 kB
Shmem:             41608 kB
Slab:             188656 kB
SReclaimable:     162160 kB
SUnreclaim:        26496 kB
KernelStack:        3168 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61600 MiB
End job on node148 at 2017-08-23 02:39:14