Trace number 4257359

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)2677 1921.3101 249.724

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n61-k9.xml
MD5SUM4ab7546591ba88ff6acec2aa7538cbc2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1295
Best CPU time to get the best result obtained on this benchmark251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables3782
Number of constraints3720
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree0
Maximum variable degree119
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity1
Maximum constraint arity60
Distribution of constraint arities[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints0
Number of intensional constraints60
Distribution of constraint types[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
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.23/0.38	c version: 2017-07-26
0.23/0.38	c seed: 1869586036
0.23/0.38	c timeout: 1920
0.23/0.38	c memlimit: 22000
0.23/0.38	c nbcore: 8
0.41/0.41	c Parsing instance...
2.23/1.07	c Parsing done, starting search...
21.28/11.59	o 2936
23.66/11.88	o 2918
24.54/11.96	o 2903
24.54/11.98	o 2898
25.25/12.00	o 2889
25.25/12.02	o 2887
25.25/12.09	o 2880
26.07/12.11	o 2876
26.07/12.19	o 2851
26.87/12.24	o 2847
27.68/12.34	o 2842
27.68/12.35	o 2840
27.68/12.37	o 2831
28.42/12.47	o 2825
30.02/12.61	o 2822
30.02/12.63	o 2819
30.02/12.68	o 2817
33.20/13.08	o 2816
33.98/13.13	o 2805
34.81/13.25	o 2798
35.62/13.36	o 2791
36.36/13.42	o 2772
37.97/13.67	o 2763
38.78/13.72	o 2758
53.13/15.55	o 2747
54.68/15.72	o 2717
57.87/16.14	o 2708
84.98/19.60	o 2706
183.10/31.81	o 2703
248.53/40.07	o 2699
722.45/99.49	o 2698
1296.96/171.50	o 2686
1485.24/195.05	o 2680
1807.52/235.47	o 2677
1920.55/249.66	s SATISFIABLE
1920.55/249.67	v <instantiation>
1920.55/249.67	v 	<list>
1920.55/249.67	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
1920.55/249.67	v 	</list>
1920.55/249.67	v 	<values>
1920.55/249.67	v 		0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 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 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 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 1 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 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 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 70 31 41 100 29 88 25 47 62 100 100 11 100 64 88 66 100 85 51 96 84 62 33 77 95 82 86 88 58 60 47 62 34 100 74 49 33 93 79 100 76 73 44 78 88 21 100 43 21 18 86 50 72 100 23 7 100 30 69 94 
1920.55/249.67	v 	</values>
1920.55/249.67	v </instantiation>

Verifier Data 

OK	2677

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-4257359-1501683492/watcher-4257359-1501683492 -o /tmp/evaluation-result-4257359-1501683492/solver-4257359-1501683492 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1869586036 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257359-1501683492.xml 

pid=18768
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: 7.78 6.88 6.41 2/174 18771
/proc/meminfo: memFree=31015104/32770624 swapFree=0/888232
[pid=18771] ppid=18768 vsize=23672 CPUtime=0 cores=0-7
/proc/18771/stat : 18771 (runsolver) D 18768 18771 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16973931 24240128 108 18446744073709551615 4194304 4338465 140728090610912 140728090608552 140308751778519 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 18112512 140728090620003 140728090620483 140728090620483 140728090623946 0
/proc/18771/statm: 5918 108 54 36 0 2156 0

[startup+0.100125 s]
/proc/loadavg: 7.78 6.88 6.41 2/174 18771
/proc/meminfo: memFree=31015104/32770624 swapFree=0/888232
[pid=18771] ppid=18768 vsize=356952 CPUtime=0 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 1730 0 0 0 0 0 0 0 20 0 2 0 16973931 365518848 1880 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 89238 1880 1031 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.200319 s]
/proc/loadavg: 7.78 6.88 6.41 2/174 18771
/proc/meminfo: memFree=31015104/32770624 swapFree=0/888232
[pid=18771] ppid=18768 vsize=25996604 CPUtime=0.07 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 6757 0 0 0 6 1 0 0 20 0 20 0 16973931 26620522496 6953 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6499151 6953 3262 1 0 6487938 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25996604

[startup+0.300267 s]
/proc/loadavg: 7.78 6.88 6.41 2/174 18771
/proc/meminfo: memFree=31015104/32770624 swapFree=0/888232
[pid=18771] ppid=18768 vsize=25996604 CPUtime=0.23 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 10328 0 0 0 20 3 0 0 20 0 20 0 16973931 26620522496 9533 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6499151 9533 3539 1 0 6487938 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25996604

[startup+0.700186 s]
/proc/loadavg: 7.78 6.88 6.41 2/174 18771
/proc/meminfo: memFree=31015104/32770624 swapFree=0/888232
[pid=18771] ppid=18768 vsize=25998672 CPUtime=1.11 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 14465 0 0 0 106 5 0 0 20 0 20 0 16973931 26622640128 17679 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6499668 17679 3719 1 0 6488450 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 25998672

[startup+1.50072 s]
/proc/loadavg: 7.78 6.88 6.41 2/194 18791
/proc/meminfo: memFree=30899492/32770624 swapFree=0/888248
[pid=18771] ppid=18768 vsize=26002768 CPUtime=3.96 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 29561 0 0 0 385 11 0 0 20 0 20 0 16973931 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6500692 48804 3760 1 0 6489474 0
[pid=18771/tid=18773] ppid=18768 vsize=26002768 CPUtime=1.35 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) R 18768 18771 31529 0 -1 4202560 14353 0 0 0 128 7 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228276063872 140227887327680 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18774] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18768 18771 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228228803344 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18775] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18768 18771 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228227750800 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18776] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228226698256 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18777] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228225645712 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18778] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18768 18771 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228224592144 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18779] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228223539600 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18780] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228222487056 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18781] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973941 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140228221434512 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18782] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18768 18771 31529 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140227064416752 140228271848066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18783] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18768 18771 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140227063362976 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18784] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18768 18771 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140227062310384 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18785] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140227061258960 140228271855515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18786] ppid=18768 vsize=26002768 CPUtime=0.64 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) R 18768 18771 31529 0 -1 4202560 3649 0 0 0 64 0 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140227060186568 140228249589680 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18787] ppid=18768 vsize=26002768 CPUtime=0.62 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) R 18768 18771 31529 0 -1 4202560 2698 0 0 0 61 1 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140226811933472 140228271858266 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18788] ppid=18768 vsize=26002768 CPUtime=0.67 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) R 18768 18771 31529 0 -1 4202560 2898 0 0 0 67 0 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140226810894576 140228249344976 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18789] ppid=18768 vsize=26002768 CPUtime=0.63 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) R 18768 18771 31529 0 -1 4202560 4569 0 0 0 62 1 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140226809840864 140228271848854 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18790] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973946 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140226808789728 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18791] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18791/stat : 18791 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973950 26626834432 48804 18446744073709551615 4194304 4196468 140728966950928 140226807737264 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 26002768

[startup+3.10076 s]
/proc/loadavg: 7.78 6.88 6.41 3/194 18791
/proc/meminfo: memFree=30778256/32770624 swapFree=0/888248
[pid=18771] ppid=18768 vsize=26002768 CPUtime=7.68 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 33991 0 0 0 744 24 0 0 20 0 20 0 16973931 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6500692 67625 3792 1 0 6489474 0
[pid=18771/tid=18773] ppid=18768 vsize=26002768 CPUtime=2.9 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) R 18768 18771 31529 0 -1 4202560 14745 0 0 0 283 7 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228276071400 140227889631305 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18774] ppid=18768 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18768 18771 31529 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228228803344 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18775] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18768 18771 31529 0 -1 1077944384 186 0 0 0 1 2 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228227750800 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18776] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18768 18771 31529 0 -1 1077944384 28 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228226698256 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18777] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18768 18771 31529 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228225645712 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18778] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18768 18771 31529 0 -1 1077944384 123 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228224592144 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18779] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18768 18771 31529 0 -1 1077944384 79 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228223539600 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18780] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18768 18771 31529 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228222487056 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18781] ppid=18768 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18768 18771 31529 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 16973941 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140228221434512 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18782] ppid=18768 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18768 18771 31529 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 16973943 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140227064416752 140228271848066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18783] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18768 18771 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140227063363040 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18784] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18768 18771 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140227062310400 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18785] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140227061258960 140228271855515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18786] ppid=18768 vsize=26002768 CPUtime=1.12 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) R 18768 18771 31529 0 -1 4202560 5123 0 0 0 111 1 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140227060205552 140228257210628 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18787] ppid=18768 vsize=26002768 CPUtime=1.41 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18768 18771 31529 0 -1 1077944384 3991 0 0 0 140 1 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140226811947120 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18788] ppid=18768 vsize=26002768 CPUtime=1.16 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18768 18771 31529 0 -1 1077944384 3040 0 0 0 116 0 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140226810894576 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18789] ppid=18768 vsize=26002768 CPUtime=0.74 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18768 18771 31529 0 -1 1077944384 4965 0 0 0 73 1 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140226809842032 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18790] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973946 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140226808789728 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18791] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18791/stat : 18791 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973950 26626834432 67625 18446744073709551615 4194304 4196468 140728966950928 140226807737264 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 26002768

[startup+6.30078 s]
/proc/loadavg: 7.24 6.78 6.38 2/194 18791
/proc/meminfo: memFree=30627932/32770624 swapFree=0/888244
[pid=18771] ppid=18768 vsize=26002768 CPUtime=11.09 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 37045 0 0 0 1077 32 0 0 20 0 20 0 16973931 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6500692 99541 3795 1 0 6489474 0
[pid=18771/tid=18773] ppid=18768 vsize=26002768 CPUtime=6.07 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) R 18768 18771 31529 0 -1 4202560 15381 0 0 0 599 8 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228276068320 140227889631310 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18774] ppid=18768 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18768 18771 31529 0 -1 1077944384 88 0 0 0 2 2 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228228803344 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18775] ppid=18768 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18768 18771 31529 0 -1 1077944384 262 0 0 0 2 2 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228227750800 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18776] ppid=18768 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18768 18771 31529 0 -1 1077944384 52 0 0 0 3 1 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228226698256 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18777] ppid=18768 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18768 18771 31529 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228225645712 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18778] ppid=18768 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18768 18771 31529 0 -1 1077944384 1058 0 0 0 3 2 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228224592144 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18779] ppid=18768 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18768 18771 31529 0 -1 1077944384 94 0 0 0 3 2 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228223539600 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18780] ppid=18768 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18768 18771 31529 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228222487056 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18781] ppid=18768 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18768 18771 31529 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 20 0 16973941 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140228221434512 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18782] ppid=18768 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18768 18771 31529 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 20 0 16973943 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140227064416752 140228271848066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18783] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18768 18771 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140227063363040 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18784] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18768 18771 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16973943 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140227062310400 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18785] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973946 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140227061258960 140228271855515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18786] ppid=18768 vsize=26002768 CPUtime=1.15 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) S 18768 18771 31529 0 -1 1077944384 5305 0 0 0 114 1 0 0 20 0 20 0 16973946 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140227060205552 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18787] ppid=18768 vsize=26002768 CPUtime=1.43 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18768 18771 31529 0 -1 1077944384 4056 0 0 0 142 1 0 0 20 0 20 0 16973946 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140226811947120 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18788] ppid=18768 vsize=26002768 CPUtime=1.19 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18768 18771 31529 0 -1 1077944384 3403 0 0 0 119 0 0 0 20 0 20 0 16973946 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140226810894576 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18789] ppid=18768 vsize=26002768 CPUtime=0.77 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18768 18771 31529 0 -1 1077944384 5304 0 0 0 76 1 0 0 20 0 20 0 16973946 26626834432 99541 18446744073709551615 4194304 4196468 140728966950928 140226809842032 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18790] ppid=18768 vsize=26002768 CPUtime=0 cores=0-7

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

[pid=18771/tid=18788] ppid=18768 vsize=27406792 CPUtime=2.2 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18768 18771 31529 0 -1 1077944384 6651 0 0 0 219 1 0 0 20 0 41 0 16973946 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226810894576 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18789] ppid=18768 vsize=27406792 CPUtime=1.11 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18768 18771 31529 0 -1 1077944384 9199 0 0 0 109 2 0 0 20 0 41 0 16973946 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226809842032 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18790] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 16973946 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226808789728 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18791] ppid=18768 vsize=27406792 CPUtime=0.09 cores=0-7
/proc/18771/task/18791/stat : 18791 (java) S 18768 18771 31529 0 -1 1077944384 897 0 0 0 0 9 0 0 20 0 41 0 16973950 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226807737264 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18793] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18793/stat : 18793 (java) S 18768 18771 31529 0 -1 1077944384 622 0 0 0 0 0 0 0 20 0 41 0 16974988 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226797450528 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18794] ppid=18768 vsize=27406792 CPUtime=0.65 cores=0-7
/proc/18771/task/18794/stat : 18794 (java) R 18768 18771 31529 0 -1 1077944384 2816 0 0 0 28 37 0 0 20 0 41 0 16974999 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226794300976 140228271848066 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18795] ppid=18768 vsize=27406792 CPUtime=209.42 cores=0-7
/proc/18771/task/18795/stat : 18795 (java) R 18768 18771 31529 0 -1 4202560 7004 0 0 0 20911 31 0 0 20 0 41 0 16975009 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226791144352 140227886890521 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18796] ppid=18768 vsize=27406792 CPUtime=210.05 cores=0-7
/proc/18771/task/18796/stat : 18796 (java) R 18768 18771 31529 0 -1 4202560 5147 0 0 0 20986 19 0 0 20 0 41 0 16975010 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226588560024 140227886002743 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18797] ppid=18768 vsize=27406792 CPUtime=0.12 cores=0-7
/proc/18771/task/18797/stat : 18797 (java) S 18768 18771 31529 0 -1 1077944384 125 0 0 0 12 0 0 0 20 0 41 0 16975010 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226587513984 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18798] ppid=18768 vsize=27406792 CPUtime=0.09 cores=0-7
/proc/18771/task/18798/stat : 18798 (java) S 18768 18771 31529 0 -1 1077944384 89 0 0 0 9 0 0 0 20 0 41 0 16975010 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226586461440 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18799] ppid=18768 vsize=27406792 CPUtime=210.16 cores=0-7
/proc/18771/task/18799/stat : 18799 (java) R 18768 18771 31529 0 -1 4202560 5447 0 0 0 20996 20 0 0 20 0 41 0 16975010 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226585402920 140227883333139 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18800] ppid=18768 vsize=27406792 CPUtime=210.35 cores=0-7
/proc/18771/task/18800/stat : 18800 (java) R 18768 18771 31529 0 -1 4202560 4956 0 0 0 21016 19 0 0 20 0 41 0 16975013 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226584350072 140227886935578 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18801] ppid=18768 vsize=27406792 CPUtime=208.86 cores=0-7
/proc/18771/task/18801/stat : 18801 (java) R 18768 18771 31529 0 -1 4202560 5028 0 0 0 20868 18 0 0 20 0 41 0 16975013 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226583299952 140227886002743 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18802] ppid=18768 vsize=27406792 CPUtime=0.11 cores=0-7
/proc/18771/task/18802/stat : 18802 (java) S 18768 18771 31529 0 -1 1077944384 401 0 0 0 11 0 0 0 20 0 41 0 16975013 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226582251264 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18803] ppid=18768 vsize=27406792 CPUtime=209.71 cores=0-7
/proc/18771/task/18803/stat : 18803 (java) R 18768 18771 31529 0 -1 4202560 7351 0 0 0 20953 18 0 0 20 0 41 0 16975013 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226581191720 140227886003251 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18804] ppid=18768 vsize=27406792 CPUtime=209.21 cores=0-7
/proc/18771/task/18804/stat : 18804 (java) R 18768 18771 31529 0 -1 4202560 4285 0 0 0 20910 11 0 0 20 0 41 0 16975013 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226580138648 140227882599383 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18805] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18805/stat : 18805 (java) S 18768 18771 31529 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 41 0 16975014 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226579092608 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18806] ppid=18768 vsize=27406792 CPUtime=209.86 cores=0-7
/proc/18771/task/18806/stat : 18806 (java) R 18768 18771 31529 0 -1 4202560 4490 0 0 0 20972 14 0 0 20 0 41 0 16975047 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226578034072 140227888914900 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18807] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18807/stat : 18807 (java) S 18768 18771 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226576987312 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18808] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18808/stat : 18808 (java) S 18768 18771 31529 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226575934976 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18809] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18809/stat : 18809 (java) S 18768 18771 31529 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226574882432 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18810] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18810/stat : 18810 (java) S 18768 18771 31529 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226573829888 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18811] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18811/stat : 18811 (java) S 18768 18771 31529 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 41 0 16975093 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226570642304 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18812] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18812/stat : 18812 (java) S 18768 18771 31529 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 41 0 16975095 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226569589760 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18813] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18813/stat : 18813 (java) S 18768 18771 31529 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 41 0 16975134 28064555008 1191176 18446744073709551615 4194304 4196468 140728966950928 140226568537216 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
Current children cumulated CPU time (s) 1703.04
Current children cumulated vsize (KiB) 27406792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+249.601 s]
/proc/loadavg: 8.41 7.68 6.84 9/213 18816
/proc/meminfo: memFree=26341876/32770624 swapFree=0/888308
[pid=18771] ppid=18768 vsize=27406792 CPUtime=1920.55 cores=0-7
/proc/18771/stat : 18771 (java) S 18768 18771 31529 0 -1 1077944320 128785 0 0 0 191734 321 0 0 20 0 41 0 16973931 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140728966933472 140228271836919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
/proc/18771/statm: 6851698 1167877 3812 1 0 6839959 0
[pid=18771/tid=18773] ppid=18768 vsize=27406792 CPUtime=10.57 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) S 18768 18771 31529 0 -1 1077944384 18129 0 0 0 1047 10 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228276074624 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18774] ppid=18768 vsize=27406792 CPUtime=0.76 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18768 18771 31529 0 -1 1077944384 2970 0 0 0 59 17 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228228803344 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18775] ppid=18768 vsize=27406792 CPUtime=0.76 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18768 18771 31529 0 -1 1077944384 3287 0 0 0 58 18 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228227750800 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18776] ppid=18768 vsize=27406792 CPUtime=0.76 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18768 18771 31529 0 -1 1077944384 3593 0 0 0 59 17 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228226698256 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18777] ppid=18768 vsize=27406792 CPUtime=0.75 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18768 18771 31529 0 -1 1077944384 1840 0 0 0 58 17 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228225645712 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18778] ppid=18768 vsize=27406792 CPUtime=0.76 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18768 18771 31529 0 -1 1077944384 2602 0 0 0 59 17 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228224592144 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18779] ppid=18768 vsize=27406792 CPUtime=0.76 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18768 18771 31529 0 -1 1077944384 1741 0 0 0 60 16 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228223539600 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18780] ppid=18768 vsize=27406792 CPUtime=0.75 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18768 18771 31529 0 -1 1077944384 3274 0 0 0 59 16 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228222487056 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18781] ppid=18768 vsize=27406792 CPUtime=0.73 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18768 18771 31529 0 -1 1077944384 2757 0 0 0 57 16 0 0 20 0 41 0 16973941 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140228221434512 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18782] ppid=18768 vsize=27406792 CPUtime=0.1 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18768 18771 31529 0 -1 1077944384 5803 0 0 0 7 3 0 0 20 0 41 0 16973943 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140227064416752 140228271848066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18783] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18768 18771 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 41 0 16973943 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140227063363040 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18784] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18768 18771 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 16973943 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140227062310400 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18785] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18768 18771 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140227061258960 140228271855515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18786] ppid=18768 vsize=27406792 CPUtime=2.17 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) S 18768 18771 31529 0 -1 1077944384 6747 0 0 0 215 2 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140227060205552 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18787] ppid=18768 vsize=27406792 CPUtime=2.56 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18768 18771 31529 0 -1 1077944384 6249 0 0 0 254 2 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226811947120 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18788] ppid=18768 vsize=27406792 CPUtime=2.2 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18768 18771 31529 0 -1 1077944384 6653 0 0 0 219 1 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226810894576 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18789] ppid=18768 vsize=27406792 CPUtime=1.11 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18768 18771 31529 0 -1 1077944384 9201 0 0 0 109 2 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226809842032 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18790] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18768 18771 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 16973946 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226808789728 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18791] ppid=18768 vsize=27406792 CPUtime=0.1 cores=0-7
/proc/18771/task/18791/stat : 18791 (java) S 18768 18771 31529 0 -1 1077944384 915 0 0 0 0 10 0 0 20 0 41 0 16973950 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226807737264 140228271848066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18793] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18793/stat : 18793 (java) S 18768 18771 31529 0 -1 1077944384 704 0 0 0 0 0 0 0 20 0 41 0 16974988 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226797450528 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18794] ppid=18768 vsize=27406792 CPUtime=0.75 cores=0-7
/proc/18771/task/18794/stat : 18794 (java) R 18768 18771 31529 0 -1 1077944384 2899 0 0 0 33 42 0 0 20 0 41 0 16974999 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226794300976 140228271848066 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18795] ppid=18768 vsize=27406792 CPUtime=236.32 cores=0-7
/proc/18771/task/18795/stat : 18795 (java) R 18768 18771 31529 0 -1 4202560 7317 0 0 0 23600 32 0 0 20 0 41 0 16975009 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226791144584 140227883332523 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18796] ppid=18768 vsize=27406792 CPUtime=237.12 cores=0-7
/proc/18771/task/18796/stat : 18796 (java) R 18768 18771 31529 0 -1 4202560 5745 0 0 0 23692 20 0 0 20 0 41 0 16975010 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226588560536 140227886890444 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18797] ppid=18768 vsize=27406792 CPUtime=0.12 cores=0-7
/proc/18771/task/18797/stat : 18797 (java) S 18768 18771 31529 0 -1 1077944384 127 0 0 0 12 0 0 0 20 0 41 0 16975010 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226587513984 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18798] ppid=18768 vsize=27406792 CPUtime=0.09 cores=0-7
/proc/18771/task/18798/stat : 18798 (java) S 18768 18771 31529 0 -1 1077944384 91 0 0 0 9 0 0 0 20 0 41 0 16975010 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226586461440 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18799] ppid=18768 vsize=27406792 CPUtime=237.29 cores=0-7
/proc/18771/task/18799/stat : 18799 (java) R 18768 18771 31529 0 -1 4202560 5637 0 0 0 23708 21 0 0 20 0 41 0 16975010 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226585402904 140227883333078 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18800] ppid=18768 vsize=27406792 CPUtime=237.54 cores=0-7
/proc/18771/task/18800/stat : 18800 (java) R 18768 18771 31529 0 -1 4202560 5172 0 0 0 23735 19 0 0 20 0 41 0 16975013 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226584350224 140227882600147 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18801] ppid=18768 vsize=27406792 CPUtime=235.97 cores=0-7
/proc/18771/task/18801/stat : 18801 (java) R 18768 18771 31529 0 -1 4202560 5189 0 0 0 23579 18 0 0 20 0 41 0 16975013 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226583300176 140227888377287 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18802] ppid=18768 vsize=27406792 CPUtime=0.11 cores=0-7
/proc/18771/task/18802/stat : 18802 (java) S 18768 18771 31529 0 -1 1077944384 403 0 0 0 11 0 0 0 20 0 41 0 16975013 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226582251264 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18803] ppid=18768 vsize=27406792 CPUtime=236.8 cores=0-7
/proc/18771/task/18803/stat : 18803 (java) R 18768 18771 31529 0 -1 4202560 7594 0 0 0 23661 19 0 0 20 0 41 0 16975013 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226581191192 140227882600147 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18804] ppid=18768 vsize=27406792 CPUtime=236.36 cores=0-7
/proc/18771/task/18804/stat : 18804 (java) R 18768 18771 31529 0 -1 4202560 4688 0 0 0 23624 12 0 0 20 0 41 0 16975013 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226580139160 140227882600147 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18805] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18805/stat : 18805 (java) S 18768 18771 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 41 0 16975014 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226579092608 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18806] ppid=18768 vsize=27406792 CPUtime=236.99 cores=0-7
/proc/18771/task/18806/stat : 18806 (java) R 18768 18771 31529 0 -1 4202560 4723 0 0 0 23685 14 0 0 20 0 41 0 16975047 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226578033560 140227883332505 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18807] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18807/stat : 18807 (java) S 18768 18771 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226576987312 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18808] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18808/stat : 18808 (java) S 18768 18771 31529 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226575934976 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18809] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18809/stat : 18809 (java) S 18768 18771 31529 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226574882432 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18810] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18810/stat : 18810 (java) S 18768 18771 31529 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 41 0 16975047 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226573829888 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18811] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18811/stat : 18811 (java) S 18768 18771 31529 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 41 0 16975093 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226570642304 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18812] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18812/stat : 18812 (java) S 18768 18771 31529 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 41 0 16975095 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226569589760 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
[pid=18771/tid=18813] ppid=18768 vsize=27406792 CPUtime=0 cores=0-7
/proc/18771/task/18813/stat : 18813 (java) S 18768 18771 31529 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 41 0 16975134 28064555008 1167877 18446744073709551615 4194304 4196468 140728966950928 140226568537216 140228271847125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32915456 140728966955407 140728966955592 140728966955592 140728966959055 0
Current children cumulated CPU time (s) 1920.55
Current children cumulated vsize (KiB) 27406792

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 18771 sig 9
??? kill -18771 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+249.712 s]
/proc/loadavg: 9.02 7.82 6.89 2/174 18818
/proc/meminfo: memFree=30734024/32770624 swapFree=0/888308
[pid=18771] ppid=18768 vsize=0 CPUtime=1921.29 cores=0-7
/proc/18771/stat : 18771 (java) Z 18768 18771 31529 0 -1 4228108 130979 0 0 0 191805 324 0 0 20 0 2 0 16973931 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/18771/statm: 0 0 0 0 0 0 0
[pid=18771/tid=18806] ppid=18768 vsize=0 CPUtime=237.11 cores=0-7
/proc/18771/task/18806/stat : 18806 (java) R 18768 18771 31529 0 -1 4203588 4723 0 0 0 23694 17 0 0 20 0 2 0 16975047 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 249.724
CPU time (s): 1921.31
CPU user time (s): 1918.06
CPU system time (s): 3.25293
CPU usage (%): 769.372
Max. virtual memory (cumulated for all children) (KiB): 27406792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1918.06
system time used= 3.25293
maximum resident set size= 5509960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130979
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= 37576
involuntary context switches= 39903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1133 second user time and 2.40801 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 16:04:13
IDJOB=4257359
IDBENCH=124394
IDSOLVER=2641
FILE ID=node128/4257359-1501683492
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61852 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.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-4257359-1501683492/watcher-4257359-1501683492 -o /tmp/evaluation-result-4257359-1501683492/solver-4257359-1501683492 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1869586036 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257359-1501683492.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1869586036

node128.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.05
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.05
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.05
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.05
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:        31014396 kB
MemAvailable:   32010252 kB
Buffers:          147128 kB
Cached:          1134680 kB
SwapCached:            0 kB
Active:           434636 kB
Inactive:         904956 kB
Active(anon):      57660 kB
Inactive(anon):    16724 kB
Active(file):     376976 kB
Inactive(file):   888232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42236 kB
Writeback:             0 kB
AnonPages:         56764 kB
Mapped:            30964 kB
Shmem:             17064 kB
Slab:             119184 kB
SReclaimable:      92964 kB
SUnreclaim:        26220 kB
KernelStack:        3152 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     290032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61808 MiB
End job on node128 at 2017-08-02 16:08:23