Trace number 4285054

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT (TO)2635 19969.9 2520.1299

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 benchmark1147
Best CPU time to get the best result obtained on this benchmark2400.09
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.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 371937796
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.38/0.92	c Parsing done, starting search...
19.02/11.18	o 3073
19.72/11.21	o 2936
19.72/11.29	o 2935
19.72/11.29	o 2926
19.72/11.30	o 2918
20.57/11.36	o 2903
20.57/11.38	o 2898
21.37/11.45	o 2889
21.37/11.48	o 2862
22.09/11.53	o 2841
22.09/11.55	o 2837
22.87/11.65	o 2822
26.05/12.02	o 2820
26.05/12.10	o 2819
26.85/12.18	o 2813
26.85/12.20	o 2809
28.48/12.35	o 2799
29.28/12.49	o 2797
30.08/12.54	o 2795
30.08/12.58	o 2778
30.80/12.63	o 2772
30.80/12.66	o 2763
30.80/12.68	o 2758
31.60/12.75	o 2736
34.80/13.15	o 2715
47.49/14.78	o 2708
181.32/31.51	o 2706
182.12/31.62	o 2699
356.71/53.58	o 2698
395.05/58.33	o 2689
395.05/58.36	o 2685
396.59/58.57	o 2677
3849.16/492.21	o 2674
4151.65/530.25	o 2670
8146.13/1032.64	o 2666
8146.99/1032.77	o 2657
14020.75/1771.99	o 2655
14045.37/1775.09	o 2652
14405.04/1820.37	o 2638
15251.71/1926.71	o 2635
19969.10/2520.10	s SATISFIABLE
19969.10/2520.10	v <instantiation>
19969.10/2520.10	v 	<list>
19969.10/2520.10	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]
19969.10/2520.10	v 	</list>
19969.10/2520.10	v 	<values>
19969.10/2520.10	v 		0 1 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 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 36 46 100 92 64 100 100 100 100 58 100 100 82 31 55 60 86 36 51 81 62 73 29 100 76 52 54 100 42 34 28 70 39 72 70 88 22 97 44 77 42 33 25 89 27 67 29 17 67 35 61 52 100 68 47 76 48 88 67 82 
19969.10/2520.10	v 	</values>
19969.10/2520.10	v </instantiation>

Verifier Data 

OK	2635

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285054-1503426890/watcher-4285054-1503426890 -o /tmp/evaluation-result-4285054-1503426890/solver-4285054-1503426890 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 371937796 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285054-1503426890.xml 

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

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


[startup+0.100771 s]*
/proc/loadavg: 8.61 8.74 8.76 1/199 3474
/proc/meminfo: memFree=18368592/32770624 swapFree=67108860/67108860
[pid=3454] ppid=3451 vsize=26000852 memory=31528 CPUtime=0.13 cores=0-7
/proc/3454/stat : 3454 (java) S 3451 3454 3410 0 -1 1077944320 8306 0 0 0 11 2 0 0 20 0 20 0 175776576 26624872448 7882 33554432000 4194304 4196468 140734404976208 140734404958752 140651329588983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
/proc/3454/statm: 6500213 7882 3412 1 0 6487932 0
[pid=3454/tid=3456] ppid=3451 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3454/task/3456/stat : 3456 (java) R 3451 3454 3410 0 -1 4202560 6247 0 0 0 8 1 0 0 20 0 20 0 175776576 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651333785936 140651313669470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3457] ppid=3451 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3454/task/3457/stat : 3457 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651282209168 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3458] ppid=3451 vsize=26000852 memory=140493356377728 CPUtime=0 cores=0-7
/proc/3454/task/3458/stat : 3458 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651281156368 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3459] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3459/stat : 3459 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651280104080 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3460] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3460/stat : 3460 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651279051280 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3461] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3461/stat : 3461 (java) S 3451 3454 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651277998992 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3462] ppid=3451 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3462/stat : 3462 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651276946192 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3463] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3463/stat : 3463 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651275893904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3464] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3464/stat : 3464 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 7882 33554432000 4194304 4196468 140734404976208 140651274841104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3465] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3465/stat : 3465 (java) S 3451 3454 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175776578 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650524682352 140651329600130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3466] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3466/stat : 3466 (java) S 3451 3454 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175776579 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650523628320 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3467] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3467/stat : 3467 (java) S 3451 3454 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175776579 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650522575984 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3468] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3468/stat : 3468 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776581 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650521524304 140651329607579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3469] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3469/stat : 3469 (java) S 3451 3454 3410 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 175776581 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650520472176 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3470] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3470/stat : 3470 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776581 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650519419376 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3471] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3471/stat : 3471 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776581 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650518367088 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3472] ppid=3451 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/3454/task/3472/stat : 3472 (java) S 3451 3454 3410 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 175776581 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650517314288 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3473] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3473/stat : 3473 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776582 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650448152928 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3474] ppid=3451 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3474/stat : 3474 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776582 26624872448 7882 33554432000 4194304 4196468 140734404976208 140650447100208 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31528 KiB

[startup+0.210255 s]*
/proc/loadavg: 8.61 8.74 8.76 5/199 3474
/proc/meminfo: memFree=18360448/32770624 swapFree=67108860/67108860
[pid=3454] ppid=3451 vsize=26000852 memory=41128 CPUtime=0.3 cores=0-7
/proc/3454/stat : 3454 (java) S 3451 3454 3410 0 -1 1077944320 9382 0 0 0 28 2 0 0 20 0 20 0 175776576 26624872448 10282 33554432000 4194304 4196468 140734404976208 140734404958752 140651329588983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
/proc/3454/statm: 6500213 10282 3647 1 0 6487932 0
[pid=3454/tid=3456] ppid=3451 vsize=26000884 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/3454/task/3456/stat : 3456 (java) R 3451 3454 3410 0 -1 4202560 6939 0 0 0 18 1 0 0 20 0 20 0 175776576 26624905216 10327 33554432000 4194304 4196468 140734404976208 140651333798240 140651322328973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3457] ppid=3451 vsize=26000852 memory=9419 CPUtime=0 cores=0-7
/proc/3454/task/3457/stat : 3457 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651282209168 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3458] ppid=3451 vsize=26000852 memory=140493356381421 CPUtime=0 cores=0-7
/proc/3454/task/3458/stat : 3458 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651281156368 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3459] ppid=3451 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3459/stat : 3459 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651280104080 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3460] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3460/stat : 3460 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651279051280 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3461] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3461/stat : 3461 (java) S 3451 3454 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651277998992 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3462] ppid=3451 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3462/stat : 3462 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624872448 10327 33554432000 4194304 4196468 140734404976208 140651276946192 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3463] ppid=3451 vsize=26000884 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3463/stat : 3463 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624905216 10327 33554432000 4194304 4196468 140734404976208 140651275893904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3464] ppid=3451 vsize=26000884 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3464/stat : 3464 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624905216 10327 33554432000 4194304 4196468 140734404976208 140651274841104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3465] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3465/stat : 3465 (java) S 3451 3454 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175776578 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650524682352 140651329600130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3466] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3466/stat : 3466 (java) S 3451 3454 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175776579 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650523628320 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3467] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3467/stat : 3467 (java) S 3451 3454 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175776579 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650522575984 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3468] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3468/stat : 3468 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776581 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650521524304 140651329607579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3469] ppid=3451 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/3454/task/3469/stat : 3469 (java) S 3451 3454 3410 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 175776581 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650520472176 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3470] ppid=3451 vsize=26000884 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3470/stat : 3470 (java) S 3451 3454 3410 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 175776581 26624905216 10327 33554432000 4194304 4196468 140734404976208 140650519419376 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3471] ppid=3451 vsize=26000884 memory=0 CPUtime=0.01 cores=0-7
/proc/3454/task/3471/stat : 3471 (java) S 3451 3454 3410 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 175776581 26624905216 10327 33554432000 4194304 4196468 140734404976208 140650518367088 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3472] ppid=3451 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/3454/task/3472/stat : 3472 (java) S 3451 3454 3410 0 -1 1077944384 430 0 0 0 5 0 0 0 20 0 20 0 175776581 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650517314288 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3473] ppid=3451 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3473/stat : 3473 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776582 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650448152928 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3474] ppid=3451 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3474/stat : 3474 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776582 26624872448 10327 33554432000 4194304 4196468 140734404976208 140650447100208 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41128 KiB

[startup+0.31008 s]*
/proc/loadavg: 8.61 8.74 8.76 2/199 3474
/proc/meminfo: memFree=18352136/32770624 swapFree=67108860/67108860
[pid=3454] ppid=3451 vsize=26000872 memory=49220 CPUtime=0.49 cores=0-7
/proc/3454/stat : 3454 (java) S 3451 3454 3410 0 -1 1077944320 10637 0 0 0 46 3 0 0 20 0 20 0 175776576 26624892928 12305 33554432000 4194304 4196468 140734404976208 140734404958752 140651329588983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
/proc/3454/statm: 6500218 12305 3722 1 0 6487932 0
[pid=3454/tid=3456] ppid=3451 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3454/task/3456/stat : 3456 (java) R 3451 3454 3410 0 -1 4202560 7700 0 0 0 27 2 0 0 20 0 20 0 175776576 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651333809488 140651313669470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3457] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3457/stat : 3457 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651282209168 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3458] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3458/stat : 3458 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651281156368 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3459] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3459/stat : 3459 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651280104080 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3460] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3460/stat : 3460 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651279051280 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3461] ppid=3451 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/3454/task/3461/stat : 3461 (java) S 3451 3454 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651277998992 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3462] ppid=3451 vsize=26000872 memory=140493212185519 CPUtime=0 cores=0-7
/proc/3454/task/3462/stat : 3462 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651276946192 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3463] ppid=3451 vsize=26000872 memory=140493212187824 CPUtime=0 cores=0-7
/proc/3454/task/3463/stat : 3463 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651275893904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3464] ppid=3451 vsize=26000872 memory=140493212190128 CPUtime=0 cores=0-7
/proc/3454/task/3464/stat : 3464 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26624892928 12305 33554432000 4194304 4196468 140734404976208 140651274841104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3465] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3465/stat : 3465 (java) S 3451 3454 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175776578 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650524682352 140651329600130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3466] ppid=3451 vsize=26000872 memory=280986424387216 CPUtime=0 cores=0-7
/proc/3454/task/3466/stat : 3466 (java) S 3451 3454 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175776579 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650523628320 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3467] ppid=3451 vsize=26000872 memory=280986424394128 CPUtime=0 cores=0-7
/proc/3454/task/3467/stat : 3467 (java) S 3451 3454 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175776579 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650522575984 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3468] ppid=3451 vsize=26000872 memory=280986424335408 CPUtime=0 cores=0-7
/proc/3454/task/3468/stat : 3468 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776581 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650521524304 140651329607579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3469] ppid=3451 vsize=26000872 memory=280986424407952 CPUtime=0.03 cores=0-7
/proc/3454/task/3469/stat : 3469 (java) S 3451 3454 3410 0 -1 1077944384 526 0 0 0 3 0 0 0 20 0 20 0 175776581 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650520472176 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3470] ppid=3451 vsize=26000872 memory=280986424414864 CPUtime=0.02 cores=0-7
/proc/3454/task/3470/stat : 3470 (java) S 3451 3454 3410 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 175776581 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650519419376 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3471] ppid=3451 vsize=26000872 memory=280986424412560 CPUtime=0.03 cores=0-7
/proc/3454/task/3471/stat : 3471 (java) S 3451 3454 3410 0 -1 1077944384 336 0 0 0 3 0 0 0 20 0 20 0 175776581 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650518367088 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3472] ppid=3451 vsize=26000872 memory=280986424429168 CPUtime=0.09 cores=0-7
/proc/3454/task/3472/stat : 3472 (java) S 3451 3454 3410 0 -1 1077944384 518 0 0 0 9 0 0 0 20 0 20 0 175776581 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650517314288 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3473] ppid=3451 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3473/stat : 3473 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776582 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650448152928 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3474] ppid=3451 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/3454/task/3474/stat : 3474 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776582 26624892928 12305 33554432000 4194304 4196468 140734404976208 140650447100208 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49220 KiB

[startup+0.700879 s]
/proc/loadavg: 8.61 8.74 8.76 4/199 3474
/proc/meminfo: memFree=18333772/32770624 swapFree=67108860/67108860
[pid=3454] ppid=3451 vsize=26002920 memory=105084 CPUtime=1.65 cores=0-7
/proc/3454/stat : 3454 (java) S 3451 3454 3410 0 -1 1077944320 14769 0 0 0 160 5 0 0 20 0 20 0 175776576 26626990080 26271 33554432000 4194304 4196468 140734404976208 140734404958752 140651329588983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
/proc/3454/statm: 6500730 26271 3780 1 0 6488444 0
[pid=3454/tid=3456] ppid=3451 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/3454/task/3456/stat : 3456 (java) R 3451 3454 3410 0 -1 4202560 8490 0 0 0 64 3 0 0 20 0 20 0 175776576 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651333823632 140651329610330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3457] ppid=3451 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3457/stat : 3457 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651282209168 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3458] ppid=3451 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3458/stat : 3458 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651281156368 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3459] ppid=3451 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3459/stat : 3459 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651280104080 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3460] ppid=3451 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/3454/task/3460/stat : 3460 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651279051280 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3461] ppid=3451 vsize=26002920 memory=1008 CPUtime=0 cores=0-7
/proc/3454/task/3461/stat : 3461 (java) S 3451 3454 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651277998992 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3462] ppid=3451 vsize=26002920 memory=10804 CPUtime=0 cores=0-7
/proc/3454/task/3462/stat : 3462 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651276946192 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3463] ppid=3451 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/3454/task/3463/stat : 3463 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651275893904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3464] ppid=3451 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/3454/task/3464/stat : 3464 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175776577 26626990080 26271 33554432000 4194304 4196468 140734404976208 140651274841104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3465] ppid=3451 vsize=26002920 memory=16444 CPUtime=0 cores=0-7
/proc/3454/task/3465/stat : 3465 (java) S 3451 3454 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175776578 26626990080 26271 33554432000 4194304 4196468 140734404976208 140650524682352 140651329600130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0

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

[pid=3454/tid=3474] ppid=3451 vsize=27411040 memory=7019467087973725235 CPUtime=1.04 cores=0-7
/proc/3454/task/3474/stat : 3474 (java) S 3451 3454 3410 0 -1 1077944384 10429 0 0 0 61 43 0 0 20 0 41 0 175776582 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650447100208 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3475] ppid=3451 vsize=27411040 memory=7019467087990502451 CPUtime=0 cores=0-7
/proc/3454/task/3475/stat : 3475 (java) S 3451 3454 3410 0 -1 1077944384 853 0 0 0 0 0 0 0 20 0 41 0 175777620 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650436809632 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3476] ppid=3451 vsize=27411040 memory=7019467088007279667 CPUtime=5.3 cores=0-7
/proc/3454/task/3476/stat : 3476 (java) S 3451 3454 3410 0 -1 1077944384 18841 0 0 0 247 283 0 0 20 0 41 0 175777632 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650433659936 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3477] ppid=3451 vsize=27411040 memory=7019467088024056883 CPUtime=0.11 cores=0-7
/proc/3454/task/3477/stat : 3477 (java) S 3451 3454 3410 0 -1 1077944384 286 0 0 0 11 0 0 0 20 0 41 0 175777641 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650430510480 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3478] ppid=3451 vsize=27411040 memory=1696 CPUtime=2455.24 cores=0-7
/proc/3454/task/3478/stat : 3478 (java) R 3451 3454 3410 0 -1 4202560 83451 0 0 0 245429 95 0 0 20 0 41 0 175777642 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650429451616 140650937481429 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3479] ppid=3451 vsize=27411040 memory=920 CPUtime=0.1 cores=0-7
/proc/3454/task/3479/stat : 3479 (java) S 3451 3454 3410 0 -1 1077944384 703 0 0 0 10 0 0 0 20 0 41 0 175777642 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650428405392 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3480] ppid=3451 vsize=27411040 memory=3888 CPUtime=2458.38 cores=0-7
/proc/3454/task/3480/stat : 3480 (java) R 3451 3454 3410 0 -1 4202560 86833 0 0 0 245734 104 0 0 20 0 41 0 175777642 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650427346040 140650939303339 0 4 0 16800975 0 0 0 -1 6 0 0 51 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3481] ppid=3451 vsize=27411040 memory=8112282956445269571 CPUtime=2458.78 cores=0-7
/proc/3454/task/3481/stat : 3481 (java) R 3451 3454 3410 0 -1 4202560 86317 0 0 0 245773 105 0 0 20 0 41 0 175777642 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650426292920 140650939304188 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3482] ppid=3451 vsize=27411040 memory=4348 CPUtime=2459.62 cores=0-7
/proc/3454/task/3482/stat : 3482 (java) R 3451 3454 3410 0 -1 4202560 90732 0 0 0 245858 104 0 0 20 0 41 0 175777645 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650425239928 140650938948425 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3483] ppid=3451 vsize=27411040 memory=3730140 CPUtime=2456.94 cores=0-7
/proc/3454/task/3483/stat : 3483 (java) R 3451 3454 3410 0 -1 4202560 90867 0 0 0 245574 120 0 0 20 0 41 0 175777645 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650424189456 140650943739489 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3484] ppid=3451 vsize=27411040 memory=4104 CPUtime=2454.76 cores=0-7
/proc/3454/task/3484/stat : 3484 (java) R 3451 3454 3410 0 -1 4202560 85099 0 0 0 245369 107 0 0 20 0 41 0 175777645 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650423137488 140650941399428 0 4 0 16800975 0 0 0 -1 7 0 0 42 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3485] ppid=3451 vsize=27411040 memory=-6733704525061579059 CPUtime=0 cores=0-7
/proc/3454/task/3485/stat : 3485 (java) S 3451 3454 3410 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 175777645 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650422089104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3486] ppid=3451 vsize=27411040 memory=4126316290023845779 CPUtime=2457.17 cores=0-7
/proc/3454/task/3486/stat : 3486 (java) R 3451 3454 3410 0 -1 4202560 86661 0 0 0 245610 107 0 0 20 0 41 0 175777646 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650421029752 140650939303691 0 4 0 16800975 0 0 0 -1 0 0 0 48 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3487] ppid=3451 vsize=27411040 memory=2236 CPUtime=0 cores=0-7
/proc/3454/task/3487/stat : 3487 (java) S 3451 3454 3410 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 41 0 175777646 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650419984016 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3488] ppid=3451 vsize=27411040 memory=4124 CPUtime=2455.63 cores=0-7
/proc/3454/task/3488/stat : 3488 (java) R 3451 3454 3410 0 -1 4202560 81943 0 0 0 245468 95 0 0 20 0 41 0 175777676 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650418924664 140650939303321 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3489] ppid=3451 vsize=27411040 memory=2200 CPUtime=0 cores=0-7
/proc/3454/task/3489/stat : 3489 (java) S 3451 3454 3410 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650417877904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3490] ppid=3451 vsize=27411040 memory=1576 CPUtime=0 cores=0-7
/proc/3454/task/3490/stat : 3490 (java) S 3451 3454 3410 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650416825104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3491] ppid=3451 vsize=27411040 memory=932 CPUtime=0 cores=0-7
/proc/3454/task/3491/stat : 3491 (java) S 3451 3454 3410 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650415772816 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3492] ppid=3451 vsize=27411040 memory=2236 CPUtime=0 cores=0-7
/proc/3454/task/3492/stat : 3492 (java) S 3451 3454 3410 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650414720016 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3493] ppid=3451 vsize=27411040 memory=3749632 CPUtime=0 cores=0-7
/proc/3454/task/3493/stat : 3493 (java) S 3451 3454 3410 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 41 0 175777695 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650411533712 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3494] ppid=3451 vsize=27411040 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/3454/task/3494/stat : 3494 (java) S 3451 3454 3410 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 41 0 175777695 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650410480912 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3495] ppid=3451 vsize=27411040 memory=13851893122206077 CPUtime=0 cores=0-7
/proc/3454/task/3495/stat : 3495 (java) S 3451 3454 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 175777705 28068904960 929842 33554432000 4194304 4196468 140734404976208 140650409428528 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
Current children cumulated CPU time: 19828.2 s
Current children cumulated vsize: 27411040 KiB
Current children cumulated memory: 3719368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]
/proc/loadavg: 8.93 8.84 8.77 11/221 3553
/proc/meminfo: memFree=14675644/32770624 swapFree=67108860/67108860
[pid=3454] ppid=3451 vsize=27411040 memory=3714240 CPUtime=19969.1 cores=0-7
/proc/3454/stat : 3454 (java) S 3451 3454 3410 0 -1 1077944320 1822182 0 0 0 1995600 1310 0 0 20 0 41 0 175776576 28068904960 928560 33554432000 4194304 4196468 140734404976208 140734404958752 140651329588983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
/proc/3454/statm: 6852760 928560 3867 1 0 6839953 0
[pid=3454/tid=3456] ppid=3451 vsize=27411040 memory=3714240 CPUtime=10.57 cores=0-7
/proc/3454/task/3456/stat : 3456 (java) S 3451 3454 3410 0 -1 1077944384 16530 0 0 0 1047 10 0 0 20 0 41 0 175776576 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651333826688 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3457] ppid=3451 vsize=27411040 memory=3715264 CPUtime=17.89 cores=0-7
/proc/3454/task/3457/stat : 3457 (java) S 3451 3454 3410 0 -1 1077944384 97179 0 0 0 1740 49 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651282209168 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3458] ppid=3451 vsize=27411040 memory=3715264 CPUtime=18.09 cores=0-7
/proc/3454/task/3458/stat : 3458 (java) S 3451 3454 3410 0 -1 1077944384 101246 0 0 0 1763 46 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651281156368 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3459] ppid=3451 vsize=27411040 memory=3716292 CPUtime=18.04 cores=0-7
/proc/3454/task/3459/stat : 3459 (java) S 3451 3454 3410 0 -1 1077944384 99227 0 0 0 1758 46 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651280104080 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3460] ppid=3451 vsize=27411040 memory=3714240 CPUtime=17.95 cores=0-7
/proc/3454/task/3460/stat : 3460 (java) S 3451 3454 3410 0 -1 1077944384 94312 0 0 0 1751 44 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651279051280 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3461] ppid=3451 vsize=27411040 memory=280986425686696 CPUtime=18.06 cores=0-7
/proc/3454/task/3461/stat : 3461 (java) S 3451 3454 3410 0 -1 1077944384 113986 0 0 0 1757 49 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651277998992 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3462] ppid=3451 vsize=27411040 memory=56 CPUtime=17.99 cores=0-7
/proc/3454/task/3462/stat : 3462 (java) S 3451 3454 3410 0 -1 1077944384 106483 0 0 0 1750 49 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651276946192 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3463] ppid=3451 vsize=27411040 memory=3715264 CPUtime=18.03 cores=0-7
/proc/3454/task/3463/stat : 3463 (java) S 3451 3454 3410 0 -1 1077944384 109994 0 0 0 1758 45 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651275893904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3464] ppid=3451 vsize=27411040 memory=2236 CPUtime=18.08 cores=0-7
/proc/3454/task/3464/stat : 3464 (java) S 3451 3454 3410 0 -1 1077944384 96586 0 0 0 1765 43 0 0 20 0 41 0 175776577 28068904960 928560 33554432000 4194304 4196468 140734404976208 140651274841104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3465] ppid=3451 vsize=27411040 memory=3785544 CPUtime=3.39 cores=0-7
/proc/3454/task/3465/stat : 3465 (java) S 3451 3454 3410 0 -1 1077944384 205713 0 0 0 266 73 0 0 20 0 41 0 175776578 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650524682352 140651329600130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3466] ppid=3451 vsize=27411040 memory=207 CPUtime=0 cores=0-7
/proc/3454/task/3466/stat : 3466 (java) S 3451 3454 3410 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 41 0 175776579 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650523628384 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3467] ppid=3451 vsize=27411040 memory=1944 CPUtime=0 cores=0-7
/proc/3454/task/3467/stat : 3467 (java) S 3451 3454 3410 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 41 0 175776579 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650522576000 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3468] ppid=3451 vsize=27411040 memory=1700 CPUtime=0 cores=0-7
/proc/3454/task/3468/stat : 3468 (java) S 3451 3454 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 175776581 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650521524304 140651329607579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3469] ppid=3451 vsize=27411040 memory=48660 CPUtime=2.43 cores=0-7
/proc/3454/task/3469/stat : 3469 (java) S 3451 3454 3410 0 -1 1077944384 12682 0 0 0 241 2 0 0 20 0 41 0 175776581 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650520472176 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3470] ppid=3451 vsize=27411040 memory=1292 CPUtime=2.01 cores=0-7
/proc/3454/task/3470/stat : 3470 (java) S 3451 3454 3410 0 -1 1077944384 7829 0 0 0 199 2 0 0 20 0 41 0 175776581 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650519419376 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3471] ppid=3451 vsize=27411040 memory=3718344 CPUtime=2.29 cores=0-7
/proc/3454/task/3471/stat : 3471 (java) S 3451 3454 3410 0 -1 1077944384 10498 0 0 0 227 2 0 0 20 0 41 0 175776581 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650518367088 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3472] ppid=3451 vsize=27411040 memory=-6733704525061579059 CPUtime=1.14 cores=0-7
/proc/3454/task/3472/stat : 3472 (java) S 3451 3454 3410 0 -1 1077944384 22222 0 0 0 110 4 0 0 20 0 41 0 175776581 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650517314288 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3473] ppid=3451 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/3454/task/3473/stat : 3473 (java) S 3451 3454 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 175776582 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650448152928 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3474] ppid=3451 vsize=27411040 memory=301793952447856927 CPUtime=1.05 cores=0-7
/proc/3454/task/3474/stat : 3474 (java) S 3451 3454 3410 0 -1 1077944384 10447 0 0 0 62 43 0 0 20 0 41 0 175776582 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650447100208 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3475] ppid=3451 vsize=27411040 memory=280986426565664 CPUtime=0 cores=0-7
/proc/3454/task/3475/stat : 3475 (java) S 3451 3454 3410 0 -1 1077944384 853 0 0 0 0 0 0 0 20 0 41 0 175777620 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650436809632 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3476] ppid=3451 vsize=27411040 memory=280986426203824 CPUtime=5.34 cores=0-7
/proc/3454/task/3476/stat : 3476 (java) S 3451 3454 3410 0 -1 1077944384 18871 0 0 0 248 286 0 0 20 0 41 0 175777632 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650433659936 140651329600130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3477] ppid=3451 vsize=27411040 memory=1791 CPUtime=0.11 cores=0-7
/proc/3454/task/3477/stat : 3477 (java) S 3451 3454 3410 0 -1 1077944384 286 0 0 0 11 0 0 0 20 0 41 0 175777641 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650430510480 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3478] ppid=3451 vsize=27411040 memory=1786 CPUtime=2472.73 cores=0-7
/proc/3454/task/3478/stat : 3478 (java) R 3451 3454 3410 0 -1 4202560 83617 0 0 0 247178 95 0 0 20 0 41 0 175777642 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650429454496 140650939764886 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3479] ppid=3451 vsize=27411040 memory=1777 CPUtime=0.1 cores=0-7
/proc/3454/task/3479/stat : 3479 (java) S 3451 3454 3410 0 -1 1077944384 703 0 0 0 10 0 0 0 20 0 41 0 175777642 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650428405392 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3480] ppid=3451 vsize=27411040 memory=0 CPUtime=2475.9 cores=0-7
/proc/3454/task/3480/stat : 3480 (java) R 3451 3454 3410 0 -1 4202560 86912 0 0 0 247486 104 0 0 20 0 41 0 175777642 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650427348104 140650940848933 0 4 0 16800975 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3481] ppid=3451 vsize=27411040 memory=0 CPUtime=2476.28 cores=0-7
/proc/3454/task/3481/stat : 3481 (java) R 3451 3454 3410 0 -1 4202560 86414 0 0 0 247522 106 0 0 20 0 41 0 175777642 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650426292920 140650943739489 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3482] ppid=3451 vsize=27411040 memory=0 CPUtime=2477.14 cores=0-7
/proc/3454/task/3482/stat : 3482 (java) R 3451 3454 3410 0 -1 4202560 90836 0 0 0 247610 104 0 0 20 0 41 0 175777645 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650425240440 140650939303321 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3483] ppid=3451 vsize=27411040 memory=0 CPUtime=2474.34 cores=0-7
/proc/3454/task/3483/stat : 3483 (java) R 3451 3454 3410 0 -1 4202560 90979 0 0 0 247314 120 0 0 20 0 41 0 175777645 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650424188264 140650939303462 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3484] ppid=3451 vsize=27411040 memory=0 CPUtime=2472.09 cores=0-7
/proc/3454/task/3484/stat : 3484 (java) R 3451 3454 3410 0 -1 4202560 85474 0 0 0 247102 107 0 0 20 0 41 0 175777645 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650423135464 140650939303321 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3485] ppid=3451 vsize=27411040 memory=4642197910265684584 CPUtime=0 cores=0-7
/proc/3454/task/3485/stat : 3485 (java) S 3451 3454 3410 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 175777645 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650422089104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3486] ppid=3451 vsize=27411040 memory=932 CPUtime=2474.68 cores=0-7
/proc/3454/task/3486/stat : 3486 (java) R 3451 3454 3410 0 -1 4202560 86757 0 0 0 247361 107 0 0 20 0 41 0 175777646 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650421030440 140650939303321 0 4 0 16800975 0 0 0 -1 6 0 0 48 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3487] ppid=3451 vsize=27411040 memory=2236 CPUtime=0 cores=0-7
/proc/3454/task/3487/stat : 3487 (java) S 3451 3454 3410 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 41 0 175777646 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650419984016 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3488] ppid=3451 vsize=27411040 memory=0 CPUtime=2473.08 cores=0-7
/proc/3454/task/3488/stat : 3488 (java) R 3451 3454 3410 0 -1 4202560 82025 0 0 0 247213 95 0 0 20 0 41 0 175777676 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650418927592 140650944191837 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3489] ppid=3451 vsize=27411040 memory=3721416 CPUtime=0 cores=0-7
/proc/3454/task/3489/stat : 3489 (java) S 3451 3454 3410 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650417877904 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3490] ppid=3451 vsize=27411040 memory=1424 CPUtime=0 cores=0-7
/proc/3454/task/3490/stat : 3490 (java) S 3451 3454 3410 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650416825104 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3491] ppid=3451 vsize=27411040 memory=3722444 CPUtime=0 cores=0-7
/proc/3454/task/3491/stat : 3491 (java) S 3451 3454 3410 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650415772816 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3492] ppid=3451 vsize=27411040 memory=1700 CPUtime=0 cores=0-7
/proc/3454/task/3492/stat : 3492 (java) S 3451 3454 3410 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 41 0 175777676 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650414720016 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3493] ppid=3451 vsize=27411040 memory=1228 CPUtime=0 cores=0-7
/proc/3454/task/3493/stat : 3493 (java) S 3451 3454 3410 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 41 0 175777695 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650411533712 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3494] ppid=3451 vsize=27411040 memory=5428 CPUtime=0 cores=0-7
/proc/3454/task/3494/stat : 3494 (java) S 3451 3454 3410 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 41 0 175777695 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650410480912 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
[pid=3454/tid=3495] ppid=3451 vsize=27411040 memory=4624 CPUtime=0 cores=0-7
/proc/3454/task/3495/stat : 3495 (java) S 3451 3454 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 175777705 28068904960 928560 33554432000 4194304 4196468 140734404976208 140650409428528 140651329599189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7053312 140734404977762 140734404977947 140734404977947 140734404980687 0
Current children cumulated CPU time: 19969.1 s
Current children cumulated vsize: 27411040 KiB
Current children cumulated memory: 3714240 KiB

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

[startup+2520.13 s]
# the end of solver process 3454 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19956.8 s, system=13.1318 s

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

[startup+2520.11 s]*
/proc/loadavg: 8.93 8.84 8.77 2/182 3555
/proc/meminfo: memFree=15582028/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.13
CPU time (s): 19969.9
CPU user time (s): 19956.8
CPU system time (s): 13.1318
CPU usage (%): 792.417
Max. virtual memory (cumulated for all children) (KiB): 27411040
Max. memory (cumulated for all children) (KiB): 5462600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19956.8
system time used= 13.1318
maximum resident set size= 5465232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1823724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482403
involuntary context switches= 417130


# summary of solver processes directly reported to runsolver:
#   pid: 3454
#   total CPU time (s): 19969.9
#   total CPU user time (s): 19956.8
#   total CPU system time (s): 13.1318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8495 second user time and 34.8221 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-22 20:20:29
IDJOB=4285054
IDBENCH=124394
IDSOLVER=2681
FILE ID=node114/4285054-1503426890
RUNJOBID= node114-1503426029-3437
PBS_JOBID= 20632138
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
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-4285054-1503426890/watcher-4285054-1503426890 -o /tmp/evaluation-result-4285054-1503426890/solver-4285054-1503426890 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 371937796 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285054-1503426890.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=371937796

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        18387120 kB
MemAvailable:   31945196 kB
Buffers:          235912 kB
Cached:         13602564 kB
SwapCached:            0 kB
Active:          2656572 kB
Inactive:       11235760 kB
Active(anon):       7704 kB
Inactive(anon):    90460 kB
Active(file):    2648868 kB
Inactive(file): 11145300 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42520 kB
Writeback:             0 kB
AnonPages:         61312 kB
Mapped:            54904 kB
Shmem:             41608 kB
Slab:             185916 kB
SReclaimable:     159484 kB
SUnreclaim:        26432 kB
KernelStack:        3232 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 60980 MiB
End job on node114 at 2017-08-22 21:02:29