Trace number 4274770

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 - Hybrid 2017-07-26SAT (TO)3028 2520.0901 2460.9299

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n67-k10.xml
MD5SUM22a404b8d6219eda7de384223800de36
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1093
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables4556
Number of constraints4488
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}]
Minimum variable degree0
Maximum variable degree131
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}]
Number of extensional constraints0
Number of intensional constraints66
Distribution of constraint types[{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}]
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.25/1.87	c version: 2017-07-26
0.25/1.87	c seed: 1336341541
0.25/1.87	c timeout: 2520
0.25/1.87	c memlimit: 11000
0.25/1.87	c nbcore: 4
0.25/1.89	c Parsing instance...
3.75/3.09	c Parsing done, starting first complete search...
4.35/3.24	o 3556
4.35/3.28	o 3552
6.20/3.84	o 3551
6.20/3.84	o 3536
6.20/3.84	o 3496
6.20/3.84	o 3479
6.20/3.84	o 3478
6.20/3.84	o 3477
6.20/3.84	o 3474
6.20/3.84	o 3461
6.20/3.84	o 3419
6.20/3.84	o 3412
6.20/3.84	o 3390
6.20/3.84	o 3382
6.20/3.84	o 3381
6.20/3.84	o 3376
6.20/3.84	o 3360
6.20/3.84	o 3351
6.20/3.84	o 3349
6.20/3.84	o 3348
6.20/3.84	o 3347
6.20/3.84	o 3345
6.20/3.84	o 3343
6.20/3.84	o 3342
6.20/3.86	o 3336
6.20/3.87	o 3335
6.20/3.89	o 3329
6.50/3.95	o 3328
6.50/3.97	o 3326
7.07/4.29	o 3321
7.37/4.41	o 3317
7.37/4.46	o 3314
7.37/4.48	o 3310
7.69/4.63	o 3300
7.69/4.66	o 3294
7.69/4.68	o 3293
8.04/4.90	o 3291
8.69/5.50	o 3290
8.69/5.51	o 3286
8.69/5.52	o 3284
12.38/9.17	c First complete search done, starting ALNS search...
191.55/185.33	o 3222
935.00/918.39	o 3203
943.73/926.86	o 3195
965.26/947.84	o 3191
1132.54/1110.52	o 3138
1231.70/1207.13	o 3085
1285.50/1259.41	o 3067
1490.06/1458.70	o 3037
1808.39/1768.61	o 3028
1808.52/1768.77	c ALNS done, starting second complete search
1808.52/1768.77	c Best operator: Random(3416)_ExtOriented(Max) with improvement of: 252
2520.04/2460.90	s SATISFIABLE
2520.04/2460.91	v <instantiation>
2520.04/2460.91	v 	<list>
2520.04/2460.91	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66]
2520.04/2460.91	v 	</list>
2520.04/2460.91	v 	<values>
2520.04/2460.91	v 		0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 76 88 98 100 64 41 26 88 100 74 100 10 62 62 40 58 24 50 48 24 56 60 79 100 32 25 80 18 66 100 77 79 100 61 4 100 100 80 100 10 59 75 40 64 7 49 57 36 50 36 32 19 35 17 11 59 43 100 10 19 84 98 100 4 10 3 
2520.04/2460.91	v 	</values>
2520.04/2460.91	v </instantiation>

Verifier Data 

OK	3028

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274770-1502820363/watcher-4274770-1502820363 -o /tmp/evaluation-result-4274770-1502820363/solver-4274770-1502820363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1336341541 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274770-1502820363.xml 

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

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

solver pid=5396, runsolver pid=5393

[startup+0.100158 s]*
/proc/loadavg: 1.35 1.43 1.47 2/201 5397
/proc/meminfo: memFree=30151536/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (runsolver) D 5393 5396 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123947798 34791424 113 18446744073709551615 4194304 4346622 140723997493680 140723997490312 140697589158615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 36265984 140723997495364 140723997495844 140723997495844 140723997499338 0
/proc/5396/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209446 s]*
/proc/loadavg: 1.35 1.43 1.47 2/201 5397
/proc/meminfo: memFree=30151536/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (runsolver) D 5393 5396 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123947798 34791424 113 18446744073709551615 4194304 4346622 140723997493680 140723997490312 140697589158615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 36265984 140723997495364 140723997495844 140723997495844 140723997499338 0
/proc/5396/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.309066 s]*
/proc/loadavg: 1.35 1.43 1.47 2/201 5397
/proc/meminfo: memFree=30151536/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (runsolver) D 5393 5396 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123947798 34791424 113 18446744073709551615 4194304 4346622 140723997493680 140723997490312 140697589158615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 36265984 140723997495364 140723997495844 140723997495844 140723997499338 0
/proc/5396/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.700332 s]
/proc/loadavg: 1.35 1.43 1.47 2/201 5397
/proc/meminfo: memFree=30147544/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (runsolver) D 5393 5396 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123947798 34791424 113 18446744073709551615 4194304 4346622 140723997493680 140723997490312 140697589158615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 36265984 140723997495364 140723997495844 140723997495844 140723997499338 0
/proc/5396/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+1.50028 s]
/proc/loadavg: 1.35 1.43 1.47 2/201 5397
/proc/meminfo: memFree=30147804/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (runsolver) D 5393 5396 12395 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123947798 34791424 113 18446744073709551615 4194304 4346622 140723997493680 140723997490312 140697589158615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 36265984 140723997495364 140723997495844 140723997495844 140723997499338 0
/proc/5396/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+3.11074 s]
/proc/loadavg: 1.35 1.43 1.47 6/215 5411
/proc/meminfo: memFree=29953760/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=245404 CPUtime=4.07 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 29799 0 0 0 393 14 0 0 20 0 15 0 123947798 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 61351 3797 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=61164 CPUtime=1.44 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 14045 0 0 0 136 8 0 0 20 0 15 0 123947956 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140568730498496 140568323719232 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 15 0 123947957 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=2460 CPUtime=0.01 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 15 0 123947957 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=281394983200768 CPUtime=0.01 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 123947957 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=281394982960624 CPUtime=0.01 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 123947957 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=14698499895724298 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 123947958 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567642859040 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567641806192 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=146016 CPUtime=0.91 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) R 5393 5396 12395 0 -1 4202560 4924 0 0 0 90 1 0 0 20 0 15 0 123947961 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567639682888 140568709766471 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=137788 CPUtime=0.93 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) R 5393 5396 12395 0 -1 4202560 3805 0 0 0 92 1 0 0 20 0 15 0 123947961 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567638649200 140568704506073 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=1414298054980309879 CPUtime=0.67 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) R 5393 5396 12395 0 -1 4202560 5144 0 0 0 66 1 0 0 20 0 15 0 123947961 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568704891249 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=1399717448514900851 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947966 14317654016 61351 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 245404 KiB

[startup+6.30071 s]
/proc/loadavg: 1.32 1.42 1.47 3/215 5411
/proc/meminfo: memFree=29884620/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=287592 CPUtime=9.49 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 35785 0 0 0 927 22 0 0 20 0 15 0 123947798 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 71898 3806 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=0 CPUtime=4.59 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 14877 0 0 0 448 11 0 0 20 0 15 0 123947956 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140568730505040 140568332358463 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=23240068048515 CPUtime=0.04 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 111 0 0 0 3 1 0 0 20 0 15 0 123947957 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=8679812341052055844 CPUtime=0.04 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 953 0 0 0 3 1 0 0 20 0 15 0 123947957 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 139 0 0 0 3 1 0 0 20 0 15 0 123947957 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=22084 CPUtime=0.04 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 286 0 0 0 3 1 0 0 20 0 15 0 123947957 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 123947958 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567642859040 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567641806192 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=1012 CPUtime=1.95 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) S 5393 5396 12395 0 -1 1077944384 6071 0 0 0 194 1 0 0 20 0 15 0 123947961 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=1228 CPUtime=1.93 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 6075 0 0 0 192 1 0 0 20 0 15 0 123947961 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=1992 CPUtime=0.77 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 5573 0 0 0 75 2 0 0 20 0 15 0 123947961 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 123947966 14317654016 71898 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 287592 KiB

[startup+12.7008 s]
/proc/loadavg: 1.38 1.43 1.47 3/215 5411
/proc/meminfo: memFree=29694352/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=468000 CPUtime=16.84 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 42292 0 0 0 1648 36 0 0 20 0 15 0 123947798 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 117000 3807 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=467908 CPUtime=10.9 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 16875 0 0 0 1077 13 0 0 20 0 15 0 123947956 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140568730497392 140568334086969 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=281394982993952 CPUtime=0.12 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 207 0 0 0 9 3 0 0 20 0 15 0 123947957 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=279400 CPUtime=0.12 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 1059 0 0 0 9 3 0 0 20 0 15 0 123947957 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=6944658624146216565 CPUtime=0.13 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 212 0 0 0 9 4 0 0 20 0 15 0 123947957 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=408896 CPUtime=0.13 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 401 0 0 0 9 4 0 0 20 0 15 0 123947957 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=8187704045996132563 CPUtime=0.01 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 123947958 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=474188 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567642859040 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567641806192 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=796 CPUtime=2.26 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) R 5393 5396 12395 0 -1 4202560 7664 0 0 0 224 2 0 0 20 0 15 0 123947961 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568707813410 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=5784 CPUtime=2.22 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 7386 0 0 0 220 2 0 0 20 0 15 0 123947961 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=4612 CPUtime=0.86 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 6522 0 0 0 84 2 0 0 20 0 15 0 123947961 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=9052 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 123947966 14317654016 117000 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 16.84 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 468000 KiB

[startup+25.5008 s]
/proc/loadavg: 1.51 1.46 1.48 3/215 5411
/proc/meminfo: memFree=29162164/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=1199340 CPUtime=30.66 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 50298 0 0 0 3008 58 0 0 20 0 15 0 123947798 14317654016 299835 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 299835 3817 1 0 3484295 0

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

/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 114610 0 0 0 236169 82 0 0 20 0 15 0 123947956 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140568730507760 140568329439263 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=1190236 CPUtime=16.77 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 12004 0 0 0 1626 51 0 0 20 0 15 0 123947957 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=61284 CPUtime=16.77 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 11625 0 0 0 1626 51 0 0 20 0 15 0 123947957 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=1237952 CPUtime=16.76 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 10783 0 0 0 1624 52 0 0 20 0 15 0 123947957 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=1192288 CPUtime=16.75 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 9563 0 0 0 1624 51 0 0 20 0 15 0 123947957 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=55 CPUtime=1.12 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 71932 0 0 0 86 26 0 0 20 0 15 0 123947958 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=1201520 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567642859104 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=1190236 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567641806208 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=1190496 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=1191260 CPUtime=3.1 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) S 5393 5396 12395 0 -1 1077944384 20662 0 0 0 307 3 0 0 20 0 15 0 123947961 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=1190496 CPUtime=3.03 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 20749 0 0 0 300 3 0 0 20 0 15 0 123947961 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=4132 CPUtime=1.1 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 25491 0 0 0 107 3 0 0 20 0 15 0 123947961 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=1190496 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=4132 CPUtime=1.21 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 1708 0 0 0 51 70 0 0 20 0 15 0 123947966 14317654016 295122 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 2439.23 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1180488 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.54 1.53 3/214 5666
/proc/meminfo: memFree=26507956/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=1355884 CPUtime=2500.78 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 303811 0 0 0 249687 391 0 0 20 0 15 0 123947798 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 338971 3835 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=4126316290023845779 CPUtime=2421.97 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 116503 0 0 0 242112 85 0 0 20 0 15 0 123947956 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140568730507696 140568333748857 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=1346668 CPUtime=17.28 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 12231 0 0 0 1674 54 0 0 20 0 15 0 123947957 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=1192288 CPUtime=17.28 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 11952 0 0 0 1674 54 0 0 20 0 15 0 123947957 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=1169204 CPUtime=17.26 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 11002 0 0 0 1672 54 0 0 20 0 15 0 123947957 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=1345496 CPUtime=17.25 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 9731 0 0 0 1672 53 0 0 20 0 15 0 123947957 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=1354880 CPUtime=1.16 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 72222 0 0 0 89 27 0 0 20 0 15 0 123947958 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=1356268 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567642859104 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=1346668 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567641806208 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=1355884 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=2353 CPUtime=3.1 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) S 5393 5396 12395 0 -1 1077944384 20664 0 0 0 307 3 0 0 20 0 15 0 123947961 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=1355884 CPUtime=3.03 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 20751 0 0 0 300 3 0 0 20 0 15 0 123947961 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=1355884 CPUtime=1.1 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 25493 0 0 0 107 3 0 0 20 0 15 0 123947961 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=61312 CPUtime=1.25 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 1721 0 0 0 52 73 0 0 20 0 15 0 123947966 14317654016 338971 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 2500.78 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1355884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.9 s]
/proc/loadavg: 1.51 1.54 1.53 3/214 5666
/proc/meminfo: memFree=26546756/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=1324132 CPUtime=2520.04 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 307049 0 0 0 251612 392 0 0 20 0 15 0 123947798 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 331033 3835 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=1324132 CPUtime=2440.33 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 117642 0 0 0 243948 85 0 0 20 0 15 0 123947956 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568730507760 140568329440934 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=1326184 CPUtime=17.5 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 12249 0 0 0 1696 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=1324132 CPUtime=17.49 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 11963 0 0 0 1695 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=1335420 CPUtime=17.48 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 11055 0 0 0 1693 55 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=1324132 CPUtime=17.48 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 9753 0 0 0 1694 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=1324132 CPUtime=1.17 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 74209 0 0 0 90 27 0 0 20 0 15 0 123947958 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=126 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567642859104 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567641806208 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=1326184 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=1326184 CPUtime=3.1 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) S 5393 5396 12395 0 -1 1077944384 20666 0 0 0 307 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=4132 CPUtime=3.03 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 20753 0 0 0 300 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=18468 CPUtime=1.1 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 25495 0 0 0 107 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=1326184 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=644 CPUtime=1.26 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 1723 0 0 0 53 73 0 0 20 0 15 0 123947966 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1324132 KiB

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

[startup+2460.93 s]
# the end of solver process 5396 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.17 s, system=3.92913 s

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

[startup+2460.9 s]
/proc/loadavg: 1.51 1.54 1.53 3/214 5666
/proc/meminfo: memFree=26546756/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=13982084 memory=1324132 CPUtime=2520.04 cores=1,3,5,7
/proc/5396/stat : 5396 (java) S 5393 5396 12395 0 -1 1077944320 307049 0 0 0 251612 392 0 0 20 0 15 0 123947798 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140722683622976 140568726269687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 157 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
/proc/5396/statm: 3495521 331033 3835 1 0 3484295 0
[pid=5396/tid=5398] ppid=5393 vsize=13982084 memory=1324132 CPUtime=2440.33 cores=1,3,5,7
/proc/5396/task/5398/stat : 5398 (java) R 5393 5396 12395 0 -1 4202560 117642 0 0 0 243948 85 0 0 20 0 15 0 123947956 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568730507760 140568329440934 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5399] ppid=5393 vsize=13982084 memory=1326184 CPUtime=17.5 cores=1,3,5,7
/proc/5396/task/5399/stat : 5399 (java) S 5393 5396 12395 0 -1 1077944384 12249 0 0 0 1696 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568645683856 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5400] ppid=5393 vsize=13982084 memory=1324132 CPUtime=17.49 cores=1,3,5,7
/proc/5396/task/5400/stat : 5400 (java) S 5393 5396 12395 0 -1 1077944384 11963 0 0 0 1695 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568644631056 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5401] ppid=5393 vsize=13982084 memory=1335420 CPUtime=17.48 cores=1,3,5,7
/proc/5396/task/5401/stat : 5401 (java) S 5393 5396 12395 0 -1 1077944384 11055 0 0 0 1693 55 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568643578256 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5402] ppid=5393 vsize=13982084 memory=1324132 CPUtime=17.48 cores=1,3,5,7
/proc/5396/task/5402/stat : 5402 (java) S 5393 5396 12395 0 -1 1077944384 9753 0 0 0 1694 54 0 0 20 0 15 0 123947957 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140568323680528 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5403] ppid=5393 vsize=13982084 memory=1324132 CPUtime=1.17 cores=1,3,5,7
/proc/5396/task/5403/stat : 5403 (java) S 5393 5396 12395 0 -1 1077944384 74209 0 0 0 90 27 0 0 20 0 15 0 123947958 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567643913072 140568726280834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5404] ppid=5393 vsize=13982084 memory=126 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5404/stat : 5404 (java) S 5393 5396 12395 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567642859104 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5405] ppid=5393 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5405/stat : 5405 (java) S 5393 5396 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 123947959 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567641806208 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5406] ppid=5393 vsize=13982084 memory=1326184 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5406/stat : 5406 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567640754512 140568726288283 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5407] ppid=5393 vsize=13982084 memory=1326184 CPUtime=3.1 cores=1,3,5,7
/proc/5396/task/5407/stat : 5407 (java) S 5393 5396 12395 0 -1 1077944384 20666 0 0 0 307 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567639701872 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5408] ppid=5393 vsize=13982084 memory=4132 CPUtime=3.03 cores=1,3,5,7
/proc/5396/task/5408/stat : 5408 (java) S 5393 5396 12395 0 -1 1077944384 20753 0 0 0 300 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567638649072 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5409] ppid=5393 vsize=13982084 memory=18468 CPUtime=1.1 cores=1,3,5,7
/proc/5396/task/5409/stat : 5409 (java) S 5393 5396 12395 0 -1 1077944384 25495 0 0 0 107 3 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567637596272 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5410] ppid=5393 vsize=13982084 memory=1326184 CPUtime=0 cores=1,3,5,7
/proc/5396/task/5410/stat : 5410 (java) S 5393 5396 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123947961 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567166052576 140568726279893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
[pid=5396/tid=5411] ppid=5393 vsize=13982084 memory=644 CPUtime=1.26 cores=1,3,5,7
/proc/5396/task/5411/stat : 5411 (java) S 5393 5396 12395 0 -1 1077944384 1723 0 0 0 53 73 0 0 20 0 15 0 123947966 14317654016 331033 18446744073709551615 4194304 4196468 140722683640432 140567165000880 140568726280834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27688960 140722683646322 140722683646505 140722683646505 140722683649999 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1324132 KiB

Child status: 143
Real time (s): 2460.93
CPU time (s): 2520.09
CPU user time (s): 2516.17
CPU system time (s): 3.92913
CPU usage (%): 102.404
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2272848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.92913
maximum resident set size= 2274348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77033
involuntary context switches= 4090


# summary of solver processes directly reported to runsolver:
#   pid: 5396
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.17
#   total CPU system time (s): 3.92913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9446 second user time and 22.854 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-15 19:52:11
IDJOB=4274770
IDBENCH=124400
IDSOLVER=2667
FILE ID=node135/4274770-1502820363
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274770-1502820363/watcher-4274770-1502820363 -o /tmp/evaluation-result-4274770-1502820363/solver-4274770-1502820363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1336341541 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274770-1502820363.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=1336341541

node135.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.21
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.21
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.21
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.21
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:        30151988 kB
MemAvailable:   31210152 kB
Buffers:          326756 kB
Cached:          1034056 kB
SwapCached:            0 kB
Active:          1565544 kB
Inactive:         600544 kB
Active(anon):     805472 kB
Inactive(anon):    49516 kB
Active(file):     760072 kB
Inactive(file):   551028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42332 kB
Writeback:             0 kB
AnonPages:        755764 kB
Mapped:            74608 kB
Shmem:             49848 kB
Slab:             153940 kB
SReclaimable:     125796 kB
SUnreclaim:        28144 kB
KernelStack:        3808 kB
PageTables:         6912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1577088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    630784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 20:33:12