Trace number 4257365

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)2795 1921.42 251.935

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 benchmark1157
Best CPU time to get the best result obtained on this benchmark251.936
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.37/0.40	c version: 2017-07-26
0.37/0.40	c seed: 1727637660
0.37/0.40	c timeout: 1920
0.37/0.40	c memlimit: 22000
0.37/0.40	c nbcore: 8
0.37/0.42	c Parsing instance...
2.70/1.12	c Parsing done, starting search...
23.23/13.97	o 3669
24.06/14.03	o 3315
24.86/14.16	o 3299
24.86/14.19	o 3278
25.62/14.27	o 3276
25.62/14.29	o 3162
26.50/14.34	o 3134
26.50/14.35	o 3112
26.50/14.37	o 3079
26.50/14.39	o 3071
27.25/14.41	o 3057
27.25/14.42	o 3043
27.25/14.44	o 3035
27.25/14.49	o 3020
27.25/14.49	o 3019
27.98/14.56	o 3013
28.77/14.66	o 3008
29.57/14.72	o 3001
29.57/14.75	o 2992
30.36/14.81	o 2987
30.36/14.89	o 2984
31.22/14.94	o 2964
31.22/14.95	o 2950
31.97/15.01	o 2948
31.97/15.09	o 2944
40.69/16.16	o 2937
40.69/16.19	o 2922
41.50/16.24	o 2920
41.50/16.26	o 2916
43.93/16.57	o 2912
48.67/17.16	o 2906
82.08/21.35	o 2892
82.08/21.40	o 2886
83.67/21.57	o 2870
84.48/21.63	o 2867
84.48/21.69	o 2854
85.28/21.71	o 2852
94.84/23.00	o 2840
95.64/23.01	o 2838
129.11/27.25	o 2836
129.11/27.27	o 2834
156.21/30.66	o 2824
156.21/30.68	o 2822
204.09/36.65	o 2818
205.69/36.86	o 2797
206.48/36.97	o 2795
1920.55/251.86	s SATISFIABLE
1920.55/251.88	v <instantiation>
1920.55/251.88	v 	<list>
1920.55/251.88	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]
1920.55/251.89	v 	</list>
1920.55/251.89	v 	<values>
1920.55/251.89	v 		0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 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 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 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 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 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 0 0 0 0 0 0 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 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 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 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 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 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 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 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 0 0 0 0 1 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 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 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 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 22 30 100 37 100 100 100 48 31 30 100 74 77 65 100 12 97 35 84 49 28 55 26 60 76 19 39 69 35 100 33 27 51 85 63 48 25 51 76 25 80 45 51 22 47 61 76 100 60 70 84 41 51 83 35 64 100 51 40 64 26 90 42 43 74 100 
1920.55/251.89	v 	</values>
1920.55/251.89	v </instantiation>

Verifier Data 

OK	2795

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257365-1501683699/watcher-4257365-1501683699 -o /tmp/evaluation-result-4257365-1501683699/solver-4257365-1501683699 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1727637660 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257365-1501683699.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.09 6.70 6.54 2/177 13254
/proc/meminfo: memFree=31662928/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=23672 CPUtime=0 cores=0-7
/proc/13254/stat : 13254 (runsolver) D 13251 13254 1658 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10280573 24240128 106 18446744073709551615 4194304 4338465 140724913727376 140724913725016 140556660196055 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 22724608 140724913729636 140724913730115 140724913730115 140724913733578 0
/proc/13254/statm: 5918 106 53 36 0 2156 0

[startup+0.100129 s]
/proc/loadavg: 8.09 6.70 6.54 2/177 13254
/proc/meminfo: memFree=31662928/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=356952 CPUtime=0 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 10280573 365518848 1880 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 89238 1880 1031 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.200288 s]
/proc/loadavg: 8.09 6.70 6.54 2/177 13254
/proc/meminfo: memFree=31662928/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=25927168 CPUtime=0.05 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 4676 0 0 0 5 0 0 0 20 0 19 0 10280573 26549420032 5198 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6481792 5198 2568 1 0 6471297 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25927168

[startup+0.300308 s]
/proc/loadavg: 8.09 6.70 6.54 2/177 13254
/proc/meminfo: memFree=31662928/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=25997628 CPUtime=0.21 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 9792 0 0 0 19 2 0 0 20 0 20 0 10280573 26621571072 9140 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6499407 9140 3539 1 0 6488194 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25997628

[startup+0.700195 s]
/proc/loadavg: 8.09 6.70 6.54 2/177 13254
/proc/meminfo: memFree=31662928/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=25998672 CPUtime=1.07 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 13909 0 0 0 102 5 0 0 20 0 20 0 10280573 26622640128 17610 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6499668 17610 3715 1 0 6488450 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 25998672

[startup+1.50076 s]
/proc/loadavg: 8.09 6.70 6.54 5/197 13274
/proc/meminfo: memFree=31535860/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=26002768 CPUtime=4.02 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 29255 0 0 0 391 11 0 0 20 0 20 0 10280573 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6500692 48428 3766 1 0 6489474 0
[pid=13254/tid=13256] ppid=13251 vsize=26002768 CPUtime=1.33 cores=0-7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 1658 0 -1 4202560 15378 0 0 0 127 6 0 0 20 0 20 0 10280582 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639350351840 139638939177479 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13257] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639258024336 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13258] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639256971536 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13259] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639255919248 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13260] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639254866448 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13261] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139639253814160 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13262] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638902983440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13263] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638901931152 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13264] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10280583 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638900878352 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13265] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 1658 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 20 0 10280584 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638746269808 139639346129538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13266] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638745215776 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13267] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638744163440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13268] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280587 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638743111760 139639346136987 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13269] ppid=13251 vsize=26002768 CPUtime=0.72 cores=0-7
/proc/13254/task/13269/stat : 13269 (java) R 13251 13254 1658 0 -1 4202560 4217 0 0 0 71 1 0 0 20 0 20 0 10280587 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638742039792 139639327663352 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13270] ppid=13251 vsize=26002768 CPUtime=0.66 cores=0-7
/proc/13254/task/13270/stat : 13270 (java) R 13251 13254 1658 0 -1 4202560 2431 0 0 0 66 0 0 0 20 0 20 0 10280587 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638740992928 139639329604790 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13271] ppid=13251 vsize=26002768 CPUtime=0.68 cores=0-7
/proc/13254/task/13271/stat : 13271 (java) R 13251 13254 1658 0 -1 4202560 2794 0 0 0 67 1 0 0 20 0 20 0 10280587 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638739940680 139639338407724 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13272] ppid=13251 vsize=26002768 CPUtime=0.59 cores=0-7
/proc/13254/task/13272/stat : 13272 (java) R 13251 13254 1658 0 -1 4202560 2546 0 0 0 58 1 0 0 20 0 20 0 10280587 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638738897688 139639325252936 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13273] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10280588 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638737848672 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13274] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13274/stat : 13274 (java) S 13251 13254 1658 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 10280593 26626834432 48428 18446744073709551615 4194304 4196468 140729201130080 139638736795952 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 26002768

[startup+3.10078 s]
/proc/loadavg: 8.09 6.70 6.54 4/197 13274
/proc/meminfo: memFree=31421520/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=26002768 CPUtime=8.07 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 38504 0 0 0 786 21 0 0 20 0 20 0 10280573 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6500692 70489 3799 1 0 6489474 0
[pid=13254/tid=13256] ppid=13251 vsize=26002768 CPUtime=2.87 cores=0-7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 1658 0 -1 4202560 15634 0 0 0 281 6 0 0 20 0 20 0 10280582 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639350352792 139638942508507 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13257] ppid=13251 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 1658 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639258024336 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13258] ppid=13251 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 1658 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639256971536 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13259] ppid=13251 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 1658 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639255919248 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13260] ppid=13251 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 1658 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639254866448 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13261] ppid=13251 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 1658 0 -1 1077944384 48 0 0 0 2 1 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139639253814160 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13262] ppid=13251 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 1658 0 -1 1077944384 223 0 0 0 1 1 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638902983440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13263] ppid=13251 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 1658 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638901931152 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13264] ppid=13251 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 1658 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 20 0 10280583 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638900878352 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13265] ppid=13251 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 1658 0 -1 1077944384 770 0 0 0 1 0 0 0 20 0 20 0 10280584 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638746269808 139639346129538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13266] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 1658 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638745215776 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13267] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638744163440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13268] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280587 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638743111760 139639346136987 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13269] ppid=13251 vsize=26002768 CPUtime=1.48 cores=0-7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 1658 0 -1 1077944384 5679 0 0 0 146 2 0 0 20 0 20 0 10280587 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638742059632 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13270] ppid=13251 vsize=26002768 CPUtime=1.41 cores=0-7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 1658 0 -1 1077944384 5003 0 0 0 141 0 0 0 20 0 20 0 10280587 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638741006832 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13271] ppid=13251 vsize=26002768 CPUtime=1.22 cores=0-7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 1658 0 -1 1077944384 4098 0 0 0 121 1 0 0 20 0 20 0 10280587 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638739954544 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13272] ppid=13251 vsize=26002768 CPUtime=0.77 cores=0-7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 1658 0 -1 1077944384 5169 0 0 0 75 2 0 0 20 0 20 0 10280587 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638738901744 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13273] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10280588 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638737848672 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13274] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13274/stat : 13274 (java) S 13251 13254 1658 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 10280593 26626834432 70489 18446744073709551615 4194304 4196468 140729201130080 139638736795952 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 26002768

[startup+6.3008 s]
/proc/loadavg: 7.53 6.61 6.51 2/196 13274
/proc/meminfo: memFree=31267796/32770624 swapFree=0/277868
[pid=13254] ppid=13251 vsize=26002768 CPUtime=11.81 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 39249 0 0 0 1145 36 0 0 20 0 20 0 10280573 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6500692 107990 3800 1 0 6489474 0
[pid=13254/tid=13256] ppid=13251 vsize=26002768 CPUtime=6.03 cores=0-7
/proc/13254/task/13256/stat : 13256 (java) R 13251 13254 1658 0 -1 4202560 15709 0 0 0 595 8 0 0 20 0 20 0 10280582 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639350354432 139638943189344 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13257] ppid=13251 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 1658 0 -1 1077944384 72 0 0 0 4 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639258024336 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13258] ppid=13251 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 1658 0 -1 1077944384 248 0 0 0 3 1 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639256971536 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13259] ppid=13251 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 1658 0 -1 1077944384 96 0 0 0 4 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639255919248 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13260] ppid=13251 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 1658 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639254866448 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13261] ppid=13251 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 1658 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139639253814160 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13262] ppid=13251 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 1658 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638902983440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13263] ppid=13251 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 1658 0 -1 1077944384 63 0 0 0 4 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638901931152 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13264] ppid=13251 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 1658 0 -1 1077944384 72 0 0 0 4 2 0 0 20 0 20 0 10280583 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638900878352 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13265] ppid=13251 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 1658 0 -1 1077944384 897 0 0 0 1 0 0 0 20 0 20 0 10280584 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638746269808 139639346129538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13266] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 1658 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638745215776 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13267] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10280585 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638744163440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13268] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10280587 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638743111760 139639346136987 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13269] ppid=13251 vsize=26002768 CPUtime=1.51 cores=0-7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 1658 0 -1 1077944384 5684 0 0 0 149 2 0 0 20 0 20 0 10280587 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638742059632 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13270] ppid=13251 vsize=26002768 CPUtime=1.62 cores=0-7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 1658 0 -1 1077944384 5288 0 0 0 162 0 0 0 20 0 20 0 10280587 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638741006832 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13271] ppid=13251 vsize=26002768 CPUtime=1.26 cores=0-7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 1658 0 -1 1077944384 4118 0 0 0 125 1 0 0 20 0 20 0 10280587 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638739954544 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13272] ppid=13251 vsize=26002768 CPUtime=0.8 cores=0-7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 1658 0 -1 1077944384 5216 0 0 0 78 2 0 0 20 0 20 0 10280587 26626834432 107990 18446744073709551615 4194304 4196468 140729201130080 139638738901744 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13273] ppid=13251 vsize=26002768 CPUtime=0 cores=0-7

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

[pid=13254/tid=13279] ppid=13251 vsize=27673048 CPUtime=207.18 cores=0-7
/proc/13254/task/13279/stat : 13279 (java) R 13251 13254 1658 0 -1 4202560 11382 0 0 0 20675 43 0 0 20 0 45 0 10281910 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638718098872 139638942048621 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13280] ppid=13251 vsize=27673048 CPUtime=0.13 cores=0-7
/proc/13254/task/13280/stat : 13280 (java) S 13251 13254 1658 0 -1 1077944384 192 0 0 0 13 0 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638717052544 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13281] ppid=13251 vsize=27673048 CPUtime=207.54 cores=0-7
/proc/13254/task/13281/stat : 13281 (java) R 13251 13254 1658 0 -1 4202560 6357 0 0 0 20735 19 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638715992648 139638942049863 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13282] ppid=13251 vsize=27673048 CPUtime=206.77 cores=0-7
/proc/13254/task/13282/stat : 13282 (java) R 13251 13254 1658 0 -1 4202560 8286 0 0 0 20647 30 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638513587216 139638940021768 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13283] ppid=13251 vsize=27673048 CPUtime=207.64 cores=0-7
/proc/13254/task/13283/stat : 13283 (java) R 13251 13254 1658 0 -1 4202560 7051 0 0 0 20738 26 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638512532296 139638942475480 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13284] ppid=13251 vsize=27673048 CPUtime=207.75 cores=0-7
/proc/13254/task/13284/stat : 13284 (java) R 13251 13254 1658 0 -1 4202560 9987 0 0 0 20737 38 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638511479496 139638942168403 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13285] ppid=13251 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/13254/task/13285/stat : 13285 (java) S 13251 13254 1658 0 -1 1077944384 63 0 0 0 10 0 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638510433584 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13286] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13286/stat : 13286 (java) S 13251 13254 1658 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 45 0 10281913 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638509380784 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13287] ppid=13251 vsize=27673048 CPUtime=207.63 cores=0-7
/proc/13254/task/13287/stat : 13287 (java) R 13251 13254 1658 0 -1 4202560 6187 0 0 0 20739 24 0 0 20 0 45 0 10281914 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638508322424 139638942133494 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13288] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13288/stat : 13288 (java) S 13251 13254 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 10281934 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638507275696 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13289] ppid=13251 vsize=27673048 CPUtime=205.06 cores=0-7
/proc/13254/task/13289/stat : 13289 (java) R 13251 13254 1658 0 -1 4202560 11863 0 0 0 20469 37 0 0 20 0 45 0 10281935 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638504081992 139638941938432 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13290] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13290/stat : 13290 (java) S 13251 13254 1658 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638503035776 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13291] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13291/stat : 13291 (java) S 13251 13254 1658 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638501983488 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13292] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13292/stat : 13292 (java) S 13251 13254 1658 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638500930688 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13293] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13293/stat : 13293 (java) S 13251 13254 1658 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638499878192 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13294] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13294/stat : 13294 (java) S 13251 13254 1658 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 45 0 10281970 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638498825600 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13295] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13295/stat : 13295 (java) S 13251 13254 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 10282013 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638497773312 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13296] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13296/stat : 13296 (java) S 13251 13254 1658 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 45 0 10282015 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638496720512 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13297] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13297/stat : 13297 (java) S 13251 13254 1658 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 45 0 10282023 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638495667200 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13298] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13298/stat : 13298 (java) S 13251 13254 1658 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 45 0 10282024 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638494614400 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13299] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13299/stat : 13299 (java) S 13251 13254 1658 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 45 0 10282026 28337201152 1259376 18446744073709551615 4194304 4196468 140729201130080 139638493562016 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
Current children cumulated CPU time (s) 1685.28
Current children cumulated vsize (KiB) 27673048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+251.802 s]
/proc/loadavg: 8.35 7.69 6.98 10/223 13314
/proc/meminfo: memFree=26762692/32770624 swapFree=0/277904
[pid=13254] ppid=13251 vsize=27673048 CPUtime=1920.55 cores=0-7
/proc/13254/stat : 13254 (java) S 13251 13254 1658 0 -1 1077944320 174763 0 0 0 191644 411 0 0 20 0 45 0 10280573 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 140729201112624 139639346118391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
/proc/13254/statm: 6918262 1226096 3816 1 0 6906523 0
[pid=13254/tid=13256] ppid=13251 vsize=27673048 CPUtime=13.11 cores=0-7
/proc/13254/task/13256/stat : 13256 (java) S 13251 13254 1658 0 -1 1077944384 20548 0 0 0 1297 14 0 0 20 0 45 0 10280582 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639350356096 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13257] ppid=13251 vsize=27673048 CPUtime=0.64 cores=0-7
/proc/13254/task/13257/stat : 13257 (java) S 13251 13254 1658 0 -1 1077944384 3966 0 0 0 50 14 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639258024336 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13258] ppid=13251 vsize=27673048 CPUtime=0.63 cores=0-7
/proc/13254/task/13258/stat : 13258 (java) S 13251 13254 1658 0 -1 1077944384 3382 0 0 0 49 14 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639256971536 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13259] ppid=13251 vsize=27673048 CPUtime=0.65 cores=0-7
/proc/13254/task/13259/stat : 13259 (java) S 13251 13254 1658 0 -1 1077944384 3127 0 0 0 50 15 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639255919248 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13260] ppid=13251 vsize=27673048 CPUtime=0.64 cores=0-7
/proc/13254/task/13260/stat : 13260 (java) S 13251 13254 1658 0 -1 1077944384 3775 0 0 0 48 16 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639254866448 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13261] ppid=13251 vsize=27673048 CPUtime=0.64 cores=0-7
/proc/13254/task/13261/stat : 13261 (java) S 13251 13254 1658 0 -1 1077944384 2629 0 0 0 49 15 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139639253814160 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13262] ppid=13251 vsize=27673048 CPUtime=0.64 cores=0-7
/proc/13254/task/13262/stat : 13262 (java) S 13251 13254 1658 0 -1 1077944384 2192 0 0 0 49 15 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638902983440 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13263] ppid=13251 vsize=27673048 CPUtime=0.65 cores=0-7
/proc/13254/task/13263/stat : 13263 (java) S 13251 13254 1658 0 -1 1077944384 2841 0 0 0 50 15 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638901931152 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13264] ppid=13251 vsize=27673048 CPUtime=0.65 cores=0-7
/proc/13254/task/13264/stat : 13264 (java) S 13251 13254 1658 0 -1 1077944384 3636 0 0 0 49 16 0 0 20 0 45 0 10280583 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638900878352 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13265] ppid=13251 vsize=27673048 CPUtime=0.07 cores=0-7
/proc/13254/task/13265/stat : 13265 (java) S 13251 13254 1658 0 -1 1077944384 8770 0 0 0 5 2 0 0 20 0 45 0 10280584 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638746269808 139639346129538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13266] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13266/stat : 13266 (java) S 13251 13254 1658 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 45 0 10280585 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638745215840 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13267] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13267/stat : 13267 (java) S 13251 13254 1658 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 45 0 10280585 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638744163456 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13268] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13268/stat : 13268 (java) S 13251 13254 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 10280587 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638743111760 139639346136987 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13269] ppid=13251 vsize=27673048 CPUtime=2.55 cores=0-7
/proc/13254/task/13269/stat : 13269 (java) S 13251 13254 1658 0 -1 1077944384 11795 0 0 0 252 3 0 0 20 0 45 0 10280587 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638742059632 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13270] ppid=13251 vsize=27673048 CPUtime=2.51 cores=0-7
/proc/13254/task/13270/stat : 13270 (java) S 13251 13254 1658 0 -1 1077944384 8879 0 0 0 250 1 0 0 20 0 45 0 10280587 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638741006832 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13271] ppid=13251 vsize=27673048 CPUtime=2.38 cores=0-7
/proc/13254/task/13271/stat : 13271 (java) S 13251 13254 1658 0 -1 1077944384 7160 0 0 0 236 2 0 0 20 0 45 0 10280587 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638739954544 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13272] ppid=13251 vsize=27673048 CPUtime=1.14 cores=0-7
/proc/13254/task/13272/stat : 13272 (java) S 13251 13254 1658 0 -1 1077944384 10528 0 0 0 111 3 0 0 20 0 45 0 10280587 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638738901744 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13273] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13273/stat : 13273 (java) S 13251 13254 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 10280588 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638737848672 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13274] ppid=13251 vsize=27673048 CPUtime=0.11 cores=0-7
/proc/13254/task/13274/stat : 13274 (java) S 13251 13254 1658 0 -1 1077944384 881 0 0 0 8 3 0 0 20 0 45 0 10280593 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638736795952 139639346129538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13275] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13275/stat : 13275 (java) S 13251 13254 1658 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 45 0 10281888 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638726509472 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13276] ppid=13251 vsize=27673048 CPUtime=0.74 cores=0-7
/proc/13254/task/13276/stat : 13276 (java) R 13251 13254 1658 0 -1 1077944384 3844 0 0 0 28 46 0 0 20 0 45 0 10281900 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638723359664 139639346129538 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13277] ppid=13251 vsize=27673048 CPUtime=237.27 cores=0-7
/proc/13254/task/13277/stat : 13277 (java) R 13251 13254 1658 0 -1 4202560 8389 0 0 0 23697 30 0 0 20 0 45 0 10281909 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638720203848 139638938959103 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13278] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13278/stat : 13278 (java) S 13251 13254 1658 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 45 0 10281910 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638719157632 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13279] ppid=13251 vsize=27673048 CPUtime=236.63 cores=0-7
/proc/13254/task/13279/stat : 13279 (java) R 13251 13254 1658 0 -1 4202560 11952 0 0 0 23619 44 0 0 20 0 45 0 10281910 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638718098760 139638935445422 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13280] ppid=13251 vsize=27673048 CPUtime=0.13 cores=0-7
/proc/13254/task/13280/stat : 13280 (java) S 13251 13254 1658 0 -1 1077944384 192 0 0 0 13 0 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638717052544 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13281] ppid=13251 vsize=27673048 CPUtime=236.99 cores=0-7
/proc/13254/task/13281/stat : 13281 (java) R 13251 13254 1658 0 -1 4202560 6733 0 0 0 23680 19 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638715992648 139638942047929 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13282] ppid=13251 vsize=27673048 CPUtime=236.09 cores=0-7
/proc/13254/task/13282/stat : 13282 (java) R 13251 13254 1658 0 -1 4202560 9041 0 0 0 23578 31 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638513584584 139638935445259 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13283] ppid=13251 vsize=27673048 CPUtime=236.99 cores=0-7
/proc/13254/task/13283/stat : 13283 (java) R 13251 13254 1658 0 -1 4202560 7451 0 0 0 23672 27 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638512532408 139638935445372 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13284] ppid=13251 vsize=27673048 CPUtime=237.19 cores=0-7
/proc/13254/task/13284/stat : 13284 (java) R 13251 13254 1658 0 -1 4202560 10530 0 0 0 23679 40 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638511479904 139638938959103 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13285] ppid=13251 vsize=27673048 CPUtime=0.1 cores=0-7
/proc/13254/task/13285/stat : 13285 (java) S 13251 13254 1658 0 -1 1077944384 63 0 0 0 10 0 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638510433584 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13286] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13286/stat : 13286 (java) S 13251 13254 1658 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 45 0 10281913 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638509380784 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13287] ppid=13251 vsize=27673048 CPUtime=236.86 cores=0-7
/proc/13254/task/13287/stat : 13287 (java) R 13251 13254 1658 0 -1 4202560 6521 0 0 0 23662 24 0 0 20 0 45 0 10281914 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638508324768 139638942168499 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13288] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13288/stat : 13288 (java) S 13251 13254 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 10281934 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638507275696 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13289] ppid=13251 vsize=27673048 CPUtime=234.27 cores=0-7
/proc/13254/task/13289/stat : 13289 (java) R 13251 13254 1658 0 -1 4202560 12661 0 0 0 23388 39 0 0 20 0 45 0 10281935 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638504081992 139638938959002 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13290] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13290/stat : 13290 (java) S 13251 13254 1658 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638503035776 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13291] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13291/stat : 13291 (java) S 13251 13254 1658 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638501983488 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13292] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13292/stat : 13292 (java) S 13251 13254 1658 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638500930688 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13293] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13293/stat : 13293 (java) S 13251 13254 1658 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 45 0 10281935 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638499878192 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13294] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13294/stat : 13294 (java) S 13251 13254 1658 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 45 0 10281970 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638498825600 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13295] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13295/stat : 13295 (java) S 13251 13254 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 10282013 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638497773312 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13296] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13296/stat : 13296 (java) S 13251 13254 1658 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 45 0 10282015 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638496720512 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13297] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13297/stat : 13297 (java) S 13251 13254 1658 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 45 0 10282023 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638495667200 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13298] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13298/stat : 13298 (java) S 13251 13254 1658 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 45 0 10282024 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638494614400 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
[pid=13254/tid=13299] ppid=13251 vsize=27673048 CPUtime=0 cores=0-7
/proc/13254/task/13299/stat : 13299 (java) S 13251 13254 1658 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 45 0 10282026 28337201152 1226096 18446744073709551615 4194304 4196468 140729201130080 139638493562016 139639346128597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10018816 140729201131919 140729201132104 140729201132104 140729201135567 0
Current children cumulated CPU time (s) 1920.55
Current children cumulated vsize (KiB) 27673048

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

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

[startup+251.912 s]
/proc/loadavg: 8.35 7.69 6.98 2/180 13316
/proc/meminfo: memFree=27407124/32770624 swapFree=0/277908
[pid=13254] ppid=13251 vsize=0 CPUtime=1921.39 cores=0-7
/proc/13254/stat : 13254 (java) Z 13251 13254 1658 0 -1 4228108 176899 0 0 0 191727 412 0 0 20 0 2 0 10280573 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/13254/statm: 0 0 0 0 0 0 0
[pid=13254/tid=13284] ppid=13251 vsize=0 CPUtime=237.3 cores=0-7
/proc/13254/task/13284/stat : 13284 (java) R 13251 13254 1658 0 -1 4203588 10530 0 0 0 23689 41 0 0 20 0 2 0 10281913 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 2 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 251.935
CPU time (s): 1921.42
CPU user time (s): 1917.28
CPU system time (s): 4.14558
CPU usage (%): 762.667
Max. virtual memory (cumulated for all children) (KiB): 27673048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1917.28
system time used= 4.14558
maximum resident set size= 5579200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37104
involuntary context switches= 42406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.35548 second user time and 2.55761 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 16:07:39
IDJOB=4257365
IDBENCH=124400
IDSOLVER=2641
FILE ID=node135/4257365-1501683699
RUNJOBID= node135-1501676595-1714
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257365-1501683699/watcher-4257365-1501683699 -o /tmp/evaluation-result-4257365-1501683699/solver-4257365-1501683699 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1727637660 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257365-1501683699.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=1727637660

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:        31663432 kB
MemAvailable:   32013912 kB
Buffers:          149576 kB
Cached:           476404 kB
SwapCached:            0 kB
Active:           395572 kB
Inactive:         286452 kB
Active(anon):      56404 kB
Inactive(anon):     8592 kB
Active(file):     339168 kB
Inactive(file):   277860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42244 kB
Writeback:             0 kB
AnonPages:        123732 kB
Mapped:            29692 kB
Shmem:              8960 kB
Slab:             124948 kB
SReclaimable:      98576 kB
SUnreclaim:        26372 kB
KernelStack:        3376 kB
PageTables:         4264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     278712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 61904 MiB
End job on node135 at 2017-08-02 16:11:51