Trace number 4283373

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)SAT (TO)2248 2524.3899 2490.6499

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-096.xml
MD5SUM5bf1605d7392d1261526feabe1cfbecc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1188
Best CPU time to get the best result obtained on this benchmark2519.8401
Satisfiable
(Un)Satisfiability was proved
Number of variables9311
Number of constraints4750
Number of domains191
Minimum domain size2
Maximum domain size191
Distribution of domain sizes[{"size":2,"count":4657},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}]
Minimum variable degree0
Maximum variable degree95
Distribution of variable degrees[{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}]
Minimum constraint arity2
Maximum constraint arity96
Distribution of constraint arities[{"arity":2,"count":96},{"arity":3,"count":4561},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}]
Number of extensional constraints0
Number of intensional constraints4655
Distribution of constraint types[{"type":"intension","count":4655},{"type":"sum","count":95}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283373-1503206264.xml"  -tl '2520s' -p 1 -x 3
0.08/0.28	c [HOME/instance-4283373-1503206264.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.34	c simple solver
0.25/0.41	c parse instance...
3.95/1.53	c solve instance...
6.12/2.24	o 3184 
30.92/20.56	o 3076 
97.49/84.53	o 2620 
112.71/99.80	o 2544 
120.72/107.41	o 2500 
121.22/107.91	o 2248 
2524.29/2490.62	s SATISFIABLE
2524.29/2490.62	v <instantiation>
2524.29/2490.62	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] </list>
2524.29/2490.62	v 	<values>-1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -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 -7 -2 3 -8 5 4 5 2 -7 -2 -5 -6 -7 -8 -1 6 -3 2 -11 -2 -7 -12 -1 4 -7 0 -1 0 11 -2 9 -10 7 8 -7 0 -1 12 3 0 -3 -4 7 4 -9 4 9 0 9 -4 -5 -8 1 0 1 0 -1 -4 -3 -2 3 -2 1 0 1 0 -1 4 1 -4 -5 6 -1 2 -1 2 1 4 3 2 -7 -2 -5 2 -1 0 -5 0 1 2 -1 0 1 1 16 49 4 9 64 25 16 25 4 49 4 25 36 49 64 1 36 9 4 121 4 49 144 1 16 49 0 1 0 121 4 81 100 49 64 49 0 1 144 9 0 9 16 49 16 81 16 81 0 81 16 25 64 1 0 1 0 1 16 9 4 9 4 1 0 1 0 1 16 1 16 25 36 1 4 1 4 1 16 9 4 49 4 25 4 1 0 25 0 1 4 1 0 1 </values>
2524.29/2490.62	v </instantiation>
2524.29/2490.62	c Unexpected resolution interruption!

Verifier Data 

OK	2248

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283373-1503206264/watcher-4283373-1503206264 -o /tmp/evaluation-result-4283373-1503206264/solver-4283373-1503206264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 596353069 HOME/instance-4283373-1503206264.xml 

running on 4 cores: 0,2,4,6

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=32050, runsolver pid=32047
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 1.93 2.00 2.04 3/199 32053
/proc/meminfo: memFree=28955556/32770624 swapFree=67108860/67108860
[pid=32050] ppid=32047 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32050/stat : 32050 (xcsp3-exec) S 32047 32050 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122846831 9740288 345 18446744073709551615 4194304 5098028 140736224194480 140736224192584 140331822064252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21397504 140736224203129 140736224203333 140736224203333 140736224206827 0
/proc/32050/statm: 2378 345 289 221 0 87 0
[pid=32052] ppid=32050 vsize=13358712 memory=13576 CPUtime=0 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32050 32050 8563 0 -1 1077944320 3146 0 0 0 0 0 0 0 20 0 6 0 122846840 13679321088 3394 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3339678 3394 1803 1 0 3329175 0
[pid=32052/tid=32053] ppid=32050 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) R 32050 32050 8563 0 -1 4202560 1964 0 0 0 0 0 0 0 20 0 6 0 122846840 13679321088 3460 18446744073709551615 4194304 4196468 140721653740528 140357379584592 140357375370397 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32050 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122846841 13679321088 3460 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32050 vsize=13358712 memory=139834630616704 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 122846841 13679321088 3460 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32050 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122846841 13679321088 3460 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32050 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 122846841 13679321088 3460 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14956 KiB

[startup+0.214089 s]*
/proc/loadavg: 1.93 2.00 2.04 3/212 32066
/proc/meminfo: memFree=28947564/32770624 swapFree=67108860/67108860
[pid=32050] ppid=32047 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32050/stat : 32050 (xcsp3-exec) S 32047 32050 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122846831 9740288 345 18446744073709551615 4194304 5098028 140736224194480 140736224192584 140331822064252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21397504 140736224203129 140736224203333 140736224203333 140736224206827 0
/proc/32050/statm: 2378 345 289 221 0 87 0
[pid=32052] ppid=32050 vsize=13974352 memory=26864 CPUtime=0.08 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32050 32050 8563 0 -1 1077944320 5126 0 0 0 7 1 0 0 20 0 15 0 122846840 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3493588 6716 2724 1 0 3482964 0
[pid=32052/tid=32053] ppid=32050 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) R 32050 32050 8563 0 -1 4202560 3276 0 0 0 6 0 0 0 20 0 15 0 122846840 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140357379579568 140357359392101 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32050 vsize=13974352 memory=139834630616704 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32050 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32050 vsize=13974352 memory=139834630616704 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846842 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356920998768 140357375359618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32050 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32050 32050 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122846843 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356919944736 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32050 32050 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122846843 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356918891888 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32050 32050 8563 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32050 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32050 vsize=13974352 memory=139834630616704 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32050 32050 8563 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32050 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32050 vsize=13974352 memory=139834630616704 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846851 14309736448 6716 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28244 KiB

[startup+0.310115 s]*
/proc/loadavg: 1.93 2.00 2.04 3/212 32066
/proc/meminfo: memFree=28932048/32770624 swapFree=67108860/67108860
[pid=32050] ppid=32047 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32050/stat : 32050 (xcsp3-exec) S 32047 32050 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122846831 9740288 345 18446744073709551615 4194304 5098028 140736224194480 140736224192584 140331822064252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21397504 140736224203129 140736224203333 140736224203333 140736224206827 0
/proc/32050/statm: 2378 345 289 221 0 87 0
[pid=32052] ppid=32050 vsize=13974352 memory=37084 CPUtime=0.25 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32050 32050 8563 0 -1 1077944320 8832 0 0 0 23 2 0 0 20 0 15 0 122846840 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3493588 9271 2984 1 0 3482964 0
[pid=32052/tid=32053] ppid=32050 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) R 32050 32050 8563 0 -1 4202560 6021 0 0 0 15 1 0 0 20 0 15 0 122846840 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140357379561920 140357359428958 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32050 vsize=13974352 memory=139834630623697 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32050 vsize=13974352 memory=7450733156147621481 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32050 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846842 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356920998768 140357375359618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32050 32050 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122846843 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356919944736 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32050 32050 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122846843 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356918891888 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32050 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32050 32050 8563 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 15 0 122846846 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32050 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32050 32050 8563 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 122846846 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32050 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32050 32050 8563 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 122846846 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32050 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846851 14309736448 9271 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38464 KiB

[startup+0.700771 s]
/proc/loadavg: 1.93 2.00 2.04 6/212 32066
/proc/meminfo: memFree=28914672/32770624 swapFree=67108860/67108860
[pid=32050] ppid=32047 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32050/stat : 32050 (xcsp3-exec) S 32047 32050 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122846831 9740288 345 18446744073709551615 4194304 5098028 140736224194480 140736224192584 140331822064252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21397504 140736224203129 140736224203333 140736224203333 140736224206827 0
/proc/32050/statm: 2378 345 289 221 0 87 0
[pid=32052] ppid=32050 vsize=13978684 memory=90212 CPUtime=1.34 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32050 32050 8563 0 -1 1077944320 13665 0 0 0 129 5 0 0 20 0 15 0 122846840 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3494671 22553 3158 1 0 3482964 0
[pid=32052/tid=32053] ppid=32050 vsize=13978684 memory=7886766292050720565 CPUtime=0.53 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) R 32050 32050 8563 0 -1 4202560 7817 0 0 0 50 3 0 0 20 0 15 0 122846840 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140357379582808 140357001235596 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32050 vsize=13978684 memory=6003668156883685970 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32050 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846841 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32050 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32050 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32050 32050 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122846841 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32050 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32050 32050 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122846842 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356920998768 140357375359618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32050 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32050 32050 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122846843 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356919944736 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32050 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32050 32050 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122846843 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356918891888 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32050 vsize=13978684 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32050 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) R 32050 32050 8563 0 -1 4202560 1632 0 0 0 25 0 0 0 20 0 15 0 122846846 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356916775472 140357359737328 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32050 vsize=13978684 memory=-2893623298589923098 CPUtime=0.25 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) D 32050 32050 8563 0 -1 4202560 1277 0 0 0 25 0 0 0 20 0 15 0 122846846 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356915720792 140357368065623 0 4 1 16800974 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32050 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32050 32050 8563 0 -1 1077944384 1631 0 0 0 27 0 0 0 20 0 15 0 122846846 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32050 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32050 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32050 32050 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122846851 14314172416 22553 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 91592 KiB

[startup+1.50373 s]
/proc/loadavg: 1.93 2.00 2.04 6/212 32066
/proc/meminfo: memFree=28842196/32770624 swapFree=67108860/67108860
[pid=32050] ppid=32047 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32050/stat : 32050 (xcsp3-exec) S 32047 32050 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 122846831 9740288 345 18446744073709551615 4194304 5098028 140736224194480 140736224192584 140331822064252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 21397504 140736224203129 140736224203333 140736224203333 140736224206827 0
/proc/32050/statm: 2378 345 289 221 0 87 0
[pid=32052] ppid=32050 vsize=13980732 memory=250684 CPUtime=3.95 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32050 32050 8563 0 -1 1077944320 22934 0 0 0 380 15 0 0 20 0 15 0 122846840 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3495183 62671 3230 1 0 3483476 0
[pid=32052/tid=32053] ppid=32050 vsize=13980732 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) R 32050 32050 8563 0 -1 4202560 10774 0 0 0 122 5 0 0 20 0 15 0 122846840 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140357379585584 140357375360406 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32050 vsize=13980732 memory=4498716170645055337 CPUtime=0.04 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32050 32050 8563 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 15 0 122846841 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32050 vsize=13980732 memory=6082792334350247479 CPUtime=0.05 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32050 32050 8563 0 -1 1077944384 149 0 0 0 4 1 0 0 20 0 15 0 122846841 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32050 vsize=13980732 memory=7597121124734297632 CPUtime=0.05 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32050 32050 8563 0 -1 1077944384 91 0 0 0 4 1 0 0 20 0 15 0 122846841 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32050 vsize=13980732 memory=4116 CPUtime=0.04 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32050 32050 8563 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 15 0 122846841 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32050 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32050 32050 8563 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 122846842 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356920998768 140357375359618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32050 vsize=13980732 memory=139834471727232 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32050 32050 8563 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 122846843 14316269568 62671 18446744073709551615 4194304 4196468 140721653740528 140356919944736 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32050 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/32052/task/32061/stat : 32061 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32050 vsize=13982780 memory=4326148 CPUtime=6.55 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32050 32050 8563 0 -1 1077944384 36750 0 0 0 651 4 0 0 20 0 15 0 122846846 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32050 vsize=13982780 memory=4326148 CPUtime=6.71 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32050 32050 8563 0 -1 1077944384 37000 0 0 0 667 4 0 0 20 0 15 0 122846846 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32050 vsize=13982780 memory=1380 CPUtime=1.18 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32050 32050 8563 0 -1 1077944384 15617 0 0 0 114 4 0 0 20 0 15 0 122846846 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32050 vsize=13982780 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32050 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122846846 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32050 vsize=13982780 memory=2316 CPUtime=1.01 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32050 32050 8563 0 -1 1077944384 2195 0 0 0 45 56 0 0 20 0 15 0 122846851 14318366720 1081537 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 4327528 KiB

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

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

[startup+2490.65 s]
# the end of solver process 32052 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.39 s, system=3.99815 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2489.62 s]*
/proc/loadavg: 1.65 1.72 1.82 6/212 32289
/proc/meminfo: memFree=25860120/32770624 swapFree=67108860/67108860
[pid=32052] ppid=32047 vsize=14115908 memory=4377600 CPUtime=2520.5 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32047 32050 8563 0 -1 1077944320 275085 0 0 0 251659 391 0 0 20 0 17 0 122846840 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3528977 1094400 3272 1 0 3517270 0
[pid=32052/tid=32053] ppid=32047 vsize=14115908 memory=4064 CPUtime=2483.92 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) S 32047 32050 8563 0 -1 1077944384 137672 0 0 0 248339 53 0 0 20 0 17 0 122846840 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140357379584896 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32047 vsize=14115908 memory=1152 CPUtime=5.1 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) R 32047 32050 8563 0 -1 4202560 8632 0 0 0 441 69 0 0 20 0 17 0 122846841 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357360375753 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32047 vsize=14115908 memory=4126316290023845779 CPUtime=5.11 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) R 32047 32050 8563 0 -1 4202560 7410 0 0 0 442 69 0 0 20 0 17 0 122846841 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356974283480 140357368448131 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32047 vsize=14115908 memory=66064 CPUtime=5.09 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) R 32047 32050 8563 0 -1 4202560 6896 0 0 0 438 71 0 0 20 0 17 0 122846841 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356973230680 140357360376448 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32047 vsize=14115908 memory=1292 CPUtime=5.11 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) R 32047 32050 8563 0 -1 4202560 5739 0 0 0 439 72 0 0 20 0 17 0 122846841 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356972177880 140357360375890 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32047 vsize=14115908 memory=2316 CPUtime=0.64 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32047 32050 8563 0 -1 1077944384 15036 0 0 0 61 3 0 0 20 0 17 0 122846842 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356920997280 140357375358677 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32047 vsize=14115908 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356919944800 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32047 vsize=14115908 memory=4326148 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32047 32050 8563 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356918891904 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32047 vsize=14115908 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32047 32050 8563 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32047 vsize=14115908 memory=4064 CPUtime=6.55 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32047 32050 8563 0 -1 1077944384 36750 0 0 0 651 4 0 0 20 0 17 0 122846846 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32047 vsize=14115908 memory=1152 CPUtime=6.71 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32047 32050 8563 0 -1 1077944384 37000 0 0 0 667 4 0 0 20 0 17 0 122846846 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32047 vsize=14115908 memory=3284 CPUtime=1.18 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32047 32050 8563 0 -1 1077944384 15617 0 0 0 114 4 0 0 20 0 17 0 122846846 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32047 vsize=14115908 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32047 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32047 vsize=14115908 memory=1380 CPUtime=1.01 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32047 32050 8563 0 -1 1077944384 2195 0 0 0 45 56 0 0 20 0 17 0 122846851 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32288] ppid=32047 vsize=14115908 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32288/stat : 32288 (java) S 32047 32050 8563 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356835160816 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32289] ppid=32047 vsize=14115908 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32289/stat : 32289 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1094400 18446744073709551615 4194304 4196468 140721653740528 140356834107072 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current cumulated CPU time of completed processes: 0.001954 s
Current children cumulated CPU time: 2520.5 s
Current children cumulated vsize: 14115908 KiB
Current children cumulated memory: 4377600 KiB

[startup+2490.4 s]
/proc/loadavg: 1.65 1.72 1.82 6/212 32289
/proc/meminfo: memFree=25926112/32770624 swapFree=67108860/67108860
[pid=32052] ppid=32047 vsize=14115908 memory=4307612 CPUtime=2523.5 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32047 32050 8563 0 -1 1077944320 280077 0 0 0 251953 397 0 0 20 0 17 0 122846840 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3528977 1076903 3272 1 0 3517270 0
[pid=32052/tid=32053] ppid=32047 vsize=14115908 memory=4307248 CPUtime=2483.92 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) S 32047 32050 8563 0 -1 1077944384 137672 0 0 0 248339 53 0 0 20 0 17 0 122846840 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140357379584896 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32047 vsize=14115908 memory=2248 CPUtime=5.86 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) S 32047 32050 8563 0 -1 1077944384 9991 0 0 0 515 71 0 0 20 0 17 0 122846841 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32047 vsize=14115908 memory=-8774313645642428999 CPUtime=5.85 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) S 32047 32050 8563 0 -1 1077944384 7583 0 0 0 515 70 0 0 20 0 17 0 122846841 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356974283280 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32047 vsize=14115908 memory=1156 CPUtime=5.84 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) S 32047 32050 8563 0 -1 1077944384 7217 0 0 0 511 73 0 0 20 0 17 0 122846841 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32047 vsize=14115908 memory=3288 CPUtime=5.85 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) S 32047 32050 8563 0 -1 1077944384 5934 0 0 0 512 73 0 0 20 0 17 0 122846841 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32047 vsize=14115908 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) R 32047 32050 8563 0 -1 4202560 18287 0 0 0 61 3 0 0 20 0 17 0 122846842 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356920997088 140357361040167 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32047 vsize=14115908 memory=572292 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356919944800 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32047 vsize=14115908 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32047 32050 8563 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356918891904 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32047 vsize=14115908 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32047 32050 8563 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32047 vsize=14115908 memory=10180 CPUtime=6.55 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32047 32050 8563 0 -1 1077944384 36750 0 0 0 651 4 0 0 20 0 17 0 122846846 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32047 vsize=14115908 memory=1440 CPUtime=6.71 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32047 32050 8563 0 -1 1077944384 37000 0 0 0 667 4 0 0 20 0 17 0 122846846 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32047 vsize=14115908 memory=2000 CPUtime=1.18 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32047 32050 8563 0 -1 1077944384 15617 0 0 0 114 4 0 0 20 0 17 0 122846846 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32047 vsize=14115908 memory=11076 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32047 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32047 vsize=14115908 memory=1200 CPUtime=1.01 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32047 32050 8563 0 -1 1077944384 2195 0 0 0 45 56 0 0 20 0 17 0 122846851 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32288] ppid=32047 vsize=14115908 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32288/stat : 32288 (java) S 32047 32050 8563 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356835160816 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32289] ppid=32047 vsize=14115908 memory=4326148 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32289/stat : 32289 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1076903 18446744073709551615 4194304 4196468 140721653740528 140356834107072 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current cumulated CPU time of completed processes: 0.001954 s
Current children cumulated CPU time: 2523.5 s
Current children cumulated vsize: 14115908 KiB
Current children cumulated memory: 4307612 KiB

[startup+2490.6 s]
/proc/loadavg: 1.65 1.72 1.82 6/212 32289
/proc/meminfo: memFree=25926112/32770624 swapFree=67108860/67108860
[pid=32052] ppid=32047 vsize=14115908 memory=4307624 CPUtime=2524.29 cores=0,2,4,6
/proc/32052/stat : 32052 (java) S 32047 32050 8563 0 -1 1077944320 280673 0 0 0 252032 397 0 0 20 0 17 0 122846840 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140721653723072 140357375348471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
/proc/32052/statm: 3528977 1076906 3272 1 0 3517270 0
[pid=32052/tid=32053] ppid=32047 vsize=14115908 memory=2248 CPUtime=2483.92 cores=0,2,4,6
/proc/32052/task/32053/stat : 32053 (java) S 32047 32050 8563 0 -1 1077944384 137672 0 0 0 248339 53 0 0 20 0 17 0 122846840 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140357379584896 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32054] ppid=32047 vsize=14115908 memory=4304 CPUtime=6.06 cores=0,2,4,6
/proc/32052/task/32054/stat : 32054 (java) R 32047 32050 8563 0 -1 4202560 9998 0 0 0 535 71 0 0 20 0 17 0 122846841 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356975336080 140357368445172 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32055] ppid=32047 vsize=14115908 memory=1624 CPUtime=6.04 cores=0,2,4,6
/proc/32052/task/32055/stat : 32055 (java) R 32047 32050 8563 0 -1 4202560 7633 0 0 0 534 70 0 0 20 0 17 0 122846841 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356974283480 140357360338173 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32056] ppid=32047 vsize=14115908 memory=-8774313645642428999 CPUtime=6.04 cores=0,2,4,6
/proc/32052/task/32056/stat : 32056 (java) R 32047 32050 8563 0 -1 4202560 7273 0 0 0 531 73 0 0 20 0 17 0 122846841 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356973230480 140357368448152 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32057] ppid=32047 vsize=14115908 memory=-8774313645642428999 CPUtime=6.04 cores=0,2,4,6
/proc/32052/task/32057/stat : 32057 (java) R 32047 32050 8563 0 -1 4202560 5990 0 0 0 531 73 0 0 20 0 17 0 122846841 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356972177680 140357368452113 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32058] ppid=32047 vsize=14115908 memory=928 CPUtime=0.65 cores=0,2,4,6
/proc/32052/task/32058/stat : 32058 (java) S 32047 32050 8563 0 -1 1077944384 18407 0 0 0 62 3 0 0 20 0 17 0 122846842 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356920997312 140357375358677 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32059] ppid=32047 vsize=14115908 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32059/stat : 32059 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356919944800 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32060] ppid=32047 vsize=14115908 memory=4326148 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32060/stat : 32060 (java) S 32047 32050 8563 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 122846843 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356918891904 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32061] ppid=32047 vsize=14115908 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32061/stat : 32061 (java) S 32047 32050 8563 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356917840208 140357375367067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32062] ppid=32047 vsize=14115908 memory=3904 CPUtime=6.55 cores=0,2,4,6
/proc/32052/task/32062/stat : 32062 (java) S 32047 32050 8563 0 -1 1077944384 36750 0 0 0 651 4 0 0 20 0 17 0 122846846 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356916787568 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32063] ppid=32047 vsize=14115908 memory=2868 CPUtime=6.71 cores=0,2,4,6
/proc/32052/task/32063/stat : 32063 (java) S 32047 32050 8563 0 -1 1077944384 37000 0 0 0 667 4 0 0 20 0 17 0 122846846 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356915734768 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32064] ppid=32047 vsize=14115908 memory=2752 CPUtime=1.18 cores=0,2,4,6
/proc/32052/task/32064/stat : 32064 (java) S 32047 32050 8563 0 -1 1077944384 15617 0 0 0 114 4 0 0 20 0 17 0 122846846 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356846872688 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32065] ppid=32047 vsize=14115908 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32065/stat : 32065 (java) S 32047 32050 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 122846846 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356845820128 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32066] ppid=32047 vsize=14115908 memory=1152 CPUtime=1.01 cores=0,2,4,6
/proc/32052/task/32066/stat : 32066 (java) S 32047 32050 8563 0 -1 1077944384 2195 0 0 0 45 56 0 0 20 0 17 0 122846851 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356844768432 140357375359618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32288] ppid=32047 vsize=14115908 memory=3284 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32288/stat : 32288 (java) S 32047 32050 8563 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356835160816 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
[pid=32052/tid=32289] ppid=32047 vsize=14115908 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/32052/task/32289/stat : 32289 (java) S 32047 32050 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 123095781 14454689792 1076906 18446744073709551615 4194304 4196468 140721653740528 140356834107072 140357375358677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7700480 140721653744049 140721653744225 140721653744225 140721653747663 0
Current cumulated CPU time of completed processes: 0.001954 s
Current children cumulated CPU time: 2524.29 s
Current children cumulated vsize: 14115908 KiB
Current children cumulated memory: 4307624 KiB

Child status: 143
Real time (s): 2490.65
CPU time (s): 2524.39
CPU user time (s): 2520.39
CPU system time (s): 3.99815
CPU usage (%): 101.355
Max. virtual memory (cumulated for all children) (KiB): 14115908
Max. memory (cumulated for all children) (KiB): 4503616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.39
system time used= 3.99815
maximum resident set size= 4506332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58896
involuntary context switches= 1500


# summary of solver processes directly reported to runsolver:
#   pid: 32050,32052
#   total CPU time (s): 2524.39
#   total CPU user time (s): 2520.39
#   total CPU system time (s): 3.99815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3456 second user time and 24.0004 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-20 07:03:36
IDJOB=4283373
IDBENCH=126994
IDSOLVER=2679
FILE ID=node125/4283373-1503206264
RUNJOBID= node125-1503171261-25500
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283373-1503206264/watcher-4283373-1503206264 -o /tmp/evaluation-result-4283373-1503206264/solver-4283373-1503206264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 596353069 HOME/instance-4283373-1503206264.xml

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

MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc
RANDOM SEED=596353069

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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:        28959356 kB
MemAvailable:   30147588 kB
Buffers:          329080 kB
Cached:          1165556 kB
SwapCached:            0 kB
Active:          2680008 kB
Inactive:         689512 kB
Active(anon):    1875100 kB
Inactive(anon):    49484 kB
Active(file):     804908 kB
Inactive(file):   640028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7860 kB
Writeback:             4 kB
AnonPages:       1874632 kB
Mapped:            75300 kB
Shmem:             49828 kB
Slab:             144636 kB
SReclaimable:     118264 kB
SUnreclaim:        26372 kB
KernelStack:        3472 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4136468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1724416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-20 07:45:06