Trace number 4275219

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)519 20022.4 2520.1699

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark941
Best CPU time to get the best result obtained on this benchmark2519.6799
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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: 391099420
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.93	c Parsing done, starting search...
94.20/18.37	o 503
94.20/18.38	o 504
94.20/18.40	o 505
96.54/18.67	o 506
101.31/19.23	o 507
102.11/19.32	o 508
106.10/19.89	o 509
106.96/20.00	o 510
107.76/20.09	o 511
113.32/20.74	o 512
120.43/21.70	o 513
122.02/21.81	o 514
1502.55/195.09	o 515
1503.35/195.18	o 516
1507.27/195.64	o 517
1806.85/233.21	o 518
2848.59/363.99	o 519
20021.33/2520.10	s SATISFIABLE
20021.33/2520.11	v <instantiation>
20021.33/2520.11	v 	<list>
20021.33/2520.11	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z
20021.33/2520.11	v 	</list>
20021.33/2520.11	v 	<values>
20021.33/2520.11	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 2 1 1 1 1 1 1 2 2 1 1 2 1 1 2 1 1 2 2 1 2 1 1 1 1 0 1 1 1 0 1 0 2 1 1 0 1 0 2 1 1 0 1 0 2 2 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 2 1 0 0 1 1 0 0 1 2 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 2 2 0 0 0 0 0 0 2 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 2 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 2 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 2 2 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 2 2 0 1 1 0 2 2 0 1 0 0 0 0 0 0 0 0 0 2 2 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 2 2 2 2 0 0 0 1 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 0 1 1 2 2 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 2 1 2 2 1 1 0 1 2 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 2 1 1 2 1 1 1 0 0 1 2 2 2 2 1 0 0 0 0 0 0 2 0 2 1 1 2 0 2 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 2 2 1 1 2 1 0 0 2 2 2 2 2 1 1 0 0 0 2 0 0 2 2 2 2 1 2 0 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 1 0 2 2 0 0 0 0 1 0 1 1 1 1 2 2 2 1 1 0 0 1 0 2 1 2 2 1 1 0 1 0 1 1 2 2 2 2 0 0 1 1 0 1 1 0 1 2 2 0 2 0 0 0 0 0 0 0 1 1 0 2 2 2 1 1 0 0 1 0 1 1 2 1 0 0 0 0 0 1 0 2 2 1 0 1 0 0 1 0 1 2 2 2 1 1 0 1 0 1 1 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 2 1 1 0 1 1 0 0 2 0 2 1 0 0 1 0 0 0 1 2 2 2 0 0 0 1 0 1 1 0 0 0 0 1 0 2 0 1 0 0 1 0 0 1 1 2 0 1 0 1 1 1 1 0 0 1 1 2 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 2 1 1 0 0 1 0 0 0 1 2 1 1 0 0 0 1 1 0 0 1 0 2 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 2 2 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 2 2 2 2 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 1 2 2 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 2 2 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 2 1 0 1 1 2 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 2 44 134 224 314 404 494 584 674 764 854 944 1034 1124 1204 1252 1276 1298 1319 1332 1355 1371 1388 1407 1428 1442 1455 1465 1479 1499 1523 1546 1564 1589 1626 1671 1712 1745 1776 1804 1830 1857 1879 1903 1920 1948 1972 519 
20021.33/2520.11	v 	</values>
20021.33/2520.11	v </instantiation>

Verifier Data 

OK	519

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275219-1502669043/watcher-4275219-1502669043 -o /tmp/evaluation-result-4275219-1502669043/solver-4275219-1502669043 -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 391099420 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275219-1502669043.xml 

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

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

solver pid=29222, runsolver pid=29219

[startup+0.100121 s]*
/proc/loadavg: 8.28 8.56 8.70 2/198 29242
/proc/meminfo: memFree=31629344/32770624 swapFree=67108860/67108860
[pid=29222] ppid=29219 vsize=14325320 memory=34552 CPUtime=0.12 cores=0-7
/proc/29222/stat : 29222 (java) S 29219 29222 29178 0 -1 1077944320 8533 0 0 0 10 2 0 0 20 0 20 0 99992155 14669127680 8638 33554432000 4194304 4196468 140732216124256 140732216106800 139814348873463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
/proc/29222/statm: 3581330 8638 3411 1 0 3569050 0
[pid=29222/tid=29224] ppid=29219 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29222/task/29224/stat : 29224 (java) R 29219 29222 29178 0 -1 4202560 6479 0 0 0 7 2 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814353090160 139814332953950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29225] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29225/stat : 29225 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814278961552 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29226] ppid=29219 vsize=14325320 memory=140670026299008 CPUtime=0 cores=0-7
/proc/29222/task/29226/stat : 29226 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814277908752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29227] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29227/stat : 29227 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814276856464 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29228] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29228/stat : 29228 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814275803664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29229] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29229/stat : 29229 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814274751376 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29230] ppid=29219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29230/stat : 29230 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139814273698576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29231] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29231/stat : 29231 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813937921168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29232] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29232/stat : 29232 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813936868368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29233] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29233/stat : 29233 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813874215024 139814348884610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29234] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29234/stat : 29234 (java) S 29219 29222 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813873160992 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29235] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29235/stat : 29235 (java) S 29219 29222 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813872108656 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29236] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29236/stat : 29236 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813871056976 139814348892059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29237] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29237/stat : 29237 (java) S 29219 29222 29178 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813801945712 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29238] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29238/stat : 29238 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813800892912 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29239] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29239/stat : 29239 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813799840624 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29240] ppid=29219 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/29222/task/29240/stat : 29240 (java) S 29219 29222 29178 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813798787824 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29241] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29241/stat : 29241 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813797734752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29242] ppid=29219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29242/stat : 29242 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 8638 33554432000 4194304 4196468 140732216124256 139813796682032 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34552 KiB

[startup+0.210037 s]*
/proc/loadavg: 8.28 8.56 8.70 3/198 29242
/proc/meminfo: memFree=31619724/32770624 swapFree=67108860/67108860
[pid=29222] ppid=29219 vsize=14325320 memory=43700 CPUtime=0.3 cores=0-7
/proc/29222/stat : 29222 (java) S 29219 29222 29178 0 -1 1077944320 9517 0 0 0 27 3 0 0 20 0 20 0 99992155 14669127680 10925 33554432000 4194304 4196468 140732216124256 140732216106800 139814348873463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
/proc/29222/statm: 3581330 10925 3605 1 0 3569050 0
[pid=29222/tid=29224] ppid=29219 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/29222/task/29224/stat : 29224 (java) R 29219 29222 29178 0 -1 4202560 7104 0 0 0 17 2 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814353066064 139814332953980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29225] ppid=29219 vsize=14325320 memory=3182 CPUtime=0 cores=0-7
/proc/29222/task/29225/stat : 29225 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814278961552 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29226] ppid=29219 vsize=14325320 memory=288371046178010752 CPUtime=0 cores=0-7
/proc/29222/task/29226/stat : 29226 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814277908752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29227] ppid=29219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29227/stat : 29227 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814276856464 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29228] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29228/stat : 29228 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814275803664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29229] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29229/stat : 29229 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814274751376 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29230] ppid=29219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29230/stat : 29230 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139814273698576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29231] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29231/stat : 29231 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813937921168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29232] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29232/stat : 29232 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992156 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813936868368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29233] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29233/stat : 29233 (java) S 29219 29222 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813874215024 139814348884610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29234] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29234/stat : 29234 (java) S 29219 29222 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813873160992 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29235] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29235/stat : 29235 (java) S 29219 29222 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99992158 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813872108656 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29236] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29236/stat : 29236 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813871056976 139814348892059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29237] ppid=29219 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/29222/task/29237/stat : 29237 (java) S 29219 29222 29178 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813801945712 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29238] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29238/stat : 29238 (java) S 29219 29222 29178 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813800892912 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29239] ppid=29219 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/29222/task/29239/stat : 29239 (java) S 29219 29222 29178 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813799840624 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29240] ppid=29219 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/29222/task/29240/stat : 29240 (java) S 29219 29222 29178 0 -1 1077944384 401 0 0 0 5 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813798787824 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29241] ppid=29219 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29241/stat : 29241 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813797734752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29242] ppid=29219 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29242/stat : 29242 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669127680 10925 33554432000 4194304 4196468 140732216124256 139813796682032 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43700 KiB

[startup+0.309549 s]*
/proc/loadavg: 8.28 8.56 8.70 3/198 29242
/proc/meminfo: memFree=31612792/32770624 swapFree=67108860/67108860
[pid=29222] ppid=29219 vsize=14325340 memory=51092 CPUtime=0.49 cores=0-7
/proc/29222/stat : 29222 (java) S 29219 29222 29178 0 -1 1077944320 10564 0 0 0 45 4 0 0 20 0 20 0 99992155 14669148160 12773 33554432000 4194304 4196468 140732216124256 140732216106800 139814348873463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
/proc/29222/statm: 3581335 12773 3696 1 0 3569050 0
[pid=29222/tid=29224] ppid=29219 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29222/task/29224/stat : 29224 (java) R 29219 29222 29178 0 -1 4202560 7660 0 0 0 26 3 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814353095872 139814332232069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29225] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29225/stat : 29225 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814278961552 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29226] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29226/stat : 29226 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814277908752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29227] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29227/stat : 29227 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814276856464 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29228] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29228/stat : 29228 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814275803664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29229] ppid=29219 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/29222/task/29229/stat : 29229 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814274751376 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29230] ppid=29219 vsize=14325340 memory=140669909824431 CPUtime=0 cores=0-7
/proc/29222/task/29230/stat : 29230 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139814273698576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29231] ppid=29219 vsize=14325340 memory=140669909826736 CPUtime=0 cores=0-7
/proc/29222/task/29231/stat : 29231 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813937921168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29232] ppid=29219 vsize=14325340 memory=140669909829040 CPUtime=0 cores=0-7
/proc/29222/task/29232/stat : 29232 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992156 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813936868368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29233] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29233/stat : 29233 (java) S 29219 29222 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99992158 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813874215024 139814348884610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29234] ppid=29219 vsize=14325340 memory=281339819665040 CPUtime=0 cores=0-7
/proc/29222/task/29234/stat : 29234 (java) S 29219 29222 29178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 99992158 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813873160992 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29235] ppid=29219 vsize=14325340 memory=281339819671952 CPUtime=0 cores=0-7
/proc/29222/task/29235/stat : 29235 (java) S 29219 29222 29178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 99992158 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813872108656 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29236] ppid=29219 vsize=14325340 memory=281339819613232 CPUtime=0 cores=0-7
/proc/29222/task/29236/stat : 29236 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813871056976 139814348892059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29237] ppid=29219 vsize=14325340 memory=281339819685776 CPUtime=0.02 cores=0-7
/proc/29222/task/29237/stat : 29237 (java) S 29219 29222 29178 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813801945712 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29238] ppid=29219 vsize=14325340 memory=281339819692688 CPUtime=0.04 cores=0-7
/proc/29222/task/29238/stat : 29238 (java) S 29219 29222 29178 0 -1 1077944384 233 0 0 0 4 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813800892912 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29239] ppid=29219 vsize=14325340 memory=281339819690384 CPUtime=0.02 cores=0-7
/proc/29222/task/29239/stat : 29239 (java) S 29219 29222 29178 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813799840624 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29240] ppid=29219 vsize=14325340 memory=281339819706992 CPUtime=0.08 cores=0-7
/proc/29222/task/29240/stat : 29240 (java) S 29219 29222 29178 0 -1 1077944384 523 0 0 0 8 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813798787824 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29241] ppid=29219 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29241/stat : 29241 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813797734752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29242] ppid=29219 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/29222/task/29242/stat : 29242 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992161 14669148160 12773 33554432000 4194304 4196468 140732216124256 139813796682032 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51092 KiB

[startup+0.700811 s]
/proc/loadavg: 8.28 8.56 8.70 3/198 29242
/proc/meminfo: memFree=31593744/32770624 swapFree=67108860/67108860
[pid=29222] ppid=29219 vsize=14327388 memory=106836 CPUtime=1.63 cores=0-7
/proc/29222/stat : 29222 (java) S 29219 29222 29178 0 -1 1077944320 14665 0 0 0 156 7 0 0 20 0 20 0 99992155 14671245312 26709 33554432000 4194304 4196468 140732216124256 140732216106800 139814348873463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
/proc/29222/statm: 3581847 26709 3778 1 0 3569562 0
[pid=29222/tid=29224] ppid=29219 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/29222/task/29224/stat : 29224 (java) R 29219 29222 29178 0 -1 4202560 8360 0 0 0 63 4 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814353108704 139813955729468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29225] ppid=29219 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29225/stat : 29225 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814278961552 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29226] ppid=29219 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29226/stat : 29226 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814277908752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29227] ppid=29219 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29227/stat : 29227 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814276856464 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29228] ppid=29219 vsize=14327388 memory=1720 CPUtime=0 cores=0-7
/proc/29222/task/29228/stat : 29228 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814275803664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29229] ppid=29219 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/29222/task/29229/stat : 29229 (java) S 29219 29222 29178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814274751376 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29230] ppid=29219 vsize=14327388 memory=1436 CPUtime=0 cores=0-7
/proc/29222/task/29230/stat : 29230 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139814273698576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29231] ppid=29219 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/29222/task/29231/stat : 29231 (java) S 29219 29222 29178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139813937921168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29232] ppid=29219 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/29222/task/29232/stat : 29232 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 99992156 14671245312 26709 33554432000 4194304 4196468 140732216124256 139813936868368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29233] ppid=29219 vsize=14327388 memory=4040 CPUtime=0 cores=0-7
/proc/29222/task/29233/stat : 29233 (java) S 29219 29222 29178 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 99992158 14671245312 26709 33554432000 4194304 4196468 140732216124256 139813874215024 139814348884610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0

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

/proc/29222/task/29237/stat : 29237 (java) S 29219 29222 29178 0 -1 1077944384 12460 0 0 0 236 4 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813801945712 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29238] ppid=29219 vsize=15804120 memory=6791534058613427641 CPUtime=2.73 cores=0-7
/proc/29222/task/29238/stat : 29238 (java) S 29219 29222 29178 0 -1 1077944384 15887 0 0 0 271 2 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813800892912 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29239] ppid=29219 vsize=15804120 memory=4126316290023845779 CPUtime=3.27 cores=0-7
/proc/29222/task/29239/stat : 29239 (java) S 29219 29222 29178 0 -1 1077944384 15509 0 0 0 324 3 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813799840624 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29240] ppid=29219 vsize=15804120 memory=4825164 CPUtime=1.31 cores=0-7
/proc/29222/task/29240/stat : 29240 (java) S 29219 29222 29178 0 -1 1077944384 22981 0 0 0 127 4 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813798787824 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29241] ppid=29219 vsize=15804120 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/29222/task/29241/stat : 29241 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813797734752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29242] ppid=29219 vsize=15804120 memory=288230621803970871 CPUtime=1.01 cores=0-7
/proc/29222/task/29242/stat : 29242 (java) S 29219 29222 29178 0 -1 1077944384 3909 0 0 0 48 53 0 0 20 0 42 0 99992161 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813796682032 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29243] ppid=29219 vsize=15804120 memory=15540704344541588 CPUtime=0 cores=0-7
/proc/29222/task/29243/stat : 29243 (java) S 29219 29222 29178 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 42 0 99992937 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813784298368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29244] ppid=29219 vsize=15804120 memory=1792 CPUtime=5.5 cores=0-7
/proc/29222/task/29244/stat : 29244 (java) R 29219 29222 29178 0 -1 1077944384 11919 0 0 0 271 279 0 0 20 0 42 0 99992948 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813783245856 139814348884610 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29245] ppid=29219 vsize=15804120 memory=648 CPUtime=2495.95 cores=0-7
/proc/29222/task/29245/stat : 29245 (java) R 29219 29222 29178 0 -1 4202560 111584 0 0 0 249451 144 0 0 20 0 42 0 99992958 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813780089616 139813961217019 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29246] ppid=29219 vsize=15804120 memory=1236 CPUtime=2488.09 cores=0-7
/proc/29222/task/29246/stat : 29246 (java) R 29219 29222 29178 0 -1 4202560 164631 0 0 0 248657 152 0 0 20 0 42 0 99992958 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813779036920 139813955775712 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29247] ppid=29219 vsize=15804120 memory=273 CPUtime=2491.44 cores=0-7
/proc/29222/task/29247/stat : 29247 (java) R 29219 29222 29178 0 -1 4202560 125557 0 0 0 248972 172 0 0 20 0 42 0 99992958 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813777985480 139813963335093 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29248] ppid=29219 vsize=15804120 memory=327 CPUtime=2482.53 cores=0-7
/proc/29222/task/29248/stat : 29248 (java) R 29219 29222 29178 0 -1 4202560 126802 0 0 0 248108 145 0 0 20 0 42 0 99992961 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813776934976 139813963330678 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29249] ppid=29219 vsize=15804120 memory=131 CPUtime=2488.94 cores=0-7
/proc/29222/task/29249/stat : 29249 (java) R 29219 29222 29178 0 -1 4202560 147114 0 0 0 248663 231 0 0 20 0 42 0 99992961 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813775879368 139813961217366 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29250] ppid=29219 vsize=15804120 memory=0 CPUtime=1.33 cores=0-7
/proc/29222/task/29250/stat : 29250 (java) S 29219 29222 29178 0 -1 1077944384 929 0 0 0 122 11 0 0 20 0 42 0 99992961 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813774832304 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29251] ppid=29219 vsize=15804120 memory=101 CPUtime=0 cores=0-7
/proc/29222/task/29251/stat : 29251 (java) S 29219 29222 29178 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 42 0 99992964 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813773780144 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29252] ppid=29219 vsize=15804120 memory=0 CPUtime=2489.66 cores=0-7
/proc/29222/task/29252/stat : 29252 (java) R 29219 29222 29178 0 -1 4202560 122662 0 0 0 248782 184 0 0 20 0 42 0 99992964 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813772720824 139813963330790 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29253] ppid=29219 vsize=15804120 memory=547 CPUtime=2492.89 cores=0-7
/proc/29222/task/29253/stat : 29253 (java) R 29219 29222 29178 0 -1 4202560 156470 0 0 0 249128 161 0 0 20 0 42 0 99992964 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813771669192 139813961401040 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29254] ppid=29219 vsize=15804120 memory=248880 CPUtime=0 cores=0-7
/proc/29222/task/29254/stat : 29254 (java) S 29219 29222 29178 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 42 0 99992964 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813770622128 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29255] ppid=29219 vsize=15804120 memory=248093 CPUtime=2480.57 cores=0-7
/proc/29222/task/29255/stat : 29255 (java) R 29219 29222 29178 0 -1 4202560 128682 0 0 0 247882 175 0 0 20 0 42 0 99992965 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813769564104 139813963330663 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29256] ppid=29219 vsize=15804120 memory=248437 CPUtime=0 cores=0-7
/proc/29222/task/29256/stat : 29256 (java) S 29219 29222 29178 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 42 0 99993331 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813768517168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29257] ppid=29219 vsize=15804120 memory=247537 CPUtime=0 cores=0-7
/proc/29222/task/29257/stat : 29257 (java) S 29219 29222 29178 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 42 0 99993332 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813767463856 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29266] ppid=29219 vsize=15804120 memory=248180 CPUtime=0 cores=0-7
/proc/29222/task/29266/stat : 29266 (java) S 29219 29222 29178 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 42 0 99993995 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813764277040 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29267] ppid=29219 vsize=15804120 memory=133 CPUtime=0 cores=0-7
/proc/29222/task/29267/stat : 29267 (java) S 29219 29222 29178 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 42 0 99993996 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813763224752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29268] ppid=29219 vsize=15804120 memory=1998070 CPUtime=0 cores=0-7
/proc/29222/task/29268/stat : 29268 (java) S 29219 29222 29178 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 42 0 99993999 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813762171952 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29269] ppid=29219 vsize=15804120 memory=15505 CPUtime=0 cores=0-7
/proc/29222/task/29269/stat : 29269 (java) S 29219 29222 29178 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 42 0 99994002 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813761119664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29270] ppid=29219 vsize=15804120 memory=4104 CPUtime=0 cores=0-7
/proc/29222/task/29270/stat : 29270 (java) S 29219 29222 29178 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 42 0 99994004 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813760066864 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29271] ppid=29219 vsize=15804120 memory=1696 CPUtime=0 cores=0-7
/proc/29222/task/29271/stat : 29271 (java) S 29219 29222 29178 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 42 0 99994004 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813759014576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29272] ppid=29219 vsize=15804120 memory=920 CPUtime=0 cores=0-7
/proc/29222/task/29272/stat : 29272 (java) S 29219 29222 29178 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 42 0 99994006 16183418880 1205776 33554432000 4194304 4196468 140732216124256 139813757961776 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
Current children cumulated CPU time: 20021.3 s
Current children cumulated vsize: 15804120 KiB
Current children cumulated memory: 4823104 KiB

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

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

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

[startup+2520.13 s]
/proc/loadavg: 8.54 8.71 8.76 9/222 29332
/proc/meminfo: memFree=26828632/32770624 swapFree=67108860/67108860
[pid=29222] ppid=29219 vsize=15937248 memory=4823340 CPUtime=20022.2 cores=0-7
/proc/29222/stat : 29222 (java) S 29219 29222 29178 0 -1 1077944320 1990888 0 0 0 2000144 2080 0 0 20 0 43 0 99992155 16319741952 1205835 33554432000 4194304 4196468 140732216124256 140732216106800 139814348873463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
/proc/29222/statm: 3984312 1205835 3880 1 0 3971506 0
[pid=29222/tid=29224] ppid=29219 vsize=15937248 memory=4823104 CPUtime=7.77 cores=0-7
/proc/29222/task/29224/stat : 29224 (java) S 29219 29222 29178 0 -1 1077944384 17149 0 0 0 742 35 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814353111168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29225] ppid=29219 vsize=15937248 memory=4824132 CPUtime=10.48 cores=0-7
/proc/29222/task/29225/stat : 29225 (java) S 29219 29222 29178 0 -1 1077944384 94721 0 0 0 968 80 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814278961552 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29226] ppid=29219 vsize=15937248 memory=4824132 CPUtime=10.55 cores=0-7
/proc/29222/task/29226/stat : 29226 (java) S 29219 29222 29178 0 -1 1077944384 90938 0 0 0 974 81 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814277908752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29227] ppid=29219 vsize=15937248 memory=4823104 CPUtime=10.52 cores=0-7
/proc/29222/task/29227/stat : 29227 (java) S 29219 29222 29178 0 -1 1077944384 95443 0 0 0 976 76 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814276856464 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29228] ppid=29219 vsize=15937248 memory=13252 CPUtime=10.57 cores=0-7
/proc/29222/task/29228/stat : 29228 (java) S 29219 29222 29178 0 -1 1077944384 101206 0 0 0 976 81 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814275803664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29229] ppid=29219 vsize=15937248 memory=0 CPUtime=10.57 cores=0-7
/proc/29222/task/29229/stat : 29229 (java) S 29219 29222 29178 0 -1 1077944384 89700 0 0 0 981 76 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814274751376 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29230] ppid=29219 vsize=15937248 memory=140674321266303 CPUtime=10.49 cores=0-7
/proc/29222/task/29230/stat : 29230 (java) S 29219 29222 29178 0 -1 1077944384 86733 0 0 0 974 75 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139814273698576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29231] ppid=29219 vsize=15937248 memory=4126316290023845779 CPUtime=10.54 cores=0-7
/proc/29222/task/29231/stat : 29231 (java) S 29219 29222 29178 0 -1 1077944384 87532 0 0 0 977 77 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813937921168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29232] ppid=29219 vsize=15937248 memory=2340 CPUtime=10.5 cores=0-7
/proc/29222/task/29232/stat : 29232 (java) S 29219 29222 29178 0 -1 1077944384 90445 0 0 0 976 74 0 0 20 0 42 0 99992156 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813936868368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29233] ppid=29219 vsize=15937248 memory=0 CPUtime=1.46 cores=0-7
/proc/29222/task/29233/stat : 29233 (java) S 29219 29222 29178 0 -1 1077944384 64828 0 0 0 119 27 0 0 20 0 42 0 99992158 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813874215024 139814348884610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29234] ppid=29219 vsize=15937248 memory=15628 CPUtime=0 cores=0-7
/proc/29222/task/29234/stat : 29234 (java) S 29219 29222 29178 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 42 0 99992158 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813873161056 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29235] ppid=29219 vsize=15937248 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29222/task/29235/stat : 29235 (java) S 29219 29222 29178 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 42 0 99992158 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813872108672 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29236] ppid=29219 vsize=15937248 memory=8387223549236478041 CPUtime=0 cores=0-7
/proc/29222/task/29236/stat : 29236 (java) S 29219 29222 29178 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813871056976 139814348892059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29237] ppid=29219 vsize=15937248 memory=4824136 CPUtime=2.4 cores=0-7
/proc/29222/task/29237/stat : 29237 (java) R 29219 29222 29178 0 -1 1077944384 12462 0 0 0 236 4 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813801945712 139814348884610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29238] ppid=29219 vsize=15937248 memory=4825160 CPUtime=2.74 cores=0-7
/proc/29222/task/29238/stat : 29238 (java) S 29219 29222 29178 0 -1 1077944384 16068 0 0 0 272 2 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813800892912 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29239] ppid=29219 vsize=15937248 memory=0 CPUtime=3.27 cores=0-7
/proc/29222/task/29239/stat : 29239 (java) S 29219 29222 29178 0 -1 1077944384 15714 0 0 0 324 3 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813799840624 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29240] ppid=29219 vsize=15937248 memory=281339819458800 CPUtime=1.32 cores=0-7
/proc/29222/task/29240/stat : 29240 (java) S 29219 29222 29178 0 -1 1077944384 24055 0 0 0 127 5 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813798787824 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29241] ppid=29219 vsize=15937248 memory=4084 CPUtime=0 cores=0-7
/proc/29222/task/29241/stat : 29241 (java) S 29219 29222 29178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 99992161 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813797734752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29243] ppid=29219 vsize=15937248 memory=1572 CPUtime=0 cores=0-7
/proc/29222/task/29243/stat : 29243 (java) S 29219 29222 29178 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 42 0 99992937 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813784298368 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29244] ppid=29219 vsize=15937248 memory=4825156 CPUtime=5.5 cores=0-7
/proc/29222/task/29244/stat : 29244 (java) S 29219 29222 29178 0 -1 1077944384 11919 0 0 0 271 279 0 0 20 0 42 0 99992948 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813783245856 139814348884610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29245] ppid=29219 vsize=15937248 memory=4824136 CPUtime=2496.06 cores=0-7
/proc/29222/task/29245/stat : 29245 (java) R 29219 29222 29178 0 -1 4202560 111584 0 0 0 249462 144 0 0 20 0 42 0 99992958 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813780090432 139813963332353 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29246] ppid=29219 vsize=15937248 memory=1228 CPUtime=2488.19 cores=0-7
/proc/29222/task/29246/stat : 29246 (java) R 29219 29222 29178 0 -1 4202560 164632 0 0 0 248667 152 0 0 20 0 42 0 99992958 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813779036920 139813963331941 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29247] ppid=29219 vsize=15937248 memory=6791534058613427641 CPUtime=2491.55 cores=0-7
/proc/29222/task/29247/stat : 29247 (java) R 29219 29222 29178 0 -1 4202560 125557 0 0 0 248983 172 0 0 20 0 42 0 99992958 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813777984632 139813962360037 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29248] ppid=29219 vsize=15937248 memory=6504 CPUtime=2482.64 cores=0-7
/proc/29222/task/29248/stat : 29248 (java) R 29219 29222 29178 0 -1 4202560 126802 0 0 0 248119 145 0 0 20 0 42 0 99992961 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813776932544 139813957191008 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29249] ppid=29219 vsize=15937248 memory=4826200 CPUtime=2489.05 cores=0-7
/proc/29222/task/29249/stat : 29249 (java) R 29219 29222 29178 0 -1 4202560 147117 0 0 0 248674 231 0 0 20 0 42 0 99992961 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813775878712 139813955775686 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29250] ppid=29219 vsize=15937248 memory=281339823583088 CPUtime=1.33 cores=0-7
/proc/29222/task/29250/stat : 29250 (java) S 29219 29222 29178 0 -1 1077944384 929 0 0 0 122 11 0 0 20 0 42 0 99992961 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813774832304 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29251] ppid=29219 vsize=15937248 memory=140669910472147 CPUtime=0 cores=0-7
/proc/29222/task/29251/stat : 29251 (java) S 29219 29222 29178 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 42 0 99992964 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813773780144 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29252] ppid=29219 vsize=15937248 memory=281339820695280 CPUtime=2489.78 cores=0-7
/proc/29222/task/29252/stat : 29252 (java) R 29219 29222 29178 0 -1 4202560 122662 0 0 0 248794 184 0 0 20 0 42 0 99992964 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813772720632 139813963334647 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29253] ppid=29219 vsize=15937248 memory=4824136 CPUtime=2493 cores=0-7
/proc/29222/task/29253/stat : 29253 (java) R 29219 29222 29178 0 -1 4202560 156470 0 0 0 249139 161 0 0 20 0 42 0 99992964 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813771668208 139813963331461 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29254] ppid=29219 vsize=15937248 memory=4824136 CPUtime=0 cores=0-7
/proc/29222/task/29254/stat : 29254 (java) S 29219 29222 29178 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 42 0 99992964 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813770622128 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29255] ppid=29219 vsize=15937248 memory=4824132 CPUtime=2480.68 cores=0-7
/proc/29222/task/29255/stat : 29255 (java) R 29219 29222 29178 0 -1 4202560 128683 0 0 0 247893 175 0 0 20 0 42 0 99992965 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813769563448 139813963331775 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29256] ppid=29219 vsize=15937248 memory=4824132 CPUtime=0 cores=0-7
/proc/29222/task/29256/stat : 29256 (java) S 29219 29222 29178 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 42 0 99993331 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813768517168 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29257] ppid=29219 vsize=15937248 memory=4825164 CPUtime=0 cores=0-7
/proc/29222/task/29257/stat : 29257 (java) S 29219 29222 29178 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 42 0 99993332 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813767463856 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29266] ppid=29219 vsize=15937248 memory=4826200 CPUtime=0 cores=0-7
/proc/29222/task/29266/stat : 29266 (java) S 29219 29222 29178 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 42 0 99993995 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813764277040 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29267] ppid=29219 vsize=15937248 memory=0 CPUtime=0 cores=0-7
/proc/29222/task/29267/stat : 29267 (java) S 29219 29222 29178 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 42 0 99993996 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813763224752 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29268] ppid=29219 vsize=15937248 memory=4824140 CPUtime=0 cores=0-7
/proc/29222/task/29268/stat : 29268 (java) S 29219 29222 29178 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 42 0 99993999 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813762171952 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29269] ppid=29219 vsize=15937248 memory=29044 CPUtime=0 cores=0-7
/proc/29222/task/29269/stat : 29269 (java) S 29219 29222 29178 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 42 0 99994002 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813761119664 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29270] ppid=29219 vsize=15937248 memory=2332 CPUtime=0 cores=0-7
/proc/29222/task/29270/stat : 29270 (java) S 29219 29222 29178 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 42 0 99994004 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813760066864 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29271] ppid=29219 vsize=15937248 memory=4132 CPUtime=0 cores=0-7
/proc/29222/task/29271/stat : 29271 (java) S 29219 29222 29178 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 42 0 99994004 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813759014576 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
[pid=29222/tid=29272] ppid=29219 vsize=15937248 memory=29044 CPUtime=0 cores=0-7
/proc/29222/task/29272/stat : 29272 (java) S 29219 29222 29178 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 42 0 99994006 16319741952 1205835 33554432000 4194304 4196468 140732216124256 139813757961776 139814348883669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732216132706 140732216132891 140732216132891 140732216135631 0
Current children cumulated CPU time: 20022.2 s
Current children cumulated vsize: 15937248 KiB
Current children cumulated memory: 4823340 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 20022.4
CPU user time (s): 20001.6
CPU system time (s): 20.8408
CPU usage (%): 794.486
Max. virtual memory (cumulated for all children) (KiB): 15937248
Max. memory (cumulated for all children) (KiB): 4945000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20001.6
system time used= 20.8408
maximum resident set size= 4945000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1991121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 379834
involuntary context switches= 424796


# summary of solver processes directly reported to runsolver:
#   pid: 29222
#   total CPU time (s): 20022.4
#   total CPU user time (s): 20001.6
#   total CPU system time (s): 20.8408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6506 second user time and 34.7464 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 01:49:45
IDJOB=4275219
IDBENCH=115895
IDSOLVER=2668
FILE ID=node112/4275219-1502669043
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-44.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-4275219-1502669043/watcher-4275219-1502669043 -o /tmp/evaluation-result-4275219-1502669043/solver-4275219-1502669043 -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 391099420 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275219-1502669043.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=391099420

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:        31648628 kB
MemAvailable:   31979596 kB
Buffers:          141904 kB
Cached:           469744 kB
SwapCached:            0 kB
Active:           490132 kB
Inactive:         173480 kB
Active(anon):       3576 kB
Inactive(anon):    76476 kB
Active(file):     486556 kB
Inactive(file):    97004 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42312 kB
Writeback:             0 kB
AnonPages:         58204 kB
Mapped:            43792 kB
Shmem:             25224 kB
Slab:             152348 kB
SReclaimable:     126484 kB
SUnreclaim:        25864 kB
KernelStack:        3136 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323008 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 02:31:45