Trace number 4308930

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 2018-08-14SAT (TO)26 19835 2520.29

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1s-magazine_c18.xml
MD5SUM90ad9fa5946247c0fa0335207c2f2744
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark19985.2
Satisfiable
(Un)Satisfiability was proved
Number of variables5100
Number of constraints2650
Number of domains27
Minimum domain size2
Maximum domain size445
Distribution of domain sizes[{"size":2,"count":50},{"size":41,"count":2500},{"size":55,"count":50},{"size":58,"count":50},{"size":60,"count":50},{"size":66,"count":50},{"size":93,"count":50},{"size":99,"count":50},{"size":110,"count":100},{"size":115,"count":50},{"size":121,"count":50},{"size":150,"count":50},{"size":154,"count":150},{"size":165,"count":400},{"size":184,"count":50},{"size":187,"count":100},{"size":214,"count":100},{"size":220,"count":150},{"size":231,"count":100},{"size":247,"count":50},{"size":253,"count":150},{"size":275,"count":400},{"size":291,"count":50},{"size":297,"count":100},{"size":406,"count":50},{"size":412,"count":100},{"size":445,"count":50}]
Minimum variable degree2
Maximum variable degree51
Distribution of variable degrees[{"degree":2,"count":5050},{"degree":51,"count":50}]
Minimum constraint arity2
Maximum constraint arity50
Distribution of constraint arities[{"arity":2,"count":50},{"arity":3,"count":2500},{"arity":50,"count":100}]
Number of extensional constraints50
Number of intensional constraints2500
Distribution of constraint types[{"type":"extension","count":50},{"type":"intension","count":2500},{"type":"sum","count":100}]
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.71/1.11	c version: 2018-08-14
0.71/1.11	c seed: 1813963252
0.71/1.11	c timeout: 20160
0.71/1.11	c memlimit: 22000
0.71/1.11	c nbcore: 8
0.71/1.14	c Parsing instance...
3.33/1.94	c Parsing done, starting search...
26.77/15.12	o 50
40.92/16.97	o 49
43.38/17.22	o 48
45.71/17.54	o 47
48.07/17.84	o 46
48.87/17.96	o 45
49.67/18.10	o 44
51.29/18.25	o 43
52.09/18.32	o 42
52.82/18.44	o 41
53.59/18.55	o 40
55.22/18.74	o 39
56.00/18.85	o 38
56.78/19.00	o 37
58.37/19.16	o 36
59.23/19.29	o 35
60.75/19.41	o 34
61.55/19.54	o 33
62.35/19.68	o 32
63.95/19.81	o 31
69.50/20.54	o 30
70.29/20.69	o 29
71.09/20.78	o 28
73.48/21.04	o 27
76.00/21.39	o 26
19833.16/2520.08	s SATISFIABLE
19833.16/2520.10	v <instantiation>
19833.16/2520.10	v 	<list>
19833.16/2520.10	v 		d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] npt[30] npt[31] npt[32] npt[33] npt[34] npt[35] npt[36] npt[37] npt[38] npt[39] npt[40] npt[41] npt[42] npt[43] npt[44] npt[45] npt[46] npt[47] npt[48] npt[49] u[0] 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] nptv[0][0] nptv[0][1] nptv[0][2] nptv[0][3] nptv[0][4] nptv[0][5] nptv[0][6] nptv[0][7] nptv[0][8] nptv[0][9] nptv[0][10] nptv[0][11] nptv[0][12] nptv[0][13] nptv[0][14] nptv[0][15] nptv[0][16] nptv[0][17] nptv[0][18] nptv[0][19] nptv[0][20] nptv[0][21] nptv[0][22] nptv[0][23] nptv[0][24] nptv[0][25] nptv[0][26] nptv[0][27] nptv[0][28] nptv[0][29] nptv[0][30] nptv[0][31] nptv[0][32] nptv[0][33] nptv[0][34] nptv[0][35] nptv[0][36] nptv[0][37] nptv[0][38] nptv[0][39] nptv[0][40] nptv[0][41] nptv[0][42] nptv[0][43] nptv[0][44] nptv[0][45] nptv[0][46] nptv[0][47] nptv[0][48] nptv[0][49] nptv[1][0] nptv[1][1] nptv[1][2] nptv[1][3] nptv[1][4] nptv[1][5] nptv[1][6] nptv[1][7] nptv[1][8] nptv[1][9] nptv[1][10] nptv[1][11] nptv[1][12] nptv[1][13] nptv[1][14] nptv[1][15] nptv[1][16] nptv[1][17] nptv[1][18] nptv[1][19] nptv[1][20] nptv[1][21] nptv[1][22] nptv[1][23] nptv[1][24] nptv[1][25] nptv[1][26] nptv[1][27] nptv[1][28] nptv[1][29] nptv[1][30] nptv[1][31] nptv[1][32] nptv[1][33] nptv[1][34] nptv[1][35] nptv[1][36] nptv[1][37] nptv[1][38] nptv[1][39] nptv[1][40] nptv[1][41] nptv[1][42] nptv[1][43] nptv[1][44] nptv[1][45] nptv[1][46] nptv[1][47] nptv[1][48] nptv[1][49] nptv[2][0] nptv[2][1] nptv[2][2] nptv[2][3] nptv[2][4] nptv[2][5] nptv[2][6] nptv[2][7] nptv[2][8] nptv[2][9] nptv[2][10] nptv[2][11] nptv[2][12] nptv[2][13] nptv[2][14] nptv[2][15] nptv[2][16] nptv[2][17] nptv[2][18] nptv[2][19] nptv[2][20] nptv[2][21] nptv[2][22] nptv[2][23] nptv[2][24] nptv[2][25] nptv[2][26] nptv[2][27] nptv[2][28] nptv[2][29] nptv[2][30] nptv[2][31] nptv[2][32] nptv[2][33] nptv[2][34] nptv[2][35] nptv[2][36] nptv[2][37] nptv[2][38] nptv[2][39] nptv[2][40] nptv[2][41] nptv[2][42] nptv[2][43] nptv[2][44] nptv[2][45] nptv[2][46] nptv[2][47] nptv[2][48] nptv[2][49] nptv[3][0] nptv[3][1] nptv[3][2] nptv[3][3] nptv[3][4] nptv[3][5] nptv[3][6] nptv[3][7] nptv[3][8] nptv[3][9] nptv[3][10] nptv[3][11] nptv[3][12] nptv[3][13] nptv[3][14] nptv[3][15] nptv[3][16] nptv[3][17] nptv[3][18] nptv[3][19] nptv[3][20] nptv[3][21] nptv[3][22] nptv[3][23] nptv[3][24] nptv[3][25] nptv[3][26] nptv[3][27] nptv[3][28] nptv[3][29] nptv[3][30] nptv[3][31] nptv[3][32] nptv[3][33] nptv[3][34] nptv[3][35] nptv[3][36] nptv[3][37] nptv[3][38] nptv[3][39] nptv[3][40] nptv[3][41] nptv[3][42] nptv[3][43] nptv[3][44] nptv[3][45] nptv[3][46] nptv[3][47] nptv[3][48] nptv[3][49] nptv[4][0] nptv[4][1] nptv[4][2] nptv[4][3] nptv[4][4] nptv[4][5] nptv[4][6] nptv[4][7] nptv[4][8] nptv[4][9] nptv[4][10] nptv[4][11] nptv[4][12] nptv[4][13] nptv[4][14] nptv[4][15] nptv[4][16] nptv[4][17] nptv[4][18] nptv[4][19] nptv[4][20] nptv[4][21] nptv[4][22] nptv[4][23] nptv[4][24] nptv[4][25] nptv[4][26] nptv[4][27] nptv[4][28] nptv[4][29] nptv[4][30] nptv[4][31] nptv[4][32] nptv[4][33] nptv[4][34] nptv[4][35] nptv[4][36] nptv[4][37] nptv[4][38] nptv[4][39] nptv[4][40] nptv[4][41] nptv[4][42] nptv[4][43] nptv[4][44] nptv[4][45] nptv[4][46] nptv[4][47] nptv[4][48] nptv[4][49] nptv[5][0] nptv[5][1] nptv[5][2] nptv[5][3] nptv[5][4] nptv[5][5] nptv[5][6] nptv[5][7] nptv[5][8] nptv[5][9] nptv[5][10] nptv[5][11] nptv[5][12] nptv[5][13] nptv[5][14] nptv[5][15] nptv[5][16] nptv[5][17] nptv[5][18] nptv[5][19] nptv[5][20] nptv[5][21] nptv[5][22] nptv[5][23] nptv[5][24] nptv[5][25] nptv[5][26] nptv[5][27] nptv[5][28] nptv[5][29] nptv[5][30] nptv[5][31] nptv[5][32] nptv[5][33] nptv[5][34] nptv[5][35] nptv[5][36] nptv[5][37] nptv[5][38] nptv[5][39] nptv[5][40] nptv[5][41] nptv[5][42] nptv[5][43] nptv[5][44] nptv[5][45] nptv[5][46] nptv[5][47] nptv[5][48] nptv[5][49] nptv[6][0] nptv[6][1] nptv[6][2] nptv[6][3] nptv[6][4] nptv[6][5] nptv[6][6] nptv[6][7] nptv[6][8] nptv[6][9] nptv[6][10] nptv[6][11] nptv[6][12] nptv[6][13] nptv[6][14] nptv[6][15] nptv[6][16] nptv[6][17] nptv[6][18] nptv[6][19] nptv[6][20] nptv[6][21] nptv[6][22] nptv[6][23] nptv[6][24] nptv[6][25] nptv[6][26] nptv[6][27] nptv[6][28] nptv[6][29] nptv[6][30] nptv[6][31] nptv[6][32] nptv[6][33] nptv[6][34] nptv[6][35] nptv[6][36] nptv[6][37] nptv[6][38] nptv[6][39] nptv[6][40] nptv[6][41] nptv[6][42] nptv[6][43] nptv[6][44] nptv[6][45] nptv[6][46] nptv[6][47] nptv[6][48] nptv[6][49] nptv[7][0] nptv[7][1] nptv[7][2] nptv[7][3] nptv[7][4] nptv[7][5] nptv[7][6] nptv[7][7] nptv[7][8] nptv[7][9] nptv[7][10] nptv[7][11] nptv[7][12] nptv[7][13] nptv[7][14] nptv[7][15] nptv[7][16] nptv[7][17] nptv[7][18] nptv[7][19] nptv[7][20] nptv[7][21] nptv[7][22] nptv[7][23] nptv[7][24] nptv[7][25] nptv[7][26] nptv[7][27] nptv[7][28] nptv[7][29] nptv[7][30] nptv[7][31] nptv[7][32] nptv[7][33] nptv[7][34] nptv[7][35] nptv[7][36] nptv[7][37] nptv[7][38] nptv[7][39] nptv[7][40] nptv[7][41] nptv[7][42] nptv[7][43] nptv[7][44] nptv[7][45] nptv[7][46] nptv[7][47] nptv[7][48] nptv[7][49] nptv[8][0] nptv[8][1] nptv[8][2] nptv[8][3] nptv[8][4] nptv[8][5] nptv[8][6] nptv[8][7] nptv[8][8] nptv[8][9] nptv[8][10] nptv[8][11] nptv[8][12] nptv[8][13] nptv[8][14] nptv[8][15] nptv[8][16] nptv[8][17] nptv[8][18] nptv[8][19] nptv[8][20] nptv[8][21] nptv[8][22] nptv[8][23] nptv[8][24] nptv[8][25] nptv[8][26] nptv[8][27] nptv[8][28] nptv[8][29] nptv[8][30] nptv[8][31] nptv[8][32] nptv[8][33] nptv[8][34] nptv[8][35] nptv[8][36] nptv[8][37] nptv[8][38] nptv[8][39] nptv[8][40] nptv[8][41] nptv[8][42] nptv[8][43] nptv[8][44] nptv[8][45] nptv[8][46] nptv[8][47] nptv[8][48] nptv[8][49] nptv[9][0] nptv[9][1] nptv[9][2] nptv[9][3] nptv[9][4] nptv[9][5] nptv[9][6] nptv[9][7] nptv[9][8] nptv[9][9] nptv[9][10] nptv[9][11] nptv[9][12] nptv[9][13] nptv[9][14] nptv[9][15] nptv[9][16] nptv[9][17] nptv[9][18] nptv[9][19] nptv[9][20] nptv[9][21] nptv[9][22] nptv[9][23] nptv[9][24] nptv[9][25] nptv[9][26] nptv[9][27] nptv[9][28] nptv[9][29] nptv[9][30] nptv[9][31] nptv[9][32] nptv[9][33] nptv[9][34] nptv[9][35] nptv[9][36] nptv[9][37] nptv[9][38] nptv[9][39] nptv[9][40] nptv[9][41] nptv[9][42] nptv[9][43] nptv[9][44] nptv[9][45] nptv[9][46] nptv[9][47] nptv[9][48] nptv[9][49] nptv[10][0] nptv[10][1] nptv[10][2] nptv[10][3] nptv[10][4] nptv[10][5] nptv[10][6] nptv[10][7] nptv[10][8] nptv[10][9] nptv[10][10] nptv[10][11] nptv[10][12] nptv[10][13] nptv[10][14] nptv[10][15] nptv[10][16] nptv[10][17] nptv[10][18] nptv[10][19] nptv[10][20] nptv[10][21] nptv[10][22] nptv[10][23] nptv[10][24] nptv[10][25] nptv[10][26] nptv[10][27] nptv[10][28] nptv[10][29] nptv[10][30] nptv[10][31] nptv[10][32] nptv[10][33] nptv[10][34] nptv[10][35] nptv[10][36] nptv[10][37] nptv[10][38] nptv[10][39] nptv[10][40] nptv[10][41] nptv[10][42] nptv[10][43] nptv[10][44] nptv[10][45] nptv[10][46] nptv[10][47] nptv[10][48] nptv[10][49] nptv[11][0] nptv[11][1] nptv[11][2] nptv[11][3] nptv[11][4] nptv[11][5] nptv[11][6] nptv[11][7] nptv[11][8] nptv[11][9] nptv[11][10] nptv[11][11] nptv[11][12] nptv[11][13] nptv[11][14] nptv[11][15] nptv[11][16] nptv[11][17] nptv[11][18] nptv[11][19] nptv[11][20] nptv[11][21] nptv[11][22] nptv[11][23] nptv[11][24] nptv[11][25] nptv[11][26] nptv[11][27] nptv[11][28] nptv[11][29] nptv[11][30] nptv[11][31] nptv[11][32] nptv[11][33] nptv[11][34] nptv[11][35] nptv[11][36] nptv[11][37] nptv[11][38] nptv[11][39] nptv[11][40] nptv[11][41] nptv[11][42] nptv[11][43] nptv[11][44] nptv[11][45] nptv[11][46] nptv[11][47] nptv[11][48] nptv[11][49] nptv[12][0] nptv[12][1] nptv[12][2] nptv[12][3] nptv[12][4] nptv[12][5] nptv[12][6] nptv[12][7] nptv[12][8] nptv[12][9] nptv[12][10] nptv[12][11] nptv[12][12] nptv[12][13] nptv[12][14] nptv[12][15] nptv[12][16] nptv[12][17] nptv[12][18] nptv[12][19] nptv[12][20] nptv[12][21] nptv[12][22] nptv[12][23] nptv[12][24] nptv[12][25] nptv[12][26] nptv[12][27] nptv[12][28] nptv[12][29] nptv[12][30] nptv[12][31] nptv[12][32] nptv[12][33] nptv[12][34] nptv[12][35] nptv[12][36] nptv[12][37] nptv[12][38] nptv[12][39] nptv[12][40] nptv[12][41] nptv[12][42] nptv[12][43] nptv[12][44] nptv[12][45] nptv[12][46] nptv[12][47] nptv[12][48] nptv[12][49] nptv[13][0] nptv[13][1] nptv[13][2] nptv[13][3] nptv[13][4] nptv[13][5] nptv[13][6] nptv[13][7] nptv[13][8] nptv[13][9] nptv[13][10] nptv[13][11] nptv[13][12] nptv[13][13] nptv[13][14] nptv[13][15] nptv[13][16] nptv[13][17] nptv[13][18] nptv[13][19] nptv[13][20] nptv[13][21] nptv[13][22] nptv[13][23] nptv[13][24] nptv[13][25] nptv[13][26] nptv[13][27] nptv[13][28] nptv[13][29] nptv[13][30] nptv[13][31] nptv[13][32] nptv[13][33] nptv[13][34] nptv[13][35] nptv[13][36] nptv[13][37] nptv[13][38] nptv[13][39] nptv[13][40] nptv[13][41] nptv[13][42] nptv[13][43] nptv[13][44] nptv[13][45] nptv[13][46] nptv[13][47] nptv[13][48] nptv[13][49] nptv[14][0] nptv[14][1] nptv[14][2] nptv[14][3] nptv[14][4] nptv[14][5] nptv[14][6] nptv[14][7] nptv[14][8] nptv[14][9] nptv[14][10] nptv[14][11] nptv[14][12] nptv[14][13] nptv[14][14] nptv[14][15] nptv[14][16] nptv[14][17] nptv[14][18] nptv[14][19] nptv[14][20] nptv[14][21] nptv[14][22] nptv[14][23] nptv[14][24] nptv[14][25] nptv[14][26] nptv[14][27] nptv[14][28] nptv[14][29] nptv[14][30] nptv[14][31] nptv[14][32] nptv[14][33] nptv[14][34] nptv[14][35] nptv[14][36] nptv[14][37] nptv[14][38] nptv[14][39] nptv[14][40] nptv[14][41] nptv[14][42] nptv[14][43] nptv[14][44] nptv[14][45] nptv[14][46] nptv[14][47] nptv[14][48] nptv[14][49] nptv[15][0] nptv[15][1] nptv[15][2] nptv[15][3] nptv[15][4] nptv[15][5] nptv[15][6] nptv[15][7] nptv[15][8] nptv[15][9] nptv[15][10] nptv[15][11] nptv[15][12] nptv[15][13] nptv[15][14] nptv[15][15] nptv[15][16] nptv[15][17] nptv[15][18] nptv[15][19] nptv[15][20] nptv[15][21] nptv[15][22] nptv[15][23] nptv[15][24] nptv[15][25] nptv[15][26] nptv[15][27] nptv[15][28] nptv[15][29] nptv[15][30] nptv[15][31] nptv[15][32] nptv[15][33] nptv[15][34] nptv[15][35] nptv[15][36] nptv[15][37] nptv[15][38] nptv[15][39] nptv[15][40] nptv[15][41] nptv[15][42] nptv[15][43] nptv[15][44] nptv[15][45] nptv[15][46] nptv[15][47] nptv[15][48] nptv[15][49] nptv[16][0] nptv[16][1] nptv[16][2] nptv[16][3] nptv[16][4] nptv[16][5] nptv[16][6] nptv[16][7] nptv[16][8] nptv[16][9] nptv[16][10] nptv[16][11] nptv[16][12] nptv[16][13] nptv[16][14] nptv[16][15] nptv[16][16] nptv[16][17] nptv[16][18] nptv[16][19] nptv[16][20] nptv[16][21] nptv[16][22] nptv[16][23] nptv[16][24] nptv[16][25] nptv[16][26] nptv[16][27] nptv[16][28] nptv[16][29] nptv[16][30] nptv[16][31] nptv[16][32] nptv[16][33] nptv[16][34] nptv[16][35] nptv[16][36] nptv[16][37] nptv[16][38] nptv[16][39] nptv[16][40] nptv[16][41] nptv[16][42] nptv[16][43] nptv[16][44] nptv[16][45] nptv[16][46] nptv[16][47] nptv[16][48] nptv[16][49] nptv[17][0] nptv[17][1] nptv[17][2] nptv[17][3] nptv[17][4] nptv[17][5] nptv[17][6] nptv[17][7] nptv[17][8] nptv[17][9] nptv[17][10] nptv[17][11] nptv[17][12] nptv[17][13] nptv[17][14] nptv[17][15] nptv[17][16] nptv[17][17] nptv[17][18] nptv[17][19] nptv[17][20] nptv[17][21] nptv[17][22] nptv[17][23] nptv[17][24] nptv[17][25] nptv[17][26] nptv[17][27] nptv[17][28] nptv[17][29] nptv[17][30] nptv[17][31] nptv[17][32] nptv[17][33] nptv[17][34] nptv[17][35] nptv[17][36] nptv[17][37] nptv[17][38] nptv[17][39] nptv[17][40] nptv[17][41] nptv[17][42] nptv[17][43] nptv[17][44] nptv[17][45] nptv[17][46] nptv[17][47] nptv[17][48] nptv[17][49] nptv[18][0] nptv[18][1] nptv[18][2] nptv[18][3] nptv[18][4] nptv[18][5] nptv[18][6] nptv[18][7] nptv[18][8] nptv[18][9] nptv[18][10] nptv[18][11] nptv[18][12] nptv[18][13] nptv[18][14] nptv[18][15] nptv[18][16] nptv[18][17] nptv[18][18] nptv[18][19] nptv[18][20] nptv[18][21] nptv[18][22] nptv[18][23] nptv[18][24] nptv[18][25] nptv[18][26] nptv[18][27] nptv[18][28] nptv[18][29] nptv[18][30] nptv[18][31] nptv[18][32] nptv[18][33] nptv[18][34] nptv[18][35] nptv[18][36] nptv[18][37] nptv[18][38] nptv[18][39] nptv[18][40] nptv[18][41] nptv[18][42] nptv[18][43] nptv[18][44] nptv[18][45] nptv[18][46] nptv[18][47] nptv[18][48] nptv[18][49] nptv[19][0] nptv[19][1] nptv[19][2] nptv[19][3] nptv[19][4] nptv[19][5] nptv[19][6] nptv[19][7] nptv[19][8] nptv[19][9] nptv[19][10] nptv[19][11] nptv[19][12] nptv[19][13] nptv[19][14] nptv[19][15] nptv[19][16] nptv[19][17] nptv[19][18] nptv[19][19] nptv[19][20] nptv[19][21] nptv[19][22] nptv[19][23] nptv[19][24] nptv[19][25] nptv[19][26] nptv[19][27] nptv[19][28] nptv[19][29] nptv[19][30] nptv[19][31] nptv[19][32] nptv[19][33] nptv[19][34] nptv[19][35] nptv[19][36] nptv[19][37] nptv[19][38] nptv[19][39] nptv[19][40] nptv[19][41] nptv[19][42] nptv[19][43] nptv[19][44] nptv[19][45] nptv[19][46] nptv[19][47] nptv[19][48] nptv[19][49] nptv[20][0] nptv[20][1] nptv[20][2] nptv[20][3] nptv[20][4] nptv[20][5] nptv[20][6] nptv[20][7] nptv[20][8] nptv[20][9] nptv[20][10] nptv[20][11] nptv[20][12] nptv[20][13] nptv[20][14] nptv[20][15] nptv[20][16] nptv[20][17] nptv[20][18] nptv[20][19] nptv[20][20] nptv[20][21] nptv[20][22] nptv[20][23] nptv[20][24] nptv[20][25] nptv[20][26] nptv[20][27] nptv[20][28] nptv[20][29] nptv[20][30] nptv[20][31] nptv[20][32] nptv[20][33] nptv[20][34] nptv[20][35] nptv[20][36] nptv[20][37] nptv[20][38] nptv[20][39] nptv[20][40] nptv[20][41] nptv[20][42] nptv[20][43] nptv[20][44] nptv[20][45] nptv[20][46] nptv[20][47] nptv[20][48] nptv[20][49] nptv[21][0] nptv[21][1] nptv[21][2] nptv[21][3] nptv[21][4] nptv[21][5] nptv[21][6] nptv[21][7] nptv[21][8] nptv[21][9] nptv[21][10] nptv[21][11] nptv[21][12] nptv[21][13] nptv[21][14] nptv[21][15] nptv[21][16] nptv[21][17] nptv[21][18] nptv[21][19] nptv[21][20] nptv[21][21] nptv[21][22] nptv[21][23] nptv[21][24] nptv[21][25] nptv[21][26] nptv[21][27] nptv[21][28] nptv[21][29] nptv[21][30] nptv[21][31] nptv[21][32] nptv[21][33] nptv[21][34] nptv[21][35] nptv[21][36] nptv[21][37] nptv[21][38] nptv[21][39] nptv[21][40] nptv[21][41] nptv[21][42] nptv[21][43] nptv[21][44] nptv[21][45] nptv[21][46] nptv[21][47] nptv[21][48] nptv[21][49] nptv[22][0] nptv[22][1] nptv[22][2] nptv[22][3] nptv[22][4] nptv[22][5] nptv[22][6] nptv[22][7] nptv[22][8] nptv[22][9] nptv[22][10] nptv[22][11] nptv[22][12] nptv[22][13] nptv[22][14] nptv[22][15] nptv[22][16] nptv[22][17] nptv[22][18] nptv[22][19] nptv[22][20] nptv[22][21] nptv[22][22] nptv[22][23] nptv[22][24] nptv[22][25] nptv[22][26] nptv[22][27] nptv[22][28] nptv[22][29] nptv[22][30] nptv[22][31] nptv[22][32] nptv[22][33] nptv[22][34] nptv[22][35] nptv[22][36] nptv[22][37] nptv[22][38] nptv[22][39] nptv[22][40] nptv[22][41] nptv[22][42] nptv[22][43] nptv[22][44] nptv[22][45] nptv[22][46] nptv[22][47] nptv[22][48] nptv[22][49] nptv[23][0] nptv[23][1] nptv[23][2] nptv[23][3] nptv[23][4] nptv[23][5] nptv[23][6] nptv[23][7] nptv[23][8] nptv[23][9] nptv[23][10] nptv[23][11] nptv[23][12] nptv[23][13] nptv[23][14] nptv[23][15] nptv[23][16] nptv[23][17] nptv[23][18] nptv[23][19] nptv[23][20] nptv[23][21] nptv[23][22] nptv[23][23] nptv[23][24] nptv[23][25] nptv[23][26] nptv[23][27] nptv[23][28] nptv[23][29] nptv[23][30] nptv[23][31] nptv[23][32] nptv[23][33] nptv[23][34] nptv[23][35] nptv[23][36] nptv[23][37] nptv[23][38] nptv[23][39] nptv[23][40] nptv[23][41] nptv[23][42] nptv[23][43] nptv[23][44] nptv[23][45] nptv[23][46] nptv[23][47] nptv[23][48] nptv[23][49] nptv[24][0] nptv[24][1] nptv[24][2] nptv[24][3] nptv[24][4] nptv[24][5] nptv[24][6] nptv[24][7] nptv[24][8] nptv[24][9] nptv[24][10] nptv[24][11] nptv[24][12] nptv[24][13] nptv[24][14] nptv[24][15] nptv[24][16] nptv[24][17] nptv[24][18] nptv[24][19] nptv[24][20] nptv[24][21] nptv[24][22] nptv[24][23] nptv[24][24] nptv[24][25] nptv[24][26] nptv[24][27] nptv[24][28] nptv[24][29] nptv[24][30] nptv[24][31] nptv[24][32] nptv[24][33] nptv[24][34] nptv[24][35] nptv[24][36] nptv[24][37] nptv[24][38] nptv[24][39] nptv[24][40] nptv[24][41] nptv[24][42] nptv[24][43] nptv[24][44] nptv[24][45] nptv[24][46] nptv[24][47] nptv[24][48] nptv[24][49] nptv[25][0] nptv[25][1] nptv[25][2] nptv[25][3] nptv[25][4] nptv[25][5] nptv[25][6] nptv[25][7] nptv[25][8] nptv[25][9] nptv[25][10] nptv[25][11] nptv[25][12] nptv[25][13] nptv[25][14] nptv[25][15] nptv[25][16] nptv[25][17] nptv[25][18] nptv[25][19] nptv[25][20] nptv[25][21] nptv[25][22] nptv[25][23] nptv[25][24] nptv[25][25] nptv[25][26] nptv[25][27] nptv[25][28] nptv[25][29] nptv[25][30] nptv[25][31] nptv[25][32] nptv[25][33] nptv[25][34] nptv[25][35] nptv[25][36] nptv[25][37] nptv[25][38] nptv[25][39] nptv[25][40] nptv[25][41] nptv[25][42] nptv[25][43] nptv[25][44] nptv[25][45] nptv[25][46] nptv[25][47] nptv[25][48] nptv[25][49] nptv[26][0] nptv[26][1] nptv[26][2] nptv[26][3] nptv[26][4] nptv[26][5] nptv[26][6] nptv[26][7] nptv[26][8] nptv[26][9] nptv[26][10] nptv[26][11] nptv[26][12] nptv[26][13] nptv[26][14] nptv[26][15] nptv[26][16] nptv[26][17] nptv[26][18] nptv[26][19] nptv[26][20] nptv[26][21] nptv[26][22] nptv[26][23] nptv[26][24] nptv[26][25] nptv[26][26] nptv[26][27] nptv[26][28] nptv[26][29] nptv[26][30] nptv[26][31] nptv[26][32] nptv[26][33] nptv[26][34] nptv[26][35] nptv[26][36] nptv[26][37] nptv[26][38] nptv[26][39] nptv[26][40] nptv[26][41] nptv[26][42] nptv[26][43] nptv[26][44] nptv[26][45] nptv[26][46] nptv[26][47] nptv[26][48] nptv[26][49] nptv[27][0] nptv[27][1] nptv[27][2] nptv[27][3] nptv[27][4] nptv[27][5] nptv[27][6] nptv[27][7] nptv[27][8] nptv[27][9] nptv[27][10] nptv[27][11] nptv[27][12] nptv[27][13] nptv[27][14] nptv[27][15] nptv[27][16] nptv[27][17] nptv[27][18] nptv[27][19] nptv[27][20] nptv[27][21] nptv[27][22] nptv[27][23] nptv[27][24] nptv[27][25] nptv[27][26] nptv[27][27] nptv[27][28] nptv[27][29] nptv[27][30] nptv[27][31] nptv[27][32] nptv[27][33] nptv[27][34] nptv[27][35] nptv[27][36] nptv[27][37] nptv[27][38] nptv[27][39] nptv[27][40] nptv[27][41] nptv[27][42] nptv[27][43] nptv[27][44] nptv[27][45] nptv[27][46] nptv[27][47] nptv[27][48] nptv[27][49] nptv[28][0] nptv[28][1] nptv[28][2] nptv[28][3] nptv[28][4] nptv[28][5] nptv[28][6] nptv[28][7] nptv[28][8] nptv[28][9] nptv[28][10] nptv[28][11] nptv[28][12] nptv[28][13] nptv[28][14] nptv[28][15] nptv[28][16] nptv[28][17] nptv[28][18] nptv[28][19] nptv[28][20] nptv[28][21] nptv[28][22] nptv[28][23] nptv[28][24] nptv[28][25] nptv[28][26] nptv[28][27] nptv[28][28] nptv[28][29] nptv[28][30] nptv[28][31] nptv[28][32] nptv[28][33] nptv[28][34] nptv[28][35] nptv[28][36] nptv[28][37] nptv[28][38] nptv[28][39] nptv[28][40] nptv[28][41] nptv[28][42] nptv[28][43] nptv[28][44] nptv[28][45] nptv[28][46] nptv[28][47] nptv[28][48] nptv[28][49] nptv[29][0] nptv[29][1] nptv[29][2] nptv[29][3] nptv[29][4] nptv[29][5] nptv[29][6] nptv[29][7] nptv[29][8] nptv[29][9] nptv[29][10] nptv[29][11] nptv[29][12] nptv[29][13] nptv[29][14] nptv[29][15] nptv[29][16] nptv[29][17] nptv[29][18] nptv[29][19] nptv[29][20] nptv[29][21] nptv[29][22] nptv[29][23] nptv[29][24] nptv[29][25] nptv[29][26] nptv[29][27] nptv[29][28] nptv[29][29] nptv[29][30] nptv[29][31] nptv[29][32] nptv[29][33] nptv[29][34] nptv[29][35] nptv[29][36] nptv[29][37] nptv[29][38] nptv[29][39] nptv[29][40] nptv[29][41] nptv[29][42] nptv[29][43] nptv[29][44] nptv[29][45] nptv[29][46] nptv[29][47] nptv[29][48] nptv[29][49] nptv[30][0] nptv[30][1] nptv[30][2] nptv[30][3] nptv[30][4] nptv[30][5] nptv[30][6] nptv[30][7] nptv[30][8] nptv[30][9] nptv[30][10] nptv[30][11] nptv[30][12] nptv[30][13] nptv[30][14] nptv[30][15] nptv[30][16] nptv[30][17] nptv[30][18] nptv[30][19] nptv[30][20] nptv[30][21] nptv[30][22] nptv[30][23] nptv[30][24] nptv[30][25] nptv[30][26] nptv[30][27] nptv[30][28] nptv[30][29] nptv[30][30] nptv[30][31] nptv[30][32] nptv[30][33] nptv[30][34] nptv[30][35] nptv[30][36] nptv[30][37] nptv[30][38] nptv[30][39] nptv[30][40] nptv[30][41] nptv[30][42] nptv[30][43] nptv[30][44] nptv[30][45] nptv[30][46] nptv[30][47] nptv[30][48] nptv[30][49] nptv[31][0] nptv[31][1] nptv[31][2] nptv[31][3] nptv[31][4] nptv[31][5] nptv[31][6] nptv[31][7] nptv[31][8] nptv[31][9] nptv[31][10] nptv[31][11] nptv[31][12] nptv[31][13] nptv[31][14] nptv[31][15] nptv[31][16] nptv[31][17] nptv[31][18] nptv[31][19] nptv[31][20] nptv[31][21] nptv[31][22] nptv[31][23] nptv[31][24] nptv[31][25] nptv[31][26] nptv[31][27] nptv[31][28] nptv[31][29] nptv[31][30] nptv[31][31] nptv[31][32] nptv[31][33] nptv[31][34] nptv[31][35] nptv[31][36] nptv[31][37] nptv[31][38] nptv[31][39] nptv[31][40] nptv[31][41] nptv[31][42] nptv[31][43] nptv[31][44] nptv[31][45] nptv[31][46] nptv[31][47] nptv[31][48] nptv[31][49] nptv[32][0] nptv[32][1] nptv[32][2] nptv[32][3] nptv[32][4] nptv[32][5] nptv[32][6] nptv[32][7] nptv[32][8] nptv[32][9] nptv[32][10] nptv[32][11] nptv[32][12] nptv[32][13] nptv[32][14] nptv[32][15] nptv[32][16] nptv[32][17] nptv[32][18] nptv[32][19] nptv[32][20] nptv[32][21] nptv[32][22] nptv[32][23] nptv[32][24] nptv[32][25] nptv[32][26] nptv[32][27] nptv[32][28] nptv[32][29] nptv[32][30] nptv[32][31] nptv[32][32] nptv[32][33] nptv[32][34] nptv[32][35] nptv[32][36] nptv[32][37] nptv[32][38] nptv[32][39] nptv[32][40] nptv[32][41] nptv[32][42] nptv[32][43] nptv[32][44] nptv[32][45] nptv[32][46] nptv[32][47] nptv[32][48] nptv[32][49] nptv[33][0] nptv[33][1] nptv[33][2] nptv[33][3] nptv[33][4] nptv[33][5] nptv[33][6] nptv[33][7] nptv[33][8] nptv[33][9] nptv[33][10] nptv[33][11] nptv[33][12] nptv[33][13] nptv[33][14] nptv[33][15] nptv[33][16] nptv[33][17] nptv[33][18] nptv[33][19] nptv[33][20] nptv[33][21] nptv[33][22] nptv[33][23] nptv[33][24] nptv[33][25] nptv[33][26] nptv[33][27] nptv[33][28] nptv[33][29] nptv[33][30] nptv[33][31] nptv[33][32] nptv[33][33] nptv[33][34] nptv[33][35] nptv[33][36] nptv[33][37] nptv[33][38] nptv[33][39] nptv[33][40] nptv[33][41] nptv[33][42] nptv[33][43] nptv[33][44] nptv[33][45] nptv[33][46] nptv[33][47] nptv[33][48] nptv[33][49] nptv[34][0] nptv[34][1] nptv[34][2] nptv[34][3] nptv[34][4] nptv[34][5] nptv[34][6] nptv[34][7] nptv[34][8] nptv[34][9] nptv[34][10] nptv[34][11] nptv[34][12] nptv[34][13] nptv[34][14] nptv[34][15] nptv[34][16] nptv[34][17] nptv[34][18] nptv[34][19] nptv[34][20] nptv[34][21] nptv[34][22] nptv[34][23] nptv[34][24] nptv[34][25] nptv[34][26] nptv[34][27] nptv[34][28] nptv[34][29] nptv[34][30] nptv[34][31] nptv[34][32] nptv[34][33] nptv[34][34] nptv[34][35] nptv[34][36] nptv[34][37] nptv[34][38] nptv[34][39] nptv[34][40] nptv[34][41] nptv[34][42] nptv[34][43] nptv[34][44] nptv[34][45] nptv[34][46] nptv[34][47] nptv[34][48] nptv[34][49] nptv[35][0] nptv[35][1] nptv[35][2] nptv[35][3] nptv[35][4] nptv[35][5] nptv[35][6] nptv[35][7] nptv[35][8] nptv[35][9] nptv[35][10] nptv[35][11] nptv[35][12] nptv[35][13] nptv[35][14] nptv[35][15] nptv[35][16] nptv[35][17] nptv[35][18] nptv[35][19] nptv[35][20] nptv[35][21] nptv[35][22] nptv[35][23] nptv[35][24] nptv[35][25] nptv[35][26] nptv[35][27] nptv[35][28] nptv[35][29] nptv[35][30] nptv[35][31] nptv[35][32] nptv[35][33] nptv[35][34] nptv[35][35] nptv[35][36] nptv[35][37] nptv[35][38] nptv[35][39] nptv[35][40] nptv[35][41] nptv[35][42] nptv[35][43] nptv[35][44] nptv[35][45] nptv[35][46] nptv[35][47] nptv[35][48] nptv[35][49] nptv[36][0] nptv[36][1] nptv[36][2] nptv[36][3] nptv[36][4] nptv[36][5] nptv[36][6] nptv[36][7] nptv[36][8] nptv[36][9] nptv[36][10] nptv[36][11] nptv[36][12] nptv[36][13] nptv[36][14] nptv[36][15] nptv[36][16] nptv[36][17] nptv[36][18] nptv[36][19] nptv[36][20] nptv[36][21] nptv[36][22] nptv[36][23] nptv[36][24] nptv[36][25] nptv[36][26] nptv[36][27] nptv[36][28] nptv[36][29] nptv[36][30] nptv[36][31] nptv[36][32] nptv[36][33] nptv[36][34] nptv[36][35] nptv[36][36] nptv[36][37] nptv[36][38] nptv[36][39] nptv[36][40] nptv[36][41] nptv[36][42] nptv[36][43] nptv[36][44] nptv[36][45] nptv[36][46] nptv[36][47] nptv[36][48] nptv[36][49] nptv[37][0] nptv[37][1] nptv[37][2] nptv[37][3] nptv[37][4] nptv[37][5] nptv[37][6] nptv[37][7] nptv[37][8] nptv[37][9] nptv[37][10] nptv[37][11] nptv[37][12] nptv[37][13] nptv[37][14] nptv[37][15] nptv[37][16] nptv[37][17] nptv[37][18] nptv[37][19] nptv[37][20] nptv[37][21] nptv[37][22] nptv[37][23] nptv[37][24] nptv[37][25] nptv[37][26] nptv[37][27] nptv[37][28] nptv[37][29] nptv[37][30] nptv[37][31] nptv[37][32] nptv[37][33] nptv[37][34] nptv[37][35] nptv[37][36] nptv[37][37] nptv[37][38] nptv[37][39] nptv[37][40] nptv[37][41] nptv[37][42] nptv[37][43] nptv[37][44] nptv[37][45] nptv[37][46] nptv[37][47] nptv[37][48] nptv[37][49] nptv[38][0] nptv[38][1] nptv[38][2] nptv[38][3] nptv[38][4] nptv[38][5] nptv[38][6] nptv[38][7] nptv[38][8] nptv[38][9] nptv[38][10] nptv[38][11] nptv[38][12] nptv[38][13] nptv[38][14] nptv[38][15] nptv[38][16] nptv[38][17] nptv[38][18] nptv[38][19] nptv[38][20] nptv[38][21] nptv[38][22] nptv[38][23] nptv[38][24] nptv[38][25] nptv[38][26] nptv[38][27] nptv[38][28] nptv[38][29] nptv[38][30] nptv[38][31] nptv[38][32] nptv[38][33] nptv[38][34] nptv[38][35] nptv[38][36] nptv[38][37] nptv[38][38] nptv[38][39] nptv[38][40] nptv[38][41] nptv[38][42] nptv[38][43] nptv[38][44] nptv[38][45] nptv[38][46] nptv[38][47] nptv[38][48] nptv[38][49] nptv[39][0] nptv[39][1] nptv[39][2] nptv[39][3] nptv[39][4] nptv[39][5] nptv[39][6] nptv[39][7] nptv[39][8] nptv[39][9] nptv[39][10] nptv[39][11] nptv[39][12] nptv[39][13] nptv[39][14] nptv[39][15] nptv[39][16] nptv[39][17] nptv[39][18] nptv[39][19] nptv[39][20] nptv[39][21] nptv[39][22] nptv[39][23] nptv[39][24] nptv[39][25] nptv[39][26] nptv[39][27] nptv[39][28] nptv[39][29] nptv[39][30] nptv[39][31] nptv[39][32] nptv[39][33] nptv[39][34] nptv[39][35] nptv[39][36] nptv[39][37] nptv[39][38] nptv[39][39] nptv[39][40] nptv[39][41] nptv[39][42] nptv[39][43] nptv[39][44] nptv[39][45] nptv[39][46] nptv[39][47] nptv[39][48] nptv[39][49] nptv[40][0] nptv[40][1] nptv[40][2] nptv[40][3] nptv[40][4] nptv[40][5] nptv[40][6] nptv[40][7] nptv[40][8] nptv[40][9] nptv[40][10] nptv[40][11] nptv[40][12] nptv[40][13] nptv[40][14] nptv[40][15] nptv[40][16] nptv[40][17] nptv[40][18] nptv[40][19] nptv[40][20] nptv[40][21] nptv[40][22] nptv[40][23] nptv[40][24] nptv[40][25] nptv[40][26] nptv[40][27] nptv[40][28] nptv[40][29] nptv[40][30] nptv[40][31] nptv[40][32] nptv[40][33] nptv[40][34] nptv[40][35] nptv[40][36] nptv[40][37] nptv[40][38] nptv[40][39] nptv[40][40] nptv[40][41] nptv[40][42] nptv[40][43] nptv[40][44] nptv[40][45] nptv[40][46] nptv[40][47] nptv[40][48] nptv[40][49] nptv[41][0] nptv[41][1] nptv[41][2] nptv[41][3] nptv[41][4] nptv[41][5] nptv[41][6] nptv[41][7] nptv[41][8] nptv[41][9] nptv[41][10] nptv[41][11] nptv[41][12] nptv[41][13] nptv[41][14] nptv[41][15] nptv[41][16] nptv[41][17] nptv[41][18] nptv[41][19] nptv[41][20] nptv[41][21] nptv[41][22] nptv[41][23] nptv[41][24] nptv[41][25] nptv[41][26] nptv[41][27] nptv[41][28] nptv[41][29] nptv[41][30] nptv[41][31] nptv[41][32] nptv[41][33] nptv[41][34] nptv[41][35] nptv[41][36] nptv[41][37] nptv[41][38] nptv[41][39] nptv[41][40] nptv[41][41] nptv[41][42] nptv[41][43] nptv[41][44] nptv[41][45] nptv[41][46] nptv[41][47] nptv[41][48] nptv[41][49] nptv[42][0] nptv[42][1] nptv[42][2] nptv[42][3] nptv[42][4] nptv[42][5] nptv[42][6] nptv[42][7] nptv[42][8] nptv[42][9] nptv[42][10] nptv[42][11] nptv[42][12] nptv[42][13] nptv[42][14] nptv[42][15] nptv[42][16] nptv[42][17] nptv[42][18] nptv[42][19] nptv[42][20] nptv[42][21] nptv[42][22] nptv[42][23] nptv[42][24] nptv[42][25] nptv[42][26] nptv[42][27] nptv[42][28] nptv[42][29] nptv[42][30] nptv[42][31] nptv[42][32] nptv[42][33] nptv[42][34] nptv[42][35] nptv[42][36] nptv[42][37] nptv[42][38] nptv[42][39] nptv[42][40] nptv[42][41] nptv[42][42] nptv[42][43] nptv[42][44] nptv[42][45] nptv[42][46] nptv[42][47] nptv[42][48] nptv[42][49] nptv[43][0] nptv[43][1] nptv[43][2] nptv[43][3] nptv[43][4] nptv[43][5] nptv[43][6] nptv[43][7] nptv[43][8] nptv[43][9] nptv[43][10] nptv[43][11] nptv[43][12] nptv[43][13] nptv[43][14] nptv[43][15] nptv[43][16] nptv[43][17] nptv[43][18] nptv[43][19] nptv[43][20] nptv[43][21] nptv[43][22] nptv[43][23] nptv[43][24] nptv[43][25] nptv[43][26] nptv[43][27] nptv[43][28] nptv[43][29] nptv[43][30] nptv[43][31] nptv[43][32] nptv[43][33] nptv[43][34] nptv[43][35] nptv[43][36] nptv[43][37] nptv[43][38] nptv[43][39] nptv[43][40] nptv[43][41] nptv[43][42] nptv[43][43] nptv[43][44] nptv[43][45] nptv[43][46] nptv[43][47] nptv[43][48] nptv[43][49] nptv[44][0] nptv[44][1] nptv[44][2] nptv[44][3] nptv[44][4] nptv[44][5] nptv[44][6] nptv[44][7] nptv[44][8] nptv[44][9] nptv[44][10] nptv[44][11] nptv[44][12] nptv[44][13] nptv[44][14] nptv[44][15] nptv[44][16] nptv[44][17] nptv[44][18] nptv[44][19] nptv[44][20] nptv[44][21] nptv[44][22] nptv[44][23] nptv[44][24] nptv[44][25] nptv[44][26] nptv[44][27] nptv[44][28] nptv[44][29] nptv[44][30] nptv[44][31] nptv[44][32] nptv[44][33] nptv[44][34] nptv[44][35] nptv[44][36] nptv[44][37] nptv[44][38] nptv[44][39] nptv[44][40] nptv[44][41] nptv[44][42] nptv[44][43] nptv[44][44] nptv[44][45] nptv[44][46] nptv[44][47] nptv[44][48] nptv[44][49] nptv[45][0] nptv[45][1] nptv[45][2] nptv[45][3] nptv[45][4] nptv[45][5] nptv[45][6] nptv[45][7] nptv[45][8] nptv[45][9] nptv[45][10] nptv[45][11] nptv[45][12] nptv[45][13] nptv[45][14] nptv[45][15] nptv[45][16] nptv[45][17] nptv[45][18] nptv[45][19] nptv[45][20] nptv[45][21] nptv[45][22] nptv[45][23] nptv[45][24] nptv[45][25] nptv[45][26] nptv[45][27] nptv[45][28] nptv[45][29] nptv[45][30] nptv[45][31] nptv[45][32] nptv[45][33] nptv[45][34] nptv[45][35] nptv[45][36] nptv[45][37] nptv[45][38] nptv[45][39] nptv[45][40] nptv[45][41] nptv[45][42] nptv[45][43] nptv[45][44] nptv[45][45] nptv[45][46] nptv[45][47] nptv[45][48] nptv[45][49] nptv[46][0] nptv[46][1] nptv[46][2] nptv[46][3] nptv[46][4] nptv[46][5] nptv[46][6] nptv[46][7] nptv[46][8] nptv[46][9] nptv[46][10] nptv[46][11] nptv[46][12] nptv[46][13] nptv[46][14] nptv[46][15] nptv[46][16] nptv[46][17] nptv[46][18] nptv[46][19] nptv[46][20] nptv[46][21] nptv[46][22] nptv[46][23] nptv[46][24] nptv[46][25] nptv[46][26] nptv[46][27] nptv[46][28] nptv[46][29] nptv[46][30] nptv[46][31] nptv[46][32] nptv[46][33] nptv[46][34] nptv[46][35] nptv[46][36] nptv[46][37] nptv[46][38] nptv[46][39] nptv[46][40] nptv[46][41] nptv[46][42] nptv[46][43] nptv[46][44] nptv[46][45] nptv[46][46] nptv[46][47] nptv[46][48] nptv[46][49] nptv[47][0] nptv[47][1] nptv[47][2] nptv[47][3] nptv[47][4] nptv[47][5] nptv[47][6] nptv[47][7] nptv[47][8] nptv[47][9] nptv[47][10] nptv[47][11] nptv[47][12] nptv[47][13] nptv[47][14] nptv[47][15] nptv[47][16] nptv[47][17] nptv[47][18] nptv[47][19] nptv[47][20] nptv[47][21] nptv[47][22] nptv[47][23] nptv[47][24] nptv[47][25] nptv[47][26] nptv[47][27] nptv[47][28] nptv[47][29] nptv[47][30] nptv[47][31] nptv[47][32] nptv[47][33] nptv[47][34] nptv[47][35] nptv[47][36] nptv[47][37] nptv[47][38] nptv[47][39] nptv[47][40] nptv[47][41] nptv[47][42] nptv[47][43] nptv[47][44] nptv[47][45] nptv[47][46] nptv[47][47] nptv[47][48] nptv[47][49] nptv[48][0] nptv[48][1] nptv[48][2] nptv[48][3] nptv[48][4] nptv[48][5] nptv[48][6] nptv[48][7] nptv[48][8] nptv[48][9] nptv[48][10] nptv[48][11] nptv[48][12] nptv[48][13] nptv[48][14] nptv[48][15] nptv[48][16] nptv[48][17] nptv[48][18] nptv[48][19] nptv[48][20] nptv[48][21] nptv[48][22] nptv[48][23] nptv[48][24] nptv[48][25] nptv[48][26] nptv[48][27] nptv[48][28] nptv[48][29] nptv[48][30] nptv[48][31] nptv[48][32] nptv[48][33] nptv[48][34] nptv[48][35] nptv[48][36] nptv[48][37] nptv[48][38] nptv[48][39] nptv[48][40] nptv[48][41] nptv[48][42] nptv[48][43] nptv[48][44] nptv[48][45] nptv[48][46] nptv[48][47] nptv[48][48] nptv[48][49] nptv[49][0] nptv[49][1] nptv[49][2] nptv[49][3] nptv[49][4] nptv[49][5] nptv[49][6] nptv[49][7] nptv[49][8] nptv[49][9] nptv[49][10] nptv[49][11] nptv[49][12] nptv[49][13] nptv[49][14] nptv[49][15] nptv[49][16] nptv[49][17] nptv[49][18] nptv[49][19] nptv[49][20] nptv[49][21] nptv[49][22] nptv[49][23] nptv[49][24] nptv[49][25] nptv[49][26] nptv[49][27] nptv[49][28] nptv[49][29] nptv[49][30] nptv[49][31] nptv[49][32] nptv[49][33] nptv[49][34] nptv[49][35] nptv[49][36] nptv[49][37] nptv[49][38] nptv[49][39] nptv[49][40] nptv[49][41] nptv[49][42] nptv[49][43] nptv[49][44] nptv[49][45] nptv[49][46] nptv[49][47] nptv[49][48] nptv[49][49]
19833.16/2520.10	v 	</list>
19833.16/2520.10	v 	<values>
19833.16/2520.10	v 		0 0 0 1 0 0 0 0 0 30 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 3 0 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 21 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 4 0 21 0 0 0 0 1 3 0 4 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 35 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0 0 20 0 0 0 0 0 5 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 2 0 0 0 0 0 0 0 0 16 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 19 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 27 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 13 0 0 0 1 1 0 4 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 31 0 0 1 0 1 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 0 0 1 1 1 0 0 2 1 2 1 2 2 2 0 2 2 3 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 0 1 0 0 0 0 0 1 0 0 0 36 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 4 1 1 6 1 1 1 1 149 1 1 1 4 3 1 1 12 47 1 1 2 1 1 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 120 0 0 4 0 4 4 0 0 0 0 4 0 0 0 4 12 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 6 0 0 0 0 24 0 126 0 0 0 0 6 18 0 24 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 35 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0 0 20 0 0 0 0 0 5 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 149 149 149 149 149 149 149 149 149 149 149 149 149 149 0 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 149 298 0 298 0 0 0 0 0 0 0 0 16 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 19 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 4 108 0 0 0 0 4 0 0 0 0 4 0 0 4 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 12 0 0 8 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 13 0 0 0 1 1 0 4 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 12 0 0 0 0 0 0 0 0 0 0 12 12 12 0 0 12 12 12 0 0 0 0 12 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 372 0 0 47 0 47 0 94 0 0 47 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 141 47 47 0 0 47 47 47 0 0 94 47 94 47 94 94 94 0 94 94 141 141 141 94 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 80 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 80 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 54 0 0 0 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 2 0 2 0 0 0 0 0 3 0 0 0 108 0 0 0 0 0 3 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19833.16/2520.10	v 	</values>
19833.16/2520.10	v </instantiation>

Verifier Data

OK	26

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308930-1534377560/watcher-4308930-1534377560 -o /tmp/evaluation-result-4308930-1534377560/solver-4308930-1534377560 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1813963252 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308930-1534377560.xml 

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

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

solver pid=2530, runsolver pid=2527

[startup+0.100155 s]*
/proc/loadavg: 8.91 8.86 8.77 1/180 2532
/proc/meminfo: memFree=24730220/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=109408 memory=5328 CPUtime=0 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 1567 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 27352 1332 1001 1 0 16810 0
[pid=2530/tid=2532] ppid=2527 vsize=109408 memory=4134692831991783777 CPUtime=0 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) D 2527 2530 1904 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140065984670000 140065972919189 0 0 0 16784584 18446744072100359301 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB

[startup+0.209306 s]*
/proc/loadavg: 8.91 8.86 8.77 1/180 2532
/proc/meminfo: memFree=24734728/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=109408 memory=5328 CPUtime=0 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 1567 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 27352 1332 1001 1 0 16810 0
[pid=2530/tid=2532] ppid=2527 vsize=109408 memory=8316850467074736180 CPUtime=0 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) D 2527 2530 1904 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140065984670000 140065972919189 0 0 0 16784584 18446744072100359301 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB

[startup+0.308624 s]*
/proc/loadavg: 8.91 8.86 8.77 1/180 2532
/proc/meminfo: memFree=24738920/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=109408 memory=5328 CPUtime=0 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 1567 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 27352 1332 1001 1 0 16810 0
[pid=2530/tid=2532] ppid=2527 vsize=109408 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) D 2527 2530 1904 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 255319174 112033792 1332 33554432000 4194304 4196468 140734289418496 140065984670000 140065972919189 0 0 0 16784584 18446744072100359301 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB

[startup+0.709623 s]*
/proc/loadavg: 8.91 8.86 8.77 2/198 2550
/proc/meminfo: memFree=24720512/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=26103420 memory=41884 CPUtime=0.18 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 10088 0 0 0 16 2 0 0 20 0 20 0 255319174 26729902080 10471 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 6525855 10471 3298 1 0 6487932 0
[pid=2530/tid=2532] ppid=2527 vsize=26103420 memory=8112282956445269571 CPUtime=0.14 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 1904 0 -1 4202560 7978 0 0 0 13 1 0 0 20 0 20 0 255319174 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065984636792 140065961991527 0 4 0 16800975 0 0 0 -1 6 0 0 55 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2533] ppid=2527 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065933048720 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2534] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065931995920 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2535] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065536081040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2536] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065535028240 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2537] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065533974928 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2538] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065532922128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2539] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255319231 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065531869840 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2540] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255319231 26729902080 10471 33554432000 4194304 4196468 140734289418496 140065530817040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2541] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255319232 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064587770480 140065980439170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2542] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255319232 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064586716448 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2543] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255319233 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064585664112 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2544] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064584612432 140065980446619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2545] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 1904 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064583559280 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2546] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2546/stat : 2546 (java) S 2527 2530 1904 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064582506480 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2547] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2547/stat : 2547 (java) S 2527 2530 1904 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064581454192 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2548] ppid=2527 vsize=26103420 memory=0 CPUtime=0.02 cores=0-7
/proc/2530/task/2548/stat : 2548 (java) S 2527 2530 1904 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064580401392 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2549] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2549/stat : 2549 (java) S 2527 2530 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064579349344 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2550] ppid=2527 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2550/stat : 2550 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319235 26729902080 10471 33554432000 4194304 4196468 140734289418496 140064578296624 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 41884 KiB

[startup+1.5008 s]
/proc/loadavg: 8.91 8.86 8.77 3/198 2550
/proc/meminfo: memFree=24681404/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=26107536 memory=115892 CPUtime=1.81 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 19229 0 0 0 175 6 0 0 20 0 20 0 255319174 26734116864 28973 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 6526884 28973 3526 1 0 6488956 0
[pid=2530/tid=2532] ppid=2527 vsize=26107536 memory=0 CPUtime=0.92 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 1904 0 -1 4202560 15446 0 0 0 87 5 0 0 20 0 20 0 255319174 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065984661024 140065615060109 0 4 0 16800975 0 0 0 -1 6 0 0 55 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2533] ppid=2527 vsize=26107536 memory=1880 CPUtime=0 cores=0-7
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065933048720 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2534] ppid=2527 vsize=26107536 memory=2241 CPUtime=0 cores=0-7
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065931995920 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2535] ppid=2527 vsize=26107536 memory=2244 CPUtime=0 cores=0-7
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065536081040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2536] ppid=2527 vsize=26107536 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065535028240 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2537] ppid=2527 vsize=26107536 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065533974928 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2538] ppid=2527 vsize=26107536 memory=280292115874096 CPUtime=0 cores=0-7
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319230 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065532922128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2539] ppid=2527 vsize=26107536 memory=140146058046512 CPUtime=0 cores=0-7
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255319231 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065531869840 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2540] ppid=2527 vsize=26107536 memory=140146058046544 CPUtime=0 cores=0-7
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255319231 26734116864 28973 33554432000 4194304 4196468 140734289418496 140065530817040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2541] ppid=2527 vsize=26107536 memory=140146058046576 CPUtime=0 cores=0-7
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 1904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 255319232 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064587770480 140065980439170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2542] ppid=2527 vsize=26107536 memory=140146058046608 CPUtime=0 cores=0-7
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255319232 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064586716448 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2543] ppid=2527 vsize=26107536 memory=140146058347488 CPUtime=0 cores=0-7
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255319233 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064585664112 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2544] ppid=2527 vsize=26107536 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064584612432 140065980446619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2545] ppid=2527 vsize=26107536 memory=7809523229951467572 CPUtime=0.2 cores=0-7
/proc/2530/task/2545/stat : 2545 (java) R 2527 2530 1904 0 -1 4202560 632 0 0 0 20 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064583559280 140065963947263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2546] ppid=2527 vsize=26107536 memory=0 CPUtime=0.17 cores=0-7
/proc/2530/task/2546/stat : 2546 (java) R 2527 2530 1904 0 -1 4202560 569 0 0 0 17 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064582496400 140065961958235 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2547] ppid=2527 vsize=26107536 memory=-3535359994705171298 CPUtime=0.18 cores=0-7
/proc/2530/task/2547/stat : 2547 (java) R 2527 2530 1904 0 -1 4202560 398 0 0 0 18 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064581454192 140065965333633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2548] ppid=2527 vsize=26107536 memory=6944656592387989600 CPUtime=0.3 cores=0-7
/proc/2530/task/2548/stat : 2548 (java) S 2527 2530 1904 0 -1 1077944384 798 0 0 0 30 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064580401392 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2549] ppid=2527 vsize=26107536 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/2530/task/2549/stat : 2549 (java) S 2527 2530 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064579349344 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2550] ppid=2527 vsize=26107536 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/2530/task/2550/stat : 2550 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319235 26734116864 28973 33554432000 4194304 4196468 140734289418496 140064578296624 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 26107536 KiB
Current children cumulated memory: 115892 KiB

[startup+3.1008 s]
/proc/loadavg: 8.91 8.86 8.77 3/198 2550
/proc/meminfo: memFree=24527108/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=26113680 memory=355276 CPUtime=6.58 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 30046 0 0 0 639 19 0 0 20 0 20 0 255319174 26740408320 88819 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 6528420 88819 3593 1 0 6490492 0
[pid=2530/tid=2532] ppid=2527 vsize=26113680 memory=0 CPUtime=2.46 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 1904 0 -1 4202560 18727 0 0 0 238 8 0 0 20 0 20 0 255319174 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065984655192 140065621032374 0 4 0 16800975 0 0 0 -1 4 0 0 55 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2533] ppid=2527 vsize=26113680 memory=0 CPUtime=0.01 cores=0-7
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 1904 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065933048720 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2534] ppid=2527 vsize=26113680 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 1904 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065931995920 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2535] ppid=2527 vsize=26113680 memory=1136 CPUtime=0.01 cores=0-7
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 1904 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065536081040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2536] ppid=2527 vsize=26113680 memory=1828 CPUtime=0.02 cores=0-7
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 1904 0 -1 1077944384 26 0 0 0 2 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065535028240 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2537] ppid=2527 vsize=26113680 memory=1020 CPUtime=0.01 cores=0-7
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 1904 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065533974928 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2538] ppid=2527 vsize=26113680 memory=0 CPUtime=0.01 cores=0-7
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 1904 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 255319230 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065532922128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2539] ppid=2527 vsize=26113680 memory=0 CPUtime=0.01 cores=0-7
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 1904 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 255319231 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065531869840 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2540] ppid=2527 vsize=26113680 memory=0 CPUtime=0.03 cores=0-7
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 1904 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 20 0 255319231 26740408320 89331 33554432000 4194304 4196468 140734289418496 140065530817040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2541] ppid=2527 vsize=26113680 memory=0 CPUtime=0.01 cores=0-7
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 1904 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 255319232 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064587770480 140065980439170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2542] ppid=2527 vsize=26113680 memory=209252 CPUtime=0 cores=0-7
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 1904 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 255319232 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064586716512 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2543] ppid=2527 vsize=26113680 memory=7809523229951467572 CPUtime=0 cores=0-7
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 1904 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 255319233 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064585664128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2544] ppid=2527 vsize=26113680 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255319235 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064584612432 140065980446619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2545] ppid=2527 vsize=26113680 memory=199568 CPUtime=1.1 cores=0-7
/proc/2530/task/2545/stat : 2545 (java) R 2527 2530 1904 0 -1 4202560 2278 0 0 0 109 1 0 0 20 0 20 0 255319235 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064583540296 140065963924811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2546] ppid=2527 vsize=26113680 memory=6944656592387989600 CPUtime=1 cores=0-7
/proc/2530/task/2546/stat : 2546 (java) R 2527 2530 1904 0 -1 4202560 1813 0 0 0 100 0 0 0 20 0 20 0 255319235 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064582486912 140065963838846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2547] ppid=2527 vsize=26113680 memory=6944656592455359580 CPUtime=0.92 cores=0-7
/proc/2530/task/2547/stat : 2547 (java) R 2527 2530 1904 0 -1 4202560 1709 0 0 0 92 0 0 0 20 0 20 0 255319235 26740408320 89331 33554432000 4194304 4196468 140734289418496 140064581440072 140065963922479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0

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

/proc/2530/task/2556/stat : 2556 (java) S 2527 2530 1904 0 -1 1077944384 62 0 0 0 52 0 0 0 20 0 46 0 255320596 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064555398288 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2557] ppid=2527 vsize=27852572 memory=1172 CPUtime=2.04 cores=0-7
/proc/2530/task/2557/stat : 2557 (java) S 2527 2530 1904 0 -1 1077944384 244 0 0 0 198 6 0 0 20 0 46 0 255320596 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064554346000 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2558] ppid=2527 vsize=27852572 memory=1964 CPUtime=2462.58 cores=0-7
/proc/2530/task/2558/stat : 2558 (java) R 2527 2530 1904 0 -1 4202560 90670 0 0 0 246147 111 0 0 20 0 46 0 255320596 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064553285752 140065623426186 0 4 0 16800975 0 0 0 -1 3 0 0 53 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2559] ppid=2527 vsize=27852572 memory=1572 CPUtime=2462.71 cores=0-7
/proc/2530/task/2559/stat : 2559 (java) R 2527 2530 1904 0 -1 4202560 117114 0 0 0 246115 156 0 0 20 0 46 0 255320597 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064552233464 140065966135944 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2560] ppid=2527 vsize=27852572 memory=280292116572704 CPUtime=0.95 cores=0-7
/proc/2530/task/2560/stat : 2560 (java) S 2527 2530 1904 0 -1 1077944384 64 0 0 0 94 1 0 0 20 0 46 0 255320597 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064551188112 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2561] ppid=2527 vsize=27852572 memory=280292116577088 CPUtime=0.93 cores=0-7
/proc/2530/task/2561/stat : 2561 (java) S 2527 2530 1904 0 -1 1077944384 103 0 0 0 92 1 0 0 20 0 46 0 255320597 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064550134800 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2562] ppid=2527 vsize=27852572 memory=280292118232672 CPUtime=0.2 cores=0-7
/proc/2530/task/2562/stat : 2562 (java) S 2527 2530 1904 0 -1 1077944384 57 0 0 0 20 0 0 0 20 0 46 0 255320597 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064549082000 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2563] ppid=2527 vsize=27852572 memory=0 CPUtime=0.25 cores=0-7
/proc/2530/task/2563/stat : 2563 (java) S 2527 2530 1904 0 -1 1077944384 79 0 0 0 25 0 0 0 20 0 46 0 255320599 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064548029712 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2564] ppid=2527 vsize=27852572 memory=0 CPUtime=0.93 cores=0-7
/proc/2530/task/2564/stat : 2564 (java) S 2527 2530 1904 0 -1 1077944384 128 0 0 0 93 0 0 0 20 0 46 0 255320618 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064546976912 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2565] ppid=2527 vsize=27852572 memory=0 CPUtime=0.34 cores=0-7
/proc/2530/task/2565/stat : 2565 (java) S 2527 2530 1904 0 -1 1077944384 205 0 0 0 34 0 0 0 20 0 46 0 255320618 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064545924624 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2566] ppid=2527 vsize=27852572 memory=0 CPUtime=0.34 cores=0-7
/proc/2530/task/2566/stat : 2566 (java) S 2527 2530 1904 0 -1 1077944384 33 0 0 0 34 0 0 0 20 0 46 0 255320618 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064544871824 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2567] ppid=2527 vsize=27852572 memory=0 CPUtime=0.37 cores=0-7
/proc/2530/task/2567/stat : 2567 (java) S 2527 2530 1904 0 -1 1077944384 24 0 0 0 37 0 0 0 20 0 46 0 255320618 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064543819536 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2568] ppid=2527 vsize=27852572 memory=0 CPUtime=0.32 cores=0-7
/proc/2530/task/2568/stat : 2568 (java) S 2527 2530 1904 0 -1 1077944384 74 0 0 0 32 0 0 0 20 0 46 0 255320618 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064542766736 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2569] ppid=2527 vsize=27852572 memory=0 CPUtime=0.26 cores=0-7
/proc/2530/task/2569/stat : 2569 (java) S 2527 2530 1904 0 -1 1077944384 92 0 0 0 26 0 0 0 20 0 46 0 255320687 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064539579408 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2570] ppid=2527 vsize=27852572 memory=0 CPUtime=2461.21 cores=0-7
/proc/2530/task/2570/stat : 2570 (java) R 2527 2530 1904 0 -1 4202560 92163 0 0 0 246014 107 0 0 20 0 46 0 255320688 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064538521608 140065620453488 0 4 0 16800975 0 0 0 -1 6 0 0 64 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2571] ppid=2527 vsize=27852572 memory=42116 CPUtime=0.28 cores=0-7
/proc/2530/task/2571/stat : 2571 (java) S 2527 2530 1904 0 -1 1077944384 42 0 0 0 27 1 0 0 20 0 46 0 255320689 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064537474320 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2572] ppid=2527 vsize=27852572 memory=8112282956445269571 CPUtime=0.4 cores=0-7
/proc/2530/task/2572/stat : 2572 (java) S 2527 2530 1904 0 -1 1077944384 78 0 0 0 40 0 0 0 20 0 46 0 255320696 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064536421520 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2573] ppid=2527 vsize=27852572 memory=7528 CPUtime=1.15 cores=0-7
/proc/2530/task/2573/stat : 2573 (java) S 2527 2530 1904 0 -1 1077944384 322 0 0 0 114 1 0 0 20 0 46 0 255320706 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064533272080 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2574] ppid=2527 vsize=27852572 memory=804 CPUtime=2458.6 cores=0-7
/proc/2530/task/2574/stat : 2574 (java) R 2527 2530 1904 0 -1 4202560 117687 0 0 0 245730 130 0 0 20 0 46 0 255320708 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064532214384 140065623426186 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2575] ppid=2527 vsize=27852572 memory=1408 CPUtime=2460.73 cores=0-7
/proc/2530/task/2575/stat : 2575 (java) R 2527 2530 1904 0 -1 4202560 93734 0 0 0 245964 109 0 0 20 0 46 0 255320708 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064531160576 140065619702319 0 4 0 16800975 0 0 0 -1 7 0 0 48 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2576] ppid=2527 vsize=27852572 memory=4644 CPUtime=2463.91 cores=0-7
/proc/2530/task/2576/stat : 2576 (java) R 2527 2530 1904 0 -1 4202560 87066 0 0 0 246284 107 0 0 20 0 46 0 255320711 28521033728 1443863 33554432000 4194304 4196468 140734289418496 140064530110024 140065620453845 0 4 0 16800975 0 0 0 -1 5 0 0 56 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 19833.2 s
Current children cumulated vsize: 27852572 KiB
Current children cumulated memory: 5775452 KiB

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

[startup+2520.29 s]
# the end of solver process 2530 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19819 s, system=16.0748 s

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

[startup+2520.21 s]*
/proc/loadavg: 8.70 8.88 8.83 13/227 2645
/proc/meminfo: memFree=18967480/32770624 swapFree=67107648/67108860
[pid=2530] ppid=2527 vsize=27986728 memory=5776784 CPUtime=19834.7 cores=0-7
/proc/2530/stat : 2530 (java) S 2527 2530 1904 0 -1 1077944320 2344412 0 0 0 1981871 1603 0 0 20 0 48 0 255319174 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140734289401040 140065980428023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
/proc/2530/statm: 6996682 1444196 3636 1 0 6958233 0
[pid=2530/tid=2532] ppid=2527 vsize=27986728 memory=6791534058613427641 CPUtime=13.42 cores=0-7
/proc/2530/task/2532/stat : 2532 (java) S 2527 2530 1904 0 -1 1077944384 24933 0 0 0 1298 44 0 0 20 0 48 0 255319174 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065984665488 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2533] ppid=2527 vsize=27986728 memory=4126316290023845779 CPUtime=11.37 cores=0-7
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 1904 0 -1 1077944384 135859 0 0 0 1083 54 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065933048720 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2534] ppid=2527 vsize=27986728 memory=928 CPUtime=11.37 cores=0-7
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 1904 0 -1 1077944384 126024 0 0 0 1085 52 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065931995920 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2535] ppid=2527 vsize=27986728 memory=1172 CPUtime=11.38 cores=0-7
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 1904 0 -1 1077944384 151378 0 0 0 1087 51 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065536081040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2536] ppid=2527 vsize=27986728 memory=1964 CPUtime=11.38 cores=0-7
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 1904 0 -1 1077944384 135648 0 0 0 1088 50 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065535028240 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2537] ppid=2527 vsize=27986728 memory=1572 CPUtime=11.39 cores=0-7
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 1904 0 -1 1077944384 128375 0 0 0 1091 48 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065533974928 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2538] ppid=2527 vsize=27986728 memory=924 CPUtime=11.43 cores=0-7
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 1904 0 -1 1077944384 142675 0 0 0 1086 57 0 0 20 0 48 0 255319230 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065532922128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2539] ppid=2527 vsize=27986728 memory=1692 CPUtime=11.33 cores=0-7
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 1904 0 -1 1077944384 139960 0 0 0 1081 52 0 0 20 0 48 0 255319231 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065531869840 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2540] ppid=2527 vsize=27986728 memory=912 CPUtime=11.38 cores=0-7
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 1904 0 -1 1077944384 136201 0 0 0 1085 53 0 0 20 0 48 0 255319231 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140065530817040 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2541] ppid=2527 vsize=27986728 memory=4224 CPUtime=9.94 cores=0-7
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 1904 0 -1 1077944384 295147 0 0 0 867 127 0 0 20 0 48 0 255319232 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064587770480 140065980439170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2542] ppid=2527 vsize=27986728 memory=5776480 CPUtime=0 cores=0-7
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 1904 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 48 0 255319232 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064586716512 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2543] ppid=2527 vsize=27986728 memory=12552 CPUtime=0 cores=0-7
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 1904 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 48 0 255319233 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064585664128 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2544] ppid=2527 vsize=27986728 memory=38324 CPUtime=0 cores=0-7
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 1904 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064584612432 140065980446619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2545] ppid=2527 vsize=27986728 memory=2324 CPUtime=3.49 cores=0-7
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 1904 0 -1 1077944384 8715 0 0 0 346 3 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064583559280 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2546] ppid=2527 vsize=27986728 memory=1580 CPUtime=3.6 cores=0-7
/proc/2530/task/2546/stat : 2546 (java) S 2527 2530 1904 0 -1 1077944384 11905 0 0 0 357 3 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064582499120 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2547] ppid=2527 vsize=27986728 memory=496 CPUtime=3.31 cores=0-7
/proc/2530/task/2547/stat : 2547 (java) S 2527 2530 1904 0 -1 1077944384 11350 0 0 0 328 3 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064581454192 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2548] ppid=2527 vsize=27986728 memory=928 CPUtime=1.47 cores=0-7
/proc/2530/task/2548/stat : 2548 (java) S 2527 2530 1904 0 -1 1077944384 14363 0 0 0 143 4 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064580401392 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2549] ppid=2527 vsize=27986728 memory=1172 CPUtime=0 cores=0-7
/proc/2530/task/2549/stat : 2549 (java) S 2527 2530 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064579349344 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2550] ppid=2527 vsize=27986728 memory=1964 CPUtime=0.84 cores=0-7
/proc/2530/task/2550/stat : 2550 (java) S 2527 2530 1904 0 -1 1077944384 11359 0 0 0 34 50 0 0 20 0 48 0 255319235 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064578296624 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2551] ppid=2527 vsize=27986728 memory=1572 CPUtime=0.01 cores=0-7
/proc/2530/task/2551/stat : 2551 (java) S 2527 2530 1904 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 48 0 255320549 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064564856112 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2552] ppid=2527 vsize=27986728 memory=924 CPUtime=4.47 cores=0-7
/proc/2530/task/2552/stat : 2552 (java) S 2527 2530 1904 0 -1 1077944384 21907 0 0 0 184 263 0 0 20 0 48 0 255320571 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064561706416 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2553] ppid=2527 vsize=27986728 memory=1692 CPUtime=2.73 cores=0-7
/proc/2530/task/2553/stat : 2553 (java) S 2527 2530 1904 0 -1 1077944384 536 0 0 0 269 4 0 0 20 0 48 0 255320588 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064558556176 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2554] ppid=2527 vsize=27986728 memory=912 CPUtime=2460.78 cores=0-7
/proc/2530/task/2554/stat : 2554 (java) S 2527 2530 1904 0 -1 1077944384 115283 0 0 0 245949 129 0 0 20 0 48 0 255320589 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064557495792 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2555] ppid=2527 vsize=27986728 memory=4224 CPUtime=2459.12 cores=0-7
/proc/2530/task/2555/stat : 2555 (java) R 2527 2530 1904 0 -1 4202560 127761 0 0 0 245766 146 0 0 20 0 48 0 255320589 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064556443296 140065620453845 0 4 0 16800975 0 0 0 -1 0 0 0 61 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2556] ppid=2527 vsize=27986728 memory=1992 CPUtime=0.53 cores=0-7
/proc/2530/task/2556/stat : 2556 (java) S 2527 2530 1904 0 -1 1077944384 144 0 0 0 53 0 0 0 20 0 48 0 255320596 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064555397808 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2557] ppid=2527 vsize=27986728 memory=2528 CPUtime=2.04 cores=0-7
/proc/2530/task/2557/stat : 2557 (java) S 2527 2530 1904 0 -1 1077944384 267 0 0 0 198 6 0 0 20 0 48 0 255320596 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064554345520 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2558] ppid=2527 vsize=27986728 memory=4108 CPUtime=2462.75 cores=0-7
/proc/2530/task/2558/stat : 2558 (java) S 2527 2530 1904 0 -1 1077944384 90672 0 0 0 246164 111 0 0 20 0 48 0 255320596 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064553285776 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2559] ppid=2527 vsize=27986728 memory=5856388 CPUtime=2462.9 cores=0-7
/proc/2530/task/2559/stat : 2559 (java) R 2527 2530 1904 0 -1 1077944384 117115 0 0 0 246134 156 0 0 20 0 48 0 255320597 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064552233328 140065980438229 0 4 0 16800975 0 0 0 -1 6 0 0 56 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2560] ppid=2527 vsize=27986728 memory=8112282956445269571 CPUtime=0.95 cores=0-7
/proc/2530/task/2560/stat : 2560 (java) S 2527 2530 1904 0 -1 1077944384 64 0 0 0 94 1 0 0 20 0 48 0 255320597 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064551188112 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2561] ppid=2527 vsize=27986728 memory=5783660 CPUtime=0.93 cores=0-7
/proc/2530/task/2561/stat : 2561 (java) S 2527 2530 1904 0 -1 1077944384 103 0 0 0 92 1 0 0 20 0 48 0 255320597 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064550134800 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2562] ppid=2527 vsize=27986728 memory=5912808 CPUtime=0.21 cores=0-7
/proc/2530/task/2562/stat : 2562 (java) S 2527 2530 1904 0 -1 1077944384 200 0 0 0 21 0 0 0 20 0 48 0 255320597 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064549082000 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2563] ppid=2527 vsize=27986728 memory=6944656592455360604 CPUtime=0.25 cores=0-7
/proc/2530/task/2563/stat : 2563 (java) S 2527 2530 1904 0 -1 1077944384 111 0 0 0 25 0 0 0 20 0 48 0 255320599 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064548029232 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2564] ppid=2527 vsize=27986728 memory=5672 CPUtime=0.93 cores=0-7
/proc/2530/task/2564/stat : 2564 (java) S 2527 2530 1904 0 -1 1077944384 149 0 0 0 93 0 0 0 20 0 48 0 255320618 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064546976912 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2565] ppid=2527 vsize=27986728 memory=5883064 CPUtime=0.34 cores=0-7
/proc/2530/task/2565/stat : 2565 (java) S 2527 2530 1904 0 -1 1077944384 235 0 0 0 34 0 0 0 20 0 48 0 255320618 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064545924624 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2566] ppid=2527 vsize=27986728 memory=912 CPUtime=0.35 cores=0-7
/proc/2530/task/2566/stat : 2566 (java) S 2527 2530 1904 0 -1 1077944384 433 0 0 0 35 0 0 0 20 0 48 0 255320618 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064544867568 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2567] ppid=2527 vsize=27986728 memory=4224 CPUtime=0.37 cores=0-7
/proc/2530/task/2567/stat : 2567 (java) S 2527 2530 1904 0 -1 1077944384 225 0 0 0 37 0 0 0 20 0 48 0 255320618 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064543819056 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2568] ppid=2527 vsize=27986728 memory=1992 CPUtime=0.32 cores=0-7
/proc/2530/task/2568/stat : 2568 (java) S 2527 2530 1904 0 -1 1077944384 149 0 0 0 32 0 0 0 20 0 48 0 255320618 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064542766256 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2569] ppid=2527 vsize=27986728 memory=8112282956445269571 CPUtime=0.26 cores=0-7
/proc/2530/task/2569/stat : 2569 (java) S 2527 2530 1904 0 -1 1077944384 150 0 0 0 26 0 0 0 20 0 48 0 255320687 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064539579408 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2570] ppid=2527 vsize=27986728 memory=4108 CPUtime=2461.4 cores=0-7
/proc/2530/task/2570/stat : 2570 (java) S 2527 2530 1904 0 -1 1077944384 92164 0 0 0 246033 107 0 0 20 0 48 0 255320688 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064538520304 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 64 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2571] ppid=2527 vsize=27986728 memory=5779044 CPUtime=0.28 cores=0-7
/proc/2530/task/2571/stat : 2571 (java) S 2527 2530 1904 0 -1 1077944384 64 0 0 0 27 1 0 0 20 0 48 0 255320689 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064537473840 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2572] ppid=2527 vsize=27986728 memory=5776480 CPUtime=0.4 cores=0-7
/proc/2530/task/2572/stat : 2572 (java) S 2527 2530 1904 0 -1 1077944384 99 0 0 0 40 0 0 0 20 0 48 0 255320696 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064536421520 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2573] ppid=2527 vsize=27986728 memory=69728 CPUtime=1.16 cores=0-7
/proc/2530/task/2573/stat : 2573 (java) S 2527 2530 1904 0 -1 1077944384 730 0 0 0 115 1 0 0 20 0 48 0 255320706 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064533271600 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2574] ppid=2527 vsize=27986728 memory=2148 CPUtime=2458.78 cores=0-7
/proc/2530/task/2574/stat : 2574 (java) R 2527 2530 1904 0 -1 4202560 117687 0 0 0 245748 130 0 0 20 0 48 0 255320708 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064532211088 140065620453683 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2575] ppid=2527 vsize=27986728 memory=1196 CPUtime=2460.91 cores=0-7
/proc/2530/task/2575/stat : 2575 (java) R 2527 2530 1904 0 -1 4202560 93736 0 0 0 245982 109 0 0 20 0 48 0 255320708 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064531159408 140065623837612 0 4 0 16800975 0 0 0 -1 6 0 0 48 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2576] ppid=2527 vsize=27986728 memory=8112282956445269571 CPUtime=2464.07 cores=0-7
/proc/2530/task/2576/stat : 2576 (java) R 2527 2530 1904 0 -1 4202560 87069 0 0 0 246300 107 0 0 20 0 48 0 255320711 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064530105712 140065618954532 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2643] ppid=2527 vsize=27986728 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2643/stat : 2643 (java) S 2527 2530 1904 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 48 0 255571177 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064529059952 140065980438229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
[pid=2530/tid=2645] ppid=2527 vsize=27986728 memory=0 CPUtime=0 cores=0-7
/proc/2530/task/2645/stat : 2645 (java) S 2527 2530 1904 0 -1 1077944384 1433 0 0 0 0 0 0 0 20 0 48 0 255571181 28658409472 1444196 33554432000 4194304 4196468 140734289418496 140064526954624 140065980439170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15982592 140734289421389 140734289421573 140734289421573 140734289424335 0
Current children cumulated CPU time: 19834.7 s
Current children cumulated vsize: 27986728 KiB
Current children cumulated memory: 5776784 KiB

Child status: 143
Real time (s): 2520.29
CPU time (s): 19835
CPU user time (s): 19819
CPU system time (s): 16.0748
CPU usage (%): 787.014
Max. virtual memory (cumulated for all children) (KiB): 27986728
Max. memory (cumulated for all children) (KiB): 7735760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19819
system time used= 16.0748
maximum resident set size= 7739856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2344554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 773490
involuntary context switches= 429936


# summary of solver processes directly reported to runsolver:
#   pid: 2530
#   total CPU time (s): 19835
#   total CPU user time (s): 19819
#   total CPU system time (s): 16.0748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2626 second user time and 38.3326 second system time

The end

Launcher Data

Begin job on node136 at 2018-08-16 01:59:20
IDJOB=4308930
IDBENCH=141352
IDSOLVER=2793
FILE ID=node136/4308930-1534377560
RUNJOBID= node136-1534374909-1931
PBS_JOBID= 21038296
Free space on /tmp= 46332 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-magazine_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308930-1534377560/watcher-4308930-1534377560 -o /tmp/evaluation-result-4308930-1534377560/solver-4308930-1534377560 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1813963252 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308930-1534377560.xml

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

MD5SUM BENCH= 90ad9fa5946247c0fa0335207c2f2744
RANDOM SEED=1813963252

node136.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.50
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.50
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.50
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.50
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:        24747652 kB
MemAvailable:   31893224 kB
Buffers:          141364 kB
Cached:          7253720 kB
SwapCached:           44 kB
Active:          3763464 kB
Inactive:        3684184 kB
Active(anon):       3356 kB
Inactive(anon):   109536 kB
Active(file):    3760108 kB
Inactive(file):  3574648 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67107648 kB
Dirty:             35996 kB
Writeback:            16 kB
AnonPages:        238140 kB
Mapped:            55340 kB
Shmem:             57664 kB
Slab:             267428 kB
SReclaimable:     239276 kB
SUnreclaim:        28152 kB
KernelStack:        3888 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 46296 MiB
End job on node136 at 2018-08-16 02:41:20