Trace number 4291204

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 2018-07-02SAT (TO)257 19945.1 2520.24

General information on the benchmark

NameLowAutocorrelation/
LowAutocorrelation-050_c18.xml
MD5SUM22f254a3908600e49eb95db263b253c5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark377
Best CPU time to get the best result obtained on this benchmark20090.2
Satisfiable
(Un)Satisfiability was proved
Number of variables2549
Number of constraints1323
Number of domains99
Minimum domain size2
Maximum domain size99
Distribution of domain sizes[{"size":2,"count":1276},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}]
Minimum variable degree0
Maximum variable degree49
Distribution of variable degrees[{"degree":0,"count":1176},{"degree":2,"count":1323},{"degree":49,"count":50}]
Minimum constraint arity2
Maximum constraint arity50
Distribution of constraint arities[{"arity":2,"count":50},{"arity":3,"count":1226},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":1},{"arity":49,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints1274
Distribution of constraint types[{"type":"intension","count":1274},{"type":"sum","count":49}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 570211543
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.56/1.27	c Parsing done, starting search...
10.61/4.19	o 15953
10.61/4.19	o 15897
10.61/4.20	o 15801
10.61/4.20	o 15441
11.26/4.20	o 8193
11.26/4.21	o 6313
11.26/4.21	o 3913
11.26/4.21	o 3017
11.26/4.23	o 2769
11.26/4.25	o 2721
11.26/4.25	o 2249
12.00/4.30	o 2153
12.00/4.30	o 1985
12.00/4.30	o 1777
12.00/4.31	o 1761
12.00/4.32	o 1681
12.00/4.33	o 1577
12.00/4.33	o 1393
12.00/4.34	o 1337
12.00/4.35	o 1065
12.00/4.39	o 937
12.83/4.44	o 929
12.83/4.44	o 721
12.83/4.46	o 609
13.58/4.53	o 585
13.58/4.55	o 513
15.16/4.80	o 481
15.99/4.84	o 473
19.10/5.24	o 457
19.91/5.31	o 449
20.72/5.41	o 425
25.45/6.04	o 385
136.84/20.03	o 369
136.84/20.05	o 361
230.74/31.85	o 353
250.65/34.36	o 329
535.10/70.06	o 313
3313.01/420.57	o 297
5845.98/739.64	o 265
11379.25/1437.43	o 257
19943.50/2520.09	s SATISFIABLE
19943.50/2520.10	v <instantiation>
19943.50/2520.10	v 	<list>
19943.50/2520.10	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[45][0] y[45][1] y[45][2] y[45][3] y[46][0] y[46][1] y[46][2] y[47][0] y[47][1] y[48][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48]
19943.50/2520.10	v 	</list>
19943.50/2520.10	v 	<values>
19943.50/2520.10	v 		1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 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 -4 1 -4 1 0 1 4 3 -2 -1 0 3 -2 -1 -4 1 -4 -3 2 -1 4 1 -2 3 0 -3 -2 -1 4 1 2 1 -2 3 0 3 -2 -1 -4 -1 2 1 2 1 2 1 2 1 1 16 1 16 1 0 1 16 9 4 1 0 9 4 1 16 1 16 9 4 1 16 1 4 9 0 9 4 1 16 1 4 1 4 9 0 9 4 1 16 1 4 1 4 1 4 1 4 1 
19943.50/2520.10	v 	</values>
19943.50/2520.10	v </instantiation>

Verifier Data 

OK	257

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291204-1532660336/watcher-4291204-1532660336 -o /tmp/evaluation-result-4291204-1532660336/solver-4291204-1532660336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 570211543 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291204-1532660336.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=12120, runsolver pid=12117

[startup+0.100111 s]*
/proc/loadavg: 8.14 4.72 2.69 2/198 12140
/proc/meminfo: memFree=23795580/32770624 swapFree=67108860/67108860
[pid=12120] ppid=12117 vsize=26103424 memory=29888 CPUtime=0.11 cores=0-7
/proc/12120/stat : 12120 (java) S 12117 12120 10558 0 -1 1077944320 6955 0 0 0 10 1 0 0 20 0 20 0 83596846 26729906176 7472 33554432000 4194304 4196468 140735879312352 140735879294896 139707099389687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
/proc/12120/statm: 6525856 7472 3138 1 0 6487932 0
[pid=12120/tid=12122] ppid=12117 vsize=26103424 memory=7752553616680851865 CPUtime=0.09 cores=0-7
/proc/12120/task/12122/stat : 12122 (java) R 12117 12120 10558 0 -1 4202560 5207 0 0 0 8 1 0 0 20 0 20 0 83596846 26729906176 7670 33554432000 4194304 4196468 140735879312352 139707103610896 139707079665515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12123] ppid=12117 vsize=26103424 memory=732370211765038053 CPUtime=0 cores=0-7
/proc/12120/task/12123/stat : 12123 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7670 33554432000 4194304 4196468 140735879312352 139707052010640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12124] ppid=12117 vsize=26103424 memory=140073427584640 CPUtime=0 cores=0-7
/proc/12120/task/12124/stat : 12124 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7670 33554432000 4194304 4196468 140735879312352 139707050957840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12125] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12125/stat : 12125 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7670 33554432000 4194304 4196468 140735879312352 139707049905040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12126] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12126/stat : 12126 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7736 33554432000 4194304 4196468 140735879312352 139707048852240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12127] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12127/stat : 12127 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7736 33554432000 4194304 4196468 140735879312352 139707047799440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12128] ppid=12117 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12120/task/12128/stat : 12128 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7736 33554432000 4194304 4196468 140735879312352 139707046746640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12129] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12129/stat : 12129 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7736 33554432000 4194304 4196468 140735879312352 139707045693840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12130] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12130/stat : 12130 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 7736 33554432000 4194304 4196468 140735879312352 139707044641040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12131] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12131/stat : 12131 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596848 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706159328112 139707099400834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12132] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12132/stat : 12132 (java) S 12117 12120 10558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706158274080 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12133] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12133/stat : 12133 (java) S 12117 12120 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706157221232 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12134] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12134/stat : 12134 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706156169552 139707099408283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12135] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12135/stat : 12135 (java) S 12117 12120 10558 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706155116912 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12136] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12136/stat : 12136 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7736 33554432000 4194304 4196468 140735879312352 139706154064112 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12137] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12137/stat : 12137 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7802 33554432000 4194304 4196468 140735879312352 139706153011312 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12138] ppid=12117 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12120/task/12138/stat : 12138 (java) S 12117 12120 10558 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 83596852 26729906176 7802 33554432000 4194304 4196468 140735879312352 139706151958512 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12139] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12139/stat : 12139 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7802 33554432000 4194304 4196468 140735879312352 139706150906976 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12140] ppid=12117 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12120/task/12140/stat : 12140 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 7802 33554432000 4194304 4196468 140735879312352 139706149854256 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29888 KiB

[startup+0.209997 s]*
/proc/loadavg: 8.14 4.72 2.69 4/198 12140
/proc/meminfo: memFree=23780884/32770624 swapFree=67108860/67108860
[pid=12120] ppid=12117 vsize=26103424 memory=42996 CPUtime=0.29 cores=0-7
/proc/12120/stat : 12120 (java) S 12117 12120 10558 0 -1 1077944320 10407 0 0 0 27 2 0 0 20 0 20 0 83596846 26729906176 10749 33554432000 4194304 4196468 140735879312352 140735879294896 139707099389687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
/proc/12120/statm: 6525856 10749 3316 1 0 6487932 0
[pid=12120/tid=12122] ppid=12117 vsize=26103424 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/12120/task/12122/stat : 12122 (java) R 12117 12120 10558 0 -1 4202560 8162 0 0 0 18 1 0 0 20 0 20 0 83596846 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707103616992 139707099401622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12123] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12123/stat : 12123 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707052010640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12124] ppid=12117 vsize=26103424 memory=3979133223352977056 CPUtime=0 cores=0-7
/proc/12120/task/12124/stat : 12124 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707050957840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12125] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12125/stat : 12125 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707049905040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12126] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12126/stat : 12126 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707048852240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12127] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12127/stat : 12127 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707047799440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12128] ppid=12117 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12120/task/12128/stat : 12128 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707046746640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12129] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12129/stat : 12129 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707045693840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12130] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12130/stat : 12130 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 10749 33554432000 4194304 4196468 140735879312352 139707044641040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12131] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12131/stat : 12131 (java) S 12117 12120 10558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83596848 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706159328112 139707099400834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12132] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12132/stat : 12132 (java) S 12117 12120 10558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706158274080 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12133] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12133/stat : 12133 (java) S 12117 12120 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706157221232 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12134] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12134/stat : 12134 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706156169552 139707099408283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12135] ppid=12117 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/12120/task/12135/stat : 12135 (java) S 12117 12120 10558 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706155116912 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12136] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12136/stat : 12136 (java) S 12117 12120 10558 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706154064112 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12137] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12137/stat : 12137 (java) S 12117 12120 10558 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706153011312 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12138] ppid=12117 vsize=26103424 memory=0 CPUtime=0.05 cores=0-7
/proc/12120/task/12138/stat : 12138 (java) R 12117 12120 10558 0 -1 4202560 318 0 0 0 5 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706151957696 139707078192824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12139] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12139/stat : 12139 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706150906976 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12140] ppid=12117 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12120/task/12140/stat : 12140 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 10749 33554432000 4194304 4196468 140735879312352 139706149854256 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42996 KiB

[startup+0.309348 s]*
/proc/loadavg: 8.14 4.72 2.69 3/198 12140
/proc/meminfo: memFree=23778056/32770624 swapFree=67108860/67108860
[pid=12120] ppid=12117 vsize=26103424 memory=47036 CPUtime=0.43 cores=0-7
/proc/12120/stat : 12120 (java) S 12117 12120 10558 0 -1 1077944320 10863 0 0 0 40 3 0 0 20 0 20 0 83596846 26729906176 11759 33554432000 4194304 4196468 140735879312352 140735879294896 139707099389687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
/proc/12120/statm: 6525856 11759 3413 1 0 6487932 0
[pid=12120/tid=12122] ppid=12117 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12120/task/12122/stat : 12122 (java) R 12117 12120 10558 0 -1 4202560 8510 0 0 0 28 2 0 0 20 0 20 0 83596846 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707103568744 139707080953247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12123] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12123/stat : 12123 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707052010640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12124] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12124/stat : 12124 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707050957840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12125] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12125/stat : 12125 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707049905040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12126] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12126/stat : 12126 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707048852240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12127] ppid=12117 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/12120/task/12127/stat : 12127 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707047799440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12128] ppid=12117 vsize=26103424 memory=140073312023471 CPUtime=0 cores=0-7
/proc/12120/task/12128/stat : 12128 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707046746640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12129] ppid=12117 vsize=26103424 memory=140073312025776 CPUtime=0 cores=0-7
/proc/12120/task/12129/stat : 12129 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707045693840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12130] ppid=12117 vsize=26103424 memory=140073312028080 CPUtime=0 cores=0-7
/proc/12120/task/12130/stat : 12130 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596847 26729906176 11759 33554432000 4194304 4196468 140735879312352 139707044641040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12131] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12131/stat : 12131 (java) S 12117 12120 10558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83596848 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706159328112 139707099400834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12132] ppid=12117 vsize=26103424 memory=280146624063120 CPUtime=0 cores=0-7
/proc/12120/task/12132/stat : 12132 (java) S 12117 12120 10558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706158274080 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12133] ppid=12117 vsize=26103424 memory=280146624070032 CPUtime=0 cores=0-7
/proc/12120/task/12133/stat : 12133 (java) S 12117 12120 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83596849 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706157221232 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12134] ppid=12117 vsize=26103424 memory=280146624011312 CPUtime=0 cores=0-7
/proc/12120/task/12134/stat : 12134 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706156169552 139707099408283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12135] ppid=12117 vsize=26103424 memory=280146624083856 CPUtime=0.01 cores=0-7
/proc/12120/task/12135/stat : 12135 (java) S 12117 12120 10558 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706155116912 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12136] ppid=12117 vsize=26103424 memory=280146624090768 CPUtime=0 cores=0-7
/proc/12120/task/12136/stat : 12136 (java) S 12117 12120 10558 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706154064112 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12137] ppid=12117 vsize=26103424 memory=280146624088464 CPUtime=0.01 cores=0-7
/proc/12120/task/12137/stat : 12137 (java) S 12117 12120 10558 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706153011312 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12138] ppid=12117 vsize=26103424 memory=280146624105024 CPUtime=0.07 cores=0-7
/proc/12120/task/12138/stat : 12138 (java) S 12117 12120 10558 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706151958512 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12139] ppid=12117 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12139/stat : 12139 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706150906976 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12140] ppid=12117 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/12120/task/12140/stat : 12140 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596852 26729906176 11759 33554432000 4194304 4196468 140735879312352 139706149854256 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47036 KiB

[startup+0.700798 s]
/proc/loadavg: 8.14 4.72 2.69 2/198 12140
/proc/meminfo: memFree=23754244/32770624 swapFree=67108860/67108860
[pid=12120] ppid=12117 vsize=26105492 memory=85368 CPUtime=0.98 cores=0-7
/proc/12120/stat : 12120 (java) S 12117 12120 10558 0 -1 1077944320 17806 0 0 0 93 5 0 0 20 0 20 0 83596846 26732023808 21342 33554432000 4194304 4196468 140735879312352 140735879294896 139707099389687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
/proc/12120/statm: 6526373 21342 3489 1 0 6488444 0
[pid=12120/tid=12122] ppid=12117 vsize=26105492 memory=7230638415907088983 CPUtime=0.67 cores=0-7
/proc/12120/task/12122/stat : 12122 (java) R 12117 12120 10558 0 -1 4202560 15003 0 0 0 64 3 0 0 20 0 20 0 83596846 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707103615184 139707099411613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12123] ppid=12117 vsize=26105492 memory=52136608030422 CPUtime=0 cores=0-7
/proc/12120/task/12123/stat : 12123 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707052010640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12124] ppid=12117 vsize=26105492 memory=140073312037777 CPUtime=0 cores=0-7
/proc/12120/task/12124/stat : 12124 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707050957840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12125] ppid=12117 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12125/stat : 12125 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707049905040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12126] ppid=12117 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12126/stat : 12126 (java) S 12117 12120 10558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707048852240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12127] ppid=12117 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12127/stat : 12127 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707047799440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12128] ppid=12117 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12128/stat : 12128 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707046746640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12129] ppid=12117 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/12120/task/12129/stat : 12129 (java) S 12117 12120 10558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707045693840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12130] ppid=12117 vsize=26105492 memory=1788 CPUtime=0 cores=0-7
/proc/12120/task/12130/stat : 12130 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83596847 26732023808 21342 33554432000 4194304 4196468 140735879312352 139707044641040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12131] ppid=12117 vsize=26105492 memory=872 CPUtime=0 cores=0-7
/proc/12120/task/12131/stat : 12131 (java) S 12117 12120 10558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83596848 26732023808 21342 33554432000 4194304 4196468 140735879312352 139706159328112 139707099400834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0

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

/proc/12120/task/12142/stat : 12142 (java) R 12117 12120 10558 0 -1 1077944384 19692 0 0 0 192 274 0 0 20 0 45 0 83597203 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706133259552 139707099400834 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12143] ppid=12117 vsize=27786012 memory=1000228 CPUtime=2478.41 cores=0-7
/proc/12120/task/12143/stat : 12143 (java) R 12117 12120 10558 0 -1 4202560 99650 0 0 0 247745 96 0 0 20 0 45 0 83597219 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706130105336 139706722964728 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12144] ppid=12117 vsize=27786012 memory=303430223234596890 CPUtime=2478.82 cores=0-7
/proc/12120/task/12144/stat : 12144 (java) R 12117 12120 10558 0 -1 4202560 104264 0 0 0 247795 87 0 0 20 0 45 0 83597220 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706129048888 139706727302614 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12145] ppid=12117 vsize=27786012 memory=288230574492221466 CPUtime=2480.46 cores=0-7
/proc/12120/task/12145/stat : 12145 (java) R 12117 12120 10558 0 -1 4202560 96676 0 0 0 247953 93 0 0 20 0 45 0 83597223 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706127999816 139706727659737 0 4 0 16800975 0 0 0 -1 2 0 0 44 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12146] ppid=12117 vsize=27786012 memory=288230583166042426 CPUtime=2478.25 cores=0-7
/proc/12120/task/12146/stat : 12146 (java) R 12117 12120 10558 0 -1 4202560 95914 0 0 0 247730 95 0 0 20 0 45 0 83597227 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706126945888 139706714114851 0 4 0 16800975 0 0 0 -1 0 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12147] ppid=12117 vsize=27786012 memory=14694093276061419 CPUtime=0.16 cores=0-7
/proc/12120/task/12147/stat : 12147 (java) S 12117 12120 10558 0 -1 1077944384 253 0 0 0 16 0 0 0 20 0 45 0 83597227 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706125899440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12148] ppid=12117 vsize=27786012 memory=6791534058613427641 CPUtime=2481.76 cores=0-7
/proc/12120/task/12148/stat : 12148 (java) R 12117 12120 10558 0 -1 4202560 101563 0 0 0 248084 92 0 0 20 0 45 0 83597227 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706124841920 139706727540054 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12149] ppid=12117 vsize=27786012 memory=990996 CPUtime=0.14 cores=0-7
/proc/12120/task/12149/stat : 12149 (java) S 12117 12120 10558 0 -1 1077944384 77 0 0 0 14 0 0 0 20 0 45 0 83597227 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706123793840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12150] ppid=12117 vsize=27786012 memory=1280 CPUtime=2479.76 cores=0-7
/proc/12120/task/12150/stat : 12150 (java) R 12117 12120 10558 0 -1 4202560 100223 0 0 0 247888 88 0 0 20 0 45 0 83597227 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706122732880 139706727302560 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12151] ppid=12117 vsize=27786012 memory=3872 CPUtime=0.12 cores=0-7
/proc/12120/task/12151/stat : 12151 (java) S 12117 12120 10558 0 -1 1077944384 222 0 0 0 12 0 0 0 20 0 45 0 83597228 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706121688240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12152] ppid=12117 vsize=27786012 memory=24704 CPUtime=2479.25 cores=0-7
/proc/12120/task/12152/stat : 12152 (java) R 12117 12120 10558 0 -1 4202560 101540 0 0 0 247831 94 0 0 20 0 45 0 83597229 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706120627312 139706727925620 0 4 0 16800975 0 0 0 -1 6 0 0 49 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12153] ppid=12117 vsize=27786012 memory=1280 CPUtime=0 cores=0-7
/proc/12120/task/12153/stat : 12153 (java) S 12117 12120 10558 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 45 0 83597229 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706119582640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12154] ppid=12117 vsize=27786012 memory=2272 CPUtime=0 cores=0-7
/proc/12120/task/12154/stat : 12154 (java) S 12117 12120 10558 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 83597250 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706118529712 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12155] ppid=12117 vsize=27786012 memory=1788 CPUtime=2477.76 cores=0-7
/proc/12120/task/12155/stat : 12155 (java) R 12117 12120 10558 0 -1 4202560 96992 0 0 0 247680 96 0 0 20 0 45 0 83597250 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706117470592 139706723461632 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12156] ppid=12117 vsize=27786012 memory=872 CPUtime=0 cores=0-7
/proc/12120/task/12156/stat : 12156 (java) S 12117 12120 10558 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 45 0 83597265 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706112194096 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12157] ppid=12117 vsize=27786012 memory=12724 CPUtime=0 cores=0-7
/proc/12120/task/12157/stat : 12157 (java) S 12117 12120 10558 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 45 0 83597265 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706111141168 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12158] ppid=12117 vsize=27786012 memory=756 CPUtime=0 cores=0-7
/proc/12120/task/12158/stat : 12158 (java) S 12117 12120 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706110088368 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12159] ppid=12117 vsize=27786012 memory=1624 CPUtime=0 cores=0-7
/proc/12120/task/12159/stat : 12159 (java) S 12117 12120 10558 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706109035568 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12160] ppid=12117 vsize=27786012 memory=1836 CPUtime=0 cores=0-7
/proc/12120/task/12160/stat : 12160 (java) S 12117 12120 10558 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706107982896 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12161] ppid=12117 vsize=27786012 memory=1132 CPUtime=0 cores=0-7
/proc/12120/task/12161/stat : 12161 (java) S 12117 12120 10558 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706106930096 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12162] ppid=12117 vsize=27786012 memory=6660 CPUtime=0 cores=0-7
/proc/12120/task/12162/stat : 12162 (java) S 12117 12120 10558 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706105877296 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12163] ppid=12117 vsize=27786012 memory=5636 CPUtime=0 cores=0-7
/proc/12120/task/12163/stat : 12163 (java) S 12117 12120 10558 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706104825520 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12164] ppid=12117 vsize=27786012 memory=4588 CPUtime=0 cores=0-7
/proc/12120/task/12164/stat : 12164 (java) S 12117 12120 10558 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706103772720 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12165] ppid=12117 vsize=27786012 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/12120/task/12165/stat : 12165 (java) S 12117 12120 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 83597267 28452876288 246755 33554432000 4194304 4196468 140735879312352 139706102719792 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
Current children cumulated CPU time: 19943.5 s
Current children cumulated vsize: 27786012 KiB
Current children cumulated memory: 987020 KiB

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

[startup+2520.24 s]
# the end of solver process 12120 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19932.4 s, system=12.7039 s

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

[startup+2520.2 s]
/proc/loadavg: 8.68 8.74 8.37 11/225 12228
/proc/meminfo: memFree=22826748/32770624 swapFree=67108860/67108860
[pid=12120] ppid=12117 vsize=27985704 memory=987912 CPUtime=19944.9 cores=0-7
/proc/12120/stat : 12120 (java) S 12117 12120 10558 0 -1 1077944320 2138638 0 0 0 1993226 1269 0 0 20 0 47 0 83596846 28657360896 246978 33554432000 4194304 4196468 140735879312352 140735879294896 139707099389687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
/proc/12120/statm: 6996426 246978 3622 1 0 6957976 0
[pid=12120/tid=12122] ppid=12117 vsize=27985704 memory=288230583166042426 CPUtime=3.69 cores=0-7
/proc/12120/task/12122/stat : 12122 (java) S 12117 12120 10558 0 -1 1077944384 21793 0 0 0 361 8 0 0 20 0 47 0 83596846 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707103627152 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12123] ppid=12117 vsize=27985704 memory=14694093276061419 CPUtime=10.53 cores=0-7
/proc/12120/task/12123/stat : 12123 (java) S 12117 12120 10558 0 -1 1077944384 135656 0 0 0 1003 50 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707052010640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12124] ppid=12117 vsize=27985704 memory=987024 CPUtime=10.58 cores=0-7
/proc/12120/task/12124/stat : 12124 (java) S 12117 12120 10558 0 -1 1077944384 124428 0 0 0 1012 46 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707050957840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12125] ppid=12117 vsize=27985704 memory=1388 CPUtime=10.57 cores=0-7
/proc/12120/task/12125/stat : 12125 (java) S 12117 12120 10558 0 -1 1077944384 124587 0 0 0 1009 48 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707049905040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12126] ppid=12117 vsize=27985704 memory=1224 CPUtime=10.5 cores=0-7
/proc/12120/task/12126/stat : 12126 (java) S 12117 12120 10558 0 -1 1077944384 122390 0 0 0 1000 50 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707048852240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12127] ppid=12117 vsize=27985704 memory=15816 CPUtime=10.54 cores=0-7
/proc/12120/task/12127/stat : 12127 (java) S 12117 12120 10558 0 -1 1077944384 122386 0 0 0 1006 48 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707047799440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12128] ppid=12117 vsize=27985704 memory=4048 CPUtime=10.59 cores=0-7
/proc/12120/task/12128/stat : 12128 (java) S 12117 12120 10558 0 -1 1077944384 130686 0 0 0 1002 57 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707046746640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12129] ppid=12117 vsize=27985704 memory=14336 CPUtime=10.53 cores=0-7
/proc/12120/task/12129/stat : 12129 (java) S 12117 12120 10558 0 -1 1077944384 116681 0 0 0 1004 49 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707045693840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12130] ppid=12117 vsize=27985704 memory=14700 CPUtime=10.54 cores=0-7
/proc/12120/task/12130/stat : 12130 (java) S 12117 12120 10558 0 -1 1077944384 130511 0 0 0 998 56 0 0 20 0 47 0 83596847 28657360896 246978 33554432000 4194304 4196468 140735879312352 139707044641040 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12131] ppid=12117 vsize=27985704 memory=1180 CPUtime=7.86 cores=0-7
/proc/12120/task/12131/stat : 12131 (java) S 12117 12120 10558 0 -1 1077944384 236782 0 0 0 657 129 0 0 20 0 47 0 83596848 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706159328112 139707099400834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12132] ppid=12117 vsize=27985704 memory=504 CPUtime=0 cores=0-7
/proc/12120/task/12132/stat : 12132 (java) S 12117 12120 10558 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 47 0 83596849 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706158274144 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12133] ppid=12117 vsize=27985704 memory=1720 CPUtime=0 cores=0-7
/proc/12120/task/12133/stat : 12133 (java) S 12117 12120 10558 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 47 0 83596849 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706157221248 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12134] ppid=12117 vsize=27985704 memory=928 CPUtime=0 cores=0-7
/proc/12120/task/12134/stat : 12134 (java) S 12117 12120 10558 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706156169552 139707099408283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12135] ppid=12117 vsize=27985704 memory=288230583166042426 CPUtime=1.75 cores=0-7
/proc/12120/task/12135/stat : 12135 (java) S 12117 12120 10558 0 -1 1077944384 8671 0 0 0 172 3 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706155116912 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12136] ppid=12117 vsize=27985704 memory=14694093276061419 CPUtime=1.76 cores=0-7
/proc/12120/task/12136/stat : 12136 (java) S 12117 12120 10558 0 -1 1077944384 6762 0 0 0 174 2 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706154064112 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12137] ppid=12117 vsize=27985704 memory=7888 CPUtime=2.08 cores=0-7
/proc/12120/task/12137/stat : 12137 (java) R 12117 12120 10558 0 -1 1077944384 8347 0 0 0 206 2 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706153011312 139707099400834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12138] ppid=12117 vsize=27985704 memory=808 CPUtime=1.33 cores=0-7
/proc/12120/task/12138/stat : 12138 (java) S 12117 12120 10558 0 -1 1077944384 18052 0 0 0 130 3 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706151958512 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12139] ppid=12117 vsize=27985704 memory=1280 CPUtime=0 cores=0-7
/proc/12120/task/12139/stat : 12139 (java) S 12117 12120 10558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706150906976 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12140] ppid=12117 vsize=27985704 memory=2272 CPUtime=0.87 cores=0-7
/proc/12120/task/12140/stat : 12140 (java) S 12117 12120 10558 0 -1 1077944384 9493 0 0 0 51 36 0 0 20 0 47 0 83596852 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706149854256 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12141] ppid=12117 vsize=27985704 memory=1788 CPUtime=0 cores=0-7
/proc/12120/task/12141/stat : 12141 (java) S 12117 12120 10558 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 47 0 83597183 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706136409216 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12142] ppid=12117 vsize=27985704 memory=872 CPUtime=4.66 cores=0-7
/proc/12120/task/12142/stat : 12142 (java) R 12117 12120 10558 0 -1 4202560 19725 0 0 0 192 274 0 0 20 0 47 0 83597203 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706133259440 139707099401622 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12143] ppid=12117 vsize=27985704 memory=12724 CPUtime=2478.56 cores=0-7
/proc/12120/task/12143/stat : 12143 (java) R 12117 12120 10558 0 -1 4202560 99651 0 0 0 247760 96 0 0 20 0 47 0 83597219 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706130101624 139706727946136 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12144] ppid=12117 vsize=27985704 memory=756 CPUtime=2479 cores=0-7
/proc/12120/task/12144/stat : 12144 (java) R 12117 12120 10558 0 -1 4202560 104264 0 0 0 247813 87 0 0 20 0 47 0 83597220 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706129048784 139706727639786 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12145] ppid=12117 vsize=27985704 memory=989968 CPUtime=2480.64 cores=0-7
/proc/12120/task/12145/stat : 12145 (java) R 12117 12120 10558 0 -1 4202560 96677 0 0 0 247971 93 0 0 20 0 47 0 83597223 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706127995976 139706728236040 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12146] ppid=12117 vsize=27985704 memory=280146623856880 CPUtime=2478.41 cores=0-7
/proc/12120/task/12146/stat : 12146 (java) R 12117 12120 10558 0 -1 4202560 95914 0 0 0 247746 95 0 0 20 0 47 0 83597227 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706126943224 139706727540054 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12147] ppid=12117 vsize=27985704 memory=0 CPUtime=0.16 cores=0-7
/proc/12120/task/12147/stat : 12147 (java) S 12117 12120 10558 0 -1 1077944384 277 0 0 0 16 0 0 0 20 0 47 0 83597227 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706125899440 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12148] ppid=12117 vsize=27985704 memory=280146628431456 CPUtime=2481.92 cores=0-7
/proc/12120/task/12148/stat : 12148 (java) R 12117 12120 10558 0 -1 4202560 101564 0 0 0 248100 92 0 0 20 0 47 0 83597227 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706124838896 139706727109186 0 4 0 16800975 0 0 0 -1 6 0 0 46 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12149] ppid=12117 vsize=27985704 memory=7822038051842261661 CPUtime=0.14 cores=0-7
/proc/12120/task/12149/stat : 12149 (java) S 12117 12120 10558 0 -1 1077944384 110 0 0 0 14 0 0 0 20 0 47 0 83597227 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706123789888 139707099400834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12150] ppid=12117 vsize=27985704 memory=-6520471753822164382 CPUtime=2479.92 cores=0-7
/proc/12120/task/12150/stat : 12150 (java) R 12117 12120 10558 0 -1 4202560 100223 0 0 0 247904 88 0 0 20 0 47 0 83597227 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706122733208 139706722964723 0 4 0 16800975 0 0 0 -1 7 0 0 41 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12151] ppid=12117 vsize=27985704 memory=987024 CPUtime=0.13 cores=0-7
/proc/12120/task/12151/stat : 12151 (java) S 12117 12120 10558 0 -1 1077944384 412 0 0 0 13 0 0 0 20 0 47 0 83597228 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706121688240 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12152] ppid=12117 vsize=27985704 memory=24704 CPUtime=2479.4 cores=0-7
/proc/12120/task/12152/stat : 12152 (java) R 12117 12120 10558 0 -1 4202560 101541 0 0 0 247846 94 0 0 20 0 47 0 83597229 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706120627544 139706727639810 0 4 0 16800975 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12153] ppid=12117 vsize=27985704 memory=1280 CPUtime=0 cores=0-7
/proc/12120/task/12153/stat : 12153 (java) S 12117 12120 10558 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 47 0 83597229 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706119582640 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12154] ppid=12117 vsize=27985704 memory=2272 CPUtime=0.01 cores=0-7
/proc/12120/task/12154/stat : 12154 (java) S 12117 12120 10558 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 47 0 83597250 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706118529840 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12155] ppid=12117 vsize=27985704 memory=1788 CPUtime=2477.95 cores=0-7
/proc/12120/task/12155/stat : 12155 (java) R 12117 12120 10558 0 -1 4202560 96994 0 0 0 247699 96 0 0 20 0 47 0 83597250 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706117470728 139706727540361 0 4 0 16800975 0 0 0 -1 3 0 0 43 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12156] ppid=12117 vsize=27985704 memory=872 CPUtime=0 cores=0-7
/proc/12120/task/12156/stat : 12156 (java) S 12117 12120 10558 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 47 0 83597265 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706112194096 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12157] ppid=12117 vsize=27985704 memory=12724 CPUtime=0 cores=0-7
/proc/12120/task/12157/stat : 12157 (java) S 12117 12120 10558 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 47 0 83597265 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706111141296 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12158] ppid=12117 vsize=27985704 memory=756 CPUtime=0 cores=0-7
/proc/12120/task/12158/stat : 12158 (java) S 12117 12120 10558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706110088368 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12159] ppid=12117 vsize=27985704 memory=1624 CPUtime=0 cores=0-7
/proc/12120/task/12159/stat : 12159 (java) S 12117 12120 10558 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706109035568 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12160] ppid=12117 vsize=27985704 memory=1836 CPUtime=0 cores=0-7
/proc/12120/task/12160/stat : 12160 (java) S 12117 12120 10558 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706107982896 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12161] ppid=12117 vsize=27985704 memory=1132 CPUtime=0 cores=0-7
/proc/12120/task/12161/stat : 12161 (java) S 12117 12120 10558 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706106930096 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12162] ppid=12117 vsize=27985704 memory=6660 CPUtime=0 cores=0-7
/proc/12120/task/12162/stat : 12162 (java) S 12117 12120 10558 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706105877296 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12163] ppid=12117 vsize=27985704 memory=5636 CPUtime=0.02 cores=0-7
/proc/12120/task/12163/stat : 12163 (java) S 12117 12120 10558 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706104825520 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12164] ppid=12117 vsize=27985704 memory=987020 CPUtime=0 cores=0-7
/proc/12120/task/12164/stat : 12164 (java) S 12117 12120 10558 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706103772720 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
[pid=12120/tid=12165] ppid=12117 vsize=27985704 memory=987024 CPUtime=0 cores=0-7
/proc/12120/task/12165/stat : 12165 (java) S 12117 12120 10558 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 47 0 83597267 28657360896 246978 33554432000 4194304 4196468 140735879312352 139706102719792 139707099399893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20926464 140735879320654 140735879320837 140735879320837 140735879323599 0
Current children cumulated CPU time: 19944.9 s
Current children cumulated vsize: 27985704 KiB
Current children cumulated memory: 987912 KiB

Child status: 143
Real time (s): 2520.24
CPU time (s): 19945.1
CPU user time (s): 19932.4
CPU system time (s): 12.7039
CPU usage (%): 791.397
Max. virtual memory (cumulated for all children) (KiB): 27985704
Max. memory (cumulated for all children) (KiB): 3226680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19932.4
system time used= 12.7039
maximum resident set size= 3228740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2138732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 682889
involuntary context switches= 425230


# summary of solver processes directly reported to runsolver:
#   pid: 12120
#   total CPU time (s): 19945.1
#   total CPU user time (s): 19932.4
#   total CPU system time (s): 12.7039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.9704 second user time and 33.0296 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-27 04:58:56
IDJOB=4291204
IDBENCH=141427
IDSOLVER=2745
FILE ID=node149/4291204-1532660336
RUNJOBID= node149-1532653106-10585
PBS_JOBID= 21022211
Free space on /tmp= 43260 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-050_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291204-1532660336/watcher-4291204-1532660336 -o /tmp/evaluation-result-4291204-1532660336/solver-4291204-1532660336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532653106-10585 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 570211543 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291204-1532660336.xml

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

MD5SUM BENCH= 22f254a3908600e49eb95db263b253c5
RANDOM SEED=570211543

node149.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.60
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.60
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.60
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.60
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:        23812228 kB
MemAvailable:   31925184 kB
Buffers:          154524 kB
Cached:          8131740 kB
SwapCached:            0 kB
Active:          2450080 kB
Inactive:        5893148 kB
Active(anon):       6352 kB
Inactive(anon):    78492 kB
Active(file):    2443728 kB
Inactive(file):  5814656 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35920 kB
Writeback:             0 kB
AnonPages:         72356 kB
Mapped:            34248 kB
Shmem:             25224 kB
Slab:             311788 kB
SReclaimable:     283032 kB
SUnreclaim:        28756 kB
KernelStack:        3520 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43224 MiB
End job on node149 at 2018-07-27 05:40:57