Trace number 4275217

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)595 20010.9 2520.1899

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 benchmark857
Best CPU time to get the best result obtained on this benchmark2400.03
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.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1529129838
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.46/0.92	c Parsing done, starting search...
77.93/16.44	o 442
77.93/16.45	o 443
77.93/16.45	o 444
79.36/16.62	o 445
79.36/16.63	o 454
79.36/16.64	o 478
79.36/16.64	o 479
79.36/16.65	o 480
80.91/16.81	o 481
80.91/16.84	o 482
81.68/16.95	o 483
81.68/16.97	o 484
82.55/17.05	o 485
82.55/17.07	o 486
86.51/17.58	o 487
88.14/17.74	o 488
88.14/17.78	o 489
91.99/18.24	o 490
93.59/18.47	o 491
100.73/19.38	o 492
102.33/19.52	o 493
106.36/20.08	o 494
118.27/21.52	o 560
118.27/21.53	o 561
118.27/21.53	o 562
122.28/22.10	o 566
122.28/22.11	o 567
131.77/23.23	o 568
141.36/24.47	o 569
142.10/24.53	o 570
142.10/24.56	o 571
142.10/24.59	o 572
147.02/25.14	o 573
147.02/25.15	o 574
147.02/25.15	o 575
158.84/26.66	o 576
277.54/41.57	o 577
280.74/41.99	o 578
283.91/42.31	o 579
283.91/42.40	o 580
292.69/43.45	o 581
292.69/43.49	o 582
293.54/43.54	o 583
340.46/49.43	o 584
340.46/49.43	o 585
577.16/79.19	o 586
577.92/79.25	o 587
577.92/79.25	o 588
1406.34/183.25	o 589
1407.12/183.32	o 590
1407.12/183.35	o 591
5980.28/757.27	o 592
7123.12/900.73	o 593
7123.12/900.73	o 594
7123.12/900.73	o 595
20009.79/2520.11	s SATISFIABLE
20010.66/2520.13	v <instantiation>
20010.66/2520.13	v 	<list>
20010.66/2520.13	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
20010.66/2520.13	v 	</list>
20010.66/2520.13	v 	<values>
20010.66/2520.13	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 0 1 1 1 1 1 0 0 1 0 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 1 1 0 0 0 1 0 0 1 0 1 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 1 0 1 0 0 0 1 1 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 1 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 0 1 0 0 1 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 1 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 1 1 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 1 0 1 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 0 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 1 1 0 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 1 1 0 0 1 1 2 2 0 1 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 0 0 0 0 0 1 1 0 0 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 1 1 0 0 0 0 0 0 0 1 0 1 0 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 0 0 0 1 0 1 1 1 0 0 0 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 1 0 0 0 0 0 1 2 1 0 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 1 0 0 0 1 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 2 0 0 0 1 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 0 1 0 0 0 0 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 1 0 1 0 1 0 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 0 0 1 0 2 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 1 1 0 1 2 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 1 1 2 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 835 867 895 921 940 971 1008 1046 1086 1124 1155 1185 1214 1243 1288 1316 595 
20010.66/2520.13	v 	</values>
20010.66/2520.13	v </instantiation>

Verifier Data 

OK	595

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275217-1502671566/watcher-4275217-1502671566 -o /tmp/evaluation-result-4275217-1502671566/solver-4275217-1502671566 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502668185-29205 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1529129838 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275217-1502671566.xml 

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

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


[startup+0.100165 s]*
/proc/loadavg: 8.54 8.71 8.76 2/200 29426
/proc/meminfo: memFree=31628784/32770624 swapFree=67108860/67108860
[pid=29406] ppid=29403 vsize=14325320 memory=33972 CPUtime=0.12 cores=0-7
/proc/29406/stat : 29406 (java) S 29403 29406 29178 0 -1 1077944320 8403 0 0 0 11 1 0 0 20 0 20 0 100244418 14669127680 8493 33554432000 4194304 4196468 140735527795232 140735527777776 140637086052087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
/proc/29406/statm: 3581330 8493 3410 1 0 3569050 0
[pid=29406/tid=29408] ppid=29403 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 29178 0 -1 4202560 6333 0 0 0 8 1 0 0 20 0 20 0 100244418 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637090249232 140637070132574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29409] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637038672272 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29410] ppid=29403 vsize=14325320 memory=140090187392640 CPUtime=0 cores=0-7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637037619472 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29411] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637036567184 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29412] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637035514384 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29413] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637034462096 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29414] ppid=29403 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637033409296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29415] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637032357008 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29416] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 8493 33554432000 4194304 4196468 140735527795232 140637031304208 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29417] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635914049648 140637086063234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29418] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635912995616 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29419] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635911943280 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29420] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635910891600 140637086070683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29421] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 29178 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635909839472 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29422] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29422/stat : 29422 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635908786672 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29423] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29423/stat : 29423 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635907734384 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29424] ppid=29403 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/29406/task/29424/stat : 29424 (java) S 29403 29406 29178 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635906681584 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29425] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29425/stat : 29425 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635905628512 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29426] ppid=29403 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29426/stat : 29426 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 8493 33554432000 4194304 4196468 140735527795232 140635904575792 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33972 KiB

[startup+0.2101 s]*
/proc/loadavg: 8.54 8.71 8.76 3/200 29426
/proc/meminfo: memFree=31618960/32770624 swapFree=67108860/67108860
[pid=29406] ppid=29403 vsize=14325320 memory=43384 CPUtime=0.3 cores=0-7
/proc/29406/stat : 29406 (java) S 29403 29406 29178 0 -1 1077944320 9418 0 0 0 28 2 0 0 20 0 20 0 100244418 14669127680 10846 33554432000 4194304 4196468 140735527795232 140735527777776 140637086052087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
/proc/29406/statm: 3581330 10846 3639 1 0 3569050 0
[pid=29406/tid=29408] ppid=29403 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 29178 0 -1 4202560 6965 0 0 0 18 1 0 0 20 0 20 0 100244418 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637090272240 140637086075677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29409] ppid=29403 vsize=14325320 memory=3182 CPUtime=0 cores=0-7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637038672272 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29410] ppid=29403 vsize=14325320 memory=288370466339104384 CPUtime=0 cores=0-7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637037619472 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29411] ppid=29403 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637036567184 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29412] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637035514384 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29413] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637034462096 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29414] ppid=29403 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637033409296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29415] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637032357008 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29416] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669127680 10846 33554432000 4194304 4196468 140735527795232 140637031304208 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29417] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635914049648 140637086063234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29418] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635912995616 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29419] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100244421 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635911943280 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29420] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635910891600 140637086070683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29421] ppid=29403 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 29178 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635909839472 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29422] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29422/stat : 29422 (java) S 29403 29406 29178 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635908786672 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29423] ppid=29403 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/29406/task/29423/stat : 29423 (java) S 29403 29406 29178 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635907734384 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29424] ppid=29403 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/29406/task/29424/stat : 29424 (java) R 29403 29406 29178 0 -1 4202560 405 0 0 0 5 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635906681584 140637065175299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29425] ppid=29403 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29425/stat : 29425 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635905628512 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29426] ppid=29403 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29426/stat : 29426 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669127680 10846 33554432000 4194304 4196468 140735527795232 140635904575792 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43384 KiB

[startup+0.309458 s]*
/proc/loadavg: 8.54 8.71 8.76 3/200 29426
/proc/meminfo: memFree=31611144/32770624 swapFree=67108860/67108860
[pid=29406] ppid=29403 vsize=14325340 memory=51300 CPUtime=0.48 cores=0-7
/proc/29406/stat : 29406 (java) S 29403 29406 29178 0 -1 1077944320 10548 0 0 0 45 3 0 0 20 0 20 0 100244418 14669148160 12825 33554432000 4194304 4196468 140735527795232 140735527777776 140637086052087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
/proc/29406/statm: 3581335 12825 3708 1 0 3569050 0
[pid=29406/tid=29408] ppid=29403 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 29178 0 -1 4202560 7586 0 0 0 27 2 0 0 20 0 20 0 100244418 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637090256688 140637086064022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29409] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637038672272 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29410] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637037619472 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29411] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637036567184 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29412] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637035514384 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29413] ppid=29403 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637034462096 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29414] ppid=29403 vsize=14325340 memory=140090089239471 CPUtime=0 cores=0-7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637033409296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29415] ppid=29403 vsize=14325340 memory=140090089241776 CPUtime=0 cores=0-7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637032357008 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29416] ppid=29403 vsize=14325340 memory=140090089244080 CPUtime=0 cores=0-7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14669148160 12825 33554432000 4194304 4196468 140735527795232 140637031304208 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29417] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100244421 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635914049648 140637086063234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29418] ppid=29403 vsize=14325340 memory=280180178495120 CPUtime=0 cores=0-7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100244421 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635912995616 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29419] ppid=29403 vsize=14325340 memory=280180178502032 CPUtime=0 cores=0-7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100244421 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635911943280 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29420] ppid=29403 vsize=14325340 memory=280180178443312 CPUtime=0 cores=0-7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635910891600 140637086070683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29421] ppid=29403 vsize=14325340 memory=280180178515856 CPUtime=0.03 cores=0-7
/proc/29406/task/29421/stat : 29421 (java) R 29403 29406 29178 0 -1 1077944384 618 0 0 0 3 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635909839472 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29422] ppid=29403 vsize=14325340 memory=280180178522768 CPUtime=0.04 cores=0-7
/proc/29406/task/29422/stat : 29422 (java) S 29403 29406 29178 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635908786672 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29423] ppid=29403 vsize=14325340 memory=280180178520464 CPUtime=0.01 cores=0-7
/proc/29406/task/29423/stat : 29423 (java) R 29403 29406 29178 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635907734384 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29424] ppid=29403 vsize=14325340 memory=280180178537072 CPUtime=0.08 cores=0-7
/proc/29406/task/29424/stat : 29424 (java) S 29403 29406 29178 0 -1 1077944384 528 0 0 0 8 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635906681584 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29425] ppid=29403 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29425/stat : 29425 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635905628512 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29426] ppid=29403 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/29406/task/29426/stat : 29426 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244424 14669148160 12825 33554432000 4194304 4196468 140735527795232 140635904575792 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51300 KiB

[startup+0.700812 s]
/proc/loadavg: 8.54 8.71 8.76 5/200 29426
/proc/meminfo: memFree=31592904/32770624 swapFree=67108860/67108860
[pid=29406] ppid=29403 vsize=14327388 memory=102860 CPUtime=1.64 cores=0-7
/proc/29406/stat : 29406 (java) S 29403 29406 29178 0 -1 1077944320 14719 0 0 0 159 5 0 0 20 0 20 0 100244418 14671245312 25715 33554432000 4194304 4196468 140735527795232 140735527777776 140637086052087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
/proc/29406/statm: 3581847 25715 3779 1 0 3569562 0
[pid=29406/tid=29408] ppid=29403 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/29406/task/29408/stat : 29408 (java) S 29403 29406 29178 0 -1 1077944384 8380 0 0 0 64 3 0 0 20 0 20 0 100244418 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637090284704 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29409] ppid=29403 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637038672272 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29410] ppid=29403 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637037619472 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29411] ppid=29403 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637036567184 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29412] ppid=29403 vsize=14327388 memory=1720 CPUtime=0 cores=0-7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637035514384 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29413] ppid=29403 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637034462096 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29414] ppid=29403 vsize=14327388 memory=1436 CPUtime=0 cores=0-7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637033409296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29415] ppid=29403 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637032357008 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29416] ppid=29403 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100244419 14671245312 25715 33554432000 4194304 4196468 140735527795232 140637031304208 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29417] ppid=29403 vsize=14327388 memory=4040 CPUtime=0 cores=0-7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100244421 14671245312 25715 33554432000 4194304 4196468 140735527795232 140635914049648 140637086063234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0

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

/proc/29406/task/29430/stat : 29430 (java) R 29403 29406 29178 0 -1 4202560 217913 0 0 0 248757 178 0 0 20 0 46 0 100245230 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635886930488 140636717725918 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29431] ppid=29403 vsize=16070376 memory=4132 CPUtime=2482.36 cores=0-7
/proc/29406/task/29431/stat : 29431 (java) R 29403 29406 29178 0 -1 4202560 111137 0 0 0 248063 173 0 0 20 0 46 0 100245231 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635818413168 140636710400059 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29432] ppid=29403 vsize=16070376 memory=29104 CPUtime=2482.39 cores=0-7
/proc/29406/task/29432/stat : 29432 (java) R 29403 29406 29178 0 -1 4202560 97860 0 0 0 248084 155 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635817360368 140636711941155 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29433] ppid=29403 vsize=16070376 memory=2332 CPUtime=2492.37 cores=0-7
/proc/29406/task/29433/stat : 29433 (java) R 29403 29406 29178 0 -1 4202560 86804 0 0 0 249101 136 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635816306976 140636710789290 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29434] ppid=29403 vsize=16070376 memory=303430223234596890 CPUtime=2490.62 cores=0-7
/proc/29406/task/29434/stat : 29434 (java) R 29403 29406 29178 0 -1 4202560 115048 0 0 0 248886 176 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635815256864 140636716844501 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29435] ppid=29403 vsize=16070376 memory=288230621803970871 CPUtime=2484.43 cores=0-7
/proc/29406/task/29435/stat : 29435 (java) R 29403 29406 29178 0 -1 4202560 106748 0 0 0 248294 149 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635814201680 140636717723510 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29436] ppid=29403 vsize=16070376 memory=13852958290872725 CPUtime=1.23 cores=0-7
/proc/29406/task/29436/stat : 29436 (java) S 29403 29406 29178 0 -1 1077944384 316 0 0 0 117 6 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635813155984 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29437] ppid=29403 vsize=16070376 memory=2236 CPUtime=1.19 cores=0-7
/proc/29406/task/29437/stat : 29437 (java) S 29403 29406 29178 0 -1 1077944384 1163 0 0 0 117 2 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635812103696 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29438] ppid=29403 vsize=16070376 memory=4084 CPUtime=2489.08 cores=0-7
/proc/29406/task/29438/stat : 29438 (java) R 29403 29406 29178 0 -1 4202560 128801 0 0 0 248730 178 0 0 20 0 46 0 100245233 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635811044080 140636717253806 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29439] ppid=29403 vsize=16070376 memory=932 CPUtime=2488.44 cores=0-7
/proc/29406/task/29439/stat : 29439 (java) R 29403 29406 29178 0 -1 4202560 116789 0 0 0 248650 194 0 0 20 0 46 0 100245237 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635809992560 140636717724433 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29440] ppid=29403 vsize=16070376 memory=1572 CPUtime=0 cores=0-7
/proc/29406/task/29440/stat : 29440 (java) S 29403 29406 29178 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 46 0 100245435 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635808945808 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29441] ppid=29403 vsize=16070376 memory=2200 CPUtime=0 cores=0-7
/proc/29406/task/29441/stat : 29441 (java) S 29403 29406 29178 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 100245435 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635807892496 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29442] ppid=29403 vsize=16070376 memory=6504 CPUtime=0 cores=0-7
/proc/29406/task/29442/stat : 29442 (java) S 29403 29406 29178 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 46 0 100245435 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635806839696 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29443] ppid=29403 vsize=16070376 memory=4560356 CPUtime=0 cores=0-7
/proc/29406/task/29443/stat : 29443 (java) S 29403 29406 29178 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 46 0 100246064 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635803653392 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29444] ppid=29403 vsize=16070376 memory=4557272 CPUtime=0 cores=0-7
/proc/29406/task/29444/stat : 29444 (java) S 29403 29406 29178 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 46 0 100246065 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635802600592 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29445] ppid=29403 vsize=16070376 memory=4132 CPUtime=0 cores=0-7
/proc/29406/task/29445/stat : 29445 (java) S 29403 29406 29178 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 46 0 100246067 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635801548304 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29446] ppid=29403 vsize=16070376 memory=29104 CPUtime=0 cores=0-7
/proc/29406/task/29446/stat : 29446 (java) S 29403 29406 29178 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 46 0 100246068 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635800495504 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29447] ppid=29403 vsize=16070376 memory=2332 CPUtime=0 cores=0-7
/proc/29406/task/29447/stat : 29447 (java) S 29403 29406 29178 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 46 0 100246068 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635799443216 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29448] ppid=29403 vsize=16070376 memory=4132 CPUtime=0 cores=0-7
/proc/29406/task/29448/stat : 29448 (java) S 29403 29406 29178 0 -1 1077944384 515 0 0 0 0 0 0 0 20 0 46 0 100246068 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635798390416 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29449] ppid=29403 vsize=16070376 memory=29104 CPUtime=0 cores=0-7
/proc/29406/task/29449/stat : 29449 (java) S 29403 29406 29178 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 100246068 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635797337104 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29450] ppid=29403 vsize=16070376 memory=2332 CPUtime=0 cores=0-7
/proc/29406/task/29450/stat : 29450 (java) S 29403 29406 29178 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 100246083 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635796284304 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29451] ppid=29403 vsize=16070376 memory=1292 CPUtime=0 cores=0-7
/proc/29406/task/29451/stat : 29451 (java) S 29403 29406 29178 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 100246083 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635795232016 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29452] ppid=29403 vsize=16070376 memory=140090091329217 CPUtime=0 cores=0-7
/proc/29406/task/29452/stat : 29452 (java) S 29403 29406 29178 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 46 0 100246084 16456065024 1139318 33554432000 4194304 4196468 140735527795232 140635794179216 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
Current children cumulated CPU time: 20009.8 s
Current children cumulated vsize: 16070376 KiB
Current children cumulated memory: 4557272 KiB

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

[startup+2520.19 s]
# the end of solver process 29406 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19991.3 s, system=19.6307 s

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

[startup+2520.12 s]
/proc/loadavg: 8.86 8.99 8.89 9/225 29548
/proc/meminfo: memFree=27076400/32770624 swapFree=67108860/67108860
[pid=29406] ppid=29403 vsize=16203504 memory=4557532 CPUtime=20010.7 cores=0-7
/proc/29406/stat : 29406 (java) S 29403 29406 29178 0 -1 1077944320 1877381 0 0 0 1999107 1959 0 0 20 0 48 0 100244418 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140735527777776 140637086052087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
/proc/29406/statm: 4050876 1139383 3877 1 0 4038070 0
[pid=29406/tid=29408] ppid=29403 vsize=16203504 memory=4557276 CPUtime=7.31 cores=0-7
/proc/29406/task/29408/stat : 29408 (java) S 29403 29406 29178 0 -1 1077944384 16421 0 0 0 697 34 0 0 20 0 48 0 100244418 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637090289792 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29409] ppid=29403 vsize=16203504 memory=4557272 CPUtime=10.42 cores=0-7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 29178 0 -1 1077944384 111859 0 0 0 970 72 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637038672272 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29410] ppid=29403 vsize=16203504 memory=0 CPUtime=10.48 cores=0-7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 29178 0 -1 1077944384 85819 0 0 0 983 65 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637037619472 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29411] ppid=29403 vsize=16203504 memory=1040 CPUtime=10.47 cores=0-7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 29178 0 -1 1077944384 86638 0 0 0 984 63 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637036567184 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29412] ppid=29403 vsize=16203504 memory=1040 CPUtime=10.47 cores=0-7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 29178 0 -1 1077944384 85938 0 0 0 982 65 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637035514384 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29413] ppid=29403 vsize=16203504 memory=280180180049776 CPUtime=10.45 cores=0-7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 29178 0 -1 1077944384 83391 0 0 0 980 65 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637034462096 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29414] ppid=29403 vsize=16203504 memory=836 CPUtime=10.43 cores=0-7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 29178 0 -1 1077944384 86572 0 0 0 976 67 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637033409296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29415] ppid=29403 vsize=16203504 memory=1696 CPUtime=10.42 cores=0-7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 29178 0 -1 1077944384 92959 0 0 0 979 63 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637032357008 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29416] ppid=29403 vsize=16203504 memory=4559328 CPUtime=10.42 cores=0-7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 29178 0 -1 1077944384 91981 0 0 0 976 66 0 0 20 0 48 0 100244419 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140637031304208 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29417] ppid=29403 vsize=16203504 memory=1436 CPUtime=1.83 cores=0-7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 29178 0 -1 1077944384 74601 0 0 0 152 31 0 0 20 0 48 0 100244421 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635914049648 140637086063234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29418] ppid=29403 vsize=16203504 memory=4557276 CPUtime=0 cores=0-7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 29178 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 48 0 100244421 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635912995680 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29419] ppid=29403 vsize=16203504 memory=2340 CPUtime=0 cores=0-7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 29178 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 48 0 100244421 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635911943296 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29420] ppid=29403 vsize=16203504 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 29178 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635910891600 140637086070683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29421] ppid=29403 vsize=16203504 memory=0 CPUtime=2.03 cores=0-7
/proc/29406/task/29421/stat : 29421 (java) R 29403 29406 29178 0 -1 1077944384 10194 0 0 0 201 2 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635909839472 140637086063234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29422] ppid=29403 vsize=16203504 memory=4558296 CPUtime=2.05 cores=0-7
/proc/29406/task/29422/stat : 29422 (java) S 29403 29406 29178 0 -1 1077944384 10152 0 0 0 203 2 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635908786672 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29423] ppid=29403 vsize=16203504 memory=4557276 CPUtime=2.92 cores=0-7
/proc/29406/task/29423/stat : 29423 (java) S 29403 29406 29178 0 -1 1077944384 12706 0 0 0 290 2 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635907734384 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29424] ppid=29403 vsize=16203504 memory=17132 CPUtime=1.32 cores=0-7
/proc/29406/task/29424/stat : 29424 (java) S 29403 29406 29178 0 -1 1077944384 23310 0 0 0 128 4 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635906681584 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29425] ppid=29403 vsize=16203504 memory=18292 CPUtime=0 cores=0-7
/proc/29406/task/29425/stat : 29425 (java) S 29403 29406 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635905628512 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29426] ppid=29403 vsize=16203504 memory=4557272 CPUtime=1.21 cores=0-7
/proc/29406/task/29426/stat : 29426 (java) R 29403 29406 29178 0 -1 1077944384 4662 0 0 0 45 76 0 0 20 0 48 0 100244424 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635904575792 140637086063234 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29427] ppid=29403 vsize=16203504 memory=4558296 CPUtime=0 cores=0-7
/proc/29406/task/29427/stat : 29427 (java) S 29403 29406 29178 0 -1 1077944384 735 0 0 0 0 0 0 0 20 0 48 0 100245208 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635892192160 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29428] ppid=29403 vsize=16203504 memory=4100 CPUtime=5.75 cores=0-7
/proc/29406/task/29428/stat : 29428 (java) S 29403 29406 29178 0 -1 1077944384 12083 0 0 0 232 343 0 0 20 0 48 0 100245220 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635891139616 140637086063234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29429] ppid=29403 vsize=16203504 memory=4561396 CPUtime=0.02 cores=0-7
/proc/29406/task/29429/stat : 29429 (java) S 29403 29406 29178 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 48 0 100245230 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635887990288 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29430] ppid=29403 vsize=16203504 memory=4132 CPUtime=2489.46 cores=0-7
/proc/29406/task/29430/stat : 29430 (java) R 29403 29406 29178 0 -1 4202560 217918 0 0 0 248768 178 0 0 20 0 48 0 100245230 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635886930488 140636717216649 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29431] ppid=29403 vsize=16203504 memory=29104 CPUtime=2482.47 cores=0-7
/proc/29406/task/29431/stat : 29431 (java) R 29403 29406 29178 0 -1 4202560 111140 0 0 0 248074 173 0 0 20 0 48 0 100245231 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635818413168 140636710788956 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29432] ppid=29403 vsize=16203504 memory=4559336 CPUtime=2482.5 cores=0-7
/proc/29406/task/29432/stat : 29432 (java) R 29403 29406 29178 0 -1 4202560 97866 0 0 0 248095 155 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635817360504 140636716828541 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29433] ppid=29403 vsize=16203504 memory=4560360 CPUtime=2492.48 cores=0-7
/proc/29406/task/29433/stat : 29433 (java) R 29403 29406 29178 0 -1 4202560 86808 0 0 0 249112 136 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635816306976 140636716844389 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29434] ppid=29403 vsize=16203504 memory=7518026630507424106 CPUtime=2490.73 cores=0-7
/proc/29406/task/29434/stat : 29434 (java) R 29403 29406 29178 0 -1 4202560 115052 0 0 0 248897 176 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635815256864 140636717723510 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29435] ppid=29403 vsize=16203504 memory=4268 CPUtime=2484.53 cores=0-7
/proc/29406/task/29435/stat : 29435 (java) R 29403 29406 29178 0 -1 4202560 106753 0 0 0 248304 149 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635814201680 140636717723650 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29436] ppid=29403 vsize=16203504 memory=1152 CPUtime=1.23 cores=0-7
/proc/29406/task/29436/stat : 29436 (java) S 29403 29406 29178 0 -1 1077944384 316 0 0 0 117 6 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635813155984 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29437] ppid=29403 vsize=16203504 memory=4644 CPUtime=1.19 cores=0-7
/proc/29406/task/29437/stat : 29437 (java) S 29403 29406 29178 0 -1 1077944384 1163 0 0 0 117 2 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635812103696 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29438] ppid=29403 vsize=16203504 memory=4559328 CPUtime=2489.19 cores=0-7
/proc/29406/task/29438/stat : 29438 (java) R 29403 29406 29178 0 -1 4202560 128804 0 0 0 248741 178 0 0 20 0 48 0 100245233 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635811044216 140636717725642 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29439] ppid=29403 vsize=16203504 memory=4559328 CPUtime=2488.55 cores=0-7
/proc/29406/task/29439/stat : 29439 (java) R 29403 29406 29178 0 -1 4202560 116796 0 0 0 248661 194 0 0 20 0 48 0 100245237 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635809992696 140636717723622 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29440] ppid=29403 vsize=16203504 memory=4558312 CPUtime=0 cores=0-7
/proc/29406/task/29440/stat : 29440 (java) S 29403 29406 29178 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 48 0 100245435 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635808945808 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29441] ppid=29403 vsize=16203504 memory=0 CPUtime=0 cores=0-7
/proc/29406/task/29441/stat : 29441 (java) S 29403 29406 29178 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 48 0 100245435 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635807892496 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29442] ppid=29403 vsize=16203504 memory=426877 CPUtime=0 cores=0-7
/proc/29406/task/29442/stat : 29442 (java) S 29403 29406 29178 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 48 0 100245435 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635806839696 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29443] ppid=29403 vsize=16203504 memory=288289986875513927 CPUtime=0 cores=0-7
/proc/29406/task/29443/stat : 29443 (java) S 29403 29406 29178 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 48 0 100246064 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635803653392 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29444] ppid=29403 vsize=16203504 memory=4558304 CPUtime=0 cores=0-7
/proc/29406/task/29444/stat : 29444 (java) S 29403 29406 29178 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 48 0 100246065 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635802600592 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29445] ppid=29403 vsize=16203504 memory=1572 CPUtime=0 cores=0-7
/proc/29406/task/29445/stat : 29445 (java) S 29403 29406 29178 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 48 0 100246067 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635801548304 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29446] ppid=29403 vsize=16203504 memory=4557276 CPUtime=0 cores=0-7
/proc/29406/task/29446/stat : 29446 (java) S 29403 29406 29178 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 48 0 100246068 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635800495504 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29447] ppid=29403 vsize=16203504 memory=4558300 CPUtime=0 cores=0-7
/proc/29406/task/29447/stat : 29447 (java) S 29403 29406 29178 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 48 0 100246068 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635799443216 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29448] ppid=29403 vsize=16203504 memory=4559328 CPUtime=0 cores=0-7
/proc/29406/task/29448/stat : 29448 (java) S 29403 29406 29178 0 -1 1077944384 515 0 0 0 0 0 0 0 20 0 48 0 100246068 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635798390416 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29449] ppid=29403 vsize=16203504 memory=243309 CPUtime=0 cores=0-7
/proc/29406/task/29449/stat : 29449 (java) S 29403 29406 29178 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 48 0 100246068 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635797337104 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29450] ppid=29403 vsize=16203504 memory=4556248 CPUtime=0 cores=0-7
/proc/29406/task/29450/stat : 29450 (java) S 29403 29406 29178 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 48 0 100246083 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635796284304 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29451] ppid=29403 vsize=16203504 memory=4556248 CPUtime=0 cores=0-7
/proc/29406/task/29451/stat : 29451 (java) S 29403 29406 29178 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 48 0 100246083 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635795232016 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
[pid=29406/tid=29452] ppid=29403 vsize=16203504 memory=4557272 CPUtime=0 cores=0-7
/proc/29406/task/29452/stat : 29452 (java) S 29403 29406 29178 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 48 0 100246084 16592388096 1139383 33554432000 4194304 4196468 140735527795232 140635794179216 140637086062293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140735527797857 140735527798043 140735527798043 140735527800783 0
Current children cumulated CPU time: 20010.7 s
Current children cumulated vsize: 16203504 KiB
Current children cumulated memory: 4557532 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 20010.9
CPU user time (s): 19991.3
CPU system time (s): 19.6307
CPU usage (%): 794.025
Max. virtual memory (cumulated for all children) (KiB): 16203504
Max. memory (cumulated for all children) (KiB): 4861292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19991.3
system time used= 19.6307
maximum resident set size= 4861292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1879009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 387758
involuntary context switches= 425233


# summary of solver processes directly reported to runsolver:
#   pid: 29406
#   total CPU time (s): 20010.9
#   total CPU user time (s): 19991.3
#   total CPU system time (s): 19.6307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6845 second user time and 37.551 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 02:31:48
IDJOB=4275217
IDBENCH=115914
IDSOLVER=2668
FILE ID=node112/4275217-1502671566
RUNJOBID= node112-1502668185-29205
PBS_JOBID= 20628965
Free space on /tmp= 61788 MiB

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

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1529129838

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31647304 kB
MemAvailable:   31979524 kB
Buffers:          143068 kB
Cached:           469832 kB
SwapCached:            0 kB
Active:           489900 kB
Inactive:         174672 kB
Active(anon):       3308 kB
Inactive(anon):    76456 kB
Active(file):     486592 kB
Inactive(file):    98216 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42296 kB
Writeback:             0 kB
AnonPages:         58252 kB
Mapped:            43820 kB
Shmem:             25224 kB
Slab:             152348 kB
SReclaimable:     126492 kB
SUnreclaim:        25856 kB
KernelStack:        3200 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61748 MiB
End job on node112 at 2017-08-14 03:13:48