Trace number 4257366

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)3461 1921.59 252.049

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n68-k9.xml
MD5SUMd46243a0c717d56f47be278be902a17a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1388
Best CPU time to get the best result obtained on this benchmark251.92799
Satisfiable
(Un)Satisfiability was proved
Number of variables4692
Number of constraints4623
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}]
Minimum variable degree0
Maximum variable degree133
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}]
Number of extensional constraints0
Number of intensional constraints67
Distribution of constraint types[{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}]
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.24/0.38	c version: 2017-07-26
0.24/0.38	c seed: 1859603441
0.24/0.38	c timeout: 1920
0.24/0.38	c memlimit: 22000
0.24/0.38	c nbcore: 8
0.43/0.40	c Parsing instance...
2.83/1.11	c Parsing done, starting search...
23.13/14.08	o 4063
23.13/14.10	o 4057
23.90/14.11	o 3849
23.90/14.20	o 3750
24.64/14.25	o 3746
24.64/14.28	o 3740
25.47/14.32	o 3736
25.47/14.36	o 3705
26.36/14.47	o 3700
27.03/14.51	o 3696
27.03/14.52	o 3686
27.03/14.58	o 3685
27.82/14.62	o 3681
27.82/14.66	o 3677
29.43/14.84	o 3675
30.19/14.94	o 3671
30.19/14.98	o 3669
38.90/16.10	o 3667
39.74/16.12	o 3663
39.74/16.19	o 3656
40.53/16.22	o 3652
40.53/16.24	o 3648
40.53/16.27	o 3644
40.53/16.29	o 3634
40.53/16.30	o 3630
45.27/16.87	o 3602
52.48/17.76	o 3597
61.97/18.94	o 3593
202.33/36.54	o 3576
252.59/42.87	o 3539
329.16/52.42	o 3535
329.16/52.43	o 3517
329.16/52.46	o 3504
412.17/62.86	o 3495
613.97/88.13	o 3493
653.02/93.01	o 3470
678.55/96.28	o 3461
1920.72/251.97	s SATISFIABLE
1920.72/251.99	v <instantiation>
1920.72/251.99	v 	<list>
1920.72/251.99	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67]
1920.72/252.01	v 	</list>
1920.72/252.01	v 	<values>
1920.72/252.01	v 		0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 33 14 54 100 100 54 77 100 66 37 94 43 22 84 100 33 100 44 84 44 46 82 71 15 75 54 36 26 98 7 100 72 75 63 52 42 40 28 80 38 61 73 100 82 76 18 21 83 92 22 23 74 68 65 58 59 78 68 17 100 82 92 57 48 47 100 17 
1920.72/252.01	v 	</values>
1920.72/252.01	v </instantiation>

Verifier Data 

OK	3461

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257366-1501684184/watcher-4257366-1501684184 -o /tmp/evaluation-result-4257366-1501684184/solver-4257366-1501684184 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1859603441 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257366-1501684184.xml 

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

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


[startup+0 s]
/proc/loadavg: 9.19 8.68 8.01 2/177 8161
/proc/meminfo: memFree=31691268/32770624 swapFree=0/258764
[pid=8161] ppid=8158 vsize=23672 CPUtime=0 cores=0-7
/proc/8161/stat : 8161 (runsolver) D 8158 8161 32125 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16233697 24240128 107 18446744073709551615 4194304 4338465 140729986141296 140729986138936 139939386323671 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25907200 140729986142307 140729986142787 140729986142787 140729986146250 0
/proc/8161/statm: 5918 107 54 36 0 2156 0

[startup+0.100083 s]
/proc/loadavg: 9.19 8.68 8.01 2/177 8161
/proc/meminfo: memFree=31691268/32770624 swapFree=0/258764
[pid=8161] ppid=8158 vsize=23425268 CPUtime=0 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 2280 0 0 0 0 0 0 0 20 0 10 0 16233697 23987474432 2472 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 5856317 2472 1159 1 0 5846295 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23425268

[startup+0.200347 s]
/proc/loadavg: 9.19 8.68 8.01 2/177 8161
/proc/meminfo: memFree=31691268/32770624 swapFree=0/258764
[pid=8161] ppid=8158 vsize=25996604 CPUtime=0.08 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 6564 0 0 0 7 1 0 0 20 0 20 0 16233697 26620522496 6771 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6499151 6774 3323 1 0 6487938 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25996604

[startup+0.300267 s]
/proc/loadavg: 9.19 8.68 8.01 2/177 8161
/proc/meminfo: memFree=31691268/32770624 swapFree=0/258764
[pid=8161] ppid=8158 vsize=25996604 CPUtime=0.24 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 10118 0 0 0 21 3 0 0 20 0 20 0 16233697 26620522496 9328 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6499151 9328 3509 1 0 6487938 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 25996604

[startup+0.700187 s]
/proc/loadavg: 9.19 8.68 8.01 2/177 8161
/proc/meminfo: memFree=31691268/32770624 swapFree=0/258764
[pid=8161] ppid=8158 vsize=25998672 CPUtime=1.18 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 14636 0 0 0 112 6 0 0 20 0 20 0 16233697 26622640128 17870 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6499668 17870 3724 1 0 6488450 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 25998672

[startup+1.50072 s]
/proc/loadavg: 8.62 8.56 7.98 5/197 8181
/proc/meminfo: memFree=31559924/32770624 swapFree=0/258780
[pid=8161] ppid=8158 vsize=26002768 CPUtime=4.16 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 28743 0 0 0 404 12 0 0 20 0 20 0 16233697 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6500692 50345 3763 1 0 6489474 0
[pid=8161/tid=8163] ppid=8158 vsize=26002768 CPUtime=1.36 cores=0-7
/proc/8161/task/8163/stat : 8163 (java) R 8158 8161 32125 0 -1 4202560 14591 0 0 0 129 7 0 0 20 0 20 0 16233706 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623605191584 140623225695685 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8164] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8164/stat : 8164 (java) S 8158 8161 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16233706 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623557925904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8165] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8165/stat : 8165 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233706 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623556873360 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8166] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8166/stat : 8166 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233706 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623555820304 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8167] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8167/stat : 8167 (java) S 8158 8161 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16233707 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623554767760 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8168] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8168/stat : 8168 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16233707 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623553714704 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8169] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8169/stat : 8169 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233707 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623552662160 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8170] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8170/stat : 8170 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233707 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623551609104 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8171] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8171/stat : 8171 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233707 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140623550556560 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8172] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8172/stat : 8172 (java) S 8158 8161 32125 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 16233708 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622597974768 140623600970370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8173] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8173/stat : 8173 (java) S 8158 8161 32125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16233708 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622596920992 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8174] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8174/stat : 8174 (java) S 8158 8161 32125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16233709 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622595867888 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8175] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8175/stat : 8175 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233711 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622594816464 140623600977819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8176] ppid=8158 vsize=26002768 CPUtime=0.75 cores=0-7
/proc/8161/task/8176/stat : 8176 (java) R 8158 8161 32125 0 -1 4202560 3994 0 0 0 74 1 0 0 20 0 20 0 16233711 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622593749888 140623586987678 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8177] ppid=8158 vsize=26002768 CPUtime=0.74 cores=0-7
/proc/8161/task/8177/stat : 8177 (java) R 8158 8161 32125 0 -1 4202560 2621 0 0 0 74 0 0 0 20 0 20 0 16233711 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622592699256 140623593248672 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8178] ppid=8158 vsize=26002768 CPUtime=0.68 cores=0-7
/proc/8161/task/8178/stat : 8178 (java) R 8158 8161 32125 0 -1 4202560 3024 0 0 0 68 0 0 0 20 0 20 0 16233711 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622591643992 140623582502940 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8179] ppid=8158 vsize=26002768 CPUtime=0.58 cores=0-7
/proc/8161/task/8179/stat : 8179 (java) R 8158 8161 32125 0 -1 4202560 3236 0 0 0 57 1 0 0 20 0 20 0 16233711 26626834432 50345 18446744073709551615 4194304 4196468 140730250875536 140622590601304 140623579327862 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8180] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8180/stat : 8180 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16233711 26626834432 50411 18446744073709551615 4194304 4196468 140730250875536 140622589553632 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8181] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8181/stat : 8181 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16233715 26626834432 50411 18446744073709551615 4194304 4196468 140730250875536 140622588501168 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 26002768

[startup+3.10077 s]
/proc/loadavg: 8.62 8.56 7.98 4/197 8181
/proc/meminfo: memFree=31426044/32770624 swapFree=0/258780
[pid=8161] ppid=8158 vsize=26002768 CPUtime=8.11 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 38758 0 0 0 789 22 0 0 20 0 20 0 16233697 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6500692 70955 3795 1 0 6489474 0
[pid=8161/tid=8163] ppid=8158 vsize=26002768 CPUtime=2.9 cores=0-7
/proc/8161/task/8163/stat : 8163 (java) R 8158 8161 32125 0 -1 4202560 15431 0 0 0 283 7 0 0 20 0 20 0 16233706 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623605192944 140623227621025 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8164] ppid=8158 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/8161/task/8164/stat : 8164 (java) S 8158 8161 32125 0 -1 1077944384 57 0 0 0 2 1 0 0 20 0 20 0 16233706 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623557925904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8165] ppid=8158 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/8161/task/8165/stat : 8165 (java) S 8158 8161 32125 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 16233706 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623556873360 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8166] ppid=8158 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/8161/task/8166/stat : 8166 (java) S 8158 8161 32125 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 16233706 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623555820304 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8167] ppid=8158 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/8161/task/8167/stat : 8167 (java) S 8158 8161 32125 0 -1 1077944384 65 0 0 0 2 1 0 0 20 0 20 0 16233707 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623554767760 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8168] ppid=8158 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/8161/task/8168/stat : 8168 (java) S 8158 8161 32125 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 16233707 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623553714704 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8169] ppid=8158 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/8161/task/8169/stat : 8169 (java) S 8158 8161 32125 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 20 0 16233707 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623552662160 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8170] ppid=8158 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/8161/task/8170/stat : 8170 (java) S 8158 8161 32125 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 20 0 16233707 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623551609104 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8171] ppid=8158 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/8161/task/8171/stat : 8171 (java) S 8158 8161 32125 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 16233707 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140623550556560 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8172] ppid=8158 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/8161/task/8172/stat : 8172 (java) S 8158 8161 32125 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 16233708 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622597974768 140623600970370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8173] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8173/stat : 8173 (java) S 8158 8161 32125 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 16233708 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622596921056 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8174] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8174/stat : 8174 (java) S 8158 8161 32125 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16233709 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622595867904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8175] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8175/stat : 8175 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622594816464 140623600977819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8176] ppid=8158 vsize=26002768 CPUtime=1.28 cores=0-7
/proc/8161/task/8176/stat : 8176 (java) S 8158 8161 32125 0 -1 1077944384 5833 0 0 0 127 1 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622593763568 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8177] ppid=8158 vsize=26002768 CPUtime=1.36 cores=0-7
/proc/8161/task/8177/stat : 8177 (java) S 8158 8161 32125 0 -1 1077944384 4476 0 0 0 136 0 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622592711024 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8178] ppid=8158 vsize=26002768 CPUtime=1.48 cores=0-7
/proc/8161/task/8178/stat : 8178 (java) S 8158 8161 32125 0 -1 1077944384 4728 0 0 0 147 1 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622591657968 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8179] ppid=8158 vsize=26002768 CPUtime=0.75 cores=0-7
/proc/8161/task/8179/stat : 8179 (java) S 8158 8161 32125 0 -1 1077944384 6209 0 0 0 73 2 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622590605424 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8180] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8180/stat : 8180 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16233711 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622589553632 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8181] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8181/stat : 8181 (java) S 8158 8161 32125 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 16233715 26626834432 70955 18446744073709551615 4194304 4196468 140730250875536 140622588501168 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 26002768

[startup+6.30077 s]
/proc/loadavg: 8.01 8.44 7.94 2/197 8181
/proc/meminfo: memFree=31292020/32770624 swapFree=0/258788
[pid=8161] ppid=8158 vsize=26002768 CPUtime=11.64 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 40307 0 0 0 1129 35 0 0 20 0 20 0 16233697 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6500692 109040 3802 1 0 6489474 0
[pid=8161/tid=8163] ppid=8158 vsize=26002768 CPUtime=6.07 cores=0-7
/proc/8161/task/8163/stat : 8163 (java) R 8158 8161 32125 0 -1 4202560 15566 0 0 0 598 9 0 0 20 0 20 0 16233706 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623605195264 140623228203593 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8164] ppid=8158 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/8161/task/8164/stat : 8164 (java) S 8158 8161 32125 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 20 0 16233706 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623557925904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8165] ppid=8158 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/8161/task/8165/stat : 8165 (java) S 8158 8161 32125 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 16233706 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623556873360 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8166] ppid=8158 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/8161/task/8166/stat : 8166 (java) S 8158 8161 32125 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 20 0 16233706 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623555820304 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8167] ppid=8158 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/8161/task/8167/stat : 8167 (java) S 8158 8161 32125 0 -1 1077944384 90 0 0 0 4 2 0 0 20 0 20 0 16233707 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623554767760 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8168] ppid=8158 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/8161/task/8168/stat : 8168 (java) S 8158 8161 32125 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 20 0 16233707 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623553714704 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8169] ppid=8158 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/8161/task/8169/stat : 8169 (java) S 8158 8161 32125 0 -1 1077944384 94 0 0 0 4 2 0 0 20 0 20 0 16233707 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623552662160 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8170] ppid=8158 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/8161/task/8170/stat : 8170 (java) S 8158 8161 32125 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 20 0 16233707 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623551609104 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8171] ppid=8158 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/8161/task/8171/stat : 8171 (java) S 8158 8161 32125 0 -1 1077944384 285 0 0 0 3 2 0 0 20 0 20 0 16233707 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140623550556560 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8172] ppid=8158 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/8161/task/8172/stat : 8172 (java) S 8158 8161 32125 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 16233708 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622597974768 140623600970370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8173] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8173/stat : 8173 (java) S 8158 8161 32125 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 16233708 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622596921056 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8174] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8174/stat : 8174 (java) S 8158 8161 32125 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16233709 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622595867904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8175] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7
/proc/8161/task/8175/stat : 8175 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16233711 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622594816464 140623600977819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8176] ppid=8158 vsize=26002768 CPUtime=1.3 cores=0-7
/proc/8161/task/8176/stat : 8176 (java) S 8158 8161 32125 0 -1 1077944384 5848 0 0 0 129 1 0 0 20 0 20 0 16233711 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622593763568 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8177] ppid=8158 vsize=26002768 CPUtime=1.4 cores=0-7
/proc/8161/task/8177/stat : 8177 (java) S 8158 8161 32125 0 -1 1077944384 4496 0 0 0 140 0 0 0 20 0 20 0 16233711 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622592711024 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8178] ppid=8158 vsize=26002768 CPUtime=1.51 cores=0-7
/proc/8161/task/8178/stat : 8178 (java) S 8158 8161 32125 0 -1 1077944384 4762 0 0 0 150 1 0 0 20 0 20 0 16233711 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622591657968 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8179] ppid=8158 vsize=26002768 CPUtime=0.78 cores=0-7
/proc/8161/task/8179/stat : 8179 (java) S 8158 8161 32125 0 -1 1077944384 6879 0 0 0 76 2 0 0 20 0 20 0 16233711 26626834432 109040 18446744073709551615 4194304 4196468 140730250875536 140622590605424 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8180] ppid=8158 vsize=26002768 CPUtime=0 cores=0-7

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

[pid=8161/tid=8172] ppid=8158 vsize=27539920 CPUtime=0.08 cores=0-7
/proc/8161/task/8172/stat : 8172 (java) S 8158 8161 32125 0 -1 1077944384 7608 0 0 0 5 3 0 0 20 0 43 0 16233708 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622597974768 140623600970370 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8173] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8173/stat : 8173 (java) S 8158 8161 32125 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 43 0 16233708 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622596921056 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8174] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8174/stat : 8174 (java) S 8158 8161 32125 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 43 0 16233709 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622595867904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8175] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8175/stat : 8175 (java) S 8158 8161 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622594816464 140623600977819 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8176] ppid=8158 vsize=27539920 CPUtime=2.35 cores=0-7
/proc/8161/task/8176/stat : 8176 (java) S 8158 8161 32125 0 -1 1077944384 9187 0 0 0 233 2 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622593763568 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8177] ppid=8158 vsize=27539920 CPUtime=2.43 cores=0-7
/proc/8161/task/8177/stat : 8177 (java) S 8158 8161 32125 0 -1 1077944384 8608 0 0 0 242 1 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622592711024 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8178] ppid=8158 vsize=27539920 CPUtime=2.56 cores=0-7
/proc/8161/task/8178/stat : 8178 (java) S 8158 8161 32125 0 -1 1077944384 8214 0 0 0 254 2 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622591657968 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8179] ppid=8158 vsize=27539920 CPUtime=1.08 cores=0-7
/proc/8161/task/8179/stat : 8179 (java) S 8158 8161 32125 0 -1 1077944384 13973 0 0 0 105 3 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622590605424 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8180] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8180/stat : 8180 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 16233711 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622589553632 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8181] ppid=8158 vsize=27539920 CPUtime=0.1 cores=0-7
/proc/8161/task/8181/stat : 8181 (java) S 8158 8161 32125 0 -1 1077944384 598 0 0 0 7 3 0 0 20 0 43 0 16233715 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622588501168 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8182] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8182/stat : 8182 (java) S 8158 8161 32125 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 43 0 16235024 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622578213920 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8183] ppid=8158 vsize=27539920 CPUtime=0.74 cores=0-7
/proc/8161/task/8183/stat : 8183 (java) R 8158 8161 32125 0 -1 1077944384 3227 0 0 0 32 42 0 0 20 0 43 0 16235036 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622575064368 140623600970370 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8184] ppid=8158 vsize=27539920 CPUtime=237.27 cores=0-7
/proc/8161/task/8184/stat : 8184 (java) R 8158 8161 32125 0 -1 4202560 7484 0 0 0 23702 25 0 0 20 0 43 0 16235045 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622571908104 140623222370800 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8185] ppid=8158 vsize=27539920 CPUtime=0.11 cores=0-7
/proc/8161/task/8185/stat : 8185 (java) S 8158 8161 32125 0 -1 1077944384 105 0 0 0 11 0 0 0 20 0 43 0 16235046 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622570861616 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8186] ppid=8158 vsize=27539920 CPUtime=235.52 cores=0-7
/proc/8161/task/8186/stat : 8186 (java) R 8158 8161 32125 0 -1 4202560 6608 0 0 0 23522 30 0 0 20 0 43 0 16235049 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622569802280 140623221900025 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8187] ppid=8158 vsize=27539920 CPUtime=0.11 cores=0-7
/proc/8161/task/8187/stat : 8187 (java) S 8158 8161 32125 0 -1 1077944384 316 0 0 0 11 0 0 0 20 0 43 0 16235051 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622568756240 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8188] ppid=8158 vsize=27539920 CPUtime=0.11 cores=0-7
/proc/8161/task/8188/stat : 8188 (java) S 8158 8161 32125 0 -1 1077944384 339 0 0 0 11 0 0 0 20 0 43 0 16235051 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622567704208 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8189] ppid=8158 vsize=27539920 CPUtime=236.67 cores=0-7
/proc/8161/task/8189/stat : 8189 (java) R 8158 8161 32125 0 -1 4202560 7159 0 0 0 23638 29 0 0 20 0 43 0 16235051 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622566645384 140623223365859 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8190] ppid=8158 vsize=27539920 CPUtime=236.46 cores=0-7
/proc/8161/task/8190/stat : 8190 (java) R 8158 8161 32125 0 -1 4202560 6677 0 0 0 23617 29 0 0 20 0 43 0 16235051 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622565594976 140623230000265 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8191] ppid=8158 vsize=27539920 CPUtime=237.11 cores=0-7
/proc/8161/task/8191/stat : 8191 (java) R 8158 8161 32125 0 -1 4202560 6386 0 0 0 23679 32 0 0 20 0 43 0 16235052 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622564539672 140623223366287 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8192] ppid=8158 vsize=27539920 CPUtime=237.33 cores=0-7
/proc/8161/task/8192/stat : 8192 (java) R 8158 8161 32125 0 -1 4202560 6895 0 0 0 23709 24 0 0 20 0 43 0 16235052 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622563486504 140623221901063 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8193] ppid=8158 vsize=27539920 CPUtime=236.17 cores=0-7
/proc/8161/task/8193/stat : 8193 (java) R 8158 8161 32125 0 -1 4202560 9290 0 0 0 23588 29 0 0 20 0 43 0 16235052 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622562433960 140623223366170 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8194] ppid=8158 vsize=27539920 CPUtime=236.29 cores=0-7
/proc/8161/task/8194/stat : 8194 (java) R 8158 8161 32125 0 -1 4202560 6229 0 0 0 23607 22 0 0 20 0 43 0 16235069 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622561380904 140623221900238 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8195] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8195/stat : 8195 (java) S 8158 8161 32125 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 43 0 16235069 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622560334864 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8196] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8196/stat : 8196 (java) S 8158 8161 32125 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 43 0 16235069 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622559282832 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8197] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8197/stat : 8197 (java) S 8158 8161 32125 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 43 0 16235069 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622556096272 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8198] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8198/stat : 8198 (java) S 8158 8161 32125 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 43 0 16235070 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622555042992 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8199] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8199/stat : 8199 (java) S 8158 8161 32125 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 43 0 16235105 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622553990544 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8200] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8200/stat : 8200 (java) S 8158 8161 32125 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 43 0 16235106 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622552937616 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8201] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8201/stat : 8201 (java) S 8158 8161 32125 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 43 0 16235107 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622551885072 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8202] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8202/stat : 8202 (java) S 8158 8161 32125 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 43 0 16235107 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622550832016 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8203] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8203/stat : 8203 (java) S 8158 8161 32125 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 43 0 16235107 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622549779472 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8204] ppid=8158 vsize=27539920 CPUtime=0 cores=0-7
/proc/8161/task/8204/stat : 8204 (java) S 8158 8161 32125 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 43 0 16235108 28200878080 1227790 18446744073709551615 4194304 4196468 140730250875536 140622548727440 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
Current children cumulated CPU time (s) 1920.72
Current children cumulated vsize (KiB) 27539920

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

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

[startup+252.018 s]
/proc/loadavg: 8.95 8.77 8.18 10/220 8210
/proc/meminfo: memFree=26784236/32770624 swapFree=0/258816
[pid=8161] ppid=8158 vsize=27673048 CPUtime=1921.56 cores=0-7
/proc/8161/stat : 8161 (java) S 8158 8161 32125 0 -1 1077944320 157018 0 0 0 191774 382 0 0 20 0 42 0 16233697 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140730250858080 140623600959223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
/proc/8161/statm: 6918262 1227831 3819 1 0 6906523 0
[pid=8161/tid=8163] ppid=8158 vsize=27673048 CPUtime=13.27 cores=0-7
/proc/8161/task/8163/stat : 8163 (java) S 8158 8161 32125 0 -1 1077944384 20919 0 0 0 1312 15 0 0 20 0 42 0 16233706 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623605196928 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8164] ppid=8158 vsize=27673048 CPUtime=0.58 cores=0-7
/proc/8161/task/8164/stat : 8164 (java) S 8158 8161 32125 0 -1 1077944384 1178 0 0 0 43 15 0 0 20 0 42 0 16233706 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623557925904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8165] ppid=8158 vsize=27673048 CPUtime=0.59 cores=0-7
/proc/8161/task/8165/stat : 8165 (java) S 8158 8161 32125 0 -1 1077944384 2300 0 0 0 43 16 0 0 20 0 42 0 16233706 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623556873360 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8166] ppid=8158 vsize=27673048 CPUtime=0.6 cores=0-7
/proc/8161/task/8166/stat : 8166 (java) S 8158 8161 32125 0 -1 1077944384 3930 0 0 0 44 16 0 0 20 0 42 0 16233706 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623555820304 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8167] ppid=8158 vsize=27673048 CPUtime=0.6 cores=0-7
/proc/8161/task/8167/stat : 8167 (java) S 8158 8161 32125 0 -1 1077944384 4097 0 0 0 44 16 0 0 20 0 42 0 16233707 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623554767760 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8168] ppid=8158 vsize=27673048 CPUtime=0.6 cores=0-7
/proc/8161/task/8168/stat : 8168 (java) S 8158 8161 32125 0 -1 1077944384 2993 0 0 0 44 16 0 0 20 0 42 0 16233707 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623553714704 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8169] ppid=8158 vsize=27673048 CPUtime=0.59 cores=0-7
/proc/8161/task/8169/stat : 8169 (java) S 8158 8161 32125 0 -1 1077944384 1160 0 0 0 44 15 0 0 20 0 42 0 16233707 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623552662160 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8170] ppid=8158 vsize=27673048 CPUtime=0.58 cores=0-7
/proc/8161/task/8170/stat : 8170 (java) S 8158 8161 32125 0 -1 1077944384 2617 0 0 0 43 15 0 0 20 0 42 0 16233707 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623551609104 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8171] ppid=8158 vsize=27673048 CPUtime=0.59 cores=0-7
/proc/8161/task/8171/stat : 8171 (java) S 8158 8161 32125 0 -1 1077944384 3205 0 0 0 43 16 0 0 20 0 42 0 16233707 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140623550556560 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8172] ppid=8158 vsize=27673048 CPUtime=0.08 cores=0-7
/proc/8161/task/8172/stat : 8172 (java) S 8158 8161 32125 0 -1 1077944384 7610 0 0 0 5 3 0 0 20 0 42 0 16233708 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622597974272 140623600970370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8173] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8173/stat : 8173 (java) S 8158 8161 32125 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 42 0 16233708 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622596921056 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8174] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8174/stat : 8174 (java) S 8158 8161 32125 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 42 0 16233709 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622595867904 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8176] ppid=8158 vsize=27673048 CPUtime=2.35 cores=0-7
/proc/8161/task/8176/stat : 8176 (java) S 8158 8161 32125 0 -1 1077944384 9187 0 0 0 233 2 0 0 20 0 42 0 16233711 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622593763568 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8177] ppid=8158 vsize=27673048 CPUtime=2.43 cores=0-7
/proc/8161/task/8177/stat : 8177 (java) S 8158 8161 32125 0 -1 1077944384 8608 0 0 0 242 1 0 0 20 0 42 0 16233711 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622592711024 140623600970370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8178] ppid=8158 vsize=27673048 CPUtime=2.57 cores=0-7
/proc/8161/task/8178/stat : 8178 (java) S 8158 8161 32125 0 -1 1077944384 8743 0 0 0 255 2 0 0 20 0 42 0 16233711 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622591642480 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8179] ppid=8158 vsize=27673048 CPUtime=1.08 cores=0-7
/proc/8161/task/8179/stat : 8179 (java) S 8158 8161 32125 0 -1 1077944384 14846 0 0 0 105 3 0 0 20 0 42 0 16233711 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622590605184 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8180] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8180/stat : 8180 (java) S 8158 8161 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 16233711 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622589553632 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8182] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8182/stat : 8182 (java) S 8158 8161 32125 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 42 0 16235024 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622578213920 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8183] ppid=8158 vsize=27673048 CPUtime=0.74 cores=0-7
/proc/8161/task/8183/stat : 8183 (java) S 8158 8161 32125 0 -1 1077944384 3227 0 0 0 32 42 0 0 20 0 42 0 16235036 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622575064064 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8184] ppid=8158 vsize=27673048 CPUtime=237.37 cores=0-7
/proc/8161/task/8184/stat : 8184 (java) S 8158 8161 32125 0 -1 1077944384 7485 0 0 0 23712 25 0 0 20 0 42 0 16235045 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622571908480 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8185] ppid=8158 vsize=27673048 CPUtime=0.11 cores=0-7
/proc/8161/task/8185/stat : 8185 (java) S 8158 8161 32125 0 -1 1077944384 105 0 0 0 11 0 0 0 20 0 42 0 16235046 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622570861616 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8186] ppid=8158 vsize=27673048 CPUtime=235.62 cores=0-7
/proc/8161/task/8186/stat : 8186 (java) S 8158 8161 32125 0 -1 1077944384 6608 0 0 0 23532 30 0 0 20 0 42 0 16235049 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622569802144 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8187] ppid=8158 vsize=27673048 CPUtime=0.11 cores=0-7
/proc/8161/task/8187/stat : 8187 (java) S 8158 8161 32125 0 -1 1077944384 316 0 0 0 11 0 0 0 20 0 42 0 16235051 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622568756240 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8188] ppid=8158 vsize=27673048 CPUtime=0.11 cores=0-7
/proc/8161/task/8188/stat : 8188 (java) S 8158 8161 32125 0 -1 1077944384 339 0 0 0 11 0 0 0 20 0 42 0 16235051 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622567704208 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8189] ppid=8158 vsize=27673048 CPUtime=236.77 cores=0-7
/proc/8161/task/8189/stat : 8189 (java) S 8158 8161 32125 0 -1 1077944384 7159 0 0 0 23648 29 0 0 20 0 42 0 16235051 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622566645648 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8190] ppid=8158 vsize=27673048 CPUtime=236.56 cores=0-7
/proc/8161/task/8190/stat : 8190 (java) S 8158 8161 32125 0 -1 1077944384 6677 0 0 0 23627 29 0 0 20 0 42 0 16235051 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622565591968 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8191] ppid=8158 vsize=27673048 CPUtime=237.19 cores=0-7
/proc/8161/task/8191/stat : 8191 (java) S 8158 8161 32125 0 -1 1077944384 6386 0 0 0 23687 32 0 0 20 0 42 0 16235052 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622564539424 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8192] ppid=8158 vsize=27673048 CPUtime=237.43 cores=0-7
/proc/8161/task/8192/stat : 8192 (java) S 8158 8161 32125 0 -1 1077944384 6895 0 0 0 23719 24 0 0 20 0 42 0 16235052 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622563486880 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8193] ppid=8158 vsize=27673048 CPUtime=236.27 cores=0-7
/proc/8161/task/8193/stat : 8193 (java) S 8158 8161 32125 0 -1 1077944384 9290 0 0 0 23598 29 0 0 20 0 42 0 16235052 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622562434048 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8194] ppid=8158 vsize=27673048 CPUtime=236.38 cores=0-7
/proc/8161/task/8194/stat : 8194 (java) S 8158 8161 32125 0 -1 1077944384 6229 0 0 0 23616 22 0 0 20 0 42 0 16235069 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622561381280 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8195] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8195/stat : 8195 (java) S 8158 8161 32125 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 42 0 16235069 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622560334864 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8196] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8196/stat : 8196 (java) S 8158 8161 32125 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 42 0 16235069 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622559282832 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8197] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8197/stat : 8197 (java) S 8158 8161 32125 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 42 0 16235069 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622556096272 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8198] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8198/stat : 8198 (java) S 8158 8161 32125 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 42 0 16235070 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622555042992 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8199] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8199/stat : 8199 (java) S 8158 8161 32125 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 42 0 16235105 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622553990544 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8200] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8200/stat : 8200 (java) S 8158 8161 32125 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 42 0 16235106 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622552937616 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8201] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8201/stat : 8201 (java) S 8158 8161 32125 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 42 0 16235107 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622551885072 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8202] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8202/stat : 8202 (java) S 8158 8161 32125 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 42 0 16235107 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622550832016 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8203] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8203/stat : 8203 (java) S 8158 8161 32125 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 42 0 16235107 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622549779472 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
[pid=8161/tid=8204] ppid=8158 vsize=27673048 CPUtime=0 cores=0-7
/proc/8161/task/8204/stat : 8204 (java) S 8158 8161 32125 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 42 0 16235108 28337201152 1227831 18446744073709551615 4194304 4196468 140730250875536 140622548727440 140623600969429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35414016 140730250879375 140730250879560 140730250879560 140730250883023 0
Current children cumulated CPU time (s) 1921.56
Current children cumulated vsize (KiB) 27673048

Child status: 143
Real time (s): 252.049
CPU time (s): 1921.59
CPU user time (s): 1917.74
CPU system time (s): 3.84621
CPU usage (%): 762.387
Max. virtual memory (cumulated for all children) (KiB): 27673048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1917.74
system time used= 3.84621
maximum resident set size= 5632892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36570
involuntary context switches= 41357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33569 second user time and 2.44674 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 16:15:37
IDJOB=4257366
IDBENCH=124439
IDSOLVER=2641
FILE ID=node133/4257366-1501684184
RUNJOBID= node133-1501676554-32181
PBS_JOBID= 
Free space on /tmp= 61864 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-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-4257366-1501684184/watcher-4257366-1501684184 -o /tmp/evaluation-result-4257366-1501684184/solver-4257366-1501684184 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1859603441 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257366-1501684184.xml

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

MD5SUM BENCH= d46243a0c717d56f47be278be902a17a
RANDOM SEED=1859603441

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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:        31691640 kB
MemAvailable:   32003972 kB
Buffers:          143372 kB
Cached:           456264 kB
SwapCached:            0 kB
Active:           385504 kB
Inactive:         275492 kB
Active(anon):      61880 kB
Inactive(anon):    16728 kB
Active(file):     323624 kB
Inactive(file):   258764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42296 kB
Writeback:             4 kB
AnonPages:         61748 kB
Mapped:            30676 kB
Shmem:             17084 kB
Slab:             117692 kB
SReclaimable:      91560 kB
SUnreclaim:        26132 kB
KernelStack:        3136 kB
PageTables:         3948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     286272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61820 MiB
End job on node133 at 2017-08-02 16:19:49