Trace number 4275218

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)606 20026.9 2520.1599

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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: 1957775218
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.44/0.91	c Parsing done, starting search...
96.21/18.38	o 478
96.21/18.40	o 479
97.05/18.41	o 480
98.57/18.61	o 481
104.80/19.42	o 482
109.64/20.01	o 483
109.64/20.09	o 484
110.44/20.14	o 485
112.75/20.48	o 486
136.63/23.47	o 574
136.63/23.48	o 575
136.63/23.48	o 576
137.45/23.56	o 577
138.22/23.67	o 578
138.22/23.69	o 579
139.82/23.82	o 580
140.61/23.93	o 581
141.48/24.04	o 582
158.11/26.15	o 583
161.22/26.58	o 584
192.19/30.50	o 585
192.99/30.51	o 586
192.99/30.56	o 587
211.30/32.88	o 588
211.30/32.90	o 589
224.05/34.43	o 590
224.05/34.47	o 591
236.87/36.01	o 592
259.08/38.84	o 593
449.56/62.74	o 594
925.20/122.43	o 595
977.02/128.96	o 597
977.02/128.97	o 598
977.02/128.98	o 599
1032.71/136.00	o 600
1360.35/177.10	o 601
1831.31/236.17	o 602
4758.02/603.38	o 603
9435.78/1190.27	o 604
10475.98/1320.77	o 605
17381.00/2187.75	o 606
20025.90/2520.10	s SATISFIABLE
20025.90/2520.11	v <instantiation>
20025.90/2520.11	v 	<list>
20025.90/2520.11	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
20025.90/2520.11	v 	</list>
20025.90/2520.11	v 	<values>
20025.90/2520.11	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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 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 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 2 2 0 1 0 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 0 2 1 1 0 1 1 0 1 1 2 1 1 1 1 1 2 1 1 2 2 0 1 1 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 1 0 1 1 1 0 0 2 2 1 0 1 0 0 0 0 2 2 1 1 0 0 0 0 1 1 2 2 1 1 2 2 2 2 2 1 1 2 2 2 0 1 0 0 0 0 0 1 2 2 0 2 0 2 1 0 0 0 0 0 1 1 2 1 1 0 1 0 0 0 1 2 1 1 0 1 2 2 2 1 1 0 1 2 2 1 0 1 0 1 0 1 1 2 2 2 0 0 1 1 1 1 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 1 0 1 1 2 2 2 1 0 1 1 2 0 1 0 0 0 0 0 0 2 2 2 1 1 0 1 1 1 1 1 1 0 1 0 0 1 2 1 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 1 2 0 2 0 0 1 0 1 1 0 1 2 2 2 0 0 2 1 0 1 0 0 1 0 1 0 1 2 2 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 2 2 0 0 1 2 2 1 0 0 0 1 0 0 0 1 0 2 1 1 2 2 2 1 1 2 1 1 0 0 1 0 0 1 1 2 1 1 2 1 0 1 1 0 2 0 1 1 0 1 1 2 1 0 2 0 0 1 0 0 0 2 2 2 2 2 2 1 1 0 1 2 1 1 0 0 1 2 1 2 2 2 2 2 2 0 0 1 1 0 1 1 0 1 0 1 1 2 0 0 0 0 0 0 0 1 0 2 2 2 2 2 1 0 0 1 0 2 0 0 0 1 0 1 2 1 2 2 2 1 0 0 0 0 1 0 2 1 0 0 0 1 2 2 0 0 1 0 1 0 0 0 1 2 2 2 2 2 1 1 0 0 1 1 1 0 0 0 1 0 1 1 2 2 1 1 0 1 0 0 2 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 2 1 1 2 2 1 1 1 0 1 2 0 0 0 0 0 0 0 1 2 2 1 1 2 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 2 1 1 2 0 0 0 0 0 1 1 0 0 2 2 2 0 1 0 1 0 0 2 2 0 1 0 2 1 0 0 1 2 1 1 0 1 1 2 2 0 0 0 0 1 0 1 2 0 2 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 1 1 1 1 0 1 1 2 1 1 2 2 1 0 1 1 2 2 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 2 2 2 1 0 1 0 0 0 2 1 1 0 0 0 1 2 2 2 0 1 0 0 1 2 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 2 1 1 0 0 0 1 1 2 2 0 1 0 0 1 1 2 1 1 0 0 0 1 1 1 0 0 2 1 0 0 1 1 1 1 1 0 0 0 0 0 1 2 0 2 0 2 0 0 0 1 0 1 1 2 2 1 1 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 2 1 1 0 1 0 0 1 0 2 0 2 0 1 0 1 0 1 0 1 1 2 2 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 2 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 2 1 1 0 0 0 0 1 1 2 0 2 0 0 0 0 1 0 1 1 2 1 0 0 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 2 1 1 0 0 0 0 1 1 2 1 1 2 2 1 1 0 1 0 2 1 1 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 1 1 1 1 1 1 2 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 2 0 0 2 2 0 0 0 1 0 1 2 1 1 0 0 0 1 0 0 0 1 0 0 2 2 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 2 1 1 0 1 2 1 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 1 0 1 2 1 0 0 1 0 0 1 0 0 1 1 2 1 1 1 0 0 2 1 1 0 0 1 2 2 0 1 0 0 0 0 1 2 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 2 0 1 0 1 1 1 0 0 1 0 2 2 2 2 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 2 1 1 0 1 2 2 2 2 0 0 0 1 2 1 2 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 2 1 2 1 2 1 1 2 2 1 1 0 0 1 1 2 1 2 1 2 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 2 1 0 1 0 1 2 0 1 0 2 0 0 0 1 2 0 0 0 1 0 0 0 1 0 2 2 1 1 0 0 1 0 0 1 0 0 2 2 1 0 0 0 0 1 0 1 1 1 1 2 1 1 0 2 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 1 2 2 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 1 2 1 1 1 0 1 0 0 0 0 1 2 1 0 1 1 2 0 0 0 0 0 0 1 2 2 0 0 0 0 1 0 1 0 1 0 2 1 0 1 0 0 0 1 1 1 0 0 0 1 1 2 0 0 1 1 1 1 0 1 2 1 0 0 0 1 0 0 1 1 1 0 1 0 2 1 2 0 1 0 1 1 2 0 0 0 0 0 0 1 1 1 0 1 0 2 0 1 1 0 2 1 0 0 1 2 1 1 0 0 0 1 0 0 2 1 0 0 1 1 2 2 2 1 0 1 1 1 0 0 1 0 0 0 1 2 1 2 1 2 0 0 0 0 2 2 2 0 0 1 2 2 1 0 0 0 0 0 1 1 2 0 1 0 0 1 2 2 0 2 0 2 2 0 0 0 0 0 1 1 2 1 1 2 1 1 0 0 0 0 2 1 0 0 1 1 2 1 1 0 0 1 1 0 2 2 2 1 0 1 1 2 0 2 0 2 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 2 1 1 2 1 1 2 2 1 2 2 2 1 2 0 2 0 2 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 2 0 0 0 0 0 1 2 1 1 2 2 2 0 1 0 2 1 2 0 2 0 2 2 1 1 0 0 0 0 0 1 0 1 2 1 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 1 1 0 0 0 2 0 2 0 1 0 1 0 0 0 1 1 2 2 1 1 1 0 0 0 0 1 1 2 1 1 0 1 0 1 0 1 2 1 1 0 0 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 2 2 1 1 0 0 1 1 1 1 2 0 0 0 0 0 0 2 2 2 0 0 0 1 0 1 2 2 2 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 2 0 1 0 0 0 0 1 1 1 2 0 2 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 1 0 0 2 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 0 1 0 0 0 1 2 1 0 1 1 2 2 2 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 36 101 159 203 242 277 311 338 378 423 460 495 529 566 602 633 661 687 712 737 765 790 807 830 855 882 908 942 980 1007 1035 1063 1092 1125 1163 1202 1240 1275 1301 1331 1360 1385 1398 1423 1446 606 
20025.90/2520.11	v 	</values>
20025.90/2520.11	v </instantiation>

Verifier Data 

OK	606

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275218-1502671654/watcher-4275218-1502671654 -o /tmp/evaluation-result-4275218-1502671654/solver-4275218-1502671654 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502670796-27986 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1957775218 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275218-1502671654.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=28003, runsolver pid=28000
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 8.44 8.68 8.73 2/199 28023
/proc/meminfo: memFree=28747372/32770624 swapFree=67108860/67108860
[pid=28003] ppid=28000 vsize=14325320 memory=34012 CPUtime=0.13 cores=0-7
/proc/28003/stat : 28003 (java) S 28000 28003 27959 0 -1 1077944320 8409 0 0 0 11 2 0 0 20 0 20 0 100246512 14669127680 8503 33554432000 4194304 4196468 140729832840848 140729832823392 140664397401847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
/proc/28003/statm: 3581330 8503 3411 1 0 3569050 0
[pid=28003/tid=28005] ppid=28000 vsize=14325320 memory=7682185972014816407 CPUtime=0.09 cores=0-7
/proc/28003/task/28005/stat : 28005 (java) R 28000 28003 27959 0 -1 4202560 6349 0 0 0 8 1 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664401590144 140664397423773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28006] ppid=28000 vsize=14325320 memory=732369762043829221 CPUtime=0 cores=0-7
/proc/28003/task/28006/stat : 28006 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664350022416 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28007] ppid=28000 vsize=14325320 memory=139623706375808 CPUtime=0 cores=0-7
/proc/28003/task/28007/stat : 28007 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664348969872 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28008] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28008/stat : 28008 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664347917328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28009] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28009/stat : 28009 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664346864784 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28010] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28010/stat : 28010 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664345811216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28011] ppid=28000 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28011/stat : 28011 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664344758672 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28012] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28012/stat : 28012 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246514 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664343706128 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28013] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28013/stat : 28013 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246514 14669127680 8503 33554432000 4194304 4196468 140729832840848 140664342653584 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28014] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28014/stat : 28014 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246515 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663854135792 140664397412994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28015] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28015/stat : 28015 (java) S 28000 28003 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100246515 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663853082016 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28016] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28016/stat : 28016 (java) S 28000 28003 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100246516 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663852029424 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28017] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28017/stat : 28017 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663850978000 140664397420443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28018] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28018/stat : 28018 (java) S 28000 28003 27959 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663849924592 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28019] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28019/stat : 28019 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663848872048 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28020] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28020/stat : 28020 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663847819504 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28021] ppid=28000 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/28003/task/28021/stat : 28021 (java) S 28000 28003 27959 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663846766960 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28022] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28022/stat : 28022 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663845714656 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28023] ppid=28000 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28023/stat : 28023 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 8503 33554432000 4194304 4196468 140729832840848 140663844662192 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34012 KiB

[startup+0.210476 s]*
/proc/loadavg: 8.44 8.68 8.73 3/199 28023
/proc/meminfo: memFree=28739120/32770624 swapFree=67108860/67108860
[pid=28003] ppid=28000 vsize=14325320 memory=43156 CPUtime=0.29 cores=0-7
/proc/28003/stat : 28003 (java) S 28000 28003 27959 0 -1 1077944320 9421 0 0 0 27 2 0 0 20 0 20 0 100246512 14669127680 10789 33554432000 4194304 4196468 140729832840848 140729832823392 140664397401847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
/proc/28003/statm: 3581330 10789 3590 1 0 3569050 0
[pid=28003/tid=28005] ppid=28000 vsize=14325320 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/28003/task/28005/stat : 28005 (java) R 28000 28003 27959 0 -1 4202560 6985 0 0 0 18 2 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664401620080 140664381482334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28006] ppid=28000 vsize=14325320 memory=288230604674433361 CPUtime=0 cores=0-7
/proc/28003/task/28006/stat : 28006 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664350022416 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28007] ppid=28000 vsize=14325320 memory=139623706838149 CPUtime=0 cores=0-7
/proc/28003/task/28007/stat : 28007 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664348969872 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28008] ppid=28000 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28008/stat : 28008 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664347917328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28009] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28009/stat : 28009 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664346864784 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28010] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28010/stat : 28010 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664345811216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28011] ppid=28000 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28011/stat : 28011 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664344758672 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28012] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28012/stat : 28012 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246514 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664343706128 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28013] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28013/stat : 28013 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246514 14669127680 10789 33554432000 4194304 4196468 140729832840848 140664342653584 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28014] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28014/stat : 28014 (java) S 28000 28003 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100246515 14669127680 10789 33554432000 4194304 4196468 140729832840848 140663854135792 140664397412994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28015] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28015/stat : 28015 (java) S 28000 28003 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100246515 14669127680 10789 33554432000 4194304 4196468 140729832840848 140663853082016 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28016] ppid=28000 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28016/stat : 28016 (java) S 28000 28003 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100246516 14669160448 10789 33554432000 4194304 4196468 140729832840848 140663852029424 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28017] ppid=28000 vsize=14325352 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28017/stat : 28017 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669160448 10789 33554432000 4194304 4196468 140729832840848 140663850978000 140664397420443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28018] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28018/stat : 28018 (java) S 28000 28003 27959 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 10834 33554432000 4194304 4196468 140729832840848 140663849924592 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28019] ppid=28000 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/28003/task/28019/stat : 28019 (java) S 28000 28003 27959 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 100246518 14669127680 10834 33554432000 4194304 4196468 140729832840848 140663848872048 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28020] ppid=28000 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/28003/task/28020/stat : 28020 (java) S 28000 28003 27959 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 100246518 14669127680 10834 33554432000 4194304 4196468 140729832840848 140663847819504 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28021] ppid=28000 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/28003/task/28021/stat : 28021 (java) S 28000 28003 27959 0 -1 1077944384 398 0 0 0 5 0 0 0 20 0 20 0 100246518 14669127680 10834 33554432000 4194304 4196468 140729832840848 140663846766960 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28022] ppid=28000 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28022/stat : 28022 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246518 14669127680 10834 33554432000 4194304 4196468 140729832840848 140663845714656 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28023] ppid=28000 vsize=14325352 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28023/stat : 28023 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669160448 10834 33554432000 4194304 4196468 140729832840848 140663844662192 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43156 KiB

[startup+0.310467 s]*
/proc/loadavg: 8.44 8.68 8.73 2/199 28023
/proc/meminfo: memFree=28731544/32770624 swapFree=67108860/67108860
[pid=28003] ppid=28000 vsize=14325340 memory=51080 CPUtime=0.48 cores=0-7
/proc/28003/stat : 28003 (java) S 28000 28003 27959 0 -1 1077944320 10514 0 0 0 45 3 0 0 20 0 20 0 100246512 14669148160 12770 33554432000 4194304 4196468 140729832840848 140729832823392 140664397401847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
/proc/28003/statm: 3581335 12770 3717 1 0 3569050 0
[pid=28003/tid=28005] ppid=28000 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28003/task/28005/stat : 28005 (java) R 28000 28003 27959 0 -1 4202560 7606 0 0 0 27 2 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664401629888 140664397413782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28006] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28006/stat : 28006 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664350022416 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28007] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28007/stat : 28007 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664348969872 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28008] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28008/stat : 28008 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664347917328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28009] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28009/stat : 28009 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664346864784 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28010] ppid=28000 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/28003/task/28010/stat : 28010 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664345811216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28011] ppid=28000 vsize=14325340 memory=139623548416943 CPUtime=0 cores=0-7
/proc/28003/task/28011/stat : 28011 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664344758672 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28012] ppid=28000 vsize=14325340 memory=139623548419248 CPUtime=0 cores=0-7
/proc/28003/task/28012/stat : 28012 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246514 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664343706128 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28013] ppid=28000 vsize=14325340 memory=139623548421552 CPUtime=0 cores=0-7
/proc/28003/task/28013/stat : 28013 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246514 14669148160 12770 33554432000 4194304 4196468 140729832840848 140664342653584 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28014] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28014/stat : 28014 (java) S 28000 28003 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100246515 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663854135792 140664397412994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28015] ppid=28000 vsize=14325340 memory=279247096850064 CPUtime=0 cores=0-7
/proc/28003/task/28015/stat : 28015 (java) S 28000 28003 27959 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100246515 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663853082016 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28016] ppid=28000 vsize=14325340 memory=279247096856976 CPUtime=0 cores=0-7
/proc/28003/task/28016/stat : 28016 (java) S 28000 28003 27959 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100246516 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663852029424 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28017] ppid=28000 vsize=14325340 memory=279247096798256 CPUtime=0 cores=0-7
/proc/28003/task/28017/stat : 28017 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663850978000 140664397420443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28018] ppid=28000 vsize=14325340 memory=279247096870800 CPUtime=0.03 cores=0-7
/proc/28003/task/28018/stat : 28018 (java) S 28000 28003 27959 0 -1 1077944384 663 0 0 0 3 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663849924592 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28019] ppid=28000 vsize=14325340 memory=279247096877712 CPUtime=0.02 cores=0-7
/proc/28003/task/28019/stat : 28019 (java) S 28000 28003 27959 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663848872048 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28020] ppid=28000 vsize=14325340 memory=279247096875408 CPUtime=0.02 cores=0-7
/proc/28003/task/28020/stat : 28020 (java) S 28000 28003 27959 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663847819504 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28021] ppid=28000 vsize=14325340 memory=279247096891968 CPUtime=0.08 cores=0-7
/proc/28003/task/28021/stat : 28021 (java) S 28000 28003 27959 0 -1 1077944384 516 0 0 0 8 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663846766960 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28022] ppid=28000 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28022/stat : 28022 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663845714656 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28023] ppid=28000 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/28003/task/28023/stat : 28023 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246518 14669148160 12770 33554432000 4194304 4196468 140729832840848 140663844662192 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51080 KiB

[startup+0.700926 s]
/proc/loadavg: 7.76 8.54 8.68 2/199 28023
/proc/meminfo: memFree=28713304/32770624 swapFree=67108860/67108860
[pid=28003] ppid=28000 vsize=14327388 memory=104892 CPUtime=1.63 cores=0-7
/proc/28003/stat : 28003 (java) S 28000 28003 27959 0 -1 1077944320 14687 0 0 0 157 6 0 0 20 0 20 0 100246512 14671245312 26223 33554432000 4194304 4196468 140729832840848 140729832823392 140664397401847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
/proc/28003/statm: 3581847 26223 3777 1 0 3569562 0
[pid=28003/tid=28005] ppid=28000 vsize=14327388 memory=6370130980449374825 CPUtime=0.67 cores=0-7
/proc/28003/task/28005/stat : 28005 (java) R 28000 28003 27959 0 -1 4202560 8424 0 0 0 64 3 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664401637104 140664021063821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28006] ppid=28000 vsize=14327388 memory=120353573624556 CPUtime=0 cores=0-7
/proc/28003/task/28006/stat : 28006 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664350022416 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28007] ppid=28000 vsize=14327388 memory=139623548447132 CPUtime=0 cores=0-7
/proc/28003/task/28007/stat : 28007 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664348969872 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28008] ppid=28000 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28008/stat : 28008 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664347917328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28009] ppid=28000 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28009/stat : 28009 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664346864784 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28010] ppid=28000 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28010/stat : 28010 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664345811216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28011] ppid=28000 vsize=14327388 memory=2353 CPUtime=0 cores=0-7
/proc/28003/task/28011/stat : 28011 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246513 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664344758672 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28012] ppid=28000 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28012/stat : 28012 (java) S 28000 28003 27959 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100246514 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664343706128 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28013] ppid=28000 vsize=14327388 memory=1728 CPUtime=0 cores=0-7
/proc/28003/task/28013/stat : 28013 (java) S 28000 28003 27959 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100246514 14671245312 26223 33554432000 4194304 4196468 140729832840848 140664342653584 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28014] ppid=28000 vsize=14327388 memory=12064 CPUtime=0 cores=0-7
/proc/28003/task/28014/stat : 28014 (java) S 28000 28003 27959 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100246515 14671245312 26223 33554432000 4194304 4196468 140729832840848 140663854135792 140664397412994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0

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

/proc/28003/task/28019/stat : 28019 (java) S 28000 28003 27959 0 -1 1077944384 15743 0 0 0 270 4 0 0 20 0 45 0 100246518 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663848872048 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28020] ppid=28000 vsize=16003812 memory=-7595718316223324558 CPUtime=3.23 cores=0-7
/proc/28003/task/28020/stat : 28020 (java) S 28000 28003 27959 0 -1 1077944384 13973 0 0 0 321 2 0 0 20 0 45 0 100246518 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663847819504 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28021] ppid=28000 vsize=16003812 memory=7236267911313778797 CPUtime=1.33 cores=0-7
/proc/28003/task/28021/stat : 28021 (java) S 28000 28003 27959 0 -1 1077944384 29495 0 0 0 129 4 0 0 20 0 45 0 100246518 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663846766960 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28022] ppid=28000 vsize=16003812 memory=7454129636954630248 CPUtime=0 cores=0-7
/proc/28003/task/28022/stat : 28022 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 100246518 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663845714656 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28023] ppid=28000 vsize=16003812 memory=13837 CPUtime=1.08 cores=0-7
/proc/28003/task/28023/stat : 28023 (java) S 28000 28003 27959 0 -1 1077944384 3310 0 0 0 65 43 0 0 20 0 45 0 100246518 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663844662192 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28024] ppid=28000 vsize=16003812 memory=17438 CPUtime=0 cores=0-7
/proc/28003/task/28024/stat : 28024 (java) S 28000 28003 27959 0 -1 1077944384 1143 0 0 0 0 0 0 0 20 0 45 0 100247268 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663832278304 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28025] ppid=28000 vsize=16003812 memory=13837 CPUtime=5.43 cores=0-7
/proc/28003/task/28025/stat : 28025 (java) S 28000 28003 27959 0 -1 1077944384 9205 0 0 0 276 267 0 0 20 0 45 0 100247279 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663831226016 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28026] ppid=28000 vsize=16003812 memory=17438 CPUtime=2494.06 cores=0-7
/proc/28003/task/28026/stat : 28026 (java) R 28000 28003 27959 0 -1 4202560 89263 0 0 0 249281 125 0 0 20 0 45 0 100247289 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663828069392 140664022681440 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28027] ppid=28000 vsize=16003812 memory=0 CPUtime=1.18 cores=0-7
/proc/28003/task/28027/stat : 28027 (java) S 28000 28003 27959 0 -1 1077944384 667 0 0 0 115 3 0 0 20 0 45 0 100247289 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663827022864 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28028] ppid=28000 vsize=16003812 memory=3906925694659332289 CPUtime=1.27 cores=0-7
/proc/28003/task/28028/stat : 28028 (java) S 28000 28003 27959 0 -1 1077944384 239 0 0 0 116 11 0 0 20 0 45 0 100247290 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663825970096 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28029] ppid=28000 vsize=16003812 memory=27348 CPUtime=2481.5 cores=0-7
/proc/28003/task/28029/stat : 28029 (java) R 28000 28003 27959 0 -1 4202560 108043 0 0 0 248003 147 0 0 20 0 45 0 100247292 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663824910720 140664030731740 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28030] ppid=28000 vsize=16003812 memory=316378072163287066 CPUtime=2483.08 cores=0-7
/proc/28003/task/28030/stat : 28030 (java) R 28000 28003 27959 0 -1 4202560 97776 0 0 0 248163 145 0 0 20 0 45 0 100247292 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663823858336 140664028348256 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28031] ppid=28000 vsize=16003812 memory=316659594451747127 CPUtime=2484.84 cores=0-7
/proc/28003/task/28031/stat : 28031 (java) R 28000 28003 27959 0 -1 4202560 83134 0 0 0 248370 114 0 0 20 0 45 0 100247292 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663822808576 140664031181557 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28032] ppid=28000 vsize=16003812 memory=15254844206221894 CPUtime=2493.62 cores=0-7
/proc/28003/task/28032/stat : 28032 (java) R 28000 28003 27959 0 -1 4202560 104036 0 0 0 249203 159 0 0 20 0 45 0 100247296 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663821753336 140664030105802 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28033] ppid=28000 vsize=16003812 memory=7234303152781525078 CPUtime=2481.18 cores=0-7
/proc/28003/task/28033/stat : 28033 (java) R 28000 28003 27959 0 -1 4202560 108958 0 0 0 247953 165 0 0 20 0 45 0 100247296 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663820700944 140664031182646 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28034] ppid=28000 vsize=16003812 memory=288293285427151715 CPUtime=2488.57 cores=0-7
/proc/28003/task/28034/stat : 28034 (java) R 28000 28003 27959 0 -1 4202560 148641 0 0 0 248719 138 0 0 20 0 45 0 100247296 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663819647272 140664022025054 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28035] ppid=28000 vsize=16003812 memory=7234303152781525078 CPUtime=0 cores=0-7
/proc/28003/task/28035/stat : 28035 (java) S 28000 28003 27959 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 45 0 100247296 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663818601488 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28036] ppid=28000 vsize=16003812 memory=288293285427151715 CPUtime=0 cores=0-7
/proc/28003/task/28036/stat : 28036 (java) S 28000 28003 27959 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 45 0 100247296 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663817548944 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28037] ppid=28000 vsize=16003812 memory=6655300316396806240 CPUtime=2487.31 cores=0-7
/proc/28003/task/28037/stat : 28037 (java) R 28000 28003 27959 0 -1 4202560 103704 0 0 0 248560 171 0 0 20 0 45 0 100247504 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663816489360 140664031315571 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28038] ppid=28000 vsize=16003812 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/28003/task/28038/stat : 28038 (java) S 28000 28003 27959 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 45 0 100247504 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663815443856 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28039] ppid=28000 vsize=16003812 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/28003/task/28039/stat : 28039 (java) S 28000 28003 27959 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 45 0 100247504 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663814391312 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28040] ppid=28000 vsize=16003812 memory=7234303152781525078 CPUtime=0 cores=0-7
/proc/28003/task/28040/stat : 28040 (java) S 28000 28003 27959 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 45 0 100247504 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663813338768 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28041] ppid=28000 vsize=16003812 memory=288293285427151715 CPUtime=0 cores=0-7
/proc/28003/task/28041/stat : 28041 (java) S 28000 28003 27959 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 45 0 100247504 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663812286000 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28042] ppid=28000 vsize=16003812 memory=288293285427151715 CPUtime=0 cores=0-7
/proc/28003/task/28042/stat : 28042 (java) S 28000 28003 27959 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 45 0 100248351 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663809098544 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28043] ppid=28000 vsize=16003812 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/28003/task/28043/stat : 28043 (java) S 28000 28003 27959 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 45 0 100248354 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663808046096 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28044] ppid=28000 vsize=16003812 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/28003/task/28044/stat : 28044 (java) S 28000 28003 27959 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 45 0 100248356 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663806993328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28045] ppid=28000 vsize=16003812 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28045/stat : 28045 (java) S 28000 28003 27959 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 45 0 100248359 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663805941008 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28046] ppid=28000 vsize=16003812 memory=4807324 CPUtime=0 cores=0-7
/proc/28003/task/28046/stat : 28046 (java) S 28000 28003 27959 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 45 0 100248362 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140663804888464 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28047] ppid=28000 vsize=16003812 memory=4806304 CPUtime=0 cores=0-7
/proc/28003/task/28047/stat : 28047 (java) S 28000 28003 27959 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 45 0 100248364 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140662972605968 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28048] ppid=28000 vsize=16003812 memory=4805272 CPUtime=0 cores=0-7
/proc/28003/task/28048/stat : 28048 (java) S 28000 28003 27959 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 45 0 100248860 16387903488 1201062 33554432000 4194304 4196468 140729832840848 140662971553424 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
Current children cumulated CPU time: 20025.9 s
Current children cumulated vsize: 16003812 KiB
Current children cumulated memory: 4804248 KiB

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

[startup+2520.16 s]
# the end of solver process 28003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20009.1 s, system=17.8241 s

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

[startup+2520.13 s]
/proc/loadavg: 9.07 8.81 8.78 9/224 28101
/proc/meminfo: memFree=23967716/32770624 swapFree=67108860/67108860
[pid=28003] ppid=28000 vsize=16136940 memory=4804460 CPUtime=20026.8 cores=0-7
/proc/28003/stat : 28003 (java) S 28000 28003 27959 0 -1 1077944320 1653637 0 0 0 2000905 1779 0 0 20 0 45 0 100246512 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140729832823392 140664397401847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
/proc/28003/statm: 4034235 1201115 3881 1 0 4021429 0
[pid=28003/tid=28005] ppid=28000 vsize=16136940 memory=4804248 CPUtime=7.54 cores=0-7
/proc/28003/task/28005/stat : 28005 (java) S 28000 28003 27959 0 -1 1077944384 16268 0 0 0 717 37 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664401639552 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28006] ppid=28000 vsize=16136940 memory=4805272 CPUtime=12.97 cores=0-7
/proc/28003/task/28006/stat : 28006 (java) S 28000 28003 27959 0 -1 1077944384 82603 0 0 0 1234 63 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664350022416 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28007] ppid=28000 vsize=16136940 memory=16432 CPUtime=12.92 cores=0-7
/proc/28003/task/28007/stat : 28007 (java) S 28000 28003 27959 0 -1 1077944384 81940 0 0 0 1233 59 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664348969872 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28008] ppid=28000 vsize=16136940 memory=17296 CPUtime=12.98 cores=0-7
/proc/28003/task/28008/stat : 28008 (java) S 28000 28003 27959 0 -1 1077944384 81491 0 0 0 1234 64 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664347917328 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28009] ppid=28000 vsize=16136940 memory=4806300 CPUtime=13.01 cores=0-7
/proc/28003/task/28009/stat : 28009 (java) S 28000 28003 27959 0 -1 1077944384 78525 0 0 0 1234 67 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664346864784 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28010] ppid=28000 vsize=16136940 memory=1716 CPUtime=12.99 cores=0-7
/proc/28003/task/28010/stat : 28010 (java) S 28000 28003 27959 0 -1 1077944384 75065 0 0 0 1234 65 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664345811216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28011] ppid=28000 vsize=16136940 memory=6791534058613427641 CPUtime=12.96 cores=0-7
/proc/28003/task/28011/stat : 28011 (java) S 28000 28003 27959 0 -1 1077944384 78003 0 0 0 1230 66 0 0 20 0 45 0 100246513 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664344758672 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28012] ppid=28000 vsize=16136940 memory=1004 CPUtime=12.97 cores=0-7
/proc/28003/task/28012/stat : 28012 (java) S 28000 28003 27959 0 -1 1077944384 77880 0 0 0 1234 63 0 0 20 0 45 0 100246514 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664343706128 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28013] ppid=28000 vsize=16136940 memory=4807328 CPUtime=12.99 cores=0-7
/proc/28003/task/28013/stat : 28013 (java) S 28000 28003 27959 0 -1 1077944384 89160 0 0 0 1233 66 0 0 20 0 45 0 100246514 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140664342653584 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28014] ppid=28000 vsize=16136940 memory=1292 CPUtime=1.23 cores=0-7
/proc/28003/task/28014/stat : 28014 (java) R 28000 28003 27959 0 -1 4202560 56791 0 0 0 97 26 0 0 20 0 45 0 100246515 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663854135792 140664390118999 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28015] ppid=28000 vsize=16136940 memory=1236 CPUtime=0 cores=0-7
/proc/28003/task/28015/stat : 28015 (java) S 28000 28003 27959 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 45 0 100246515 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663853082080 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28016] ppid=28000 vsize=16136940 memory=960 CPUtime=0 cores=0-7
/proc/28003/task/28016/stat : 28016 (java) S 28000 28003 27959 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 45 0 100246516 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663852029440 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28017] ppid=28000 vsize=16136940 memory=2240 CPUtime=0 cores=0-7
/proc/28003/task/28017/stat : 28017 (java) S 28000 28003 27959 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663850977648 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28018] ppid=28000 vsize=16136940 memory=4807324 CPUtime=2.63 cores=0-7
/proc/28003/task/28018/stat : 28018 (java) S 28000 28003 27959 0 -1 1077944384 11119 0 0 0 259 4 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663849924592 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28019] ppid=28000 vsize=16136940 memory=4096 CPUtime=2.74 cores=0-7
/proc/28003/task/28019/stat : 28019 (java) S 28000 28003 27959 0 -1 1077944384 15743 0 0 0 270 4 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663848872048 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28020] ppid=28000 vsize=16136940 memory=29416 CPUtime=3.24 cores=0-7
/proc/28003/task/28020/stat : 28020 (java) S 28000 28003 27959 0 -1 1077944384 14411 0 0 0 322 2 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663847819504 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28021] ppid=28000 vsize=16136940 memory=4810428 CPUtime=1.33 cores=0-7
/proc/28003/task/28021/stat : 28021 (java) S 28000 28003 27959 0 -1 1077944384 30795 0 0 0 129 4 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663846766960 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28022] ppid=28000 vsize=16136940 memory=4811452 CPUtime=0 cores=0-7
/proc/28003/task/28022/stat : 28022 (java) S 28000 28003 27959 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 100246518 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663845714656 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28024] ppid=28000 vsize=16136940 memory=0 CPUtime=0 cores=0-7
/proc/28003/task/28024/stat : 28024 (java) S 28000 28003 27959 0 -1 1077944384 1143 0 0 0 0 0 0 0 20 0 45 0 100247268 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663832278304 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28025] ppid=28000 vsize=16136940 memory=0 CPUtime=5.43 cores=0-7
/proc/28003/task/28025/stat : 28025 (java) S 28000 28003 27959 0 -1 1077944384 9205 0 0 0 276 267 0 0 20 0 45 0 100247279 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663831226016 140664397412994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28026] ppid=28000 vsize=16136940 memory=0 CPUtime=2494.16 cores=0-7
/proc/28003/task/28026/stat : 28026 (java) S 28000 28003 27959 0 -1 1077944384 89265 0 0 0 249291 125 0 0 20 0 45 0 100247289 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663828069392 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28027] ppid=28000 vsize=16136940 memory=1792 CPUtime=1.18 cores=0-7
/proc/28003/task/28027/stat : 28027 (java) S 28000 28003 27959 0 -1 1077944384 667 0 0 0 115 3 0 0 20 0 45 0 100247289 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663827022864 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28028] ppid=28000 vsize=16136940 memory=636 CPUtime=1.27 cores=0-7
/proc/28003/task/28028/stat : 28028 (java) S 28000 28003 27959 0 -1 1077944384 239 0 0 0 116 11 0 0 20 0 45 0 100247290 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663825970096 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28029] ppid=28000 vsize=16136940 memory=1236 CPUtime=2481.62 cores=0-7
/proc/28003/task/28029/stat : 28029 (java) S 28000 28003 27959 0 -1 1077944384 108046 0 0 0 248015 147 0 0 20 0 45 0 100247292 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663824910848 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28030] ppid=28000 vsize=16136940 memory=243852 CPUtime=2483.2 cores=0-7
/proc/28003/task/28030/stat : 28030 (java) S 28000 28003 27959 0 -1 1077944384 97779 0 0 0 248175 145 0 0 20 0 45 0 100247292 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663823859216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28031] ppid=28000 vsize=16136940 memory=0 CPUtime=2484.94 cores=0-7
/proc/28003/task/28031/stat : 28031 (java) S 28000 28003 27959 0 -1 1077944384 83136 0 0 0 248380 114 0 0 20 0 45 0 100247292 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663822805744 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28032] ppid=28000 vsize=16136940 memory=0 CPUtime=2493.74 cores=0-7
/proc/28003/task/28032/stat : 28032 (java) S 28000 28003 27959 0 -1 1077944384 104039 0 0 0 249215 159 0 0 20 0 45 0 100247296 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663821753200 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28033] ppid=28000 vsize=16136940 memory=4807324 CPUtime=2481.3 cores=0-7
/proc/28003/task/28033/stat : 28033 (java) S 28000 28003 27959 0 -1 1077944384 108963 0 0 0 247965 165 0 0 20 0 45 0 100247296 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663820700544 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28034] ppid=28000 vsize=16136940 memory=4806308 CPUtime=2488.69 cores=0-7
/proc/28003/task/28034/stat : 28034 (java) S 28000 28003 27959 0 -1 1077944384 148644 0 0 0 248731 138 0 0 20 0 45 0 100247296 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663819647216 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28035] ppid=28000 vsize=16136940 memory=4096 CPUtime=0 cores=0-7
/proc/28003/task/28035/stat : 28035 (java) S 28000 28003 27959 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 45 0 100247296 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663818601488 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28036] ppid=28000 vsize=16136940 memory=4807324 CPUtime=0 cores=0-7
/proc/28003/task/28036/stat : 28036 (java) S 28000 28003 27959 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 45 0 100247296 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663817548944 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28037] ppid=28000 vsize=16136940 memory=6791534058613427641 CPUtime=2487.42 cores=0-7
/proc/28003/task/28037/stat : 28037 (java) S 28000 28003 27959 0 -1 1077944384 103709 0 0 0 248571 171 0 0 20 0 45 0 100247504 16524226560 1201115 33554432000 4194304 4196468 140729832840848 140663816489744 140664397412053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28038] ppid=28000 vsize=16136940 memory=4096 CPUtime=0 cores=0-7
/proc/28003/task/28038/stat : 28038 (java) S 28000 28003 27959 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 45 0 100247504 16524226560 1201118 33554432000 4194304 4196468 140729832840848 140663815443856 140664397412053 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28039] ppid=28000 vsize=16136940 memory=4806304 CPUtime=0 cores=0-7
/proc/28003/task/28039/stat : 28039 (java) R 28000 28003 27959 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 45 0 100247504 16524226560 1201122 33554432000 4194304 4196468 140729832840848 140663814391312 140664397412053 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28041] ppid=28000 vsize=16136940 memory=4806300 CPUtime=0 cores=0-7
/proc/28003/task/28041/stat : 28041 (java) R 28000 28003 27959 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 37 0 100247504 16524226560 1201122 33554432000 4194304 4196468 140729832840848 140663812286000 140664397412053 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28042] ppid=28000 vsize=16136940 memory=4806300 CPUtime=0 cores=0-7
/proc/28003/task/28042/stat : 28042 (java) R 28000 28003 27959 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 29 0 100248351 16524226560 1201126 33554432000 4194304 4196468 140729832840848 140663809098544 140664397412053 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28043] ppid=28000 vsize=16136940 memory=29416 CPUtime=0 cores=0-7
/proc/28003/task/28043/stat : 28043 (java) R 28000 28003 27959 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 27 0 100248354 16524226560 1201168 33554432000 4194304 4196468 140729832840848 140663808046096 140664397412053 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
[pid=28003/tid=28044] ppid=28000 vsize=16136940 memory=4808368 CPUtime=0 cores=0-7
/proc/28003/task/28044/stat : 28044 (java) R 28000 28003 27959 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 18 0 100248356 16524226560 1201220 33554432000 4194304 4196468 140729832840848 140663806993328 140664397412053 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31936512 140729832846433 140729832846619 140729832846619 140729832849359 0
Current children cumulated CPU time: 20026.8 s
Current children cumulated vsize: 16136940 KiB
Current children cumulated memory: 4804460 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 20026.9
CPU user time (s): 20009.1
CPU system time (s): 17.8241
CPU usage (%): 794.667
Max. virtual memory (cumulated for all children) (KiB): 16136940
Max. memory (cumulated for all children) (KiB): 4905912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20009.1
system time used= 17.8241
maximum resident set size= 4905912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1653682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367405
involuntary context switches= 417180


# summary of solver processes directly reported to runsolver:
#   pid: 28003
#   total CPU time (s): 20026.9
#   total CPU user time (s): 20009.1
#   total CPU system time (s): 17.8241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4729 second user time and 37.4395 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-14 02:33:16
IDJOB=4275218
IDBENCH=115917
IDSOLVER=2668
FILE ID=node148/4275218-1502671654
RUNJOBID= node148-1502670796-27986
PBS_JOBID= 20628973
Free space on /tmp= 61616 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.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-4275218-1502671654/watcher-4275218-1502671654 -o /tmp/evaluation-result-4275218-1502671654/solver-4275218-1502671654 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502670796-27986 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1957775218 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275218-1502671654.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1957775218

node148.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.19
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.19
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.19
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.19
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:        28768876 kB
MemAvailable:   31987624 kB
Buffers:          221952 kB
Cached:          3285184 kB
SwapCached:            0 kB
Active:           840584 kB
Inactive:        2718652 kB
Active(anon):       3516 kB
Inactive(anon):    76676 kB
Active(file):     837068 kB
Inactive(file):  2641976 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42316 kB
Writeback:             0 kB
AnonPages:         58824 kB
Mapped:            44020 kB
Shmem:             25224 kB
Slab:             137236 kB
SReclaimable:     111080 kB
SUnreclaim:        26156 kB
KernelStack:        3104 kB
PageTables:         4688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323168 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61576 MiB
End job on node148 at 2017-08-14 03:15:16