Trace number 4284842

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT (TO)1830 20015 2520.1399

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-084.xml
MD5SUM0731e2512da3574fe37fc3f03b16a729
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark782
Best CPU time to get the best result obtained on this benchmark2520.1499
Satisfiable
(Un)Satisfiability was proved
Number of variables7139
Number of constraints3652
Number of domains167
Minimum domain size2
Maximum domain size167
Distribution of domain sizes[{"size":2,"count":3571},{"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":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}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}]
Minimum variable degree0
Maximum variable degree83
Distribution of variable degrees[{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}]
Minimum constraint arity2
Maximum constraint arity84
Distribution of constraint arities[{"arity":2,"count":84},{"arity":3,"count":3487},{"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":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}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}]
Number of extensional constraints0
Number of intensional constraints3569
Distribution of constraint types[{"type":"intension","count":3569},{"type":"sum","count":83}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 785579964
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
3.02/1.09	c Parsing done, starting search...
20.43/6.20	o 43794
20.43/6.21	o 37534
20.43/6.22	o 32098
20.43/6.24	o 27782
20.43/6.24	o 27718
20.43/6.24	o 23466
21.17/6.32	o 22938
21.17/6.36	o 19798
21.17/6.38	o 19318
21.95/6.41	o 16674
21.95/6.45	o 16170
21.95/6.46	o 16154
21.95/6.47	o 13846
21.95/6.48	o 13678
21.95/6.48	o 13542
21.95/6.49	o 11562
22.77/6.52	o 9878
22.77/6.53	o 9726
22.77/6.54	o 8266
24.34/6.78	o 8178
24.34/6.80	o 7278
25.13/6.83	o 6966
25.13/6.84	o 6798
25.13/6.86	o 6742
25.13/6.86	o 5786
25.13/6.89	o 5714
25.88/6.90	o 5602
25.88/6.92	o 4630
25.88/6.97	o 4122
29.04/7.37	o 4022
31.44/7.67	o 3898
31.44/7.68	o 3742
34.69/8.08	o 3494
41.79/8.95	o 3438
42.65/9.05	o 3302
42.65/9.06	o 3114
62.49/11.55	o 3090
62.49/11.59	o 2886
63.35/11.62	o 2730
88.81/14.89	o 2622
94.35/15.54	o 2470
147.03/22.17	o 2466
157.31/23.47	o 2398
157.31/23.48	o 2394
157.31/23.48	o 2382
158.12/23.52	o 2262
158.12/23.55	o 2234
1203.04/154.63	o 2186
1728.97/220.65	o 2154
2346.47/298.18	o 2082
2417.26/307.11	o 2002
2990.60/379.29	o 1938
3814.79/482.80	o 1894
3965.12/501.76	o 1830
20014.13/2520.09	s SATISFIABLE
20014.13/2520.10	v <instantiation>
20014.13/2520.10	v 	<list>
20014.13/2520.10	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[79][0] y[79][1] y[79][2] y[79][3] y[80][0] y[80][1] y[80][2] y[81][0] y[81][1] y[82][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82]
20014.13/2520.10	v 	</list>
20014.13/2520.10	v 	<values>
20014.13/2520.10	v 		1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 5 12 -1 6 3 0 -5 10 -1 8 1 4 5 2 -3 10 9 6 -1 2 9 -2 -7 0 -1 -2 5 2 -1 -4 3 2 9 -10 5 6 7 6 -3 -4 -3 -2 -1 0 7 2 -7 6 3 2 -5 -2 5 4 -3 2 3 10 5 4 3 2 3 -2 -3 -2 -1 2 7 6 3 0 3 4 5 2 1 0 1 2 1 0 -1 25 144 1 36 9 0 25 100 1 64 1 16 25 4 9 100 81 36 1 4 81 4 49 0 1 4 25 4 1 16 9 4 81 100 25 36 49 36 9 16 9 4 1 0 49 4 49 36 9 4 25 4 25 16 9 4 9 100 25 16 9 4 9 4 9 4 1 4 49 36 9 0 9 16 25 4 1 0 1 4 1 0 1 
20014.13/2520.10	v 	</values>
20014.13/2520.10	v </instantiation>

Verifier Data 

OK	1830

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284842-1503436349/watcher-4284842-1503436349 -o /tmp/evaluation-result-4284842-1503436349/solver-4284842-1503436349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503435486-32271 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 785579964 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284842-1503436349.xml 

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

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

solver pid=32394, runsolver pid=32391

[startup+0.100142 s]*
/proc/loadavg: 7.83 8.43 8.64 2/198 32414
/proc/meminfo: memFree=19277084/32770624 swapFree=67108860/67108860
[pid=32394] ppid=32391 vsize=26000852 memory=32944 CPUtime=0.12 cores=0-7
/proc/32394/stat : 32394 (java) S 32391 32394 32244 0 -1 1077944320 8658 0 0 0 11 1 0 0 20 0 20 0 176722494 26624872448 8236 33554432000 4194304 4196468 140723154280640 140723154263184 140603796086519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
/proc/32394/statm: 6500213 8236 3399 1 0 6487932 0
[pid=32394/tid=32396] ppid=32391 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32394/task/32396/stat : 32396 (java) R 32391 32394 32244 0 -1 4202560 6584 0 0 0 8 1 0 0 20 0 20 0 176722494 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603800283664 140603796108445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32397] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32397/stat : 32397 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603748707216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32398] ppid=32391 vsize=26000852 memory=139716542453376 CPUtime=0 cores=0-7
/proc/32394/task/32398/stat : 32398 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603747654416 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32399] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32399/stat : 32399 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603746602128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32400] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32400/stat : 32400 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603745549328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32401] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32401/stat : 32401 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603744496016 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32402] ppid=32391 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32402/stat : 32402 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603743443216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32403] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32403/stat : 32403 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603742390928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32404] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32404/stat : 32404 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 8236 33554432000 4194304 4196468 140723154280640 140603346516496 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32405] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32405/stat : 32405 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722496 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602270251632 140603796097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32406] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32406/stat : 32406 (java) S 32391 32394 32244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176722497 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602269197600 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32407] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32407/stat : 32407 (java) S 32391 32394 32244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176722497 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602268145264 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32408] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32408/stat : 32408 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602267093584 140603796105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32409] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32409/stat : 32409 (java) S 32391 32394 32244 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602266040432 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32410] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32410/stat : 32410 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602196879344 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32411] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32411/stat : 32411 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602195827056 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32412] ppid=32391 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/32394/task/32412/stat : 32412 (java) S 32391 32394 32244 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602194774256 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32413] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32413/stat : 32413 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602193722208 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32414] ppid=32391 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32414/stat : 32414 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 8236 33554432000 4194304 4196468 140723154280640 140602192669488 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32944 KiB

[startup+0.210253 s]*
/proc/loadavg: 7.83 8.43 8.64 3/198 32414
/proc/meminfo: memFree=19267964/32770624 swapFree=67108860/67108860
[pid=32394] ppid=32391 vsize=26000852 memory=42092 CPUtime=0.29 cores=0-7
/proc/32394/stat : 32394 (java) S 32391 32394 32244 0 -1 1077944320 9657 0 0 0 27 2 0 0 20 0 20 0 176722494 26624872448 10523 33554432000 4194304 4196468 140723154280640 140723154263184 140603796086519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
/proc/32394/statm: 6500213 10523 3630 1 0 6487932 0
[pid=32394/tid=32396] ppid=32391 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/32394/task/32396/stat : 32396 (java) R 32391 32394 32244 0 -1 4202560 7216 0 0 0 18 1 0 0 20 0 20 0 176722494 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603800311600 140603796108445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32397] ppid=32391 vsize=26000852 memory=3210 CPUtime=0 cores=0-7
/proc/32394/task/32397/stat : 32397 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603748707216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32398] ppid=32391 vsize=26000852 memory=3473313571602290336 CPUtime=0 cores=0-7
/proc/32394/task/32398/stat : 32398 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603747654416 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32399] ppid=32391 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32399/stat : 32399 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603746602128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32400] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32400/stat : 32400 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603745549328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32401] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32401/stat : 32401 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603744496016 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32402] ppid=32391 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32402/stat : 32402 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603743443216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32403] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32403/stat : 32403 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603742390928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32404] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32404/stat : 32404 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624872448 10523 33554432000 4194304 4196468 140723154280640 140603346516496 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32405] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32405/stat : 32405 (java) S 32391 32394 32244 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176722496 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602270251632 140603796097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32406] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32406/stat : 32406 (java) S 32391 32394 32244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176722497 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602269197600 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32407] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32407/stat : 32407 (java) S 32391 32394 32244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176722497 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602268145264 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32408] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32408/stat : 32408 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602267093584 140603796105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32409] ppid=32391 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/32394/task/32409/stat : 32409 (java) S 32391 32394 32244 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602266040432 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32410] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32410/stat : 32410 (java) R 32391 32394 32244 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602196879344 140603796097666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32411] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32411/stat : 32411 (java) S 32391 32394 32244 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602195827056 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32412] ppid=32391 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/32394/task/32412/stat : 32412 (java) R 32391 32394 32244 0 -1 4202560 388 0 0 0 5 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602194774256 140603774622103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32413] ppid=32391 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32413/stat : 32413 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602193722208 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32414] ppid=32391 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32414/stat : 32414 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624872448 10523 33554432000 4194304 4196468 140723154280640 140602192669488 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42092 KiB

[startup+0.309854 s]*
/proc/loadavg: 7.83 8.43 8.64 2/198 32414
/proc/meminfo: memFree=19261140/32770624 swapFree=67108860/67108860
[pid=32394] ppid=32391 vsize=26000872 memory=49764 CPUtime=0.47 cores=0-7
/proc/32394/stat : 32394 (java) S 32391 32394 32244 0 -1 1077944320 10756 0 0 0 45 2 0 0 20 0 20 0 176722494 26624892928 12441 33554432000 4194304 4196468 140723154280640 140723154263184 140603796086519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
/proc/32394/statm: 6500218 12441 3716 1 0 6487932 0
[pid=32394/tid=32396] ppid=32391 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32394/task/32396/stat : 32396 (java) R 32391 32394 32244 0 -1 4202560 7780 0 0 0 27 2 0 0 20 0 20 0 176722494 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603800311376 140603421758096 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32397] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32397/stat : 32397 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603748707216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32398] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32398/stat : 32398 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603747654416 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32399] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32399/stat : 32399 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603746602128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32400] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32400/stat : 32400 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603745549328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32401] ppid=32391 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/32394/task/32401/stat : 32401 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603744496016 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32402] ppid=32391 vsize=26000872 memory=139716427084719 CPUtime=0 cores=0-7
/proc/32394/task/32402/stat : 32402 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603743443216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32403] ppid=32391 vsize=26000872 memory=139716427087024 CPUtime=0 cores=0-7
/proc/32394/task/32403/stat : 32403 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603742390928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32404] ppid=32391 vsize=26000872 memory=139716427089328 CPUtime=0 cores=0-7
/proc/32394/task/32404/stat : 32404 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26624892928 12441 33554432000 4194304 4196468 140723154280640 140603346516496 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32405] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32405/stat : 32405 (java) S 32391 32394 32244 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176722496 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602270251632 140603796097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32406] ppid=32391 vsize=26000872 memory=279432854185616 CPUtime=0 cores=0-7
/proc/32394/task/32406/stat : 32406 (java) S 32391 32394 32244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176722497 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602269197600 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32407] ppid=32391 vsize=26000872 memory=279432854192528 CPUtime=0 cores=0-7
/proc/32394/task/32407/stat : 32407 (java) S 32391 32394 32244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176722497 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602268145264 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32408] ppid=32391 vsize=26000872 memory=279432854133808 CPUtime=0 cores=0-7
/proc/32394/task/32408/stat : 32408 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602267093584 140603796105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32409] ppid=32391 vsize=26000872 memory=279432854206352 CPUtime=0.02 cores=0-7
/proc/32394/task/32409/stat : 32409 (java) S 32391 32394 32244 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602266040432 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32410] ppid=32391 vsize=26000872 memory=279432854213264 CPUtime=0.03 cores=0-7
/proc/32394/task/32410/stat : 32410 (java) S 32391 32394 32244 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602196879344 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32411] ppid=32391 vsize=26000872 memory=279432854210960 CPUtime=0.03 cores=0-7
/proc/32394/task/32411/stat : 32411 (java) S 32391 32394 32244 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602195827056 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32412] ppid=32391 vsize=26000872 memory=279432854227568 CPUtime=0.08 cores=0-7
/proc/32394/task/32412/stat : 32412 (java) R 32391 32394 32244 0 -1 1077944384 522 0 0 0 8 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602194774256 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32413] ppid=32391 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32413/stat : 32413 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602193722208 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32414] ppid=32391 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/32394/task/32414/stat : 32414 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722500 26624892928 12441 33554432000 4194304 4196468 140723154280640 140602192669488 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49764 KiB

[startup+0.700912 s]
/proc/loadavg: 7.83 8.43 8.64 5/198 32414
/proc/meminfo: memFree=19223400/32770624 swapFree=67108860/67108860
[pid=32394] ppid=32391 vsize=26002920 memory=110784 CPUtime=1.77 cores=0-7
/proc/32394/stat : 32394 (java) S 32391 32394 32244 0 -1 1077944320 15741 0 0 0 171 6 0 0 20 0 20 0 176722494 26626990080 27696 33554432000 4194304 4196468 140723154280640 140723154263184 140603796086519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
/proc/32394/statm: 6500730 27696 3779 1 0 6488444 0
[pid=32394/tid=32396] ppid=32391 vsize=26002920 memory=0 CPUtime=0.66 cores=0-7
/proc/32394/task/32396/stat : 32396 (java) R 32391 32394 32244 0 -1 4202560 8452 0 0 0 64 2 0 0 20 0 20 0 176722494 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603800322112 140603422750256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32397] ppid=32391 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32397/stat : 32397 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603748707216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32398] ppid=32391 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32398/stat : 32398 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603747654416 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32399] ppid=32391 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/32394/task/32399/stat : 32399 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603746602128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32400] ppid=32391 vsize=26002920 memory=1720 CPUtime=0 cores=0-7
/proc/32394/task/32400/stat : 32400 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603745549328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32401] ppid=32391 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/32394/task/32401/stat : 32401 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603744496016 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32402] ppid=32391 vsize=26002920 memory=1436 CPUtime=0 cores=0-7
/proc/32394/task/32402/stat : 32402 (java) S 32391 32394 32244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603743443216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32403] ppid=32391 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/32394/task/32403/stat : 32403 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603742390928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32404] ppid=32391 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/32394/task/32404/stat : 32404 (java) S 32391 32394 32244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176722495 26626990080 27696 33554432000 4194304 4196468 140723154280640 140603346516496 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32405] ppid=32391 vsize=26002920 memory=4040 CPUtime=0 cores=0-7
/proc/32394/task/32405/stat : 32405 (java) S 32391 32394 32244 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176722496 26626990080 27696 33554432000 4194304 4196468 140723154280640 140602270251632 140603796097666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0

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

/proc/32394/task/32417/stat : 32417 (java) S 32391 32394 32244 0 -1 1077944384 607 0 0 0 50 1 0 0 20 0 46 0 176722984 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602176078736 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32418] ppid=32391 vsize=27745908 memory=-7384994778349281184 CPUtime=0.49 cores=0-7
/proc/32394/task/32418/stat : 32418 (java) S 32391 32394 32244 0 -1 1077944384 92 0 0 0 48 1 0 0 20 0 46 0 176722985 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602175026048 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32419] ppid=32391 vsize=27745908 memory=4206468019014099040 CPUtime=2487.43 cores=0-7
/proc/32394/task/32419/stat : 32419 (java) R 32391 32394 32244 0 -1 4202560 61799 0 0 0 248675 68 0 0 20 0 46 0 176722985 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602173967672 140603433172855 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32420] ppid=32391 vsize=27745908 memory=-7019007802211091872 CPUtime=2486.86 cores=0-7
/proc/32394/task/32420/stat : 32420 (java) R 32391 32394 32244 0 -1 4202560 75266 0 0 0 248612 74 0 0 20 0 46 0 176722987 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602172914632 140603424737311 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32421] ppid=32391 vsize=27745908 memory=-7384994778349281184 CPUtime=2488.37 cores=0-7
/proc/32394/task/32421/stat : 32421 (java) R 32391 32394 32244 0 -1 4202560 56574 0 0 0 248772 65 0 0 20 0 46 0 176722988 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602171864784 140603429339592 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32422] ppid=32391 vsize=27745908 memory=-2605811476043407915 CPUtime=2490.11 cores=0-7
/proc/32394/task/32422/stat : 32422 (java) R 32391 32394 32244 0 -1 4202560 65676 0 0 0 248942 69 0 0 20 0 46 0 176722988 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602170809288 140603432539779 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32423] ppid=32391 vsize=27745908 memory=4956998493510226538 CPUtime=2489.09 cores=0-7
/proc/32394/task/32423/stat : 32423 (java) R 32391 32394 32244 0 -1 4202560 59221 0 0 0 248838 71 0 0 20 0 46 0 176722994 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602169757456 140603427730535 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32424] ppid=32391 vsize=27745908 memory=1436 CPUtime=0 cores=0-7
/proc/32394/task/32424/stat : 32424 (java) S 32391 32394 32244 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 46 0 176722994 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602168710672 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32425] ppid=32391 vsize=27745908 memory=1200 CPUtime=2485.48 cores=0-7
/proc/32394/task/32425/stat : 32425 (java) R 32391 32394 32244 0 -1 4202560 60255 0 0 0 248485 63 0 0 20 0 46 0 176722994 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602167650808 140603428401223 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32426] ppid=32391 vsize=27745908 memory=15876 CPUtime=2487.51 cores=0-7
/proc/32394/task/32426/stat : 32426 (java) R 32391 32394 32244 0 -1 4202560 64249 0 0 0 248686 65 0 0 20 0 46 0 176722996 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602166597976 140603427729992 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32427] ppid=32391 vsize=27745908 memory=4040 CPUtime=2489.2 cores=0-7
/proc/32394/task/32427/stat : 32427 (java) R 32391 32394 32244 0 -1 4202560 60680 0 0 0 248849 71 0 0 20 0 46 0 176722996 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602165545688 140603422784312 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32428] ppid=32391 vsize=27745908 memory=27764 CPUtime=0 cores=0-7
/proc/32394/task/32428/stat : 32428 (java) S 32391 32394 32244 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 46 0 176723114 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602162365568 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32429] ppid=32391 vsize=27745908 memory=18292 CPUtime=0 cores=0-7
/proc/32394/task/32429/stat : 32429 (java) S 32391 32394 32244 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602161313168 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32430] ppid=32391 vsize=27745908 memory=1792 CPUtime=0 cores=0-7
/proc/32394/task/32430/stat : 32430 (java) S 32391 32394 32244 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602160260480 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32431] ppid=32391 vsize=27745908 memory=648 CPUtime=0 cores=0-7
/proc/32394/task/32431/stat : 32431 (java) S 32391 32394 32244 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602159208080 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32432] ppid=32391 vsize=27745908 memory=1236 CPUtime=0 cores=0-7
/proc/32394/task/32432/stat : 32432 (java) S 32391 32394 32244 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602158155280 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32433] ppid=32391 vsize=27745908 memory=960 CPUtime=0 cores=0-7
/proc/32394/task/32433/stat : 32433 (java) S 32391 32394 32244 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602157101968 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32434] ppid=32391 vsize=27745908 memory=2424 CPUtime=0 cores=0-7
/proc/32394/task/32434/stat : 32434 (java) S 32391 32394 32244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602156049088 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32435] ppid=32391 vsize=27745908 memory=2236 CPUtime=0 cores=0-7
/proc/32394/task/32435/stat : 32435 (java) S 32391 32394 32244 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602154996880 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32436] ppid=32391 vsize=27745908 memory=4084 CPUtime=0 cores=0-7
/proc/32394/task/32436/stat : 32436 (java) S 32391 32394 32244 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602153944080 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32437] ppid=32391 vsize=27745908 memory=932 CPUtime=0 cores=0-7
/proc/32394/task/32437/stat : 32437 (java) S 32391 32394 32244 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602152891904 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32438] ppid=32391 vsize=27745908 memory=290763849282617370 CPUtime=0 cores=0-7
/proc/32394/task/32438/stat : 32438 (java) S 32391 32394 32244 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602151838992 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32439] ppid=32391 vsize=27745908 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32394/task/32439/stat : 32439 (java) S 32391 32394 32244 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602150786704 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32440] ppid=32391 vsize=27745908 memory=797947 CPUtime=0 cores=0-7
/proc/32394/task/32440/stat : 32440 (java) S 32391 32394 32244 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 176723115 28411809792 619771 33554432000 4194304 4196468 140723154280640 140602149733904 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
Current children cumulated CPU time: 20014.1 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 2479084 KiB

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

[startup+2520.14 s]
# the end of solver process 32394 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20005.7 s, system=9.33965 s

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

[startup+2520.12 s]
/proc/loadavg: 9.19 8.87 8.79 10/225 32503
/proc/meminfo: memFree=16820780/32770624 swapFree=67108860/67108860
[pid=32394] ppid=32391 vsize=27879036 memory=2479292 CPUtime=20015 cores=0-7
/proc/32394/stat : 32394 (java) S 32391 32394 32244 0 -1 1077944320 1251751 0 0 0 2000564 932 0 0 20 0 46 0 176722494 28548132864 619823 33554432000 4194304 4196468 140723154280640 140723154263184 140603796086519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
/proc/32394/statm: 6969759 619823 3883 1 0 6956952 0
[pid=32394/tid=32396] ppid=32391 vsize=27879036 memory=2479084 CPUtime=4.79 cores=0-7
/proc/32394/task/32396/stat : 32396 (java) S 32391 32394 32244 0 -1 1077944384 14916 0 0 0 468 11 0 0 20 0 46 0 176722494 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603800324224 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32397] ppid=32391 vsize=27879036 memory=279432857608352 CPUtime=10.57 cores=0-7
/proc/32394/task/32397/stat : 32397 (java) S 32391 32394 32244 0 -1 1077944384 61653 0 0 0 1021 36 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603748707216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32398] ppid=32391 vsize=27879036 memory=0 CPUtime=10.62 cores=0-7
/proc/32394/task/32398/stat : 32398 (java) S 32391 32394 32244 0 -1 1077944384 58761 0 0 0 1025 37 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603747654416 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32399] ppid=32391 vsize=27879036 memory=2479084 CPUtime=10.59 cores=0-7
/proc/32394/task/32399/stat : 32399 (java) S 32391 32394 32244 0 -1 1077944384 60951 0 0 0 1025 34 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603746602128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32400] ppid=32391 vsize=27879036 memory=2481136 CPUtime=10.61 cores=0-7
/proc/32394/task/32400/stat : 32400 (java) S 32391 32394 32244 0 -1 1077944384 69966 0 0 0 1025 36 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603745549328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32401] ppid=32391 vsize=27879036 memory=916 CPUtime=10.68 cores=0-7
/proc/32394/task/32401/stat : 32401 (java) S 32391 32394 32244 0 -1 1077944384 50112 0 0 0 1033 35 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603744496016 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32402] ppid=32391 vsize=27879036 memory=4116 CPUtime=10.59 cores=0-7
/proc/32394/task/32402/stat : 32402 (java) S 32391 32394 32244 0 -1 1077944384 63785 0 0 0 1020 39 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603743443216 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32403] ppid=32391 vsize=27879036 memory=33 CPUtime=10.64 cores=0-7
/proc/32394/task/32403/stat : 32403 (java) S 32391 32394 32244 0 -1 1077944384 72506 0 0 0 1029 35 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603742390928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32404] ppid=32391 vsize=27879036 memory=2319553644334824016 CPUtime=10.56 cores=0-7
/proc/32394/task/32404/stat : 32404 (java) S 32391 32394 32244 0 -1 1077944384 59904 0 0 0 1019 37 0 0 20 0 46 0 176722495 28548132864 619823 33554432000 4194304 4196468 140723154280640 140603346516496 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32405] ppid=32391 vsize=27879036 memory=4524 CPUtime=3.11 cores=0-7
/proc/32394/task/32405/stat : 32405 (java) S 32391 32394 32244 0 -1 1077944384 153677 0 0 0 241 70 0 0 20 0 46 0 176722496 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602270251136 140603796097666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32406] ppid=32391 vsize=27879036 memory=2690812 CPUtime=0 cores=0-7
/proc/32394/task/32406/stat : 32406 (java) S 32391 32394 32244 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 176722497 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602269197664 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32407] ppid=32391 vsize=27879036 memory=5788 CPUtime=0 cores=0-7
/proc/32394/task/32407/stat : 32407 (java) S 32391 32394 32244 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 176722497 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602268145280 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32408] ppid=32391 vsize=27879036 memory=1228 CPUtime=0 cores=0-7
/proc/32394/task/32408/stat : 32408 (java) S 32391 32394 32244 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602267092640 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32409] ppid=32391 vsize=27879036 memory=0 CPUtime=2.89 cores=0-7
/proc/32394/task/32409/stat : 32409 (java) S 32391 32394 32244 0 -1 1077944384 10581 0 0 0 286 3 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602266040432 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32410] ppid=32391 vsize=27879036 memory=0 CPUtime=2.85 cores=0-7
/proc/32394/task/32410/stat : 32410 (java) S 32391 32394 32244 0 -1 1077944384 8281 0 0 0 281 4 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602196864400 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32411] ppid=32391 vsize=27879036 memory=2502172 CPUtime=2.9 cores=0-7
/proc/32394/task/32411/stat : 32411 (java) S 32391 32394 32244 0 -1 1077944384 9887 0 0 0 288 2 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602195827056 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32412] ppid=32391 vsize=27879036 memory=2502172 CPUtime=1.37 cores=0-7
/proc/32394/task/32412/stat : 32412 (java) S 32391 32394 32244 0 -1 1077944384 23602 0 0 0 133 4 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602194774256 140603796097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32413] ppid=32391 vsize=27879036 memory=2501148 CPUtime=0 cores=0-7
/proc/32394/task/32413/stat : 32413 (java) S 32391 32394 32244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 176722500 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602193722208 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32415] ppid=32391 vsize=27879036 memory=1006 CPUtime=0 cores=0-7
/proc/32394/task/32415/stat : 32415 (java) S 32391 32394 32244 0 -1 1077944384 1126 0 0 0 0 0 0 0 20 0 46 0 176722961 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602180281760 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32416] ppid=32391 vsize=27879036 memory=1011 CPUtime=5.07 cores=0-7
/proc/32394/task/32416/stat : 32416 (java) S 32391 32394 32244 0 -1 1077944384 15537 0 0 0 276 231 0 0 20 0 46 0 176722973 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602179228912 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32417] ppid=32391 vsize=27879036 memory=2507304 CPUtime=0.51 cores=0-7
/proc/32394/task/32417/stat : 32417 (java) S 32391 32394 32244 0 -1 1077944384 607 0 0 0 50 1 0 0 20 0 46 0 176722984 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602176078736 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32418] ppid=32391 vsize=27879036 memory=3789957901708951584 CPUtime=0.49 cores=0-7
/proc/32394/task/32418/stat : 32418 (java) S 32391 32394 32244 0 -1 1077944384 92 0 0 0 48 1 0 0 20 0 46 0 176722985 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602175026048 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32419] ppid=32391 vsize=27879036 memory=0 CPUtime=2487.53 cores=0-7
/proc/32394/task/32419/stat : 32419 (java) S 32391 32394 32244 0 -1 1077944384 61801 0 0 0 248685 68 0 0 20 0 46 0 176722985 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602173966928 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32420] ppid=32391 vsize=27879036 memory=1692 CPUtime=2486.97 cores=0-7
/proc/32394/task/32420/stat : 32420 (java) S 32391 32394 32244 0 -1 1077944384 75269 0 0 0 248623 74 0 0 20 0 46 0 176722987 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602172914128 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32421] ppid=32391 vsize=27879036 memory=916 CPUtime=2488.47 cores=0-7
/proc/32394/task/32421/stat : 32421 (java) S 32391 32394 32244 0 -1 1077944384 56579 0 0 0 248782 65 0 0 20 0 46 0 176722988 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602171861744 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32422] ppid=32391 vsize=27879036 memory=4116 CPUtime=2490.22 cores=0-7
/proc/32394/task/32422/stat : 32422 (java) S 32391 32394 32244 0 -1 1077944384 65681 0 0 0 248953 69 0 0 20 0 46 0 176722988 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602170809328 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32423] ppid=32391 vsize=27879036 memory=278894842929994 CPUtime=2489.19 cores=0-7
/proc/32394/task/32423/stat : 32423 (java) S 32391 32394 32244 0 -1 1077944384 59226 0 0 0 248848 71 0 0 20 0 46 0 176722994 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602169756944 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32424] ppid=32391 vsize=27879036 memory=4052224082612873071 CPUtime=0 cores=0-7
/proc/32394/task/32424/stat : 32424 (java) S 32391 32394 32244 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 46 0 176722994 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602168710672 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32425] ppid=32391 vsize=27879036 memory=4052224082612873071 CPUtime=2485.56 cores=0-7
/proc/32394/task/32425/stat : 32425 (java) S 32391 32394 32244 0 -1 1077944384 60263 0 0 0 248493 63 0 0 20 0 46 0 176722994 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602167650640 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32426] ppid=32391 vsize=27879036 memory=2492936 CPUtime=2487.61 cores=0-7
/proc/32394/task/32426/stat : 32426 (java) S 32391 32394 32244 0 -1 1077944384 64253 0 0 0 248696 65 0 0 20 0 46 0 176722996 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602166598656 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32427] ppid=32391 vsize=27879036 memory=27756 CPUtime=2489.31 cores=0-7
/proc/32394/task/32427/stat : 32427 (java) S 32391 32394 32244 0 -1 1077944384 60686 0 0 0 248860 71 0 0 20 0 46 0 176722996 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602165545552 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32428] ppid=32391 vsize=27879036 memory=2485240 CPUtime=0 cores=0-7
/proc/32394/task/32428/stat : 32428 (java) S 32391 32394 32244 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 46 0 176723114 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602162365568 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32429] ppid=32391 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/32394/task/32429/stat : 32429 (java) S 32391 32394 32244 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602161313168 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32430] ppid=32391 vsize=27879036 memory=648 CPUtime=0 cores=0-7
/proc/32394/task/32430/stat : 32430 (java) S 32391 32394 32244 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602160260480 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32431] ppid=32391 vsize=27879036 memory=2483188 CPUtime=0 cores=0-7
/proc/32394/task/32431/stat : 32431 (java) S 32391 32394 32244 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602159208080 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32432] ppid=32391 vsize=27879036 memory=2483188 CPUtime=0 cores=0-7
/proc/32394/task/32432/stat : 32432 (java) S 32391 32394 32244 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602158155280 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32433] ppid=32391 vsize=27879036 memory=49036 CPUtime=0 cores=0-7
/proc/32394/task/32433/stat : 32433 (java) S 32391 32394 32244 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602157101968 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32434] ppid=32391 vsize=27879036 memory=2332 CPUtime=0 cores=0-7
/proc/32394/task/32434/stat : 32434 (java) S 32391 32394 32244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602156049088 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32435] ppid=32391 vsize=27879036 memory=4132 CPUtime=0 cores=0-7
/proc/32394/task/32435/stat : 32435 (java) S 32391 32394 32244 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602154996880 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32436] ppid=32391 vsize=27879036 memory=49052 CPUtime=0 cores=0-7
/proc/32394/task/32436/stat : 32436 (java) S 32391 32394 32244 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602153944080 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32437] ppid=32391 vsize=27879036 memory=2481136 CPUtime=0 cores=0-7
/proc/32394/task/32437/stat : 32437 (java) S 32391 32394 32244 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602152891904 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32438] ppid=32391 vsize=27879036 memory=2481136 CPUtime=0 cores=0-7
/proc/32394/task/32438/stat : 32438 (java) S 32391 32394 32244 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602151838992 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32439] ppid=32391 vsize=27879036 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/32394/task/32439/stat : 32439 (java) S 32391 32394 32244 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602150786704 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
[pid=32394/tid=32440] ppid=32391 vsize=27879036 memory=522 CPUtime=0 cores=0-7
/proc/32394/task/32440/stat : 32440 (java) S 32391 32394 32244 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 176723115 28548132864 619823 33554432000 4194304 4196468 140723154280640 140602149733904 140603796096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13082624 140723154285666 140723154285851 140723154285851 140723154288591 0
Current children cumulated CPU time: 20015 s
Current children cumulated vsize: 27879036 KiB
Current children cumulated memory: 2479292 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20015
CPU user time (s): 20005.7
CPU system time (s): 9.33965
CPU usage (%): 794.201
Max. virtual memory (cumulated for all children) (KiB): 27879036
Max. memory (cumulated for all children) (KiB): 4097928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20005.7
system time used= 9.33966
maximum resident set size= 4100016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1251790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 429695
involuntary context switches= 419826


# summary of solver processes directly reported to runsolver:
#   pid: 32394
#   total CPU time (s): 20015
#   total CPU user time (s): 20005.7
#   total CPU system time (s): 9.33965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5552 second user time and 39.3063 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-22 22:58:08
IDJOB=4284842
IDBENCH=127051
IDSOLVER=2681
FILE ID=node112/4284842-1503436349
RUNJOBID= node112-1503435486-32271
PBS_JOBID= 20632142
Free space on /tmp= 60712 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-084.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284842-1503436349/watcher-4284842-1503436349 -o /tmp/evaluation-result-4284842-1503436349/solver-4284842-1503436349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503435486-32271 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 785579964 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284842-1503436349.xml

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

MD5SUM BENCH= 0731e2512da3574fe37fc3f03b16a729
RANDOM SEED=785579964

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19296688 kB
MemAvailable:   31944832 kB
Buffers:          268408 kB
Cached:         12660952 kB
SwapCached:            0 kB
Active:          2289964 kB
Inactive:       10691420 kB
Active(anon):       3880 kB
Inactive(anon):    92572 kB
Active(file):    2286084 kB
Inactive(file): 10598848 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42072 kB
Writeback:             0 kB
AnonPages:         56160 kB
Mapped:            55048 kB
Shmem:             41608 kB
Slab:             185172 kB
SReclaimable:     158096 kB
SUnreclaim:        27076 kB
KernelStack:        3072 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 60672 MiB
End job on node112 at 2017-08-22 23:40:09