Trace number 4257070

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)551 1920.87 243.798

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-054.xml
MD5SUMd63f0cb62453ec1939b86e2392ab6ad9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark1993.4
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of constraints1537
Number of domains107
Minimum domain size2
Maximum domain size107
Distribution of domain sizes[{"size":2,"count":1486},{"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":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}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}]
Minimum variable degree0
Maximum variable degree53
Distribution of variable degrees[{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":54},{"arity":3,"count":1432},{"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":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}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}]
Number of extensional constraints0
Number of intensional constraints1484
Distribution of constraint types[{"type":"intension","count":1484},{"type":"sum","count":53}]
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.35/0.42	c version: 2017-07-26
0.35/0.42	c seed: 1601738060
0.35/0.42	c timeout: 1920
0.35/0.42	c memlimit: 22000
0.35/0.42	c nbcore: 8
0.35/0.44	c Parsing instance...
2.17/1.07	c Parsing done, starting search...
10.65/3.89	o 31047
10.65/3.89	o 25543
11.43/3.90	o 8079
11.43/3.91	o 7607
11.43/3.92	o 6399
11.43/3.93	o 5487
11.43/3.95	o 5127
11.43/3.97	o 5023
11.43/3.98	o 4231
12.24/4.01	o 4223
12.24/4.02	o 3807
12.24/4.05	o 3735
12.24/4.06	o 3175
13.04/4.10	o 3063
13.04/4.13	o 2879
13.04/4.17	o 2823
13.80/4.21	o 2447
13.80/4.25	o 2383
13.80/4.26	o 2207
13.80/4.27	o 1887
13.80/4.28	o 1791
14.61/4.31	o 1719
14.61/4.34	o 1543
15.43/4.43	o 1487
15.43/4.48	o 1471
15.43/4.50	o 1375
19.37/4.91	o 1343
21.73/5.24	o 1295
23.33/5.42	o 1239
23.33/5.49	o 1207
24.16/5.54	o 1111
27.34/5.95	o 1095
27.34/5.98	o 1063
36.88/7.14	o 1039
36.88/7.16	o 951
43.23/7.96	o 903
55.17/9.40	o 887
58.35/9.87	o 823
66.32/10.81	o 775
66.32/10.84	o 663
457.86/59.94	o 647
467.41/61.20	o 567
823.90/105.82	o 551
1920.33/243.75	s SATISFIABLE
1920.33/243.76	v <instantiation>
1920.33/243.76	v 	<list>
1920.33/243.76	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] x[50] x[51] x[52] x[53] 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[0][49] y[0][50] y[0][51] y[0][52] 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[1][48] y[1][49] y[1][50] y[1][51] 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[2][47] y[2][48] y[2][49] y[2][50] 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[3][46] y[3][47] y[3][48] y[3][49] 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[4][45] y[4][46] y[4][47] y[4][48] 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[5][44] y[5][45] y[5][46] y[5][47] 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[6][43] y[6][44] y[6][45] y[6][46] 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[7][42] y[7][43] y[7][44] y[7][45] 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[8][41] y[8][42] y[8][43] y[8][44] 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[9][40] y[9][41] y[9][42] y[9][43] 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[10][39] y[10][40] y[10][41] y[10][42] 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[11][38] y[11][39] y[11][40] y[11][41] 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[12][37] y[12][38] y[12][39] y[12][40] 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[13][36] y[13][37] y[13][38] y[13][39] 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[14][35] y[14][36] y[14][37] y[14][38] 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[15][34] y[15][35] y[15][36] y[15][37] 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[16][33] y[16][34] y[16][35] y[16][36] 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[17][32] y[17][33] y[17][34] y[17][35] 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[18][31] y[18][32] y[18][33] y[18][34] 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[19][30] y[19][31] y[19][32] y[19][33] 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[20][29] y[20][30] y[20][31] y[20][32] 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[21][28] y[21][29] y[21][30] y[21][31] 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[22][27] y[22][28] y[22][29] y[22][30] 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[23][26] y[23][27] y[23][28] y[23][29] 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[24][25] y[24][26] y[24][27] y[24][28] 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[25][24] y[25][25] y[25][26] y[25][27] 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[26][23] y[26][24] y[26][25] y[26][26] 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[27][22] y[27][23] y[27][24] y[27][25] 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[28][21] y[28][22] y[28][23] y[28][24] 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[29][20] y[29][21] y[29][22] y[29][23] 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[30][19] y[30][20] y[30][21] y[30][22] 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[31][18] y[31][19] y[31][20] y[31][21] 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[32][17] y[32][18] y[32][19] y[32][20] 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[33][16] y[33][17] y[33][18] y[33][19] 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[34][15] y[34][16] y[34][17] y[34][18] 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[35][14] y[35][15] y[35][16] y[35][17] 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[36][13] y[36][14] y[36][15] y[36][16] 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[37][12] y[37][13] y[37][14] y[37][15] 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[38][11] y[38][12] y[38][13] y[38][14] 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[39][10] y[39][11] y[39][12] y[39][13] 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[40][9] y[40][10] y[40][11] y[40][12] 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[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][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] c[49] c[50] c[51] c[52] 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] s[49] s[50] s[51] s[52]
1920.33/243.76	v 	</list>
1920.33/243.76	v 	<values>
1920.33/243.76	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 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 2 1 0 3 6 5 2 1 2 5 2 -7 0 1 2 -3 0 3 -4 1 4 1 -2 5 -2 -1 0 5 0 1 -6 -3 -2 -1 2 9 4 1 2 1 0 5 4 1 4 5 4 3 2 1 0 1 1 4 1 0 9 36 25 4 1 4 25 4 49 0 1 4 9 0 9 16 1 16 1 4 25 4 1 0 25 0 1 36 9 4 1 4 81 16 1 4 1 0 25 16 1 16 25 16 9 4 1 0 1 
1920.33/243.76	v 	</values>
1920.33/243.76	v </instantiation>

Verifier Data 

OK	551

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257070-1501687770/watcher-4257070-1501687770 -o /tmp/evaluation-result-4257070-1501687770/solver-4257070-1501687770 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1601738060 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257070-1501687770.xml 

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

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


[startup+0 s]
/proc/loadavg: 8.64 8.63 8.21 2/173 21080
/proc/meminfo: memFree=31011484/32770624 swapFree=0/889796
[pid=21080] ppid=21077 vsize=23672 CPUtime=0 cores=0-7
/proc/21080/stat : 21080 (runsolver) D 21077 21080 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17401691 24240128 106 18446744073709551615 4194304 4338465 140723882081328 140723882078968 140305369117399 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 8757248 140723882082403 140723882082883 140723882082883 140723882086346 0
/proc/21080/statm: 5918 106 53 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 8.64 8.63 8.21 2/173 21080
/proc/meminfo: memFree=31011484/32770624 swapFree=0/889796
[pid=21080] ppid=21077 vsize=23672 CPUtime=0 cores=0-7
/proc/21080/stat : 21080 (runsolver) D 21077 21080 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17401691 24240128 106 18446744073709551615 4194304 4338465 140723882081328 140723882078968 140305369117399 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 8757248 140723882082403 140723882082883 140723882082883 140723882086346 0
/proc/21080/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200263 s]
/proc/loadavg: 8.64 8.63 8.21 2/173 21080
/proc/meminfo: memFree=31011484/32770624 swapFree=0/889796
[pid=21080] ppid=21077 vsize=25927168 CPUtime=0.05 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 5012 0 0 0 5 0 0 0 20 0 19 0 17401691 26549420032 5544 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6481792 5544 2572 1 0 6471297 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25927168

[startup+0.300288 s]
/proc/loadavg: 8.64 8.63 8.21 2/173 21080
/proc/meminfo: memFree=31011484/32770624 swapFree=0/889796
[pid=21080] ppid=21077 vsize=25996604 CPUtime=0.18 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 10011 0 0 0 16 2 0 0 20 0 20 0 17401691 26620522496 8862 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6499151 8862 3501 1 0 6487938 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 25996604

[startup+0.700231 s]
/proc/loadavg: 8.64 8.63 8.21 2/173 21080
/proc/meminfo: memFree=31011484/32770624 swapFree=0/889796
[pid=21080] ppid=21077 vsize=25998672 CPUtime=0.99 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 14022 0 0 0 95 4 0 0 20 0 20 0 17401691 26622640128 16161 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6499668 16161 3707 1 0 6488450 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 25998672

[startup+1.50075 s]
/proc/loadavg: 8.64 8.63 8.21 2/193 21100
/proc/meminfo: memFree=30914340/32770624 swapFree=0/889804
[pid=21080] ppid=21077 vsize=26002768 CPUtime=3.75 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 23909 0 0 0 366 9 0 0 20 0 20 0 17401691 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6500692 38672 3758 1 0 6489474 0
[pid=21080/tid=21082] ppid=21077 vsize=26002768 CPUtime=1.32 cores=0-7
/proc/21080/task/21082/stat : 21082 (java) R 21077 21080 31529 0 -1 4202560 12655 0 0 0 128 4 0 0 20 0 20 0 17401701 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139831142765328 139831122621790 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21083] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21083/stat : 21083 (java) S 21077 21080 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139831050448016 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21084] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21084/stat : 21084 (java) S 21077 21080 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830700117008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21085] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21085/stat : 21085 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830699064208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21086] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21086/stat : 21086 (java) S 21077 21080 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830698011408 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21087] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21087/stat : 21087 (java) S 21077 21080 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830696958608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21088] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21088/stat : 21088 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830695905808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21089] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21089/stat : 21089 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830694853008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21090] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21090/stat : 21090 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17401702 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830693800208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21091] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21091/stat : 21091 (java) S 21077 21080 31529 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 17401703 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830652238704 139831138552450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21092] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21092/stat : 21092 (java) S 21077 21080 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 17401704 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830651184672 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21093] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21093/stat : 21093 (java) S 21077 21080 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17401704 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830650131824 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21094] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21094/stat : 21094 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830649080144 139831138559899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21095] ppid=21077 vsize=26002768 CPUtime=0.6 cores=0-7
/proc/21080/task/21095/stat : 21095 (java) R 21077 21080 31529 0 -1 4202560 2633 0 0 0 59 1 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830648018784 139831116460928 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21096] ppid=21077 vsize=26002768 CPUtime=0.54 cores=0-7
/proc/21080/task/21096/stat : 21096 (java) S 21077 21080 31529 0 -1 1077944384 2460 0 0 0 54 0 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830534105328 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21097] ppid=21077 vsize=26002768 CPUtime=0.61 cores=0-7
/proc/21080/task/21097/stat : 21097 (java) R 21077 21080 31529 0 -1 4202560 2138 0 0 0 60 1 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830533052528 139831119733340 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21098] ppid=21077 vsize=26002768 CPUtime=0.64 cores=0-7
/proc/21080/task/21098/stat : 21098 (java) R 21077 21080 31529 0 -1 4202560 2619 0 0 0 63 1 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830531992960 139831123617417 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21099] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21099/stat : 21099 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17401707 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830530948192 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21100] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21100/stat : 21100 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17401713 26626834432 38672 18446744073709551615 4194304 4196468 140735645562064 139830529895472 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 26002768

[startup+3.10337 s]
/proc/loadavg: 8.64 8.63 8.21 2/193 21100
/proc/meminfo: memFree=30788196/32770624 swapFree=0/889804
[pid=21080] ppid=21077 vsize=26002768 CPUtime=7.04 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 35102 0 0 0 684 20 0 0 20 0 20 0 17401691 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6500692 90777 3800 1 0 6489474 0
[pid=21080/tid=21082] ppid=21077 vsize=26002768 CPUtime=2.86 cores=0-7
/proc/21080/task/21082/stat : 21082 (java) S 21077 21080 31529 0 -1 1077944384 15457 0 0 0 279 7 0 0 20 0 20 0 17401701 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139831142777136 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21083] ppid=21077 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/21080/task/21083/stat : 21083 (java) S 21077 21080 31529 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139831050448016 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21084] ppid=21077 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21080/task/21084/stat : 21084 (java) S 21077 21080 31529 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830700117008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21085] ppid=21077 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/21080/task/21085/stat : 21085 (java) R 21077 21080 31529 0 -1 4202560 1242 0 0 0 2 1 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830699064328 139831131169511 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21086] ppid=21077 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/21080/task/21086/stat : 21086 (java) R 21077 21080 31529 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830698011472 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21087] ppid=21077 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/21080/task/21087/stat : 21087 (java) S 21077 21080 31529 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830696958608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21088] ppid=21077 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/21080/task/21088/stat : 21088 (java) S 21077 21080 31529 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830695905808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21089] ppid=21077 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21080/task/21089/stat : 21089 (java) S 21077 21080 31529 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830694853024 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21090] ppid=21077 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/21080/task/21090/stat : 21090 (java) S 21077 21080 31529 0 -1 1077944384 37 0 0 0 2 0 0 0 20 0 20 0 17401702 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830693800208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21091] ppid=21077 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21080/task/21091/stat : 21091 (java) S 21077 21080 31529 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 17401703 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830652237216 139831138551509 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21092] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21092/stat : 21092 (java) S 21077 21080 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 17401704 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830651184736 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21093] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21093/stat : 21093 (java) S 21077 21080 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 17401704 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830650131840 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21094] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21094/stat : 21094 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830649080144 139831138559899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21095] ppid=21077 vsize=26002768 CPUtime=0.98 cores=0-7
/proc/21080/task/21095/stat : 21095 (java) S 21077 21080 31529 0 -1 1077944384 2911 0 0 0 97 1 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830648006608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21096] ppid=21077 vsize=26002768 CPUtime=0.93 cores=0-7
/proc/21080/task/21096/stat : 21096 (java) S 21077 21080 31529 0 -1 1077944384 3433 0 0 0 93 0 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830534090320 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21097] ppid=21077 vsize=26002768 CPUtime=1.1 cores=0-7
/proc/21080/task/21097/stat : 21097 (java) S 21077 21080 31529 0 -1 1077944384 4172 0 0 0 109 1 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830533032368 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21098] ppid=21077 vsize=26002768 CPUtime=0.88 cores=0-7
/proc/21080/task/21098/stat : 21098 (java) S 21077 21080 31529 0 -1 1077944384 5534 0 0 0 86 2 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830531999728 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21099] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21099/stat : 21099 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17401707 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830530948192 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21100] ppid=21077 vsize=26002768 CPUtime=0 cores=0-7
/proc/21080/task/21100/stat : 21100 (java) S 21077 21080 31529 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 17401713 26626834432 90777 18446744073709551615 4194304 4196468 140735645562064 139830529895472 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 26002768

[startup+6.30224 s]
/proc/loadavg: 8.03 8.50 8.17 11/218 21126
/proc/meminfo: memFree=30334428/32770624 swapFree=0/889816
[pid=21080] ppid=21077 vsize=27673048 CPUtime=30.49 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 46506 0 0 0 2997 52 0 0 20 0 45 0 17401691 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6918262 178762 3833 1 0 6906523 0
[pid=21080/tid=21082] ppid=21077 vsize=27673048 CPUtime=3.14 cores=0-7
/proc/21080/task/21082/stat : 21082 (java) S 21077 21080 31529 0 -1 1077944384 17994 0 0 0 305 9 0 0 20 0 45 0 17401701 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139831142779008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21083] ppid=21077 vsize=27673048 CPUtime=0.14 cores=0-7
/proc/21080/task/21083/stat : 21083 (java) S 21077 21080 31529 0 -1 1077944384 175 0 0 0 11 3 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139831050448016 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21084] ppid=21077 vsize=27673048 CPUtime=0.12 cores=0-7
/proc/21080/task/21084/stat : 21084 (java) S 21077 21080 31529 0 -1 1077944384 272 0 0 0 10 2 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830700117008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21085] ppid=21077 vsize=27673048 CPUtime=0.14 cores=0-7
/proc/21080/task/21085/stat : 21085 (java) S 21077 21080 31529 0 -1 1077944384 1320 0 0 0 11 3 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830699064208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21086] ppid=21077 vsize=27673048 CPUtime=0.14 cores=0-7
/proc/21080/task/21086/stat : 21086 (java) S 21077 21080 31529 0 -1 1077944384 266 0 0 0 12 2 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830698011408 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21087] ppid=21077 vsize=27673048 CPUtime=0.14 cores=0-7
/proc/21080/task/21087/stat : 21087 (java) S 21077 21080 31529 0 -1 1077944384 167 0 0 0 12 2 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830696958608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21088] ppid=21077 vsize=27673048 CPUtime=0.14 cores=0-7
/proc/21080/task/21088/stat : 21088 (java) S 21077 21080 31529 0 -1 1077944384 130 0 0 0 11 3 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830695905808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21089] ppid=21077 vsize=27673048 CPUtime=0.13 cores=0-7
/proc/21080/task/21089/stat : 21089 (java) S 21077 21080 31529 0 -1 1077944384 633 0 0 0 11 2 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830694853008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21090] ppid=21077 vsize=27673048 CPUtime=0.13 cores=0-7
/proc/21080/task/21090/stat : 21090 (java) S 21077 21080 31529 0 -1 1077944384 114 0 0 0 11 2 0 0 20 0 45 0 17401702 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830693800208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21091] ppid=21077 vsize=27673048 CPUtime=0.05 cores=0-7
/proc/21080/task/21091/stat : 21091 (java) S 21077 21080 31529 0 -1 1077944384 2016 0 0 0 4 1 0 0 20 0 45 0 17401703 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830652238704 139831138552450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21092] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21092/stat : 21092 (java) S 21077 21080 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 45 0 17401704 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830651184736 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21093] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21093/stat : 21093 (java) S 21077 21080 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 45 0 17401704 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830650131840 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21094] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21094/stat : 21094 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 17401707 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830649080144 139831138559899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21095] ppid=21077 vsize=27673048 CPUtime=2.03 cores=0-7
/proc/21080/task/21095/stat : 21095 (java) S 21077 21080 31529 0 -1 1077944384 4298 0 0 0 202 1 0 0 20 0 45 0 17401707 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830648027504 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21096] ppid=21077 vsize=27673048 CPUtime=1.95 cores=0-7
/proc/21080/task/21096/stat : 21096 (java) S 21077 21080 31529 0 -1 1077944384 5183 0 0 0 194 1 0 0 20 0 45 0 17401707 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830534105328 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21097] ppid=21077 vsize=27673048 CPUtime=1.96 cores=0-7
/proc/21080/task/21097/stat : 21097 (java) S 21077 21080 31529 0 -1 1077944384 4571 0 0 0 195 1 0 0 20 0 45 0 17401707 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830533052528 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21098] ppid=21077 vsize=27673048 CPUtime=1.14 cores=0-7
/proc/21080/task/21098/stat : 21098 (java) S 21077 21080 31529 0 -1 1077944384 6076 0 0 0 111 3 0 0 20 0 45 0 17401707 28337201152 178762 18446744073709551615 4194304 4196468 140735645562064 139830531999728 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21099] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7

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

[pid=21080/tid=21097] ppid=21077 vsize=27673048 CPUtime=2.05 cores=0-7
/proc/21080/task/21097/stat : 21097 (java) S 21077 21080 31529 0 -1 1077944384 7393 0 0 0 204 1 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830533052528 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21098] ppid=21077 vsize=27673048 CPUtime=1.18 cores=0-7
/proc/21080/task/21098/stat : 21098 (java) S 21077 21080 31529 0 -1 1077944384 12510 0 0 0 114 4 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830531999728 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21099] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21099/stat : 21099 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830530948192 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21100] ppid=21077 vsize=27673048 CPUtime=0.07 cores=0-7
/proc/21080/task/21100/stat : 21100 (java) S 21077 21080 31529 0 -1 1077944384 970 0 0 0 4 3 0 0 20 0 45 0 17401713 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830529895472 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21101] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21101/stat : 21101 (java) S 21077 21080 31529 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 45 0 17402004 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830519608480 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21102] ppid=21077 vsize=27673048 CPUtime=0.6 cores=0-7
/proc/21080/task/21102/stat : 21102 (java) R 21077 21080 31529 0 -1 1077944384 4546 0 0 0 18 42 0 0 20 0 45 0 17402016 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830516458672 139831138552450 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21103] ppid=21077 vsize=27673048 CPUtime=0.21 cores=0-7
/proc/21080/task/21103/stat : 21103 (java) S 21077 21080 31529 0 -1 1077944384 172 0 0 0 21 0 0 0 20 0 45 0 17402025 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830513308944 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21104] ppid=21077 vsize=27673048 CPUtime=237.77 cores=0-7
/proc/21080/task/21104/stat : 21104 (java) R 21077 21080 31529 0 -1 4202560 14156 0 0 0 23760 17 0 0 20 0 45 0 17402026 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830310718168 139830742967557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21105] ppid=21077 vsize=27673048 CPUtime=237.4 cores=0-7
/proc/21080/task/21105/stat : 21105 (java) R 21077 21080 31529 0 -1 4202560 11276 0 0 0 23723 17 0 0 20 0 45 0 17402027 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830309665632 139830743833108 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21106] ppid=21077 vsize=27673048 CPUtime=0.16 cores=0-7
/proc/21080/task/21106/stat : 21106 (java) S 21077 21080 31529 0 -1 1077944384 77 0 0 0 16 0 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830308619152 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21107] ppid=21077 vsize=27673048 CPUtime=238 cores=0-7
/proc/21080/task/21107/stat : 21107 (java) R 21077 21080 31529 0 -1 4202560 12856 0 0 0 23782 18 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830307560696 139830743831174 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21108] ppid=21077 vsize=27673048 CPUtime=237.6 cores=0-7
/proc/21080/task/21108/stat : 21108 (java) R 21077 21080 31529 0 -1 4202560 12884 0 0 0 23744 16 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830306507408 139830743832222 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21109] ppid=21077 vsize=27673048 CPUtime=238.34 cores=0-7
/proc/21080/task/21109/stat : 21109 (java) R 21077 21080 31529 0 -1 4202560 14567 0 0 0 23819 15 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830305455800 139830743402288 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21110] ppid=21077 vsize=27673048 CPUtime=237.84 cores=0-7
/proc/21080/task/21110/stat : 21110 (java) R 21077 21080 31529 0 -1 4202560 12747 0 0 0 23767 17 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830304402328 139830742760178 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21111] ppid=21077 vsize=27673048 CPUtime=0.19 cores=0-7
/proc/21080/task/21111/stat : 21111 (java) S 21077 21080 31529 0 -1 1077944384 38 0 0 0 19 0 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830303355952 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21112] ppid=21077 vsize=27673048 CPUtime=236.99 cores=0-7
/proc/21080/task/21112/stat : 21112 (java) R 21077 21080 31529 0 -1 4202560 11989 0 0 0 23684 15 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830302299456 139830744023504 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21114] ppid=21077 vsize=27673048 CPUtime=238.03 cores=0-7
/proc/21080/task/21114/stat : 21114 (java) R 21077 21080 31529 0 -1 4202560 11030 0 0 0 23786 17 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830301243792 139830743070800 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21115] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21115/stat : 21115 (java) S 21077 21080 31529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830300197776 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21116] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21116/stat : 21116 (java) S 21077 21080 31529 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830299145776 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21117] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21117/stat : 21117 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830295958960 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21118] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21118/stat : 21118 (java) S 21077 21080 31529 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830294906384 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21119] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21119/stat : 21119 (java) S 21077 21080 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830293853584 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21120] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21120/stat : 21120 (java) S 21077 21080 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830292800784 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21121] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21121/stat : 21121 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830291747760 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21122] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21122/stat : 21122 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402089 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830290694960 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21123] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21123/stat : 21123 (java) S 21077 21080 31529 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 45 0 17402090 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830289642384 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21124] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21124/stat : 21124 (java) S 21077 21080 31529 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 45 0 17402092 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830288590608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21125] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21125/stat : 21125 (java) S 21077 21080 31529 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 45 0 17402094 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830287537808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21126] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21126/stat : 21126 (java) S 21077 21080 31529 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 45 0 17402094 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830286485008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
Current children cumulated CPU time (s) 1920.33
Current children cumulated vsize (KiB) 27673048

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

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

[startup+243.702 s]
/proc/loadavg: 9.07 8.74 8.33 9/217 21129
/proc/meminfo: memFree=28371292/32770624 swapFree=0/889884
[pid=21080] ppid=21077 vsize=27673048 CPUtime=1920.33 cores=0-7
/proc/21080/stat : 21080 (java) S 21077 21080 31529 0 -1 1077944320 241898 0 0 0 191720 313 0 0 20 0 45 0 17401691 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 140735645544608 139831138541303 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
/proc/21080/statm: 6918262 661160 3834 1 0 6906523 0
[pid=21080/tid=21082] ppid=21077 vsize=27673048 CPUtime=3.14 cores=0-7
/proc/21080/task/21082/stat : 21082 (java) S 21077 21080 31529 0 -1 1077944384 17994 0 0 0 305 9 0 0 20 0 45 0 17401701 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139831142779008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21083] ppid=21077 vsize=27673048 CPUtime=0.76 cores=0-7
/proc/21080/task/21083/stat : 21083 (java) S 21077 21080 31529 0 -1 1077944384 6936 0 0 0 56 20 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139831050448016 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21084] ppid=21077 vsize=27673048 CPUtime=0.74 cores=0-7
/proc/21080/task/21084/stat : 21084 (java) S 21077 21080 31529 0 -1 1077944384 7069 0 0 0 55 19 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830700117008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21085] ppid=21077 vsize=27673048 CPUtime=0.76 cores=0-7
/proc/21080/task/21085/stat : 21085 (java) S 21077 21080 31529 0 -1 1077944384 9595 0 0 0 58 18 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830699064208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21086] ppid=21077 vsize=27673048 CPUtime=0.78 cores=0-7
/proc/21080/task/21086/stat : 21086 (java) S 21077 21080 31529 0 -1 1077944384 9141 0 0 0 59 19 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830698011408 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21087] ppid=21077 vsize=27673048 CPUtime=0.76 cores=0-7
/proc/21080/task/21087/stat : 21087 (java) S 21077 21080 31529 0 -1 1077944384 6554 0 0 0 58 18 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830696958608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21088] ppid=21077 vsize=27673048 CPUtime=0.77 cores=0-7
/proc/21080/task/21088/stat : 21088 (java) S 21077 21080 31529 0 -1 1077944384 8128 0 0 0 58 19 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830695905808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21089] ppid=21077 vsize=27673048 CPUtime=0.75 cores=0-7
/proc/21080/task/21089/stat : 21089 (java) S 21077 21080 31529 0 -1 1077944384 5912 0 0 0 57 18 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830694853008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21090] ppid=21077 vsize=27673048 CPUtime=0.76 cores=0-7
/proc/21080/task/21090/stat : 21090 (java) S 21077 21080 31529 0 -1 1077944384 6852 0 0 0 58 18 0 0 20 0 45 0 17401702 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830693800208 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21091] ppid=21077 vsize=27673048 CPUtime=0.31 cores=0-7
/proc/21080/task/21091/stat : 21091 (java) S 21077 21080 31529 0 -1 1077944384 18071 0 0 0 23 8 0 0 20 0 45 0 17401703 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830652238704 139831138552450 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21092] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21092/stat : 21092 (java) S 21077 21080 31529 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 45 0 17401704 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830651184736 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21093] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21093/stat : 21093 (java) S 21077 21080 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 45 0 17401704 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830650131840 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21094] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21094/stat : 21094 (java) S 21077 21080 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830649080144 139831138559899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21095] ppid=21077 vsize=27673048 CPUtime=2.07 cores=0-7
/proc/21080/task/21095/stat : 21095 (java) S 21077 21080 31529 0 -1 1077944384 6573 0 0 0 206 1 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830648027504 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21096] ppid=21077 vsize=27673048 CPUtime=2 cores=0-7
/proc/21080/task/21096/stat : 21096 (java) S 21077 21080 31529 0 -1 1077944384 8961 0 0 0 199 1 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830534105328 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21097] ppid=21077 vsize=27673048 CPUtime=2.05 cores=0-7
/proc/21080/task/21097/stat : 21097 (java) S 21077 21080 31529 0 -1 1077944384 7393 0 0 0 204 1 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830533052528 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21098] ppid=21077 vsize=27673048 CPUtime=1.18 cores=0-7
/proc/21080/task/21098/stat : 21098 (java) S 21077 21080 31529 0 -1 1077944384 12510 0 0 0 114 4 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830531999728 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21099] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21099/stat : 21099 (java) S 21077 21080 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 17401707 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830530948192 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21100] ppid=21077 vsize=27673048 CPUtime=0.07 cores=0-7
/proc/21080/task/21100/stat : 21100 (java) S 21077 21080 31529 0 -1 1077944384 970 0 0 0 4 3 0 0 20 0 45 0 17401713 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830529895472 139831138552450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21101] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21101/stat : 21101 (java) S 21077 21080 31529 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 45 0 17402004 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830519608480 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21102] ppid=21077 vsize=27673048 CPUtime=0.6 cores=0-7
/proc/21080/task/21102/stat : 21102 (java) R 21077 21080 31529 0 -1 1077944384 4546 0 0 0 18 42 0 0 20 0 45 0 17402016 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830516458672 139831138552450 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21103] ppid=21077 vsize=27673048 CPUtime=0.21 cores=0-7
/proc/21080/task/21103/stat : 21103 (java) S 21077 21080 31529 0 -1 1077944384 172 0 0 0 21 0 0 0 20 0 45 0 17402025 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830513308944 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21104] ppid=21077 vsize=27673048 CPUtime=237.77 cores=0-7
/proc/21080/task/21104/stat : 21104 (java) R 21077 21080 31529 0 -1 4202560 14156 0 0 0 23760 17 0 0 20 0 45 0 17402026 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830310718168 139830742967557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21105] ppid=21077 vsize=27673048 CPUtime=237.4 cores=0-7
/proc/21080/task/21105/stat : 21105 (java) R 21077 21080 31529 0 -1 4202560 11276 0 0 0 23723 17 0 0 20 0 45 0 17402027 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830309665632 139830743833108 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21106] ppid=21077 vsize=27673048 CPUtime=0.16 cores=0-7
/proc/21080/task/21106/stat : 21106 (java) S 21077 21080 31529 0 -1 1077944384 77 0 0 0 16 0 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830308619152 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21107] ppid=21077 vsize=27673048 CPUtime=238 cores=0-7
/proc/21080/task/21107/stat : 21107 (java) R 21077 21080 31529 0 -1 4202560 12856 0 0 0 23782 18 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830307560696 139830743831174 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21108] ppid=21077 vsize=27673048 CPUtime=237.6 cores=0-7
/proc/21080/task/21108/stat : 21108 (java) R 21077 21080 31529 0 -1 4202560 12884 0 0 0 23744 16 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830306507408 139830743832222 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21109] ppid=21077 vsize=27673048 CPUtime=238.34 cores=0-7
/proc/21080/task/21109/stat : 21109 (java) R 21077 21080 31529 0 -1 4202560 14567 0 0 0 23819 15 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830305455800 139830743402288 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21110] ppid=21077 vsize=27673048 CPUtime=237.84 cores=0-7
/proc/21080/task/21110/stat : 21110 (java) R 21077 21080 31529 0 -1 4202560 12747 0 0 0 23767 17 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830304402328 139830742760178 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21111] ppid=21077 vsize=27673048 CPUtime=0.19 cores=0-7
/proc/21080/task/21111/stat : 21111 (java) S 21077 21080 31529 0 -1 1077944384 38 0 0 0 19 0 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830303355952 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21112] ppid=21077 vsize=27673048 CPUtime=236.99 cores=0-7
/proc/21080/task/21112/stat : 21112 (java) R 21077 21080 31529 0 -1 4202560 11989 0 0 0 23684 15 0 0 20 0 45 0 17402029 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830302299456 139830744023504 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21114] ppid=21077 vsize=27673048 CPUtime=238.03 cores=0-7
/proc/21080/task/21114/stat : 21114 (java) R 21077 21080 31529 0 -1 4202560 11030 0 0 0 23786 17 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830301243792 139830743070800 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21115] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21115/stat : 21115 (java) S 21077 21080 31529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830300197776 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21116] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21116/stat : 21116 (java) S 21077 21080 31529 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 45 0 17402068 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830299145776 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21117] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21117/stat : 21117 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830295958960 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21118] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21118/stat : 21118 (java) S 21077 21080 31529 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830294906384 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21119] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21119/stat : 21119 (java) S 21077 21080 31529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830293853584 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21120] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21120/stat : 21120 (java) S 21077 21080 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830292800784 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21121] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21121/stat : 21121 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402081 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830291747760 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21122] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21122/stat : 21122 (java) S 21077 21080 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 17402089 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830290694960 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21123] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21123/stat : 21123 (java) S 21077 21080 31529 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 45 0 17402090 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830289642384 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21124] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21124/stat : 21124 (java) S 21077 21080 31529 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 45 0 17402092 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830288590608 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21125] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21125/stat : 21125 (java) S 21077 21080 31529 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 45 0 17402094 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830287537808 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
[pid=21080/tid=21126] ppid=21077 vsize=27673048 CPUtime=0 cores=0-7
/proc/21080/task/21126/stat : 21126 (java) S 21077 21080 31529 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 45 0 17402094 28337201152 661160 18446744073709551615 4194304 4196468 140735645562064 139830286485008 139831138551509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38141952 140735645569423 140735645569608 140735645569608 140735645573071 0
Current children cumulated CPU time (s) 1920.33
Current children cumulated vsize (KiB) 27673048

Child status: 143
Real time (s): 243.798
CPU time (s): 1920.87
CPU user time (s): 1917.72
CPU system time (s): 3.15729
CPU usage (%): 787.895
Max. virtual memory (cumulated for all children) (KiB): 27673048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1917.72
system time used= 3.15729
maximum resident set size= 2883960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46208
involuntary context switches= 39951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20204 second user time and 2.54295 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 17:15:31
IDJOB=4257070
IDBENCH=127052
IDSOLVER=2641
FILE ID=node128/4257070-1501687770
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257070-1501687770/watcher-4257070-1501687770 -o /tmp/evaluation-result-4257070-1501687770/solver-4257070-1501687770 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1601738060 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257070-1501687770.xml

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

MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9
RANDOM SEED=1601738060

node128.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.05
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.05
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.05
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.05
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:        31012128 kB
MemAvailable:   32009916 kB
Buffers:          148864 kB
Cached:          1135204 kB
SwapCached:            0 kB
Active:           433944 kB
Inactive:         906520 kB
Active(anon):      56760 kB
Inactive(anon):    16724 kB
Active(file):     377184 kB
Inactive(file):   889796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42136 kB
Writeback:             4 kB
AnonPages:         56576 kB
Mapped:            30984 kB
Shmem:             17064 kB
Slab:             119308 kB
SReclaimable:      93284 kB
SUnreclaim:        26024 kB
KernelStack:        3104 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     290032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61904 MiB
End job on node128 at 2017-08-02 17:19:35