Trace number 4275220

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)669 20000.1 2520.1699

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1196
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 1162019083
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.40/0.98	c Parsing done, starting search...
132.41/25.05	o 646
132.41/25.06	o 647
132.41/25.07	o 648
142.59/26.31	o 649
143.39/26.44	o 650
151.27/27.46	o 651
152.84/27.63	o 652
164.82/29.12	o 653
173.52/30.23	o 654
264.17/41.61	o 655
566.89/79.66	o 656
680.87/93.96	o 657
1400.49/184.29	o 658
1409.27/185.39	o 660
1409.27/185.40	o 661
1409.27/185.40	o 662
1425.95/187.42	o 663
1512.65/198.33	o 664
1523.02/199.63	o 665
1889.49/245.68	o 666
1899.85/246.96	o 667
7027.04/890.39	o 668
13672.35/1724.72	o 669
19999.08/2520.09	s SATISFIABLE
19999.96/2520.12	v <instantiation>
19999.96/2520.12	v 	<list>
19999.96/2520.12	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z
19999.96/2520.12	v 	</list>
19999.96/2520.12	v 	<values>
19999.96/2520.12	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 2 1 1 1 1 2 1 1 2 2 1 2 1 1 2 2 0 1 0 1 1 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 2 2 1 1 2 1 2 1 2 0 1 0 2 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 2 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 2 0 1 0 1 0 1 2 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 2 0 0 1 0 1 1 0 1 1 0 0 1 1 2 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 2 0 1 0 2 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 2 2 1 1 2 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 2 0 1 1 0 1 0 0 0 0 2 2 2 2 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 0 1 0 2 1 1 0 1 1 1 0 1 0 1 1 2 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 1 0 0 1 1 1 2 1 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 2 2 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 1 1 2 2 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 2 1 1 2 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 2 2 1 0 0 0 2 2 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 2 1 0 0 1 2 1 1 2 2 1 1 1 1 0 0 0 1 0 1 2 2 2 2 1 1 2 2 2 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 2 1 1 1 0 0 1 1 1 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 0 0 1 0 0 0 0 1 2 1 1 0 0 1 1 1 2 2 1 1 2 2 2 2 2 2 2 2 1 1 0 0 0 1 1 1 2 2 2 2 1 1 2 2 2 2 2 1 2 1 1 1 1 0 0 1 0 1 1 2 1 1 0 0 0 1 1 1 2 2 1 1 2 2 2 2 2 1 1 2 2 0 1 1 0 0 0 1 0 2 2 1 1 0 1 2 2 2 1 1 0 0 0 1 0 0 1 0 1 1 2 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 2 2 1 0 1 1 2 2 0 0 0 0 1 0 1 1 2 2 0 0 1 1 1 2 1 0 0 0 1 0 0 0 0 0 0 2 2 1 0 0 0 1 1 0 0 0 2 1 0 0 1 1 0 1 1 0 0 2 2 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 2 1 1 2 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 1 0 1 1 2 2 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 2 2 2 1 2 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 2 2 0 1 0 0 0 1 0 2 2 2 2 1 2 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 2 2 2 2 2 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 2 2 2 2 0 1 1 0 1 2 1 2 2 1 1 1 1 0 0 1 0 1 2 1 1 0 0 1 1 0 0 1 0 2 1 1 2 1 0 0 2 0 0 1 2 1 0 0 0 1 0 0 1 2 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 1 0 0 0 1 0 1 0 0 0 1 2 0 0 0 0 0 2 2 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 1 0 0 2 2 2 2 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 2 2 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 2 0 0 1 0 1 1 0 0 1 0 1 1 1 1 2 1 1 0 0 2 0 2 0 0 1 1 2 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 2 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 50 152 253 350 444 540 636 730 826 922 1016 1112 1208 1302 1398 1490 1551 1572 1593 1621 1633 1646 1671 1684 1697 1722 1745 1760 1768 1788 1799 1815 1840 1867 1897 1927 1961 2009 2068 2132 2185 2223 2251 2287 2328 2372 2399 2429 2464 2477 2499 2524 669 
19999.96/2520.12	v 	</values>
19999.96/2520.12	v </instantiation>

Verifier Data 

OK	669

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 (14256 MiB free)
  memory of node 1: 16384 MiB (14162 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275220-1502666746/watcher-4275220-1502666746 -o /tmp/evaluation-result-4275220-1502666746/solver-4275220-1502666746 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502658322-21036 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1162019083 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275220-1502666746.xml 

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

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


[startup+0.100113 s]*
/proc/loadavg: 8.82 8.86 8.78 2/199 21570
/proc/meminfo: memFree=29078232/32770624 swapFree=67108860/67108860
[pid=21550] ppid=21547 vsize=14325320 memory=36500 CPUtime=0.12 cores=0-7
/proc/21550/stat : 21550 (java) S 21547 21550 21009 0 -1 1077944320 8004 0 0 0 11 1 0 0 20 0 20 0 99762677 14669127680 9125 33554432000 4194304 4196468 140725683673696 140725683656240 139665756585719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
/proc/21550/statm: 3581330 9125 3406 1 0 3569050 0
[pid=21550/tid=21552] ppid=21547 vsize=14325320 memory=8040503617367480732 CPUtime=0.08 cores=0-7
/proc/21550/task/21552/stat : 21552 (java) R 21547 21550 21009 0 -1 4202560 5940 0 0 0 8 0 0 0 20 0 20 0 99762677 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665760782672 139665740666206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21553] ppid=21547 vsize=14325320 memory=732369972894366693 CPUtime=0 cores=0-7
/proc/21550/task/21553/stat : 21553 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665694185872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21554] ppid=21547 vsize=14325320 memory=139834556913280 CPUtime=0 cores=0-7
/proc/21550/task/21554/stat : 21554 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665351383312 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21555] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21555/stat : 21555 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665350331024 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21556] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21556/stat : 21556 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665349278224 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21557] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21557/stat : 21557 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665348225936 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21558] ppid=21547 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21558/stat : 21558 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665347173136 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21559] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21559/stat : 21559 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665346120848 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21560] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21560/stat : 21560 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 9125 33554432000 4194304 4196468 140725683673696 139665345068048 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21561] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21561/stat : 21561 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664853723248 139665756596866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21562] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21562/stat : 21562 (java) S 21547 21550 21009 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664852669216 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21563] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21563/stat : 21563 (java) S 21547 21550 21009 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664851616880 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21564] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21564/stat : 21564 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664850565200 139665756604315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21565] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21565/stat : 21565 (java) S 21547 21550 21009 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664849513072 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21566] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21566/stat : 21566 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664848460272 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21567] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21567/stat : 21567 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664847407984 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21568] ppid=21547 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21550/task/21568/stat : 21568 (java) R 21547 21550 21009 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664846355184 139665756596866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21569] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21569/stat : 21569 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664845302112 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21570] ppid=21547 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21570/stat : 21570 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 9125 33554432000 4194304 4196468 140725683673696 139664844249392 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 36500 KiB

[startup+0.209823 s]*
/proc/loadavg: 8.82 8.86 8.78 3/199 21570
/proc/meminfo: memFree=29069220/32770624 swapFree=67108860/67108860
[pid=21550] ppid=21547 vsize=14325320 memory=45648 CPUtime=0.29 cores=0-7
/proc/21550/stat : 21550 (java) S 21547 21550 21009 0 -1 1077944320 9001 0 0 0 27 2 0 0 20 0 20 0 99762677 14669127680 11412 33554432000 4194304 4196468 140725683673696 140725683656240 139665756585719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
/proc/21550/statm: 3581330 11412 3618 1 0 3569050 0
[pid=21550/tid=21552] ppid=21547 vsize=14325320 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/21550/task/21552/stat : 21552 (java) R 21547 21550 21009 0 -1 4202560 6572 0 0 0 18 1 0 0 20 0 20 0 99762677 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665760778320 139665740666206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21553] ppid=21547 vsize=14325320 memory=288230596084498767 CPUtime=0 cores=0-7
/proc/21550/task/21553/stat : 21553 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665694185872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21554] ppid=21547 vsize=14325320 memory=139834557387684 CPUtime=0 cores=0-7
/proc/21550/task/21554/stat : 21554 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665351383312 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21555] ppid=21547 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21555/stat : 21555 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665350331024 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21556] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21556/stat : 21556 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665349278224 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21557] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21557/stat : 21557 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665348225936 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21558] ppid=21547 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21558/stat : 21558 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665347173136 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21559] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21559/stat : 21559 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665346120848 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21560] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21560/stat : 21560 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669127680 11412 33554432000 4194304 4196468 140725683673696 139665345068048 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21561] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21561/stat : 21561 (java) S 21547 21550 21009 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664853723248 139665756596866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21562] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21562/stat : 21562 (java) S 21547 21550 21009 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664852669216 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21563] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21563/stat : 21563 (java) S 21547 21550 21009 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99762680 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664851616880 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21564] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21564/stat : 21564 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664850565200 139665756604315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21565] ppid=21547 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21550/task/21565/stat : 21565 (java) S 21547 21550 21009 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664849513072 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21566] ppid=21547 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21550/task/21566/stat : 21566 (java) S 21547 21550 21009 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664848460272 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21567] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21567/stat : 21567 (java) S 21547 21550 21009 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664847407984 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21568] ppid=21547 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/21550/task/21568/stat : 21568 (java) R 21547 21550 21009 0 -1 4202560 421 0 0 0 5 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664846355184 139665736047249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21569] ppid=21547 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21569/stat : 21569 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664845302112 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21570] ppid=21547 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21570/stat : 21570 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669127680 11412 33554432000 4194304 4196468 140725683673696 139664844249392 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 45648 KiB

[startup+0.309427 s]*
/proc/loadavg: 8.82 8.86 8.78 3/199 21570
/proc/meminfo: memFree=29062272/32770624 swapFree=67108860/67108860
[pid=21550] ppid=21547 vsize=14325340 memory=52772 CPUtime=0.48 cores=0-7
/proc/21550/stat : 21550 (java) S 21547 21550 21009 0 -1 1077944320 9947 0 0 0 45 3 0 0 20 0 20 0 99762677 14669148160 13193 33554432000 4194304 4196468 140725683673696 140725683656240 139665756585719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
/proc/21550/statm: 3581335 13193 3709 1 0 3569050 0
[pid=21550/tid=21552] ppid=21547 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21550/task/21552/stat : 21552 (java) R 21547 21550 21009 0 -1 4202560 7130 0 0 0 27 2 0 0 20 0 20 0 99762677 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665760802736 139665373998308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21553] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21553/stat : 21553 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665694185872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21554] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21554/stat : 21554 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665351383312 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21555] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21555/stat : 21555 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665350331024 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21556] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21556/stat : 21556 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665349278224 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21557] ppid=21547 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/21550/task/21557/stat : 21557 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665348225936 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21558] ppid=21547 vsize=14325340 memory=139834404467631 CPUtime=0 cores=0-7
/proc/21550/task/21558/stat : 21558 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665347173136 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21559] ppid=21547 vsize=14325340 memory=139834404469936 CPUtime=0 cores=0-7
/proc/21550/task/21559/stat : 21559 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665346120848 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21560] ppid=21547 vsize=14325340 memory=139834404472240 CPUtime=0 cores=0-7
/proc/21550/task/21560/stat : 21560 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14669148160 13193 33554432000 4194304 4196468 140725683673696 139665345068048 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21561] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21561/stat : 21561 (java) S 21547 21550 21009 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99762680 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664853723248 139665756596866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21562] ppid=21547 vsize=14325340 memory=279668808951440 CPUtime=0 cores=0-7
/proc/21550/task/21562/stat : 21562 (java) S 21547 21550 21009 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99762680 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664852669216 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21563] ppid=21547 vsize=14325340 memory=279668808958352 CPUtime=0 cores=0-7
/proc/21550/task/21563/stat : 21563 (java) S 21547 21550 21009 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99762680 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664851616880 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21564] ppid=21547 vsize=14325340 memory=279668808899632 CPUtime=0 cores=0-7
/proc/21550/task/21564/stat : 21564 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664850565200 139665756604315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21565] ppid=21547 vsize=14325340 memory=279668808972176 CPUtime=0.02 cores=0-7
/proc/21550/task/21565/stat : 21565 (java) S 21547 21550 21009 0 -1 1077944384 626 0 0 0 2 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664849513072 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21566] ppid=21547 vsize=14325340 memory=279668808979088 CPUtime=0.05 cores=0-7
/proc/21550/task/21566/stat : 21566 (java) S 21547 21550 21009 0 -1 1077944384 244 0 0 0 5 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664848460272 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21567] ppid=21547 vsize=14325340 memory=279668808976784 CPUtime=0.02 cores=0-7
/proc/21550/task/21567/stat : 21567 (java) S 21547 21550 21009 0 -1 1077944384 71 0 0 0 2 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664847407984 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21568] ppid=21547 vsize=14325340 memory=279668808993344 CPUtime=0.08 cores=0-7
/proc/21550/task/21568/stat : 21568 (java) R 21547 21550 21009 0 -1 4202560 489 0 0 0 8 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664846355184 139665756607066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21569] ppid=21547 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21569/stat : 21569 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664845302112 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21570] ppid=21547 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/21550/task/21570/stat : 21570 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762683 14669148160 13193 33554432000 4194304 4196468 140725683673696 139664844249392 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 52772 KiB

[startup+0.700765 s]
/proc/loadavg: 8.82 8.86 8.78 5/199 21570
/proc/meminfo: memFree=29041752/32770624 swapFree=67108860/67108860
[pid=21550] ppid=21547 vsize=14327388 memory=111428 CPUtime=1.61 cores=0-7
/proc/21550/stat : 21550 (java) S 21547 21550 21009 0 -1 1077944320 13782 0 0 0 156 5 0 0 20 0 20 0 99762677 14671245312 27857 33554432000 4194304 4196468 140725683673696 140725683656240 139665756585719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
/proc/21550/statm: 3581847 27857 3777 1 0 3569562 0
[pid=21550/tid=21552] ppid=21547 vsize=14327388 memory=6298073386411446886 CPUtime=0.67 cores=0-7
/proc/21550/task/21552/stat : 21552 (java) R 21547 21550 21009 0 -1 4202560 7866 0 0 0 64 3 0 0 20 0 20 0 99762677 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665760820928 139665377029177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21553] ppid=21547 vsize=14327388 memory=92638149650562 CPUtime=0 cores=0-7
/proc/21550/task/21553/stat : 21553 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665694185872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21554] ppid=21547 vsize=14327388 memory=139834404491367 CPUtime=0 cores=0-7
/proc/21550/task/21554/stat : 21554 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665351383312 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21555] ppid=21547 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21555/stat : 21555 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665350331024 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21556] ppid=21547 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21556/stat : 21556 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665349278224 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21557] ppid=21547 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21557/stat : 21557 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665348225936 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21558] ppid=21547 vsize=14327388 memory=2353 CPUtime=0 cores=0-7
/proc/21550/task/21558/stat : 21558 (java) S 21547 21550 21009 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665347173136 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21559] ppid=21547 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21559/stat : 21559 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665346120848 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21560] ppid=21547 vsize=14327388 memory=1728 CPUtime=0 cores=0-7
/proc/21550/task/21560/stat : 21560 (java) S 21547 21550 21009 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99762678 14671245312 27857 33554432000 4194304 4196468 140725683673696 139665345068048 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21561] ppid=21547 vsize=14327388 memory=1420 CPUtime=0 cores=0-7
/proc/21550/task/21561/stat : 21561 (java) S 21547 21550 21009 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99762680 14671245312 27857 33554432000 4194304 4196468 140725683673696 139664853723248 139665756596866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0

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

/proc/21550/task/21574/stat : 21574 (java) R 21547 21550 21009 0 -1 4202560 156337 0 0 0 248815 158 0 0 20 0 46 0 99763701 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664826604456 139665384544852 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21575] ppid=21547 vsize=16070376 memory=16184 CPUtime=2481.4 cores=0-7
/proc/21550/task/21575/stat : 21575 (java) R 21547 21550 21009 0 -1 4202560 95189 0 0 0 247997 143 0 0 20 0 46 0 99763701 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664825554928 139665384541767 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21576] ppid=21547 vsize=16070376 memory=4044 CPUtime=2492.17 cores=0-7
/proc/21550/task/21576/stat : 21576 (java) R 21547 21550 21009 0 -1 4202560 99062 0 0 0 249078 139 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664824500056 139665381025845 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21577] ppid=21547 vsize=16070376 memory=1792 CPUtime=2480.4 cores=0-7
/proc/21550/task/21577/stat : 21577 (java) R 21547 21550 21009 0 -1 4202560 92867 0 0 0 247918 122 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664823445808 139665383271602 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21578] ppid=21547 vsize=16070376 memory=6791534058613427641 CPUtime=2482.08 cores=0-7
/proc/21550/task/21578/stat : 21578 (java) R 21547 21550 21009 0 -1 4202560 101621 0 0 0 248023 185 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664822392936 139665384545972 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21579] ppid=21547 vsize=16070376 memory=956 CPUtime=1.79 cores=0-7
/proc/21550/task/21579/stat : 21579 (java) S 21547 21550 21009 0 -1 1077944384 1205 0 0 0 173 6 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664821347600 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21580] ppid=21547 vsize=16070376 memory=2340 CPUtime=1.75 cores=0-7
/proc/21550/task/21580/stat : 21580 (java) S 21547 21550 21009 0 -1 1077944384 569 0 0 0 168 7 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664753157264 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21581] ppid=21547 vsize=16070376 memory=2428 CPUtime=2490.22 cores=0-7
/proc/21550/task/21581/stat : 21581 (java) R 21547 21550 21009 0 -1 4202560 97734 0 0 0 248884 138 0 0 20 0 46 0 99763708 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664752098184 139665383271605 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21582] ppid=21547 vsize=16070376 memory=1728 CPUtime=2482.61 cores=0-7
/proc/21550/task/21582/stat : 21582 (java) R 21547 21550 21009 0 -1 4202560 105454 0 0 0 248079 182 0 0 20 0 46 0 99763709 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664751045232 139665384622828 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21583] ppid=21547 vsize=16070376 memory=1420 CPUtime=0 cores=0-7
/proc/21550/task/21583/stat : 21583 (java) S 21547 21550 21009 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 46 0 99764111 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664749999888 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21584] ppid=21547 vsize=16070376 memory=11032 CPUtime=0 cores=0-7
/proc/21550/task/21584/stat : 21584 (java) S 21547 21550 21009 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 46 0 99764111 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664748947088 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21585] ppid=21547 vsize=16070376 memory=1712 CPUtime=0 cores=0-7
/proc/21550/task/21585/stat : 21585 (java) S 21547 21550 21009 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 46 0 99764111 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664747893552 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21586] ppid=21547 vsize=16070376 memory=1952 CPUtime=0 cores=0-7
/proc/21550/task/21586/stat : 21586 (java) S 21547 21550 21009 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 46 0 99765183 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664744706736 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21587] ppid=21547 vsize=16070376 memory=8552 CPUtime=0 cores=0-7
/proc/21550/task/21587/stat : 21587 (java) S 21547 21550 21009 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 46 0 99765184 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664743654672 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21588] ppid=21547 vsize=16070376 memory=1224 CPUtime=0 cores=0-7
/proc/21550/task/21588/stat : 21588 (java) S 21547 21550 21009 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 99765184 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664742601872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21589] ppid=21547 vsize=16070376 memory=792 CPUtime=0 cores=0-7
/proc/21550/task/21589/stat : 21589 (java) S 21547 21550 21009 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 99765185 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664741549360 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21590] ppid=21547 vsize=16070376 memory=1004 CPUtime=0 cores=0-7
/proc/21550/task/21590/stat : 21590 (java) S 21547 21550 21009 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 99765187 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664740496560 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21591] ppid=21547 vsize=16070376 memory=5296 CPUtime=0 cores=0-7
/proc/21550/task/21591/stat : 21591 (java) S 21547 21550 21009 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 99765188 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664739444272 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21592] ppid=21547 vsize=16070376 memory=1196 CPUtime=0 cores=0-7
/proc/21550/task/21592/stat : 21592 (java) S 21547 21550 21009 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 46 0 99765188 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664738391696 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21593] ppid=21547 vsize=16070376 memory=4612 CPUtime=0 cores=0-7
/proc/21550/task/21593/stat : 21593 (java) S 21547 21550 21009 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 99765190 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664737338160 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21594] ppid=21547 vsize=16070376 memory=6504 CPUtime=0 cores=0-7
/proc/21550/task/21594/stat : 21594 (java) S 21547 21550 21009 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 99765191 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664736285584 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21595] ppid=21547 vsize=16070376 memory=840 CPUtime=0 cores=0-7
/proc/21550/task/21595/stat : 21595 (java) S 21547 21550 21009 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 46 0 99765191 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664735233296 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21596] ppid=21547 vsize=16070376 memory=1696 CPUtime=0 cores=0-7
/proc/21550/task/21596/stat : 21596 (java) S 21547 21550 21009 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 46 0 99765193 16456065024 1243836 33554432000 4194304 4196468 140725683673696 139664734180496 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
Current children cumulated CPU time: 19999.1 s
Current children cumulated vsize: 16070376 KiB
Current children cumulated memory: 4975344 KiB

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

[startup+2520.17 s]
# the end of solver process 21550 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19980.2 s, system=19.9518 s

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

[startup+2520.12 s]
/proc/loadavg: 9.07 8.77 8.79 10/225 21631
/proc/meminfo: memFree=24127400/32770624 swapFree=67108860/67108860
[pid=21550] ppid=21547 vsize=16203504 memory=4975660 CPUtime=20000 cores=0-7
/proc/21550/stat : 21550 (java) S 21547 21550 21009 0 -1 1077944320 2000379 0 0 0 1998004 1992 0 0 20 0 48 0 99762677 16592388096 1243915 33554432000 4194304 4196468 140725683673696 140725683656240 139665756585719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
/proc/21550/statm: 4050876 1243915 3873 1 0 4038070 0
[pid=21550/tid=21552] ppid=21547 vsize=16203504 memory=4976368 CPUtime=9.96 cores=0-7
/proc/21550/task/21552/stat : 21552 (java) S 21547 21550 21009 0 -1 1077944384 16472 0 0 0 961 35 0 0 20 0 48 0 99762677 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665760823424 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21553] ppid=21547 vsize=16203504 memory=4974320 CPUtime=11.04 cores=0-7
/proc/21550/task/21553/stat : 21553 (java) S 21547 21550 21009 0 -1 1077944384 124633 0 0 0 1014 90 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665694185872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21554] ppid=21547 vsize=16203504 memory=4975348 CPUtime=11.06 cores=0-7
/proc/21550/task/21554/stat : 21554 (java) S 21547 21550 21009 0 -1 1077944384 122279 0 0 0 1023 83 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665351383312 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21555] ppid=21547 vsize=16203504 memory=4976372 CPUtime=11.05 cores=0-7
/proc/21550/task/21555/stat : 21555 (java) S 21547 21550 21009 0 -1 1077944384 120156 0 0 0 1020 85 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665350331024 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21556] ppid=21547 vsize=16203504 memory=4975352 CPUtime=11.1 cores=0-7
/proc/21550/task/21556/stat : 21556 (java) S 21547 21550 21009 0 -1 1077944384 122466 0 0 0 1026 84 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665349278224 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21557] ppid=21547 vsize=16203504 memory=4976368 CPUtime=11.1 cores=0-7
/proc/21550/task/21557/stat : 21557 (java) S 21547 21550 21009 0 -1 1077944384 117506 0 0 0 1029 81 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665348225936 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21558] ppid=21547 vsize=16203504 memory=4975344 CPUtime=11.11 cores=0-7
/proc/21550/task/21558/stat : 21558 (java) S 21547 21550 21009 0 -1 1077944384 123930 0 0 0 1020 91 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665347173136 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21559] ppid=21547 vsize=16203504 memory=1073 CPUtime=11.07 cores=0-7
/proc/21550/task/21559/stat : 21559 (java) S 21547 21550 21009 0 -1 1077944384 123029 0 0 0 1018 89 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665346120848 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21560] ppid=21547 vsize=16203504 memory=7444878170564963218 CPUtime=11.12 cores=0-7
/proc/21550/task/21560/stat : 21560 (java) S 21547 21550 21009 0 -1 1077944384 133956 0 0 0 1024 88 0 0 20 0 48 0 99762678 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139665345068048 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21561] ppid=21547 vsize=16203504 memory=-4190076264842474805 CPUtime=1.6 cores=0-7
/proc/21550/task/21561/stat : 21561 (java) S 21547 21550 21009 0 -1 1077944384 56648 0 0 0 133 27 0 0 20 0 48 0 99762680 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664853723248 139665756596866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21562] ppid=21547 vsize=16203504 memory=6944658624146216565 CPUtime=0 cores=0-7
/proc/21550/task/21562/stat : 21562 (java) S 21547 21550 21009 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 48 0 99762680 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664852669280 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21563] ppid=21547 vsize=16203504 memory=5003608 CPUtime=0.01 cores=0-7
/proc/21550/task/21563/stat : 21563 (java) S 21547 21550 21009 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 48 0 99762680 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664851616896 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21564] ppid=21547 vsize=16203504 memory=6504 CPUtime=0 cores=0-7
/proc/21550/task/21564/stat : 21564 (java) S 21547 21550 21009 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664850565200 139665756604315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21565] ppid=21547 vsize=16203504 memory=4975364 CPUtime=2.66 cores=0-7
/proc/21550/task/21565/stat : 21565 (java) S 21547 21550 21009 0 -1 1077944384 15548 0 0 0 263 3 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664849513072 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21566] ppid=21547 vsize=16203504 memory=4976392 CPUtime=2.97 cores=0-7
/proc/21550/task/21566/stat : 21566 (java) R 21547 21550 21009 0 -1 4202560 12688 0 0 0 295 2 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664848460272 139665737992032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21567] ppid=21547 vsize=16203504 memory=279668810767776 CPUtime=2.59 cores=0-7
/proc/21550/task/21567/stat : 21567 (java) R 21547 21550 21009 0 -1 1077944384 15010 0 0 0 256 3 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664847407984 139665756596866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21568] ppid=21547 vsize=16203504 memory=6656426216303648864 CPUtime=1.33 cores=0-7
/proc/21550/task/21568/stat : 21568 (java) S 21547 21550 21009 0 -1 1077944384 25738 0 0 0 129 4 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664846355184 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21569] ppid=21547 vsize=16203504 memory=5296 CPUtime=0 cores=0-7
/proc/21550/task/21569/stat : 21569 (java) S 21547 21550 21009 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664845302112 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21570] ppid=21547 vsize=16203504 memory=1196 CPUtime=1.08 cores=0-7
/proc/21550/task/21570/stat : 21570 (java) S 21547 21550 21009 0 -1 1077944384 4680 0 0 0 60 48 0 0 20 0 48 0 99762683 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664844249392 139665756596866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21571] ppid=21547 vsize=16203504 memory=4612 CPUtime=0 cores=0-7
/proc/21550/task/21571/stat : 21571 (java) S 21547 21550 21009 0 -1 1077944384 622 0 0 0 0 0 0 0 20 0 48 0 99763680 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664831865760 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21572] ppid=21547 vsize=16203504 memory=4975344 CPUtime=5.49 cores=0-7
/proc/21550/task/21572/stat : 21572 (java) R 21547 21550 21009 0 -1 1077944384 9714 0 0 0 299 250 0 0 20 0 48 0 99763691 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664830813216 139665756596866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21573] ppid=21547 vsize=16203504 memory=0 CPUtime=2480.45 cores=0-7
/proc/21550/task/21573/stat : 21573 (java) R 21547 21550 21009 0 -1 4202560 101669 0 0 0 247906 139 0 0 20 0 48 0 99763700 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664827657256 139665381025964 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21574] ppid=21547 vsize=16203504 memory=0 CPUtime=2489.83 cores=0-7
/proc/21550/task/21574/stat : 21574 (java) R 21547 21550 21009 0 -1 4202560 156337 0 0 0 248825 158 0 0 20 0 48 0 99763701 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664826604456 139665384622784 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21575] ppid=21547 vsize=16203504 memory=6656426216303648864 CPUtime=2481.51 cores=0-7
/proc/21550/task/21575/stat : 21575 (java) R 21547 21550 21009 0 -1 4202560 95189 0 0 0 248008 143 0 0 20 0 48 0 99763701 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664825554928 139665383271631 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21576] ppid=21547 vsize=16203504 memory=6944656575208382560 CPUtime=2492.28 cores=0-7
/proc/21550/task/21576/stat : 21576 (java) R 21547 21550 21009 0 -1 4202560 99062 0 0 0 249089 139 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664824500056 139665383566260 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21577] ppid=21547 vsize=16203504 memory=6944652177228980320 CPUtime=2480.51 cores=0-7
/proc/21550/task/21577/stat : 21577 (java) R 21547 21550 21009 0 -1 4202560 92867 0 0 0 247929 122 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664823445808 139665380703548 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21578] ppid=21547 vsize=16203504 memory=1292 CPUtime=2482.17 cores=0-7
/proc/21550/task/21578/stat : 21578 (java) R 21547 21550 21009 0 -1 4202560 101621 0 0 0 248032 185 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664822392936 139665383271518 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21579] ppid=21547 vsize=16203504 memory=2428 CPUtime=1.79 cores=0-7
/proc/21550/task/21579/stat : 21579 (java) S 21547 21550 21009 0 -1 1077944384 1205 0 0 0 173 6 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664821347600 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21580] ppid=21547 vsize=16203504 memory=1728 CPUtime=1.75 cores=0-7
/proc/21550/task/21580/stat : 21580 (java) S 21547 21550 21009 0 -1 1077944384 569 0 0 0 168 7 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664753157264 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21581] ppid=21547 vsize=16203504 memory=1292 CPUtime=2490.32 cores=0-7
/proc/21550/task/21581/stat : 21581 (java) R 21547 21550 21009 0 -1 4202560 97734 0 0 0 248894 138 0 0 20 0 48 0 99763708 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664752098184 139665384466394 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21582] ppid=21547 vsize=16203504 memory=2428 CPUtime=2482.72 cores=0-7
/proc/21550/task/21582/stat : 21582 (java) R 21547 21550 21009 0 -1 4202560 105454 0 0 0 248090 182 0 0 20 0 48 0 99763709 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664751045232 139665384466399 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21583] ppid=21547 vsize=16203504 memory=4975360 CPUtime=0 cores=0-7
/proc/21550/task/21583/stat : 21583 (java) S 21547 21550 21009 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 48 0 99764111 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664749999888 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21584] ppid=21547 vsize=16203504 memory=4975344 CPUtime=0 cores=0-7
/proc/21550/task/21584/stat : 21584 (java) S 21547 21550 21009 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 48 0 99764111 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664748947088 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21585] ppid=21547 vsize=16203504 memory=4975344 CPUtime=0 cores=0-7
/proc/21550/task/21585/stat : 21585 (java) S 21547 21550 21009 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 48 0 99764111 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664747893552 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21586] ppid=21547 vsize=16203504 memory=7805974470926624818 CPUtime=0 cores=0-7
/proc/21550/task/21586/stat : 21586 (java) S 21547 21550 21009 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 48 0 99765183 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664744706736 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21587] ppid=21547 vsize=16203504 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21550/task/21587/stat : 21587 (java) S 21547 21550 21009 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 48 0 99765184 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664743654672 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21588] ppid=21547 vsize=16203504 memory=4977412 CPUtime=0 cores=0-7
/proc/21550/task/21588/stat : 21588 (java) S 21547 21550 21009 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 48 0 99765184 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664742601872 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21589] ppid=21547 vsize=16203504 memory=4975352 CPUtime=0 cores=0-7
/proc/21550/task/21589/stat : 21589 (java) S 21547 21550 21009 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 99765185 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664741549360 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21590] ppid=21547 vsize=16203504 memory=56 CPUtime=0 cores=0-7
/proc/21550/task/21590/stat : 21590 (java) S 21547 21550 21009 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 99765187 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664740496560 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21591] ppid=21547 vsize=16203504 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/21550/task/21591/stat : 21591 (java) S 21547 21550 21009 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 48 0 99765188 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664739444272 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21592] ppid=21547 vsize=16203504 memory=-7384994748284246687 CPUtime=0 cores=0-7
/proc/21550/task/21592/stat : 21592 (java) S 21547 21550 21009 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 48 0 99765188 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664738391696 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21593] ppid=21547 vsize=16203504 memory=0 CPUtime=0 cores=0-7
/proc/21550/task/21593/stat : 21593 (java) S 21547 21550 21009 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 48 0 99765190 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664737338160 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21594] ppid=21547 vsize=16203504 memory=7522532424696818535 CPUtime=0 cores=0-7
/proc/21550/task/21594/stat : 21594 (java) S 21547 21550 21009 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 48 0 99765191 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664736285584 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21595] ppid=21547 vsize=16203504 memory=7884224514416995943 CPUtime=0 cores=0-7
/proc/21550/task/21595/stat : 21595 (java) S 21547 21550 21009 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 48 0 99765191 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664735233296 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
[pid=21550/tid=21596] ppid=21547 vsize=16203504 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/21550/task/21596/stat : 21596 (java) S 21547 21550 21009 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 48 0 99765193 16592388096 1243915 33554432000 4194304 4196468 140725683673696 139664734180496 139665756595925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28651520 140725683676257 140725683676443 140725683676443 140725683679183 0
Current children cumulated CPU time: 20000 s
Current children cumulated vsize: 16203504 KiB
Current children cumulated memory: 4975660 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 20000.1
CPU user time (s): 19980.2
CPU system time (s): 19.9518
CPU usage (%): 793.603
Max. virtual memory (cumulated for all children) (KiB): 16203504
Max. memory (cumulated for all children) (KiB): 5276108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19980.2
system time used= 19.9518
maximum resident set size= 5276108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2001307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 377997
involuntary context switches= 417064


# summary of solver processes directly reported to runsolver:
#   pid: 21550
#   total CPU time (s): 20000.1
#   total CPU user time (s): 19980.2
#   total CPU system time (s): 19.9518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.1634 second user time and 36.414 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-14 01:11:27
IDJOB=4275220
IDBENCH=115882
IDSOLVER=2668
FILE ID=node107/4275220-1502666746
RUNJOBID= node107-1502658322-21036
PBS_JOBID= 20628956
Free space on /tmp= 61660 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275220-1502666746/watcher-4275220-1502666746 -o /tmp/evaluation-result-4275220-1502666746/solver-4275220-1502666746 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502658322-21036 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1162019083 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275220-1502666746.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1162019083

node107.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.84
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.84
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.84
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.84
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:        29101456 kB
MemAvailable:   31989348 kB
Buffers:          179608 kB
Cached:          2996348 kB
SwapCached:            0 kB
Active:           571116 kB
Inactive:        2657408 kB
Active(anon):      55516 kB
Inactive(anon):    24972 kB
Active(file):     515600 kB
Inactive(file):  2632436 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42288 kB
Writeback:             4 kB
AnonPages:         58348 kB
Mapped:            43884 kB
Shmem:             25228 kB
Slab:             136968 kB
SReclaimable:     111380 kB
SUnreclaim:        25588 kB
KernelStack:        3216 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61620 MiB
End job on node107 at 2017-08-14 01:53:28