Trace number 4256716

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 - Hybrid 2017-07-26SAT (TO)940 254.272 240.052

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-44.xml
MD5SUM0962135a9df7191e1203c0b83ceb0052
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark240.08299
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints13244
Number of domains1
Minimum domain size946
Maximum domain size946
Distribution of domain sizes[{"size":946,"count":946}]
Minimum variable degree0
Maximum variable degree43
Distribution of variable degrees[{"degree":0,"count":990},{"degree":43,"count":946}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":13244}]
Number of extensional constraints0
Number of intensional constraints13244
Distribution of constraint types[{"type":"intension","count":13244}]
Optimization problemYES
Type of objectivemin MAXIMUM

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.41	c version: 2017-07-26
0.35/0.41	c seed: 1899262506
0.35/0.41	c timeout: 264
0.35/0.41	c memlimit: 11000
0.35/0.41	c nbcore: 4
0.35/0.44	c Parsing instance...
5.73/2.14	c Parsing done, starting first complete search...
20.36/14.95	o 945
34.17/27.86	o 944
34.17/27.89	c First complete search done, starting ALNS search...
122.41/111.75	o 943
129.93/119.15	o 942
149.19/137.97	o 941
178.33/166.23	o 940
221.28/207.94	c ALNS done, starting second complete search
221.28/207.94	c Best operator: ValGuided(237,MaxVal)_WeightDeg(Max) with improvement of: 1
254.14/240.02	s SATISFIABLE
254.14/240.03	v <instantiation>
254.14/240.03	v 	<list>
254.14/240.03	v 		x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43]
254.14/240.03	v 	</list>
254.14/240.03	v 	<values>
254.14/240.03	v 		940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 939 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 934 934 934 934 934 934 934 934 934 934 934 934 934 934 934 934 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 933 933 933 933 933 933 933 933 933 933 933 933 933 933 933 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 932 932 932 932 932 932 932 932 932 932 932 932 932 932 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 931 931 931 931 931 931 931 931 931 931 931 931 931 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 930 930 930 930 930 930 930 930 930 930 930 930 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 929 929 929 929 929 929 929 929 929 929 929 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 928 928 928 928 928 928 928 928 928 928 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 927 927 927 927 927 927 927 927 927 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 926 926 926 926 926 926 926 926 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 925 925 925 925 925 925 925 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 924 924 924 924 924 924 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 923 923 923 923 923 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 922 922 922 922 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 921 921 921 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 920 920 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 919 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 940 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 938 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 937 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 936 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 935 934 934 934 934 934 934 934 934 934 934 934 934 934 934 934 934 933 933 933 933 933 933 933 933 933 933 933 933 933 933 933 932 932 932 932 932 932 932 932 932 932 932 932 932 932 931 931 931 931 931 931 931 931 931 931 931 931 931 930 930 930 930 930 930 930 930 930 930 930 930 929 929 929 929 929 929 929 929 929 929 929 928 928 928 928 928 928 928 928 928 928 927 927 927 927 927 927 927 927 927 926 926 926 926 926 926 926 926 925 925 925 925 925 925 925 924 924 924 924 924 924 923 923 923 923 923 922 922 922 922 921 921 921 920 920 919 
254.14/240.03	v 	</values>
254.14/240.03	v </instantiation>

Verifier Data

OK	940

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-4256716-1501995375/watcher-4256716-1501995375 -o /tmp/evaluation-result-4256716-1501995375/solver-4256716-1501995375 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8060 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1899262506 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256716-1501995375.xml 

pid=15677
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.50 1.50 1.59 3/199 15680
/proc/meminfo: memFree=27857184/32770624 swapFree=0/296824
[pid=15680] ppid=15677 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (runsolver) D 15677 15680 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47352827 24240128 106 18446744073709551615 4194304 4338465 140731155179952 140731155177592 140178748596951 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8310784 140731155181681 140731155182156 140731155182156 140731155185610 0
/proc/15680/statm: 5918 106 53 36 0 2156 0

[startup+0.100112 s]
/proc/loadavg: 1.50 1.50 1.59 3/199 15680
/proc/meminfo: memFree=27857184/32770624 swapFree=0/296824
[pid=15680] ppid=15677 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15680/stat : 15680 (runsolver) D 15677 15680 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47352827 24240128 106 18446744073709551615 4194304 4338465 140731155179952 140731155177592 140178748596951 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8310784 140731155181681 140731155182156 140731155182156 140731155185610 0
/proc/15680/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200272 s]
/proc/loadavg: 1.50 1.50 1.59 3/199 15680
/proc/meminfo: memFree=27857184/32770624 swapFree=0/296824
[pid=15680] ppid=15677 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 4707 0 0 0 5 0 0 0 20 0 14 0 47352827 14240239616 5253 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3476621 5253 2589 1 0 3466118 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300283 s]
/proc/loadavg: 1.50 1.50 1.59 3/199 15680
/proc/meminfo: memFree=27857184/32770624 swapFree=0/296824
[pid=15680] ppid=15677 vsize=13975920 CPUtime=0.18 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 9868 0 0 0 16 2 0 0 20 0 15 0 47352827 14311342080 8975 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3493980 8975 3473 1 0 3482759 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13975920

[startup+0.700886 s]
/proc/loadavg: 1.50 1.50 1.59 3/199 15680
/proc/meminfo: memFree=27857184/32770624 swapFree=0/296824
[pid=15680] ppid=15677 vsize=13977988 CPUtime=1.07 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 15675 0 0 0 104 3 0 0 20 0 15 0 47352827 14313459712 21517 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3494497 21517 3732 1 0 3483271 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13977988

[startup+1.50071 s]
/proc/loadavg: 1.50 1.50 1.59 5/214 15695
/proc/meminfo: memFree=27658116/32770624 swapFree=0/296848
[pid=15680] ppid=15677 vsize=13977988 CPUtime=3.74 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 19654 0 0 0 367 7 0 0 20 0 15 0 47352827 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3494497 54546 3781 1 0 3483271 0
[pid=15680/tid=15682] ppid=15677 vsize=13977988 CPUtime=1.29 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 10663 0 0 0 126 3 0 0 20 0 15 0 47352840 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638612767408 139638591513210 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 47352841 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 47352841 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13977988 CPUtime=0.01 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 47352841 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47352841 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 47352842 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47352842 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638086304800 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47352843 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638085251952 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13977988 CPUtime=0.94 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) R 15677 15680 30500 0 -1 4202560 2763 0 0 0 94 0 0 0 20 0 15 0 47352845 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638593464700 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13977988 CPUtime=0.91 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) R 15677 15680 30500 0 -1 4202560 2557 0 0 0 90 1 0 0 20 0 15 0 47352845 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638082082288 139638587791952 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13977988 CPUtime=0.5 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 2138 0 0 0 50 0 0 0 20 0 15 0 47352845 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47352849 14313459712 54546 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13977988

[startup+3.10072 s]
/proc/loadavg: 1.62 1.53 1.60 6/214 15695
/proc/meminfo: memFree=27545748/32770624 swapFree=0/296848
[pid=15680] ppid=15677 vsize=13982084 CPUtime=7.82 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 26879 0 0 0 750 32 0 0 20 0 15 0 47352827 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 177843 3802 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=2.71 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 13947 0 0 0 261 10 0 0 20 0 15 0 47352840 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638612773408 139638204150318 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 229 0 0 0 12 4 0 0 20 0 15 0 47352841 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 208 0 0 0 13 4 0 0 20 0 15 0 47352841 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 283 0 0 0 13 4 0 0 20 0 15 0 47352841 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 168 0 0 0 10 4 0 0 20 0 15 0 47352841 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 15 0 47352842 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=1.86 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 3226 0 0 0 185 1 0 0 20 0 15 0 47352845 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=1.77 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 2999 0 0 0 176 1 0 0 20 0 15 0 47352845 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=0.75 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 3935 0 0 0 74 1 0 0 20 0 15 0 47352845 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352849 14317654016 177843 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 13982084

[startup+6.30071 s]
/proc/loadavg: 1.62 1.53 1.60 3/214 15695
/proc/meminfo: memFree=26600132/32770624 swapFree=0/296856
[pid=15680] ppid=15677 vsize=13982084 CPUtime=11.37 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 30047 0 0 0 1079 58 0 0 20 0 15 0 47352827 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 553710 3802 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=5.81 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 16347 0 0 0 551 30 0 0 20 0 15 0 47352840 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638612770432 139638203996666 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=0.25 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 399 0 0 0 20 5 0 0 20 0 15 0 47352841 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=0.26 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 235 0 0 0 21 5 0 0 20 0 15 0 47352841 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=0.27 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 312 0 0 0 21 6 0 0 20 0 15 0 47352841 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=0.24 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 196 0 0 0 19 5 0 0 20 0 15 0 47352841 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 1017 0 0 0 1 0 0 0 20 0 15 0 47352842 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=1.88 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 3231 0 0 0 187 1 0 0 20 0 15 0 47352845 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=1.8 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 3004 0 0 0 179 1 0 0 20 0 15 0 47352845 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=0.76 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 3935 0 0 0 75 1 0 0 20 0 15 0 47352845 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352849 14317654016 553710 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.82 1.58 1.62 3/214 15695
/proc/meminfo: memFree=24344988/32770624 swapFree=0/296852
[pid=15680] ppid=15677 vsize=13982084 CPUtime=18.1 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 32715 0 0 0 1730 80 0 0 20 0 15 0 47352827 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 881415 3803 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=12.14 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 17476 0 0 0 1167 47 0 0 20 0 15 0 47352840 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638612773760 139638203996611 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=0.32 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 424 0 0 0 25 7 0 0 20 0 15 0 47352841 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=0.34 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 327 0 0 0 27 7 0 0 20 0 15 0 47352841 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=0.33 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 551 0 0 0 26 7 0 0 20 0 15 0 47352841 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=0.31 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 592 0 0 0 24 7 0 0 20 0 15 0 47352841 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 1779 0 0 0 2 0 0 0 20 0 15 0 47352842 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 881415 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0

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

/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 991257 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 63 0 0 0 0 2 0 0 20 0 15 0 47352849 14317654016 991257 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 59.48
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.84 1.64 1.64 3/215 15700
/proc/meminfo: memFree=24006548/32770624 swapFree=0/296920
[pid=15680] ppid=15677 vsize=13982084 CPUtime=112.56 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 71364 0 0 0 11145 111 0 0 20 0 15 0 47352827 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 1001225 3808 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=100.83 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 33333 0 0 0 10030 53 0 0 20 0 15 0 47352840 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638612771936 139638204924468 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=1.21 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 1911 0 0 0 109 12 0 0 20 0 15 0 47352841 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=1.22 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 2004 0 0 0 110 12 0 0 20 0 15 0 47352841 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=1.22 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 2422 0 0 0 111 11 0 0 20 0 15 0 47352841 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=1.18 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 3118 0 0 0 107 11 0 0 20 0 15 0 47352841 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 2449 0 0 0 3 1 0 0 20 0 15 0 47352842 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=2.96 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 7864 0 0 0 294 2 0 0 20 0 15 0 47352845 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=2.71 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 6238 0 0 0 270 1 0 0 20 0 15 0 47352845 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=1.03 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 10484 0 0 0 101 2 0 0 20 0 15 0 47352845 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 147 0 0 0 3 3 0 0 20 0 15 0 47352849 14317654016 1001225 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 112.56
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.91 1.71 1.66 3/215 15779
/proc/meminfo: memFree=24101012/32770624 swapFree=0/296960
[pid=15680] ppid=15677 vsize=13982084 CPUtime=174.31 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 84365 0 0 0 17310 121 0 0 20 0 15 0 47352827 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 979223 3808 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=160.36 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 37506 0 0 0 15981 55 0 0 20 0 15 0 47352840 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638612772784 139638200841227 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=1.65 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 2911 0 0 0 152 13 0 0 20 0 15 0 47352841 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=1.67 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 2448 0 0 0 155 12 0 0 20 0 15 0 47352841 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=1.65 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 2809 0 0 0 153 12 0 0 20 0 15 0 47352841 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=1.63 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 3426 0 0 0 150 13 0 0 20 0 15 0 47352841 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 2701 0 0 0 4 1 0 0 20 0 15 0 47352842 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=3.04 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 8693 0 0 0 301 3 0 0 20 0 15 0 47352845 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=2.98 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 11159 0 0 0 297 1 0 0 20 0 15 0 47352845 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=1.06 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 11125 0 0 0 104 2 0 0 20 0 15 0 47352845 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 187 0 0 0 4 5 0 0 20 0 15 0 47352849 14317654016 979223 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 174.31
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.65 1.66 1.64 3/214 15781
/proc/meminfo: memFree=23768004/32770624 swapFree=0/296992
[pid=15680] ppid=15677 vsize=13982084 CPUtime=236.01 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 97891 0 0 0 23476 125 0 0 20 0 15 0 47352827 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 944209 3808 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=219.81 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 43684 0 0 0 21926 55 0 0 20 0 15 0 47352840 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638612773376 139638200840921 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=2.19 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 3231 0 0 0 205 14 0 0 20 0 15 0 47352841 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=2.2 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 2933 0 0 0 207 13 0 0 20 0 15 0 47352841 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=2.19 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 3310 0 0 0 206 13 0 0 20 0 15 0 47352841 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=2.16 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 4489 0 0 0 202 14 0 0 20 0 15 0 47352841 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 2944 0 0 0 6 2 0 0 20 0 15 0 47352842 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=3.07 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 10273 0 0 0 304 3 0 0 20 0 15 0 47352845 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=3.02 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 12017 0 0 0 300 2 0 0 20 0 15 0 47352845 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 13352 0 0 0 105 2 0 0 20 0 15 0 47352845 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 252 0 0 0 6 7 0 0 20 0 15 0 47352849 14317654016 944209 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 236.01
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.73 1.67 1.65 3/214 15781
/proc/meminfo: memFree=23786424/32770624 swapFree=0/296992
[pid=15680] ppid=15677 vsize=13982084 CPUtime=254.14 cores=1,3,5,7
/proc/15680/stat : 15680 (java) S 15677 15680 30500 0 -1 1077944320 98333 0 0 0 25288 126 0 0 20 0 15 0 47352827 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 140728539266288 139638608535287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 12 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
/proc/15680/statm: 3495521 934846 3808 1 0 3484295 0
[pid=15680/tid=15682] ppid=15677 vsize=13982084 CPUtime=237.36 cores=1,3,5,7
/proc/15680/task/15682/stat : 15682 (java) R 15677 15680 30500 0 -1 4202560 44044 0 0 0 23681 55 0 0 20 0 15 0 47352840 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638612773376 139638200840278 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15683] ppid=15677 vsize=13982084 CPUtime=2.32 cores=1,3,5,7
/proc/15680/task/15683/stat : 15683 (java) S 15677 15680 30500 0 -1 1077944384 3243 0 0 0 218 14 0 0 20 0 15 0 47352841 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638527949968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15684] ppid=15677 vsize=13982084 CPUtime=2.34 cores=1,3,5,7
/proc/15680/task/15684/stat : 15684 (java) S 15677 15680 30500 0 -1 1077944384 2972 0 0 0 221 13 0 0 20 0 15 0 47352841 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638526897168 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15685] ppid=15677 vsize=13982084 CPUtime=2.33 cores=1,3,5,7
/proc/15680/task/15685/stat : 15685 (java) S 15677 15680 30500 0 -1 1077944384 3329 0 0 0 220 13 0 0 20 0 15 0 47352841 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638525844368 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15686] ppid=15677 vsize=13982084 CPUtime=2.3 cores=1,3,5,7
/proc/15680/task/15686/stat : 15686 (java) S 15677 15680 30500 0 -1 1077944384 4498 0 0 0 216 14 0 0 20 0 15 0 47352841 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638524791568 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15687] ppid=15677 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/15680/task/15687/stat : 15687 (java) S 15677 15680 30500 0 -1 1077944384 2944 0 0 0 6 2 0 0 20 0 15 0 47352842 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638087358832 139638608546434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15688] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15688/stat : 15688 (java) S 15677 15680 30500 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 47352842 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638086304864 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15689] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15689/stat : 15689 (java) S 15677 15680 30500 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 47352843 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638085251968 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15690] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15690/stat : 15690 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638084200272 139638608553883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15691] ppid=15677 vsize=13982084 CPUtime=3.07 cores=1,3,5,7
/proc/15680/task/15691/stat : 15691 (java) S 15677 15680 30500 0 -1 1077944384 10276 0 0 0 304 3 0 0 20 0 15 0 47352845 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638083148656 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15692] ppid=15677 vsize=13982084 CPUtime=3.02 cores=1,3,5,7
/proc/15680/task/15692/stat : 15692 (java) S 15677 15680 30500 0 -1 1077944384 12017 0 0 0 300 2 0 0 20 0 15 0 47352845 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638082095856 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15693] ppid=15677 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/15680/task/15693/stat : 15693 (java) S 15677 15680 30500 0 -1 1077944384 13352 0 0 0 105 2 0 0 20 0 15 0 47352845 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638081043056 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15694] ppid=15677 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/15680/task/15694/stat : 15694 (java) S 15677 15680 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47352845 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638079990496 139638608545493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
[pid=15680/tid=15695] ppid=15677 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/15680/task/15695/stat : 15695 (java) S 15677 15680 30500 0 -1 1077944384 252 0 0 0 7 7 0 0 20 0 15 0 47352849 14317654016 934846 18446744073709551615 4194304 4196468 140728539283744 139638078937776 139638608546434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35938304 140728539287963 140728539288145 140728539288145 140728539291599 0
Current children cumulated CPU time (s) 254.14
Current children cumulated vsize (KiB) 13982084

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 15680 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.052
CPU time (s): 254.272
CPU user time (s): 252.99
CPU system time (s): 1.2823
CPU usage (%): 105.924
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.99
system time used= 1.2823
maximum resident set size= 4033800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10346
involuntary context switches= 359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08314 second user time and 1.55818 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-06 06:42:08
IDJOB=4256716
IDBENCH=140589
IDSOLVER=2640
FILE ID=node133/4256716-1501995375
RUNJOBID= node133-1501986359-8060
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-44.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256716-1501995375/watcher-4256716-1501995375 -o /tmp/evaluation-result-4256716-1501995375/solver-4256716-1501995375 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8060 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1899262506 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256716-1501995375.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=1899262506

node133.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.17
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.17
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.17
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.17
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:        27857212 kB
MemAvailable:   28315248 kB
Buffers:          178204 kB
Cached:           563840 kB
SwapCached:            0 kB
Active:          4170628 kB
Inactive:         313552 kB
Active(anon):    3742484 kB
Inactive(anon):    16728 kB
Active(file):     428144 kB
Inactive(file):   296824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42760 kB
Writeback:             0 kB
AnonPages:       3741820 kB
Mapped:            52604 kB
Shmem:             17084 kB
Slab:             124488 kB
SReclaimable:      97808 kB
SUnreclaim:        26680 kB
KernelStack:        3552 kB
PageTables:        12580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4625064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3608576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-06 06:46:09