Trace number 4273081

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 - ALNS 2017-07-26SAT (TO)980 2520.0901 2450.9299

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-081.xml
MD5SUM30f67468f9f3ef5a617cbd1472c869c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark864
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables6641
Number of constraints3400
Number of domains161
Minimum domain size2
Maximum domain size161
Distribution of domain sizes[{"size":2,"count":3322},{"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":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"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}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":81},{"arity":3,"count":3241},{"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":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"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}]
Number of extensional constraints0
Number of intensional constraints3320
Distribution of constraint types[{"type":"intension","count":3320},{"type":"sum","count":80}]
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.31/0.25	c version: 2017-07-26
0.31/0.25	c seed: 1738998371
0.31/0.25	c timeout: 2520
0.31/0.25	c memlimit: 11000
0.31/0.25	c nbcore: 4
0.31/0.27	c Parsing instance...
5.05/1.92	c Parsing done, starting search...
5.05/2.00	o 173880
8.07/3.01	o 157656
9.15/3.78	o 16940
40.81/33.76	o 9588
57.24/49.95	o 6152
73.02/65.52	o 4468
75.58/67.98	o 3332
84.74/77.09	o 3328
84.94/77.24	o 2808
86.44/78.72	o 2636
86.75/79.10	o 2596
88.48/80.74	o 2280
97.10/89.29	o 2188
132.06/123.73	o 2056
140.94/132.49	o 1904
150.64/142.00	o 1744
207.95/197.51	o 1632
208.25/197.80	o 1476
240.13/228.86	o 1388
280.08/267.71	o 1292
441.24/424.47	o 1260
508.56/489.88	o 1196
690.56/666.95	o 1188
937.83/908.27	o 1148
1007.85/976.41	o 1140
1020.12/988.48	o 1044
1285.55/1247.03	o 988
1484.21/1440.68	o 980
2520.04/2450.90	s SATISFIABLE
2520.04/2450.91	v <instantiation>
2520.04/2450.91	v 	<list>
2520.04/2450.91	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[76][0] y[76][1] y[76][2] y[76][3] y[77][0] y[77][1] y[77][2] y[78][0] y[78][1] y[79][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] 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]
2520.04/2450.91	v 	</list>
2520.04/2450.91	v 	<values>
2520.04/2450.91	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 4 -3 -4 -1 6 -5 0 1 0 3 0 -1 2 -5 -6 1 0 -11 -4 -3 6 -1 6 -5 4 -3 -2 -3 -2 -3 0 -3 -2 -1 -2 3 6 5 0 1 0 5 4 3 -6 3 2 -1 -4 -3 0 3 8 -1 -4 -3 -6 -1 2 -1 -4 1 4 -3 -4 3 -2 -5 2 -3 -2 1 0 -3 -2 3 2 -3 0 1 16 9 16 1 36 25 0 1 0 9 0 1 4 25 36 1 0 121 16 9 36 1 36 25 16 9 4 9 4 9 0 9 4 1 4 9 36 25 0 1 0 25 16 9 36 9 4 1 16 9 0 9 64 1 16 9 36 1 4 1 16 1 16 9 16 9 4 25 4 9 4 1 0 9 4 9 4 9 0 1 
2520.04/2450.91	v 	</values>
2520.04/2450.91	v </instantiation>

Verifier Data 

OK	980

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273081-1502869942/watcher-4273081-1502869942 -o /tmp/evaluation-result-4273081-1502869942/solver-4273081-1502869942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502869082-11399 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1738998371 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273081-1502869942.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100136 s]*
/proc/loadavg: 1.10 1.60 1.82 3/219 11461
/proc/meminfo: memFree=28578516/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13980164 memory=34304 CPUtime=0.13 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 8482 0 0 0 11 2 0 0 20 0 15 0 120075053 14315687936 8576 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3495041 8576 3410 1 0 3482761 0
[pid=11428/tid=11434] ppid=11424 vsize=13980164 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 6435 0 0 0 8 1 0 0 20 0 15 0 120075053 14315687936 8576 33554432000 4194304 4196468 140726337094144 140198311410848 140198307226781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13980164 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 8576 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075055 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120075056 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197218444832 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120075056 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197217391984 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 120075058 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0.01 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) R 11424 11428 6383 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 15 0 120075058 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197213182064 140198307226202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075059 14315687936 8576 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34304 KiB

[startup+0.214231 s]*
/proc/loadavg: 1.10 1.60 1.82 4/219 11461
/proc/meminfo: memFree=28558600/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13980164 memory=43916 CPUtime=0.31 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 9589 0 0 0 28 3 0 0 20 0 15 0 120075053 14315687936 10979 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3495041 10979 3649 1 0 3482761 0
[pid=11428/tid=11434] ppid=11424 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 7101 0 0 0 18 1 0 0 20 0 15 0 120075053 14315687936 10979 33554432000 4194304 4196468 140726337094144 140198311414256 140198307226781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13980164 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 10979 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13980164 memory=140171568054069 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120075055 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120075056 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197218444832 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120075056 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197217391984 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) R 11424 11428 6383 0 -1 4202560 418 0 0 0 2 0 0 0 20 0 15 0 120075058 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197215287960 140198288384030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13980164 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) R 11424 11428 6383 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 120075058 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0.05 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 431 0 0 0 5 0 0 0 20 0 15 0 120075058 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13980164 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075059 14315687936 10979 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43916 KiB

[startup+0.310277 s]*
/proc/loadavg: 1.10 1.60 1.82 3/219 11461
/proc/meminfo: memFree=28544704/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13980184 memory=50932 CPUtime=0.49 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 10473 0 0 0 46 3 0 0 20 0 15 0 120075053 14315708416 12733 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3495046 12733 3708 1 0 3482761 0
[pid=11428/tid=11434] ppid=11424 vsize=13980184 memory=8390339637985935414 CPUtime=0.29 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 7628 0 0 0 27 2 0 0 20 0 15 0 120075053 14315708416 12798 33554432000 4194304 4196468 140726337094144 140198311427952 140198291285342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13980184 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315708416 12798 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13980184 memory=140171568057134 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13980184 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120075055 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120075056 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197218444832 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120075056 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197217391984 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13980184 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 549 0 0 0 4 0 0 0 20 0 15 0 120075058 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) R 11424 11428 6383 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 120075058 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13980184 memory=140171567490688 CPUtime=0.08 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) R 11424 11428 6383 0 -1 4202560 446 0 0 0 8 0 0 0 20 0 15 0 120075058 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197213182064 140198307226202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13980184 memory=140171567490688 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075059 14315708416 12798 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50932 KiB

[startup+0.701267 s]
/proc/loadavg: 1.10 1.60 1.82 10/219 11461
/proc/meminfo: memFree=28514860/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13982232 memory=101820 CPUtime=1.47 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 14022 0 0 0 142 5 0 0 20 0 15 0 120075053 14317805568 25455 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3495558 25455 3774 1 0 3483273 0
[pid=11428/tid=11434] ppid=11424 vsize=13982232 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 8361 0 0 0 63 3 0 0 20 0 15 0 120075053 14317805568 25455 33554432000 4194304 4196468 140726337094144 140198311439696 140198291285372 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13982232 memory=792 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14317805568 25455 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13982232 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13982232 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13982232 memory=5716 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13982232 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120075055 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13982232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120075056 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197218444832 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13982232 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120075056 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197217391984 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13982232 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13982232 memory=4639098309541127021 CPUtime=0.26 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) R 11424 11428 6383 0 -1 4202560 1675 0 0 0 26 0 0 0 20 0 15 0 120075058 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197215273768 140198288724601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13982232 memory=7597685182856913236 CPUtime=0.26 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) R 11424 11428 6383 0 -1 4202560 1522 0 0 0 26 0 0 0 20 0 15 0 120075058 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197214220744 140198288732901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13982232 memory=7236547281622689387 CPUtime=0.27 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 1082 0 0 0 27 0 0 0 20 0 15 0 120075058 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075059 14317805568 25455 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 101820 KiB

[startup+1.50129 s]
/proc/loadavg: 1.10 1.60 1.82 8/219 11461
/proc/meminfo: memFree=28403552/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13984280 memory=166792 CPUtime=3.73 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 21106 0 0 0 365 8 0 0 20 0 15 0 120075053 14319902720 41698 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3496070 41698 3799 1 0 3483785 0
[pid=11428/tid=11434] ppid=11424 vsize=13984280 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 10376 0 0 0 141 4 0 0 20 0 15 0 120075053 14319902720 41698 33554432000 4194304 4196468 140726337094144 140198311441920 140197943390003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13984280 memory=40100 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14319902720 41698 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13984280 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14319902720 41698 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13984280 memory=-4504271847523324239 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120075054 14319902720 41698 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13984280 memory=9051283677730746851 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120075054 14319902720 41698 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13984280 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 120075055 14319902720 41698 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0

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

/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 109944 0 0 0 235994 89 0 0 20 0 15 0 120075053 14321999872 319281 33554432000 4194304 4196468 140726337094144 140198311442688 140197954247338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13986328 memory=1358696 CPUtime=19.5 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 13205 0 0 0 1902 48 0 0 20 0 15 0 120075054 14321999872 319281 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13986328 memory=1282768 CPUtime=19.5 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 16105 0 0 0 1904 46 0 0 20 0 15 0 120075054 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13986328 memory=1277124 CPUtime=19.5 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 16121 0 0 0 1902 48 0 0 20 0 15 0 120075054 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13986328 memory=1328940 CPUtime=19.49 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 15930 0 0 0 1903 46 0 0 20 0 15 0 120075054 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13986328 memory=257 CPUtime=1.5 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 74818 0 0 0 118 32 0 0 20 0 15 0 120075055 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13986328 memory=280342850309248 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197218444896 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13986328 memory=6370155173630722145 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197217392000 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13986328 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13986328 memory=33672 CPUtime=3.52 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 23776 0 0 0 347 5 0 0 20 0 15 0 120075058 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13986328 memory=1277124 CPUtime=3.61 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) S 11424 11428 6383 0 -1 1077944384 23114 0 0 0 359 2 0 0 20 0 15 0 120075058 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13986328 memory=1277124 CPUtime=1.3 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 23904 0 0 0 127 3 0 0 20 0 15 0 120075058 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13986328 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13986328 memory=33672 CPUtime=1.22 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1300 0 0 0 57 65 0 0 20 0 15 0 120075059 14321999872 319281 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 2450.09 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 1277124 KiB

[startup+2442.3 s]
/proc/loadavg: 1.59 1.59 1.51 3/215 11555
/proc/meminfo: memFree=27283196/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13986328 memory=1187356 CPUtime=2511.19 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 322030 0 0 0 250748 371 0 0 20 0 15 0 120075053 14321999872 296839 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3496582 296839 3872 1 0 3484297 0
[pid=11428/tid=11434] ppid=11424 vsize=13986328 memory=1198124 CPUtime=2420.48 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 111062 0 0 0 241959 89 0 0 20 0 15 0 120075053 14321999872 296839 33554432000 4194304 4196468 140726337094144 140198311442816 140197953051837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13986328 memory=1198124 CPUtime=19.83 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 13234 0 0 0 1935 48 0 0 20 0 15 0 120075054 14321999872 296839 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13986328 memory=1195044 CPUtime=19.83 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 16169 0 0 0 1937 46 0 0 20 0 15 0 120075054 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13986328 memory=1195044 CPUtime=19.83 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 16248 0 0 0 1935 48 0 0 20 0 15 0 120075054 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13986328 memory=1195044 CPUtime=19.82 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 16056 0 0 0 1935 47 0 0 20 0 15 0 120075054 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13986328 memory=1195044 CPUtime=1.53 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 74997 0 0 0 120 33 0 0 20 0 15 0 120075055 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13986328 memory=1187348 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197218444896 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13986328 memory=1187348 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197217392000 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13986328 memory=1253012 CPUtime=3.58 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 353 5 0 0 20 0 15 0 120075058 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13986328 memory=1187348 CPUtime=3.63 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) S 11424 11428 6383 0 -1 1077944384 23385 0 0 0 361 2 0 0 20 0 15 0 120075058 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13986328 memory=1195044 CPUtime=1.3 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 127 3 0 0 20 0 15 0 120075058 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13986328 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13986328 memory=1195044 CPUtime=1.25 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1316 0 0 0 59 66 0 0 20 0 15 0 120075059 14321999872 296839 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 2511.19 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 1187356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.9 s]
/proc/loadavg: 1.54 1.58 1.50 3/215 11555
/proc/meminfo: memFree=27291576/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13986328 memory=1169404 CPUtime=2520.04 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 322929 0 0 0 251632 372 0 0 20 0 15 0 120075053 14321999872 292351 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3496582 292351 3872 1 0 3484297 0
[pid=11428/tid=11434] ppid=11424 vsize=13986328 memory=1172992 CPUtime=2428.99 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 111829 0 0 0 242810 89 0 0 20 0 15 0 120075053 14321999872 292351 33554432000 4194304 4196468 140726337094144 140198311443280 140197954246375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.91 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 13246 0 0 0 1943 48 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.92 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 16185 0 0 0 1945 47 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.91 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 16265 0 0 0 1943 48 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13986328 memory=1181200 CPUtime=19.9 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 16071 0 0 0 1943 47 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13986328 memory=1195044 CPUtime=1.54 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 75069 0 0 0 121 33 0 0 20 0 15 0 120075055 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13986328 memory=1195044 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197218444896 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13986328 memory=1169404 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197217392000 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13986328 memory=1253012 CPUtime=3.58 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 353 5 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13986328 memory=1944 CPUtime=3.63 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) S 11424 11428 6383 0 -1 1077944384 23385 0 0 0 361 2 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13986328 memory=1200 CPUtime=1.3 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 127 3 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13986328 memory=1172992 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13986328 memory=1172992 CPUtime=1.25 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1316 0 0 0 59 66 0 0 20 0 15 0 120075059 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 1169404 KiB

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

[startup+2450.93 s]
# the end of solver process 11428 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.35 s, system=3.73419 s

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

[startup+2450.9 s]
/proc/loadavg: 1.54 1.58 1.50 3/215 11555
/proc/meminfo: memFree=27291576/32770624 swapFree=67108860/67108860
[pid=11428] ppid=11424 vsize=13986328 memory=1169404 CPUtime=2520.04 cores=1,3,5,7
/proc/11428/stat : 11428 (java) S 11424 11428 6383 0 -1 1077944320 322929 0 0 0 251632 372 0 0 20 0 15 0 120075053 14321999872 292351 33554432000 4194304 4196468 140726337094144 140726337076688 140198307204855 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
/proc/11428/statm: 3496582 292351 3872 1 0 3484297 0
[pid=11428/tid=11434] ppid=11424 vsize=13986328 memory=1172992 CPUtime=2428.99 cores=1,3,5,7
/proc/11428/task/11434/stat : 11434 (java) R 11424 11428 6383 0 -1 4202560 111829 0 0 0 242810 89 0 0 20 0 15 0 120075053 14321999872 292351 33554432000 4194304 4196468 140726337094144 140198311443280 140197954246375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11436] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.91 cores=1,3,5,7
/proc/11428/task/11436/stat : 11436 (java) S 11424 11428 6383 0 -1 1077944384 13246 0 0 0 1943 48 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140198270311056 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11437] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.92 cores=1,3,5,7
/proc/11428/task/11437/stat : 11437 (java) S 11424 11428 6383 0 -1 1077944384 16185 0 0 0 1945 47 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197901822480 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11438] ppid=11424 vsize=13986328 memory=1172992 CPUtime=19.91 cores=1,3,5,7
/proc/11428/task/11438/stat : 11438 (java) S 11424 11428 6383 0 -1 1077944384 16265 0 0 0 1943 48 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197900769680 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11439] ppid=11424 vsize=13986328 memory=1181200 CPUtime=19.9 cores=1,3,5,7
/proc/11428/task/11439/stat : 11439 (java) S 11424 11428 6383 0 -1 1077944384 16071 0 0 0 1943 47 0 0 20 0 15 0 120075054 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197899716880 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11445] ppid=11424 vsize=13986328 memory=1195044 CPUtime=1.54 cores=1,3,5,7
/proc/11428/task/11445/stat : 11445 (java) S 11424 11428 6383 0 -1 1077944384 75069 0 0 0 121 33 0 0 20 0 15 0 120075055 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197219498864 140198307216002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11447] ppid=11424 vsize=13986328 memory=1195044 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11447/stat : 11447 (java) S 11424 11428 6383 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197218444896 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11449] ppid=11424 vsize=13986328 memory=1169404 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11449/stat : 11449 (java) S 11424 11428 6383 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120075056 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197217392000 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11455] ppid=11424 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11455/stat : 11455 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197216340304 140198307223451 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11456] ppid=11424 vsize=13986328 memory=1253012 CPUtime=3.58 cores=1,3,5,7
/proc/11428/task/11456/stat : 11456 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 353 5 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197215287664 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11457] ppid=11424 vsize=13986328 memory=1944 CPUtime=3.63 cores=1,3,5,7
/proc/11428/task/11457/stat : 11457 (java) S 11424 11428 6383 0 -1 1077944384 23385 0 0 0 361 2 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197214234864 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11458] ppid=11424 vsize=13986328 memory=1200 CPUtime=1.3 cores=1,3,5,7
/proc/11428/task/11458/stat : 11458 (java) S 11424 11428 6383 0 -1 1077944384 24049 0 0 0 127 3 0 0 20 0 15 0 120075058 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197213182064 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11460] ppid=11424 vsize=13986328 memory=1172992 CPUtime=0 cores=1,3,5,7
/proc/11428/task/11460/stat : 11460 (java) S 11424 11428 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120075059 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197212129504 140198307215061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
[pid=11428/tid=11461] ppid=11424 vsize=13986328 memory=1172992 CPUtime=1.25 cores=1,3,5,7
/proc/11428/task/11461/stat : 11461 (java) S 11424 11428 6383 0 -1 1077944384 1316 0 0 0 59 66 0 0 20 0 15 0 120075059 14321999872 292351 33554432000 4194304 4196468 140726337094144 140197211077808 140198307216002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33566720 140726337102954 140726337103135 140726337103135 140726337105871 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 1169404 KiB

Child status: 143
Real time (s): 2450.93
CPU time (s): 2520.09
CPU user time (s): 2516.35
CPU system time (s): 3.73419
CPU usage (%): 102.822
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 3479416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.35
system time used= 3.73419
maximum resident set size= 3482016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84437
involuntary context switches= 3432


# summary of solver processes directly reported to runsolver:
#   pid: 11428
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.35
#   total CPU system time (s): 3.73419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5361 second user time and 22.0252 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-16 09:38:03
IDJOB=4273081
IDBENCH=127072
IDSOLVER=2665
FILE ID=node151/4273081-1502869942
RUNJOBID= node151-1502869082-11399
PBS_JOBID= 20629850
Free space on /tmp= 61840 MiB

SOLVER NAME= OscaR - ALNS 2017-07-26
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273081-1502869942/watcher-4273081-1502869942 -o /tmp/evaluation-result-4273081-1502869942/solver-4273081-1502869942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502869082-11399 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1738998371 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273081-1502869942.xml

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

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=1738998371

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28618800 kB
MemAvailable:   31991996 kB
Buffers:          311188 kB
Cached:          3351796 kB
SwapCached:            0 kB
Active:          1120324 kB
Inactive:        2594320 kB
Active(anon):      54888 kB
Inactive(anon):    25048 kB
Active(file):    1065436 kB
Inactive(file):  2569272 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84264 kB
Writeback:             0 kB
AnonPages:        155336 kB
Mapped:            46752 kB
Shmem:             25224 kB
Slab:             135164 kB
SReclaimable:     108648 kB
SUnreclaim:        26516 kB
KernelStack:        3472 kB
PageTables:         4480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61756 MiB
End job on node151 at 2017-08-16 10:18:54