Trace number 4247506

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
R1: OscaR - Hybrid 2017-06-30SAT (TO)1136 2400.15 2277.74

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-081.xml
MD5SUM30f67468f9f3ef5a617cbd1472c869c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark864
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables6641
Number of constraints3400
Number of domains161
Minimum domain size2
Maximum domain size161
Distribution of domain sizes[{"size":2,"count":3322},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":81},{"arity":3,"count":3241},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints3320
Distribution of constraint types[{"type":"intension","count":3320},{"type":"sum","count":80}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.42/0.31	c version: 2017-06-30
0.42/0.31	c seed: 423652515
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
6.39/2.00	c Parsing done, starting first complete search...
6.39/2.09	o 173880
6.39/2.09	o 155832
6.76/2.10	o 155156
6.76/2.10	o 138660
6.76/2.11	o 138260
6.76/2.12	o 123164
6.76/2.12	o 109276
6.76/2.13	o 96884
6.76/2.14	o 67392
6.76/2.16	o 59024
6.76/2.18	o 44580
6.76/2.20	o 38708
7.23/2.25	o 33276
7.23/2.29	o 28988
7.63/2.32	o 15960
7.63/2.34	o 15848
7.63/2.35	o 14152
8.00/2.47	o 13636
8.00/2.48	o 11988
8.41/2.55	o 11620
8.41/2.56	o 10124
8.94/2.73	o 9432
8.94/2.74	o 8208
8.94/2.79	o 8128
8.94/2.79	o 7872
8.94/2.79	o 7152
9.16/2.90	o 6976
9.16/2.92	o 6408
10.06/3.63	o 6088
13.67/6.95	c First complete search done, starting ALNS search...
19.25/10.90	o 4888
31.47/21.89	o 3572
47.02/36.90	o 2892
48.56/38.24	o 2040
208.36/192.90	o 2016
212.82/197.10	o 1920
224.29/208.02	o 1908
228.26/211.74	o 1900
239.92/222.83	o 1876
251.83/234.11	o 1852
287.64/268.22	o 1780
332.14/310.40	o 1680
336.15/314.29	o 1576
336.95/315.04	o 1368
370.40/346.75	o 1360
462.32/434.03	o 1344
673.07/633.68	o 1316
1475.74/1396.12	o 1304
1490.56/1410.50	o 1264
1565.28/1482.50	o 1136
1791.36/1700.11	c ALNS done, starting second complete search
1791.36/1700.11	c Best operator: ValGuided(2611,MaxVal)_ConfOrder(Min) with improvement of: 3196
2400.09/2277.70	s SATISFIABLE
2400.09/2277.71	v <instantiation>
2400.09/2277.71	v 	<list>
2400.09/2277.71	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[76][0] y[76][1] y[76][2] y[76][3] y[77][0] y[77][1] y[77][2] y[78][0] y[78][1] y[79][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79]
2400.09/2277.71	v 	</list>
2400.09/2277.71	v 	<values>
2400.09/2277.71	v 		1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 0 1 4 -3 4 3 2 7 4 3 0 -5 2 3 -10 -3 2 -3 -2 3 0 -9 -4 1 -4 1 -2 -3 -4 3 -2 1 8 -1 -4 1 2 1 4 -1 -2 -7 -8 -1 0 -3 2 1 0 -1 -6 -7 4 -1 0 -3 0 5 2 -3 6 -5 12 -5 0 3 2 3 -2 1 2 1 -2 -1 2 -3 0 -3 0 1 0 1 16 9 16 9 4 49 16 9 0 25 4 9 100 9 4 9 4 9 0 81 16 1 16 1 4 9 16 9 4 1 64 1 16 1 4 1 16 1 4 49 64 1 0 9 4 1 0 1 36 49 16 1 0 9 0 25 4 9 36 25 144 25 0 9 4 9 4 1 4 1 4 1 4 9 0 9 0 1 
2400.09/2277.71	v 	</values>
2400.09/2277.71	v </instantiation>

Verifier Data 

OK	1136

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247506-1500711680/watcher-4247506-1500711680 -o /tmp/evaluation-result-4247506-1500711680/solver-4247506-1500711680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500709326-14770 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 423652515 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247506-1500711680.xml 

pid=15086
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.38 1.33 1.37 4/261 15089
/proc/meminfo: memFree=31619624/32770624 swapFree=6252/106840
[pid=15089] ppid=15086 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 2044 0 0 0 0 0 0 0 20 0 2 0 6436478 10889764864 1789 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 2658634 1789 1188 1 0 2647545 0
[pid=15089/tid=15090] ppid=15086 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 831 0 0 0 0 0 0 0 20 0 2 0 6436478 10889764864 1855 33554432000 4194304 4196468 140732357500496 140380647786912 140380635834272 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0

[startup+0.10016 s]
/proc/loadavg: 1.38 1.33 1.37 4/261 15089
/proc/meminfo: memFree=31619624/32770624 swapFree=6252/106840
[pid=15089] ppid=15086 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 5362 0 0 0 8 2 0 0 20 0 20 0 6436478 13582725120 5937 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3316095 5937 2914 1 0 3303815 0
[pid=15089/tid=15090] ppid=15086 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 3446 0 0 0 7 1 0 0 20 0 20 0 6436478 13582725120 5937 33554432000 4194304 4196468 140732357500496 140380647785640 140380531977189 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.20042 s]
/proc/loadavg: 1.38 1.33 1.37 4/261 15089
/proc/meminfo: memFree=31619624/32770624 swapFree=6252/106840
[pid=15089] ppid=15086 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 8892 0 0 0 23 3 0 0 20 0 20 0 6436478 13582245888 8890 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3315978 8890 3536 1 0 3303698 0
[pid=15089/tid=15090] ppid=15086 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 6642 0 0 0 16 2 0 0 20 0 20 0 6436478 13582245888 8890 33554432000 4194304 4196468 140732357500496 140380647772712 140380643566749 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300277 s]
/proc/loadavg: 1.38 1.33 1.37 4/261 15089
/proc/meminfo: memFree=31619624/32770624 swapFree=6252/106840
[pid=15089] ppid=15086 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 9930 0 0 0 38 4 0 0 20 0 20 0 6436478 13582245888 10616 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3315978 10616 3605 1 0 3303698 0
[pid=15089/tid=15090] ppid=15086 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 7346 0 0 0 25 3 0 0 20 0 20 0 6436478 13582245888 10616 33554432000 4194304 4196468 140732357500496 140380647766528 140380627625310 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700198 s]
/proc/loadavg: 1.38 1.33 1.37 4/261 15089
/proc/meminfo: memFree=31619624/32770624 swapFree=6252/106840
[pid=15089] ppid=15086 vsize=13265980 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 13058 0 0 0 148 6 0 0 20 0 20 0 6436478 13584363520 21408 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3316495 21408 3772 1 0 3304210 0
[pid=15089/tid=15090] ppid=15086 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 8466 0 0 0 63 4 0 0 20 0 20 0 6436478 13584363520 21408 33554432000 4194304 4196468 140732357500496 140380647778456 140380643556758 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13265980

[startup+1.50124 s]
/proc/loadavg: 1.38 1.33 1.37 7/281 15109
/proc/meminfo: memFree=31481300/32770624 swapFree=6252/106844
[pid=15089] ppid=15086 vsize=13268028 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 24630 0 0 0 430 8 0 0 20 0 20 0 6436478 13586460672 41533 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317007 41533 3795 1 0 3304722 0
[pid=15089/tid=15090] ppid=15086 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 10683 0 0 0 142 5 0 0 20 0 20 0 6436478 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380647780792 140380287099135 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436479 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 6436482 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6436483 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380105225888 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6436483 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380104172784 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15103/stat : 15103 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380103121360 140380643563419 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15104] ppid=15086 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15104/stat : 15104 (java) S 15086 15089 8385 0 -1 1077944384 3757 0 0 0 70 1 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380102068464 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15105] ppid=15086 vsize=13268028 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) R 15086 15089 8385 0 -1 4202560 3297 0 0 0 76 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380101001944 140380625092345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13268028 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 3083 0 0 0 70 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13268028 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 2394 0 0 0 70 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13586460672 41533 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 13268028

[startup+3.10088 s]
/proc/loadavg: 1.38 1.33 1.37 7/281 15109
/proc/meminfo: memFree=31397120/32770624 swapFree=6252/106852
[pid=15089] ppid=15086 vsize=13270076 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 35423 0 0 0 923 14 0 0 20 0 20 0 6436478 13588557824 60554 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317519 60554 3826 1 0 3305234 0
[pid=15089/tid=15090] ppid=15086 vsize=13270076 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 12948 0 0 0 298 6 0 0 20 0 20 0 6436478 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380647779608 140380291962033 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6436479 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 1080 0 0 0 0 0 0 0 20 0 20 0 6436482 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380105225952 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380104172784 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15103/stat : 15103 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380103121360 140380643563419 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15104] ppid=15086 vsize=13270076 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15104/stat : 15104 (java) S 15086 15089 8385 0 -1 1077944384 5765 0 0 0 163 1 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380102068464 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15105] ppid=15086 vsize=13270076 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) S 15086 15089 8385 0 -1 1077944384 3911 0 0 0 170 0 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380101015920 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13270076 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 4674 0 0 0 172 0 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 5337 0 0 0 111 1 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 60554 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 13270076

[startup+6.30089 s]
/proc/loadavg: 1.35 1.33 1.37 4/281 15109
/proc/meminfo: memFree=31199000/32770624 swapFree=6252/106892
[pid=15089] ppid=15086 vsize=13270076 CPUtime=13 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 36153 0 0 0 1277 23 0 0 20 0 20 0 6436478 13588557824 69335 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317519 69335 3826 1 0 3305234 0
[pid=15089/tid=15090] ppid=15086 vsize=13270076 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 13018 0 0 0 615 7 0 0 20 0 20 0 6436478 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380647780856 140380291964349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 485 0 0 0 1 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 80 0 0 0 1 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 20 0 6436479 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 1110 0 0 0 1 0 0 0 20 0 20 0 6436482 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380105225952 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 69335 33554432000 4194304 4196468 140732357500496 140380104172800 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=15089/tid=15105] ppid=15086 vsize=13270076 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) S 15086 15089 8385 0 -1 1077944384 17132 0 0 0 263 3 0 0 20 0 20 0 6436487 13588557824 354431 33554432000 4194304 4196468 140732357500496 140380101015920 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 20828 0 0 0 299 3 0 0 20 0 20 0 6436487 13588557824 354431 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 28792 0 0 0 151 3 0 0 20 0 20 0 6436487 13588557824 354431 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 354431 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13270076 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 1570 0 0 0 56 61 0 0 20 0 20 0 6436487 13588557824 354431 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 2320.38
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.51 1.46 1.49 4/281 15173
/proc/meminfo: memFree=29557736/32770624 swapFree=6252/109256
[pid=15089] ppid=15086 vsize=13270076 CPUtime=2383.96 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 370709 0 0 0 237779 617 0 0 20 0 20 0 6436478 13588557824 359261 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317519 359261 3869 1 0 3305234 0
[pid=15089/tid=15090] ppid=15086 vsize=13270076 CPUtime=2241.88 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 112014 0 0 0 224103 85 0 0 20 0 20 0 6436478 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380647782864 140380291080382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13270076 CPUtime=16.37 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 13073 0 0 0 1581 56 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13270076 CPUtime=16.08 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 11359 0 0 0 1553 55 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13270076 CPUtime=16.05 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 13792 0 0 0 1551 54 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13270076 CPUtime=16.08 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 13990 0 0 0 1555 53 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13270076 CPUtime=16.32 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 13638 0 0 0 1577 55 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13270076 CPUtime=16.09 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 12793 0 0 0 1554 55 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13270076 CPUtime=16.2 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 13409 0 0 0 1563 57 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13270076 CPUtime=16.13 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 15670 0 0 0 1559 54 0 0 20 0 20 0 6436479 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13270076 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 66276 0 0 0 125 30 0 0 20 0 20 0 6436482 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380105225952 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380104172800 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15103/stat : 15103 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380103121360 140380643563419 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15104] ppid=15086 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15104/stat : 15104 (java) S 15086 15089 8385 0 -1 1077944384 14879 0 0 0 258 3 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380102068464 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15105] ppid=15086 vsize=13270076 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) S 15086 15089 8385 0 -1 1077944384 17134 0 0 0 263 3 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380101015920 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 20830 0 0 0 299 3 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 28794 0 0 0 151 3 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 1596 0 0 0 58 63 0 0 20 0 20 0 6436487 13588557824 359261 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 2383.96
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2277.7 s]
/proc/loadavg: 1.62 1.49 1.50 4/281 15173
/proc/meminfo: memFree=29552868/32770624 swapFree=6252/109288
[pid=15089] ppid=15086 vsize=13270076 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 370778 0 0 0 239384 625 0 0 20 0 20 0 6436478 13588557824 359253 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317519 359253 3869 1 0 3305234 0
[pid=15089/tid=15090] ppid=15086 vsize=13270076 CPUtime=2257.15 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 112023 0 0 0 225630 85 0 0 20 0 20 0 6436478 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380647782864 140380293770125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13270076 CPUtime=16.48 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 13081 0 0 0 1591 57 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 11367 0 0 0 1563 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13270076 CPUtime=16.16 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 13800 0 0 0 1561 55 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 13997 0 0 0 1565 54 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13270076 CPUtime=16.42 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 13644 0 0 0 1586 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 12797 0 0 0 1563 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13270076 CPUtime=16.31 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 13417 0 0 0 1573 58 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13270076 CPUtime=16.23 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 15677 0 0 0 1568 55 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13270076 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 66278 0 0 0 126 30 0 0 20 0 20 0 6436482 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380105225952 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380104172800 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15103/stat : 15103 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380103121360 140380643563419 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15104] ppid=15086 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15104/stat : 15104 (java) S 15086 15089 8385 0 -1 1077944384 14879 0 0 0 258 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380102068464 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15105] ppid=15086 vsize=13270076 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) S 15086 15089 8385 0 -1 1077944384 17134 0 0 0 263 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380101015920 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 20830 0 0 0 299 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 28794 0 0 0 151 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13270076 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 1598 0 0 0 58 64 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15089 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2277.7 s]
/proc/loadavg: 1.62 1.49 1.50 4/281 15173
/proc/meminfo: memFree=29552868/32770624 swapFree=6252/109288
[pid=15089] ppid=15086 vsize=13270076 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/15089/stat : 15089 (java) S 15086 15089 8385 0 -1 1077944320 370778 0 0 0 239384 625 0 0 20 0 20 0 6436478 13588557824 359253 33554432000 4194304 4196468 140732357500496 140732357483040 140380643544823 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
/proc/15089/statm: 3317519 359253 3869 1 0 3305234 0
[pid=15089/tid=15090] ppid=15086 vsize=13270076 CPUtime=2257.15 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15090/stat : 15090 (java) R 15086 15089 8385 0 -1 4202560 112023 0 0 0 225630 85 0 0 20 0 20 0 6436478 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380647782864 140380293770125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15092] ppid=15086 vsize=13270076 CPUtime=16.48 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15092/stat : 15092 (java) S 15086 15089 8385 0 -1 1077944384 13081 0 0 0 1591 57 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380604505104 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15093] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15093/stat : 15093 (java) S 15086 15089 8385 0 -1 1077944384 11367 0 0 0 1563 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380242164880 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15094] ppid=15086 vsize=13270076 CPUtime=16.16 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15094/stat : 15094 (java) S 15086 15089 8385 0 -1 1077944384 13800 0 0 0 1561 55 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380241111824 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15095] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15095/stat : 15095 (java) S 15086 15089 8385 0 -1 1077944384 13997 0 0 0 1565 54 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380240059280 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15096] ppid=15086 vsize=13270076 CPUtime=16.42 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15096/stat : 15096 (java) S 15086 15089 8385 0 -1 1077944384 13644 0 0 0 1586 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380239006224 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15097] ppid=15086 vsize=13270076 CPUtime=16.19 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15097/stat : 15097 (java) S 15086 15089 8385 0 -1 1077944384 12797 0 0 0 1563 56 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380237953680 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15098] ppid=15086 vsize=13270076 CPUtime=16.31 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15098/stat : 15098 (java) S 15086 15089 8385 0 -1 1077944384 13417 0 0 0 1573 58 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380236900624 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15099] ppid=15086 vsize=13270076 CPUtime=16.23 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15099/stat : 15099 (java) S 15086 15089 8385 0 -1 1077944384 15677 0 0 0 1568 55 0 0 20 0 20 0 6436479 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380235848080 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15100] ppid=15086 vsize=13270076 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15100/stat : 15100 (java) S 15086 15089 8385 0 -1 1077944384 66278 0 0 0 126 30 0 0 20 0 20 0 6436482 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380106279664 140380643555970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15101] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15101/stat : 15101 (java) S 15086 15089 8385 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380105225952 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15102] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15102/stat : 15102 (java) S 15086 15089 8385 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 6436483 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380104172800 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15103] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15103/stat : 15103 (java) S 15086 15089 8385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380103121360 140380643563419 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15104] ppid=15086 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15104/stat : 15104 (java) S 15086 15089 8385 0 -1 1077944384 14879 0 0 0 258 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380102068464 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15105] ppid=15086 vsize=13270076 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15105/stat : 15105 (java) S 15086 15089 8385 0 -1 1077944384 17134 0 0 0 263 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380101015920 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15106] ppid=15086 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15106/stat : 15106 (java) S 15086 15089 8385 0 -1 1077944384 20830 0 0 0 299 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380099962864 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15107] ppid=15086 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15107/stat : 15107 (java) S 15086 15089 8385 0 -1 1077944384 28794 0 0 0 151 3 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380098910320 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15108] ppid=15086 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15108/stat : 15108 (java) S 15086 15089 8385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380097858528 140380643555029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
[pid=15089/tid=15109] ppid=15086 vsize=13270076 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/15089/task/15109/stat : 15109 (java) S 15086 15089 8385 0 -1 1077944384 1598 0 0 0 58 64 0 0 20 0 20 0 6436487 13588557824 359253 33554432000 4194304 4196468 140732357500496 140380096806064 140380643555970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36208640 140732357502094 140732357502276 140732357502276 140732357504975 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2277.74
CPU time (s): 2400.15
CPU user time (s): 2393.89
CPU system time (s): 6.26488
CPU usage (%): 105.374
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.89
system time used= 6.26488
maximum resident set size= 3485504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102756
involuntary context switches= 131123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6358 second user time and 18.8636 second system time

The end

Launcher Data 

Begin job on node123 at 2017-07-22 10:21:20
IDJOB=4247506
IDBENCH=127072
IDSOLVER=2629
FILE ID=node123/4247506-1500711680
RUNJOBID= node123-1500709326-14770
PBS_JOBID= 20623038
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247506-1500711680/watcher-4247506-1500711680 -o /tmp/evaluation-result-4247506-1500711680/solver-4247506-1500711680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500709326-14770 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 423652515 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247506-1500711680.xml

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

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=423652515

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31619696 kB
MemAvailable:   31769980 kB
Buffers:          141544 kB
Cached:           279932 kB
SwapCached:            0 kB
Active:           527772 kB
Inactive:         168584 kB
Active(anon):     224448 kB
Inactive(anon):    61812 kB
Active(file):     303324 kB
Inactive(file):   106772 kB
Unevictable:        6252 kB
Mlocked:            6252 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42312 kB
Writeback:             0 kB
AnonPages:        283272 kB
Mapped:            44840 kB
Shmem:              8840 kB
Slab:             145616 kB
SReclaimable:     112048 kB
SUnreclaim:        33568 kB
KernelStack:        4288 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1234720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61928 MiB
End job on node123 at 2017-07-22 10:59:19