Trace number 4257332

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)588 1921.4301 246.922

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-42.xml
MD5SUMf0ae775e0a261424aab5dff09c8fa0c4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark806
Best CPU time to get the best result obtained on this benchmark1808.87
Satisfiable
(Un)Satisfiability was proved
Number of variables3917
Number of constraints2192
Number of domains4
Minimum domain size2
Maximum domain size3873
Distribution of domain sizes[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree1
Maximum variable degree45
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity2
Maximum constraint arity46
Distribution of constraint arities[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints1932
Number of intensional constraints211
Distribution of constraint types[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"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.25/0.37	c version: 2017-07-26
0.25/0.37	c seed: 1015270966
0.25/0.37	c timeout: 1920
0.25/0.37	c memlimit: 22000
0.25/0.37	c nbcore: 8
0.44/0.40	c Parsing instance...
2.40/1.02	c Parsing done, starting search...
81.27/16.16	o 478
81.27/16.17	o 479
82.07/16.26	o 480
83.63/16.48	o 481
83.63/16.50	o 482
85.27/16.66	o 483
85.27/16.69	o 484
86.03/16.76	o 485
86.03/16.78	o 486
97.14/18.20	o 487
97.94/18.21	o 488
99.53/18.46	o 489
101.12/18.67	o 490
102.01/18.73	o 491
103.51/18.92	o 492
104.31/19.01	o 493
104.31/19.02	o 494
119.44/20.99	o 560
119.44/21.00	o 561
119.44/21.00	o 562
123.38/21.41	o 563
123.38/21.47	o 564
125.77/21.70	o 565
125.77/21.71	o 566
125.77/21.71	o 567
129.76/22.26	o 568
136.14/23.01	o 569
136.97/23.14	o 570
136.97/23.15	o 571
136.97/23.15	o 572
148.90/24.60	o 574
148.90/24.60	o 575
153.69/25.29	o 576
298.81/43.45	o 577
299.61/43.52	o 578
299.61/43.54	o 579
306.78/44.47	o 580
308.37/44.61	o 581
308.37/44.67	o 582
308.37/44.68	o 583
468.70/64.73	o 584
690.22/92.55	o 585
690.98/92.70	o 586
692.58/92.86	o 587
692.58/92.89	o 588
1920.76/246.86	s SATISFIABLE
1920.76/246.87	v <instantiation>
1920.76/246.87	v 	<list>
1920.76/246.87	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
1920.76/246.88	v 	</list>
1920.76/246.88	v 	<values>
1920.76/246.88	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 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 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 2 1 0 0 0 1 2 2 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 1 1 0 1 1 1 0 1 2 1 1 0 0 1 0 1 0 1 0 0 0 1 0 2 2 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 2 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 2 1 0 0 2 2 0 0 1 1 0 1 1 2 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 2 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 2 0 2 0 2 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 2 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 2 1 0 1 0 1 2 1 0 1 0 0 0 0 0 1 2 2 0 2 0 2 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 2 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 2 1 1 2 0 2 0 2 0 1 0 2 1 1 1 0 0 1 2 2 1 1 0 0 0 0 1 1 2 1 0 1 0 1 0 1 0 1 1 1 1 0 1 2 1 1 0 0 1 0 1 0 1 2 1 1 2 1 0 0 1 1 2 2 2 0 1 0 0 0 0 1 2 2 1 0 1 0 0 0 0 0 2 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 1 1 2 1 2 1 0 0 1 1 1 2 2 2 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 2 1 1 0 0 0 0 1 0 1 0 1 0 1 1 2 1 1 2 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 2 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 2 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 2 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 2 1 0 1 1 0 0 2 2 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 2 1 1 0 1 1 1 0 1 2 2 1 0 0 1 1 1 2 0 1 0 0 0 1 1 1 0 0 0 0 0 1 2 1 1 1 1 1 2 2 0 0 1 1 1 1 0 0 1 2 0 0 1 1 1 2 1 0 0 1 1 2 2 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 2 1 1 0 0 0 1 0 0 0 2 1 0 1 0 0 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 2 0 2 1 0 1 1 1 1 0 1 2 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 2 0 2 0 2 2 1 2 2 1 1 2 2 1 1 0 0 2 2 2 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 2 0 0 1 1 2 0 2 0 2 2 2 2 2 2 2 0 1 0 0 0 1 2 2 2 1 0 1 0 1 0 1 1 0 0 0 0 0 1 2 2 1 0 0 0 1 1 0 0 0 2 0 2 0 2 2 2 1 2 1 1 2 0 0 0 1 1 2 1 1 2 1 1 0 1 0 0 0 0 0 0 0 2 2 2 2 1 1 2 1 0 0 0 1 1 2 0 2 0 2 0 1 0 2 0 1 0 1 0 0 2 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 2 2 1 1 2 1 1 0 1 1 0 0 2 2 0 2 0 1 0 1 1 2 1 1 1 0 0 2 1 1 0 0 1 0 0 1 0 0 1 2 1 1 0 0 1 1 1 0 1 1 0 1 1 1 0 1 1 2 2 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 2 1 1 1 0 1 2 0 0 1 1 1 0 1 1 0 0 1 1 2 2 1 1 1 0 0 1 0 0 0 0 0 0 1 0 2 1 1 1 0 0 1 0 2 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 2 2 2 1 0 0 0 0 1 1 0 0 0 2 1 1 1 1 1 0 1 0 1 1 1 2 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 2 2 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 2 1 2 0 1 0 0 1 1 2 2 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 2 2 2 2 2 2 1 1 0 0 0 0 0 1 2 1 0 0 0 0 0 0 2 0 2 2 0 0 1 1 1 1 2 0 0 1 0 0 0 0 0 0 1 2 2 1 2 2 2 2 1 1 0 1 0 0 0 1 2 2 0 1 0 0 0 1 0 2 2 1 0 0 0 1 1 1 0 0 0 0 0 2 1 1 1 0 1 1 1 1 0 1 2 1 2 0 0 0 0 2 0 2 2 1 1 0 0 1 0 0 2 2 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 2 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 2 2 1 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 1 0 1 0 1 2 1 1 2 2 2 1 1 2 2 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 1 0 0 0 2 0 2 0 2 0 0 1 0 1 0 2 0 2 2 2 2 2 2 2 2 2 0 0 0 1 0 0 1 0 1 1 2 0 0 0 0 0 1 1 1 1 0 1 0 2 0 2 0 1 1 0 1 1 2 0 0 1 2 2 2 2 2 2 2 0 2 0 1 0 0 1 1 2 1 2 0 2 0 1 0 1 0 1 0 1 0 0 2 0 2 0 2 1 1 2 1 1 0 1 0 1 2 2 2 1 2 2 1 0 0 2 0 1 0 0 2 2 2 0 0 0 1 1 2 0 1 0 1 0 0 0 1 2 0 2 0 2 2 2 1 0 1 0 0 2 2 2 0 1 0 2 1 0 1 0 1 0 0 0 2 2 1 0 2 0 1 0 2 2 1 1 0 1 0 0 1 1 2 0 2 0 2 2 1 1 0 1 1 0 2 1 1 0 1 0 1 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 1 2 2 1 1 0 0 0 0 1 0 2 0 2 0 2 1 1 2 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 2 2 2 1 1 1 1 0 1 2 1 1 0 0 0 2 0 0 1 1 2 0 2 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 1 1 2 0 1 0 0 0 0 1 0 1 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 1 1 2 2 2 2 2 1 0 0 1 0 1 0 1 2 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 2 0 1 1 0 2 2 1 1 1 0 1 2 2 2 2 2 1 0 1 1 1 0 1 1 2 2 1 1 2 2 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 35 85 114 144 166 185 218 255 291 320 346 364 384 400 424 454 485 505 527 559 598 636 670 705 733 765 790 810 834 869 904 936 957 989 1028 1073 1115 1154 1183 1213 1242 1271 1316 1344 588 
1920.76/246.88	v 	</values>
1920.76/246.88	v </instantiation>

Verifier Data 

OK	588

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257332-1501679432/watcher-4257332-1501679432 -o /tmp/evaluation-result-4257332-1501679432/solver-4257332-1501679432 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1015270966 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257332-1501679432.xml 

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

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


[startup+0 s]
/proc/loadavg: 7.91 8.10 7.19 2/172 8983
/proc/meminfo: memFree=31715876/32770624 swapFree=0/269076
[pid=8983] ppid=8980 vsize=23672 CPUtime=0 cores=0-7
/proc/8983/stat : 8983 (runsolver) D 8980 8983 31142 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16566229 24240128 107 18446744073709551615 4194304 4338465 140729791030576 140729791028216 140605650129623 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36036608 140729791033443 140729791033923 140729791033923 140729791037386 0
/proc/8983/statm: 5918 107 54 36 0 2156 0

[startup+0.100131 s]
/proc/loadavg: 7.91 8.10 7.19 2/172 8983
/proc/meminfo: memFree=31715876/32770624 swapFree=0/269076
[pid=8983] ppid=8980 vsize=25300336 CPUtime=0 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 3324 0 0 0 0 0 0 0 20 0 10 0 16566229 25907544064 3474 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6325084 3474 1863 1 0 6314589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25300336

[startup+0.200325 s]
/proc/loadavg: 7.91 8.10 7.19 2/172 8983
/proc/meminfo: memFree=31715876/32770624 swapFree=0/269076
[pid=8983] ppid=8980 vsize=25996604 CPUtime=0.09 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 7033 0 0 0 8 1 0 0 20 0 20 0 16566229 26620522496 7161 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6499151 7161 3335 1 0 6487938 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25996604

[startup+0.300322 s]
/proc/loadavg: 7.91 8.10 7.19 2/172 8983
/proc/meminfo: memFree=31715876/32770624 swapFree=0/269076
[pid=8983] ppid=8980 vsize=25997628 CPUtime=0.25 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 10524 0 0 0 22 3 0 0 20 0 20 0 16566229 26621571072 9690 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6499407 9690 3527 1 0 6488194 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 25997628

[startup+0.700296 s]
/proc/loadavg: 7.91 8.10 7.19 2/172 8983
/proc/meminfo: memFree=31715876/32770624 swapFree=0/269076
[pid=8983] ppid=8980 vsize=25998672 CPUtime=1.1 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 14771 0 0 0 105 5 0 0 20 0 20 0 16566229 26622640128 18062 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6499668 18062 3721 1 0 6488450 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 25998672

[startup+1.50081 s]
/proc/loadavg: 7.44 8.00 7.17 3/192 9003
/proc/meminfo: memFree=31603240/32770624 swapFree=0/269080
[pid=8983] ppid=8980 vsize=26002768 CPUtime=4.14 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 29443 0 0 0 402 12 0 0 20 0 20 0 16566229 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6500692 45403 3758 1 0 6489474 0
[pid=8983/tid=8985] ppid=8980 vsize=26002768 CPUtime=1.36 cores=0-7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 31142 0 -1 4202560 14398 0 0 0 128 8 0 0 20 0 20 0 16566238 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981365827824 139980986986158 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8986] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981318560016 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8987] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981317507472 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8988] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981316454928 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8989] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981315402384 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8990] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981314349840 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8991] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981313297296 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8992] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 31142 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981312244752 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8993] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566239 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139981311192208 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8994] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 31142 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 16566240 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980425885680 139981361605250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8995] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 31142 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980424831904 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8996] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980423779312 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8997] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566243 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980422727888 139981361612699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8998] ppid=8980 vsize=26002768 CPUtime=0.58 cores=0-7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 31142 0 -1 1077944384 2836 0 0 0 58 0 0 0 20 0 20 0 16566243 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980421675504 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8999] ppid=8980 vsize=26002768 CPUtime=0.64 cores=0-7
/proc/8983/task/8999/stat : 8999 (java) S 8980 8983 31142 0 -1 1077944384 2200 0 0 0 64 0 0 0 20 0 20 0 16566243 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980420622960 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9000] ppid=8980 vsize=26002768 CPUtime=0.87 cores=0-7
/proc/8983/task/9000/stat : 9000 (java) R 8980 8983 31142 0 -1 4202560 3708 0 0 0 86 1 0 0 20 0 20 0 16566243 26626834432 45403 18446744073709551615 4194304 4196468 140735863348720 139980419550680 139981345090891 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9001] ppid=8980 vsize=26002768 CPUtime=0.66 cores=0-7
/proc/8983/task/9001/stat : 9001 (java) R 8980 8983 31142 0 -1 4202560 4920 0 0 0 65 1 0 0 20 0 20 0 16566243 26626834432 45469 18446744073709551615 4194304 4196468 140735863348720 139980418514040 139981354697585 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9002] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/9002/stat : 9002 (java) S 8980 8983 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16566243 26626834432 45469 18446744073709551615 4194304 4196468 140735863348720 139980417464544 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9003] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/9003/stat : 9003 (java) S 8980 8983 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16566247 26626834432 45469 18446744073709551615 4194304 4196468 140735863348720 139980416412080 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 26002768

[startup+3.10088 s]
/proc/loadavg: 7.44 8.00 7.17 2/192 9003
/proc/meminfo: memFree=31366560/32770624 swapFree=0/269080
[pid=8983] ppid=8980 vsize=26002768 CPUtime=8.45 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 38805 0 0 0 777 68 0 0 20 0 20 0 16566229 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6500692 143169 3798 1 0 6489474 0
[pid=8983/tid=8985] ppid=8980 vsize=26002768 CPUtime=2.81 cores=0-7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 31142 0 -1 4202560 15932 0 0 0 270 11 0 0 20 0 20 0 16566238 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981365829840 139980996177489 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8986] ppid=8980 vsize=26002768 CPUtime=0.11 cores=0-7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 31142 0 -1 1077944384 195 0 0 0 5 6 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981318560016 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8987] ppid=8980 vsize=26002768 CPUtime=0.12 cores=0-7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 31142 0 -1 1077944384 352 0 0 0 5 7 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981317507472 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8988] ppid=8980 vsize=26002768 CPUtime=0.11 cores=0-7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 31142 0 -1 1077944384 178 0 0 0 5 6 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981316454928 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8989] ppid=8980 vsize=26002768 CPUtime=0.1 cores=0-7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 31142 0 -1 1077944384 111 0 0 0 5 5 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981315402384 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8990] ppid=8980 vsize=26002768 CPUtime=0.09 cores=0-7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 31142 0 -1 1077944384 103 0 0 0 4 5 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981314349840 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8991] ppid=8980 vsize=26002768 CPUtime=0.11 cores=0-7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 31142 0 -1 1077944384 240 0 0 0 5 6 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981313297296 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8992] ppid=8980 vsize=26002768 CPUtime=0.12 cores=0-7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 31142 0 -1 1077944384 167 0 0 0 6 6 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981312244752 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8993] ppid=8980 vsize=26002768 CPUtime=0.11 cores=0-7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 31142 0 -1 1077944384 1060 0 0 0 5 6 0 0 20 0 20 0 16566239 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139981311192208 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8994] ppid=8980 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 31142 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 20 0 16566240 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980425885680 139981361605250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8995] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 31142 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980424831968 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8996] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 31142 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980423779328 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8997] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980422727888 139981361612699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8998] ppid=8980 vsize=26002768 CPUtime=1.01 cores=0-7
/proc/8983/task/8998/stat : 8998 (java) R 8980 8983 31142 0 -1 4202560 3646 0 0 0 100 1 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980421675504 139981346473704 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8999] ppid=8980 vsize=26002768 CPUtime=1.07 cores=0-7
/proc/8983/task/8999/stat : 8999 (java) R 8980 8983 31142 0 -1 1077944384 3015 0 0 0 107 0 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980420622960 139981361605250 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9000] ppid=8980 vsize=26002768 CPUtime=1.73 cores=0-7
/proc/8983/task/9000/stat : 9000 (java) R 8980 8983 31142 0 -1 4202560 5379 0 0 0 172 1 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980419570416 139981345120567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9001] ppid=8980 vsize=26002768 CPUtime=0.81 cores=0-7
/proc/8983/task/9001/stat : 9001 (java) R 8980 8983 31142 0 -1 1077944384 6397 0 0 0 79 2 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980418517872 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9002] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/9002/stat : 9002 (java) S 8980 8983 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16566243 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980417464544 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9003] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/9003/stat : 9003 (java) S 8980 8983 31142 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 16566247 26626834432 143169 18446744073709551615 4194304 4196468 140735863348720 139980416412080 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 26002768

[startup+6.30086 s]
/proc/loadavg: 7.44 8.00 7.17 2/192 9003
/proc/meminfo: memFree=30432740/32770624 swapFree=0/269092
[pid=8983] ppid=8980 vsize=26002768 CPUtime=12.7 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 42034 0 0 0 1171 99 0 0 20 0 20 0 16566229 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6500692 338343 3800 1 0 6489474 0
[pid=8983/tid=8985] ppid=8980 vsize=26002768 CPUtime=5.94 cores=0-7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 31142 0 -1 4202560 16665 0 0 0 571 23 0 0 20 0 20 0 16566238 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981365828808 139980996175748 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8986] ppid=8980 vsize=26002768 CPUtime=0.17 cores=0-7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 31142 0 -1 1077944384 241 0 0 0 9 8 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981318560016 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8987] ppid=8980 vsize=26002768 CPUtime=0.17 cores=0-7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 31142 0 -1 1077944384 391 0 0 0 8 9 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981317507472 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8988] ppid=8980 vsize=26002768 CPUtime=0.18 cores=0-7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 31142 0 -1 1077944384 222 0 0 0 9 9 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981316454928 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8989] ppid=8980 vsize=26002768 CPUtime=0.15 cores=0-7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 31142 0 -1 1077944384 153 0 0 0 8 7 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981315402384 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8990] ppid=8980 vsize=26002768 CPUtime=0.14 cores=0-7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 31142 0 -1 1077944384 150 0 0 0 7 7 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981314349840 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8991] ppid=8980 vsize=26002768 CPUtime=0.16 cores=0-7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 31142 0 -1 1077944384 277 0 0 0 8 8 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981313297296 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8992] ppid=8980 vsize=26002768 CPUtime=0.17 cores=0-7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 31142 0 -1 1077944384 211 0 0 0 9 8 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981312244752 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8993] ppid=8980 vsize=26002768 CPUtime=0.16 cores=0-7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 31142 0 -1 1077944384 1100 0 0 0 8 8 0 0 20 0 20 0 16566239 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139981311192208 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8994] ppid=8980 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 31142 0 -1 1077944384 1412 0 0 0 2 0 0 0 20 0 20 0 16566240 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980425885680 139981361605250 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8995] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 31142 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980424831968 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8996] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 16566241 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980423779328 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8997] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16566243 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980422727888 139981361612699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8998] ppid=8980 vsize=26002768 CPUtime=1.34 cores=0-7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 31142 0 -1 1077944384 4283 0 0 0 133 1 0 0 20 0 20 0 16566243 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980421675504 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8999] ppid=8980 vsize=26002768 CPUtime=1.23 cores=0-7
/proc/8983/task/8999/stat : 8999 (java) S 8980 8983 31142 0 -1 1077944384 3354 0 0 0 123 0 0 0 20 0 20 0 16566243 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980420622960 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9000] ppid=8980 vsize=26002768 CPUtime=1.87 cores=0-7
/proc/8983/task/9000/stat : 9000 (java) S 8980 8983 31142 0 -1 1077944384 5491 0 0 0 186 1 0 0 20 0 20 0 16566243 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980419570416 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9001] ppid=8980 vsize=26002768 CPUtime=0.86 cores=0-7
/proc/8983/task/9001/stat : 9001 (java) S 8980 8983 31142 0 -1 1077944384 6611 0 0 0 84 2 0 0 20 0 20 0 16566243 26626834432 338343 18446744073709551615 4194304 4196468 140735863348720 139980418517872 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9002] ppid=8980 vsize=26002768 CPUtime=0 cores=0-7

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

/proc/8983/task/9009/stat : 9009 (java) R 8980 8983 31142 0 -1 4202560 20250 0 0 0 20981 55 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980396662072 139980992265318 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9010] ppid=8980 vsize=27741660 CPUtime=208.85 cores=0-7
/proc/8983/task/9010/stat : 9010 (java) R 8980 8983 31142 0 -1 4202560 17580 0 0 0 20846 39 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980395608504 139980992265116 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9011] ppid=8980 vsize=27741660 CPUtime=210.48 cores=0-7
/proc/8983/task/9011/stat : 9011 (java) R 8980 8983 31142 0 -1 4202560 57174 0 0 0 21001 47 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980394555768 139980997002898 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9012] ppid=8980 vsize=27741660 CPUtime=1.39 cores=0-7
/proc/8983/task/9012/stat : 9012 (java) S 8980 8983 31142 0 -1 1077944384 443 0 0 0 136 3 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980393509904 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9013] ppid=8980 vsize=27741660 CPUtime=210.65 cores=0-7
/proc/8983/task/9013/stat : 9013 (java) R 8980 8983 31142 0 -1 4202560 53730 0 0 0 21013 52 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980392450872 139980997001751 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9014] ppid=8980 vsize=27741660 CPUtime=211.18 cores=0-7
/proc/8983/task/9014/stat : 9014 (java) R 8980 8983 31142 0 -1 4202560 31280 0 0 0 21064 54 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980391399032 139980990723864 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9015] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9015/stat : 9015 (java) S 8980 8983 31142 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16566973 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980390352192 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9016] ppid=8980 vsize=27741660 CPUtime=209.65 cores=0-7
/proc/8983/task/9016/stat : 9016 (java) R 8980 8983 31142 0 -1 4202560 40747 0 0 0 20918 47 0 0 20 0 46 0 16566974 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980389293064 139980995440521 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9017] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9017/stat : 9017 (java) S 8980 8983 31142 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 46 0 16567197 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980388247184 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9018] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9018/stat : 9018 (java) S 8980 8983 31142 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 46 0 16567197 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980387193728 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9019] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9019/stat : 9019 (java) S 8980 8983 31142 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 46 0 16567846 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980384007072 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9020] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9020/stat : 9020 (java) S 8980 8983 31142 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 16567848 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980382954512 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9021] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9021/stat : 9021 (java) S 8980 8983 31142 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 16567848 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980381901968 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9022] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9022/stat : 9022 (java) S 8980 8983 31142 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 46 0 16567851 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980380849424 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9023] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9023/stat : 9023 (java) S 8980 8983 31142 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 46 0 16567852 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980379796880 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9024] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9024/stat : 9024 (java) S 8980 8983 31142 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 16567853 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980378744336 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9025] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9025/stat : 9025 (java) S 8980 8983 31142 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16567856 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980377691792 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9027] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9027/stat : 9027 (java) S 8980 8983 31142 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 16567856 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980376638144 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9028] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9028/stat : 9028 (java) S 8980 8983 31142 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 46 0 16568401 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980375585680 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9029] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9029/stat : 9029 (java) S 8980 8983 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 16568402 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980374533056 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9030] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9030/stat : 9030 (java) S 8980 8983 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16568404 28407459840 2002802 18446744073709551615 4194304 4196468 140735863348720 139980371383360 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
Current children cumulated CPU time (s) 1725.44
Current children cumulated vsize (KiB) 27741660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.802 s]
/proc/loadavg: 8.77 8.30 7.47 12/219 9044
/proc/meminfo: memFree=23697092/32770624 swapFree=0/269132
[pid=8983] ppid=8980 vsize=27741660 CPUtime=1920.76 cores=0-7
/proc/8983/stat : 8983 (java) S 8980 8983 31142 0 -1 1077944320 501081 0 0 0 191181 895 0 0 20 0 46 0 16566229 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 140735863331264 139981361594103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
/proc/8983/statm: 6935415 2003847 3844 1 0 6923676 0
[pid=8983/tid=8985] ppid=8980 vsize=27741660 CPUtime=7.06 cores=0-7
/proc/8983/task/8985/stat : 8985 (java) S 8980 8983 31142 0 -1 1077944384 19535 0 0 0 668 38 0 0 20 0 46 0 16566238 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981365831808 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8986] ppid=8980 vsize=27741660 CPUtime=2.91 cores=0-7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 31142 0 -1 1077944384 15471 0 0 0 236 55 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981318560016 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8987] ppid=8980 vsize=27741660 CPUtime=2.92 cores=0-7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 31142 0 -1 1077944384 14229 0 0 0 238 54 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981317507472 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8988] ppid=8980 vsize=27741660 CPUtime=2.91 cores=0-7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 31142 0 -1 1077944384 13996 0 0 0 235 56 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981316454928 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8989] ppid=8980 vsize=27741660 CPUtime=2.93 cores=0-7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 31142 0 -1 1077944384 44738 0 0 0 228 65 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981315402384 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8990] ppid=8980 vsize=27741660 CPUtime=2.84 cores=0-7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 31142 0 -1 1077944384 14175 0 0 0 234 50 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981314349840 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8991] ppid=8980 vsize=27741660 CPUtime=2.86 cores=0-7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 31142 0 -1 1077944384 12707 0 0 0 235 51 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981313297296 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8992] ppid=8980 vsize=27741660 CPUtime=2.93 cores=0-7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 31142 0 -1 1077944384 14135 0 0 0 242 51 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981312244752 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8993] ppid=8980 vsize=27741660 CPUtime=2.9 cores=0-7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 31142 0 -1 1077944384 17511 0 0 0 238 52 0 0 20 0 46 0 16566239 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139981311192208 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8994] ppid=8980 vsize=27741660 CPUtime=0.18 cores=0-7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 31142 0 -1 1077944384 10611 0 0 0 13 5 0 0 20 0 46 0 16566240 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980425885680 139981361605250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8995] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 31142 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 16566241 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980424831968 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8996] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 31142 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 16566241 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980423779328 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8997] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980422727888 139981361612699 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8998] ppid=8980 vsize=27741660 CPUtime=2.46 cores=0-7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 31142 0 -1 1077944384 8532 0 0 0 245 1 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980421675504 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=8999] ppid=8980 vsize=27741660 CPUtime=2.28 cores=0-7
/proc/8983/task/8999/stat : 8999 (java) S 8980 8983 31142 0 -1 1077944384 8980 0 0 0 226 2 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980420622960 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9000] ppid=8980 vsize=27741660 CPUtime=2.79 cores=0-7
/proc/8983/task/9000/stat : 9000 (java) S 8980 8983 31142 0 -1 1077944384 11779 0 0 0 276 3 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980419570416 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9001] ppid=8980 vsize=27741660 CPUtime=1.22 cores=0-7
/proc/8983/task/9001/stat : 9001 (java) S 8980 8983 31142 0 -1 1077944384 16840 0 0 0 119 3 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980418517872 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9002] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9002/stat : 9002 (java) S 8980 8983 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16566243 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980417464544 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9003] ppid=8980 vsize=27741660 CPUtime=0.1 cores=0-7
/proc/8983/task/9003/stat : 9003 (java) S 8980 8983 31142 0 -1 1077944384 1265 0 0 0 3 7 0 0 20 0 46 0 16566247 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980416412080 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9004] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9004/stat : 9004 (java) S 8980 8983 31142 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 46 0 16566948 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980404028192 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9005] ppid=8980 vsize=27741660 CPUtime=0.78 cores=0-7
/proc/8983/task/9005/stat : 9005 (java) S 8980 8983 31142 0 -1 1077944384 3105 0 0 0 30 48 0 0 20 0 46 0 16566959 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980402975792 139981361605250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9006] ppid=8980 vsize=27741660 CPUtime=233.88 cores=0-7
/proc/8983/task/9006/stat : 9006 (java) R 8980 8983 31142 0 -1 4202560 21040 0 0 0 23351 37 0 0 20 0 46 0 16566970 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980399820136 139980989665698 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9007] ppid=8980 vsize=27741660 CPUtime=235.73 cores=0-7
/proc/8983/task/9007/stat : 9007 (java) R 8980 8983 31142 0 -1 4202560 22107 0 0 0 23531 42 0 0 20 0 46 0 16566970 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980398767976 139980990709472 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9008] ppid=8980 vsize=27741660 CPUtime=1.5 cores=0-7
/proc/8983/task/9008/stat : 9008 (java) S 8980 8983 31142 0 -1 1077944384 256 0 0 0 142 8 0 0 20 0 46 0 16566971 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980397721104 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9009] ppid=8980 vsize=27741660 CPUtime=234.82 cores=0-7
/proc/8983/task/9009/stat : 9009 (java) R 8980 8983 31142 0 -1 4202560 20959 0 0 0 23426 56 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980396662072 139980997002898 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9010] ppid=8980 vsize=27741660 CPUtime=233.31 cores=0-7
/proc/8983/task/9010/stat : 9010 (java) R 8980 8983 31142 0 -1 4202560 18330 0 0 0 23291 40 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980395609208 139980996019850 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9011] ppid=8980 vsize=27741660 CPUtime=234.93 cores=0-7
/proc/8983/task/9011/stat : 9011 (java) R 8980 8983 31142 0 -1 4202560 57991 0 0 0 23444 49 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980394558608 139980997001264 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9012] ppid=8980 vsize=27741660 CPUtime=1.39 cores=0-7
/proc/8983/task/9012/stat : 9012 (java) S 8980 8983 31142 0 -1 1077944384 443 0 0 0 136 3 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980393509904 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9013] ppid=8980 vsize=27741660 CPUtime=235.1 cores=0-7
/proc/8983/task/9013/stat : 9013 (java) R 8980 8983 31142 0 -1 4202560 54984 0 0 0 23455 55 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980392451576 139980992609883 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9014] ppid=8980 vsize=27741660 CPUtime=235.61 cores=0-7
/proc/8983/task/9014/stat : 9014 (java) R 8980 8983 31142 0 -1 4202560 32066 0 0 0 23506 55 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980391398328 139980990724275 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9015] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9015/stat : 9015 (java) S 8980 8983 31142 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16566973 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980390352192 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9016] ppid=8980 vsize=27741660 CPUtime=234.09 cores=0-7
/proc/8983/task/9016/stat : 9016 (java) R 8980 8983 31142 0 -1 4202560 41664 0 0 0 23359 50 0 0 20 0 46 0 16566974 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980389293048 139980997001214 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9017] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9017/stat : 9017 (java) S 8980 8983 31142 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 46 0 16567197 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980388247184 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9018] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9018/stat : 9018 (java) S 8980 8983 31142 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 46 0 16567197 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980387193728 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9019] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9019/stat : 9019 (java) S 8980 8983 31142 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 46 0 16567846 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980384007072 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9020] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9020/stat : 9020 (java) S 8980 8983 31142 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 46 0 16567848 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980382954512 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9021] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9021/stat : 9021 (java) S 8980 8983 31142 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 16567848 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980381901968 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9022] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9022/stat : 9022 (java) S 8980 8983 31142 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 46 0 16567851 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980380849424 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9023] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9023/stat : 9023 (java) S 8980 8983 31142 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 46 0 16567852 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980379796880 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9024] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9024/stat : 9024 (java) S 8980 8983 31142 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 16567853 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980378744336 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9025] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9025/stat : 9025 (java) S 8980 8983 31142 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 16567856 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980377691792 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9027] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9027/stat : 9027 (java) S 8980 8983 31142 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 16567856 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980376638144 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9028] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9028/stat : 9028 (java) S 8980 8983 31142 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 46 0 16568401 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980375585680 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9029] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9029/stat : 9029 (java) S 8980 8983 31142 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 16568402 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980374533056 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
[pid=8983/tid=9030] ppid=8980 vsize=27741660 CPUtime=0 cores=0-7
/proc/8983/task/9030/stat : 9030 (java) S 8980 8983 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16568404 28407459840 2003847 18446744073709551615 4194304 4196468 140735863348720 139980371383360 139981361604309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140735863353743 140735863353928 140735863353928 140735863357391 0
Current children cumulated CPU time (s) 1920.76
Current children cumulated vsize (KiB) 27741660

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

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

[startup+246.912 s]
/proc/loadavg: 8.77 8.30 7.47 12/219 9044
/proc/meminfo: memFree=23697092/32770624 swapFree=0/269132
[pid=8983] ppid=8980 vsize=0 CPUtime=1921.4 cores=0-7
/proc/8983/stat : 8983 (java) Z 8980 8983 31142 0 -1 4228108 502580 0 0 0 191242 898 0 0 20 0 2 0 16566229 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/8983/statm: 0 0 0 0 0 0 0
[pid=8983/tid=9016] ppid=8980 vsize=0 CPUtime=234.21 cores=0-7
/proc/8983/task/9016/stat : 9016 (java) R 8980 8983 31142 0 -1 4203588 41672 0 0 0 23367 54 0 0 20 0 2 0 16566974 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 6 0 0 1 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.4
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 246.922
CPU time (s): 1921.43
CPU user time (s): 1912.43
CPU system time (s): 8.9978
CPU usage (%): 778.151
Max. virtual memory (cumulated for all children) (KiB): 27741660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1912.43
system time used= 8.9978
maximum resident set size= 8016328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40562
involuntary context switches= 39749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24105 second user time and 2.6614 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-02 14:56:31
IDJOB=4257332
IDBENCH=115914
IDSOLVER=2641
FILE ID=node129/4257332-1501679432
RUNJOBID= node129-1501676508-31199
PBS_JOBID= 
Free space on /tmp= 61776 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257332-1501679432/watcher-4257332-1501679432 -o /tmp/evaluation-result-4257332-1501679432/solver-4257332-1501679432 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1015270966 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257332-1501679432.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1015270966

node129.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.53
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.57
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.53
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.57
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.53
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.57
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.53
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31717152 kB
MemAvailable:   32016860 kB
Buffers:          136620 kB
Cached:           450744 kB
SwapCached:            0 kB
Active:           355396 kB
Inactive:         285792 kB
Active(anon):      54164 kB
Inactive(anon):    16716 kB
Active(file):     301232 kB
Inactive(file):   269076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42336 kB
Writeback:             4 kB
AnonPages:         53504 kB
Mapped:            30780 kB
Shmem:             17064 kB
Slab:             115352 kB
SReclaimable:      90472 kB
SUnreclaim:        24880 kB
KernelStack:        3120 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     286228 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61732 MiB
End job on node129 at 2017-08-02 15:00:39