Trace number 4257215

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)1080 1754.6801 252.19299

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-47.xml
MD5SUMb40b46819fbd3a38fcaaee2fdd389509
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 benchmark252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables2209
Number of constraints16215
Number of domains1
Minimum domain size1081
Maximum domain size1081
Distribution of domain sizes[{"size":1081,"count":1081}]
Minimum variable degree0
Maximum variable degree46
Distribution of variable degrees[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":16215}]
Number of extensional constraints0
Number of intensional constraints16215
Distribution of constraint types[{"type":"intension","count":16215}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 703268075
0.29/0.25	c timeout: 2016
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
5.44/1.68	c Parsing done, starting search...
1114.65/171.67	o 1080
1753.72/252.11	s SATISFIABLE
1753.72/252.11	v <instantiation>
1753.72/252.11	v 	<list>
1753.72/252.11	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[0][44] x[0][45] x[0][46] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
1753.72/252.11	v 	</list>
1753.72/252.11	v 	<values>
1753.72/252.11	v 		1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1076 1075 1077 1078 1079 1080 1080 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1072 1073 1074 1075 1076 1077 1078 1079 1080 1080 1073 1074 1075 1076 1077 1078 1079 1080 1080 1074 1075 1076 1077 1078 1079 1080 1080 1075 1076 1077 1078 1079 1080 1080 1076 1077 1078 1079 1080 1080 1077 1078 1079 1080 1080 1078 1079 1080 1080 1079 1080 1080 1080 1080 1079 
1753.72/252.11	v 	</values>
1753.72/252.11	v </instantiation>

Verifier Data

OK	1080

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257215-1502648789/watcher-4257215-1502648789 -o /tmp/evaluation-result-4257215-1502648789/solver-4257215-1502648789 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 703268075 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4257215-1502648789.xml 

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

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

solver pid=18651, runsolver pid=18648

[startup+0.100174 s]*
/proc/loadavg: 8.14 7.48 6.41 3/199 18671
/proc/meminfo: memFree=28693260/32770624 swapFree=67108860/67108860
[pid=18651] ppid=18648 vsize=26000848 memory=32660 CPUtime=0.12 cores=0-7
/proc/18651/stat : 18651 (java) S 18648 18651 14738 0 -1 1077944320 8590 0 0 0 11 1 0 0 20 0 20 0 97959801 26624868352 8165 33554432000 4194304 4196468 140732075129808 140732075112352 140085179997943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
/proc/18651/statm: 6500212 8165 3411 1 0 6487932 0
[pid=18651/tid=18653] ppid=18648 vsize=26000848 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18651/task/18653/stat : 18653 (java) R 18648 18651 14738 0 -1 4202560 6528 0 0 0 8 1 0 0 20 0 20 0 97959801 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085184214640 140085164078430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18654] ppid=18648 vsize=26000848 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18651/task/18654/stat : 18654 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085132618512 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18655] ppid=18648 vsize=26000848 memory=140397083108992 CPUtime=0 cores=0-7
/proc/18651/task/18655/stat : 18655 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085131565968 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18656] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18656/stat : 18656 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085130513424 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18657] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18657/stat : 18657 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085129460880 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18658] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18658/stat : 18658 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085128407312 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18659] ppid=18648 vsize=26000848 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18659/stat : 18659 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085127354768 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18660] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18660/stat : 18660 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085126302224 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18661] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18661/stat : 18661 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 8165 33554432000 4194304 4196468 140732075129808 140085125249680 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18662] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18662/stat : 18662 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083451623920 140085180009090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18663] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18663/stat : 18663 (java) S 18648 18651 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083450570144 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18664] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18664/stat : 18664 (java) S 18648 18651 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083449517552 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18665] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18665/stat : 18665 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083448466128 140085180016539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18666] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18666/stat : 18666 (java) S 18648 18651 14738 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083447412720 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18667] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18667/stat : 18667 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083109816432 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18668] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18668/stat : 18668 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083108763888 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18669] ppid=18648 vsize=26000848 memory=0 CPUtime=0.02 cores=0-7
/proc/18651/task/18669/stat : 18669 (java) S 18648 18651 14738 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083107711344 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18670] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18670/stat : 18670 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083106659040 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18671] ppid=18648 vsize=26000848 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18671/stat : 18671 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 8165 33554432000 4194304 4196468 140732075129808 140083105606576 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000848 KiB
Current children cumulated memory: 32660 KiB

[startup+0.209658 s]*
/proc/loadavg: 8.14 7.48 6.41 3/199 18671
/proc/meminfo: memFree=28685380/32770624 swapFree=67108860/67108860
[pid=18651] ppid=18648 vsize=26000848 memory=41552 CPUtime=0.29 cores=0-7
/proc/18651/stat : 18651 (java) S 18648 18651 14738 0 -1 1077944320 9604 0 0 0 27 2 0 0 20 0 20 0 97959801 26624868352 10388 33554432000 4194304 4196468 140732075129808 140732075112352 140085179997943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
/proc/18651/statm: 6500212 10388 3589 1 0 6487932 0
[pid=18651/tid=18653] ppid=18648 vsize=26000848 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/18651/task/18653/stat : 18653 (java) R 18648 18651 14738 0 -1 4202560 7151 0 0 0 18 1 0 0 20 0 20 0 97959801 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085184218000 140085180019869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18654] ppid=18648 vsize=26000848 memory=3221 CPUtime=0 cores=0-7
/proc/18651/task/18654/stat : 18654 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085132618512 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18655] ppid=18648 vsize=26000848 memory=288370773234820736 CPUtime=0 cores=0-7
/proc/18651/task/18655/stat : 18655 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085131565968 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18656] ppid=18648 vsize=26000848 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18656/stat : 18656 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085130513424 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18657] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18657/stat : 18657 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085129460880 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18658] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18658/stat : 18658 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085128407312 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18659] ppid=18648 vsize=26000848 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18659/stat : 18659 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085127354768 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18660] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18660/stat : 18660 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085126302224 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18661] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18661/stat : 18661 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959802 26624868352 10388 33554432000 4194304 4196468 140732075129808 140085125249680 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18662] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18662/stat : 18662 (java) S 18648 18651 14738 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083451623920 140085180009090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18663] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18663/stat : 18663 (java) S 18648 18651 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083450570144 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18664] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18664/stat : 18664 (java) S 18648 18651 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97959804 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083449517552 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18665] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18665/stat : 18665 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083448466128 140085180016539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18666] ppid=18648 vsize=26000848 memory=0 CPUtime=0.01 cores=0-7
/proc/18651/task/18666/stat : 18666 (java) S 18648 18651 14738 0 -1 1077944384 583 0 0 0 1 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083447412720 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18667] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18667/stat : 18667 (java) S 18648 18651 14738 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083109816432 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18668] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18668/stat : 18668 (java) S 18648 18651 14738 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083108763888 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18669] ppid=18648 vsize=26000848 memory=0 CPUtime=0.05 cores=0-7
/proc/18651/task/18669/stat : 18669 (java) R 18648 18651 14738 0 -1 4202560 390 0 0 0 5 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083107711344 140085158950612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18670] ppid=18648 vsize=26000848 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18670/stat : 18670 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083106659040 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18671] ppid=18648 vsize=26000848 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18671/stat : 18671 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624868352 10388 33554432000 4194304 4196468 140732075129808 140083105606576 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000848 KiB
Current children cumulated memory: 41552 KiB

[startup+0.309546 s]*
/proc/loadavg: 8.14 7.48 6.41 2/199 18671
/proc/meminfo: memFree=28678432/32770624 swapFree=67108860/67108860
[pid=18651] ppid=18648 vsize=26000868 memory=49460 CPUtime=0.48 cores=0-7
/proc/18651/stat : 18651 (java) S 18648 18651 14738 0 -1 1077944320 10611 0 0 0 45 3 0 0 20 0 20 0 97959801 26624888832 12365 33554432000 4194304 4196468 140732075129808 140732075112352 140085179997943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
/proc/18651/statm: 6500217 12365 3718 1 0 6487932 0
[pid=18651/tid=18653] ppid=18648 vsize=26000868 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18651/task/18653/stat : 18653 (java) R 18648 18651 14738 0 -1 4202560 7720 0 0 0 27 2 0 0 20 0 20 0 97959801 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085184221696 140085180019869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18654] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18654/stat : 18654 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085132618512 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18655] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18655/stat : 18655 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085131565968 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18656] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18656/stat : 18656 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085130513424 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18657] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18657/stat : 18657 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085129460880 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18658] ppid=18648 vsize=26000868 memory=2244 CPUtime=0 cores=0-7
/proc/18651/task/18658/stat : 18658 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085128407312 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18659] ppid=18648 vsize=26000868 memory=140396978074543 CPUtime=0 cores=0-7
/proc/18651/task/18659/stat : 18659 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085127354768 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18660] ppid=18648 vsize=26000868 memory=140396978076848 CPUtime=0 cores=0-7
/proc/18651/task/18660/stat : 18660 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085126302224 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18661] ppid=18648 vsize=26000868 memory=140396978079152 CPUtime=0 cores=0-7
/proc/18651/task/18661/stat : 18661 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959802 26624888832 12365 33554432000 4194304 4196468 140732075129808 140085125249680 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18662] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18662/stat : 18662 (java) S 18648 18651 14738 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97959804 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083451623920 140085180009090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18663] ppid=18648 vsize=26000868 memory=280793956165264 CPUtime=0 cores=0-7
/proc/18651/task/18663/stat : 18663 (java) S 18648 18651 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97959804 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083450570144 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18664] ppid=18648 vsize=26000868 memory=280793956172176 CPUtime=0 cores=0-7
/proc/18651/task/18664/stat : 18664 (java) S 18648 18651 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97959804 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083449517552 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18665] ppid=18648 vsize=26000868 memory=280793956113456 CPUtime=0 cores=0-7
/proc/18651/task/18665/stat : 18665 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083448466128 140085180016539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18666] ppid=18648 vsize=26000868 memory=280793956186000 CPUtime=0.04 cores=0-7
/proc/18651/task/18666/stat : 18666 (java) S 18648 18651 14738 0 -1 1077944384 733 0 0 0 4 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083447412720 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18667] ppid=18648 vsize=26000868 memory=280793956192912 CPUtime=0.03 cores=0-7
/proc/18651/task/18667/stat : 18667 (java) S 18648 18651 14738 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083109816432 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18668] ppid=18648 vsize=26000868 memory=280793956190608 CPUtime=0.01 cores=0-7
/proc/18651/task/18668/stat : 18668 (java) S 18648 18651 14738 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083108763888 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18669] ppid=18648 vsize=26000868 memory=280793956207216 CPUtime=0.08 cores=0-7
/proc/18651/task/18669/stat : 18669 (java) R 18648 18651 14738 0 -1 4202560 502 0 0 0 8 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083107711344 140085158795153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18670] ppid=18648 vsize=26000868 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18670/stat : 18670 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083106659040 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18671] ppid=18648 vsize=26000868 memory=-1 CPUtime=0 cores=0-7
/proc/18651/task/18671/stat : 18671 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959807 26624888832 12365 33554432000 4194304 4196468 140732075129808 140083105606576 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000868 KiB
Current children cumulated memory: 49460 KiB

[startup+0.700784 s]
/proc/loadavg: 8.14 7.48 6.41 3/199 18671
/proc/meminfo: memFree=28646788/32770624 swapFree=67108860/67108860
[pid=18651] ppid=18648 vsize=26002916 memory=119748 CPUtime=1.68 cores=0-7
/proc/18651/stat : 18651 (java) S 18648 18651 14738 0 -1 1077944320 14822 0 0 0 162 6 0 0 20 0 20 0 97959801 26626985984 29937 33554432000 4194304 4196468 140732075129808 140732075112352 140085179997943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
/proc/18651/statm: 6500729 29937 3776 1 0 6488444 0
[pid=18651/tid=18653] ppid=18648 vsize=26002916 memory=0 CPUtime=0.67 cores=0-7
/proc/18651/task/18653/stat : 18653 (java) R 18648 18651 14738 0 -1 4202560 8456 0 0 0 64 3 0 0 20 0 20 0 97959801 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085184231608 140084807991443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18654] ppid=18648 vsize=26002916 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18654/stat : 18654 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085132618512 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18655] ppid=18648 vsize=26002916 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18655/stat : 18655 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085131565968 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18656] ppid=18648 vsize=26002916 memory=0 CPUtime=0 cores=0-7
/proc/18651/task/18656/stat : 18656 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085130513424 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18657] ppid=18648 vsize=26002916 memory=1944 CPUtime=0 cores=0-7
/proc/18651/task/18657/stat : 18657 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085129460880 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18658] ppid=18648 vsize=26002916 memory=1200 CPUtime=0 cores=0-7
/proc/18651/task/18658/stat : 18658 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085128407312 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18659] ppid=18648 vsize=26002916 memory=1424 CPUtime=0 cores=0-7
/proc/18651/task/18659/stat : 18659 (java) S 18648 18651 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085127354768 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18660] ppid=18648 vsize=26002916 memory=8552 CPUtime=0 cores=0-7
/proc/18651/task/18660/stat : 18660 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085126302224 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18661] ppid=18648 vsize=26002916 memory=15872 CPUtime=0 cores=0-7
/proc/18651/task/18661/stat : 18661 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97959802 26626985984 30449 33554432000 4194304 4196468 140732075129808 140085125249680 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18662] ppid=18648 vsize=26002916 memory=4052 CPUtime=0 cores=0-7
/proc/18651/task/18662/stat : 18662 (java) S 18648 18651 14738 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97959804 26626985984 30449 33554432000 4194304 4196468 140732075129808 140083451623920 140085180009090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0

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

[pid=18651/tid=18669] ppid=18648 vsize=27344472 memory=0 CPUtime=1.15 cores=0-7
/proc/18651/task/18669/stat : 18669 (java) S 18648 18651 14738 0 -1 1077944384 10873 0 0 0 111 4 0 0 20 0 40 0 97959807 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083107711344 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18670] ppid=18648 vsize=27344472 memory=7306926986422347856 CPUtime=0 cores=0-7
/proc/18651/task/18670/stat : 18670 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 97959807 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083106659040 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18671] ppid=18648 vsize=27344472 memory=7594593338592946024 CPUtime=0.14 cores=0-7
/proc/18651/task/18671/stat : 18671 (java) S 18648 18651 14738 0 -1 1077944384 1016 0 0 0 7 7 0 0 20 0 40 0 97959807 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083105606576 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18672] ppid=18648 vsize=27344472 memory=8425624 CPUtime=0 cores=0-7
/proc/18651/task/18672/stat : 18672 (java) S 18648 18651 14738 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 40 0 97963460 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083095319808 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18673] ppid=18648 vsize=27344472 memory=288283381249345055 CPUtime=0.92 cores=0-7
/proc/18651/task/18673/stat : 18673 (java) S 18648 18651 14738 0 -1 1077944384 2630 0 0 0 32 60 0 0 20 0 40 0 97963472 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083092170288 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18674] ppid=18648 vsize=27344472 memory=8425624 CPUtime=171.65 cores=0-7
/proc/18651/task/18674/stat : 18674 (java) R 18648 18651 14738 0 -1 4202560 70394 0 0 0 17035 130 0 0 20 0 40 0 97963481 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083089016272 140085159723002 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18675] ppid=18648 vsize=27344472 memory=4144 CPUtime=171.9 cores=0-7
/proc/18651/task/18675/stat : 18675 (java) R 18648 18651 14738 0 -1 4202560 36422 0 0 0 17103 87 0 0 20 0 40 0 97963482 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083087961304 140084814249956 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18676] ppid=18648 vsize=27344472 memory=28404 CPUtime=125.08 cores=0-7
/proc/18651/task/18676/stat : 18676 (java) S 18648 18651 14738 0 -1 1077944384 37177 0 0 0 12355 153 0 0 20 0 40 0 97963483 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083086914480 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18677] ppid=18648 vsize=27344472 memory=1292 CPUtime=0.19 cores=0-7
/proc/18651/task/18677/stat : 18677 (java) S 18648 18651 14738 0 -1 1077944384 112 0 0 0 19 0 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083085861936 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18678] ppid=18648 vsize=27344472 memory=160417028542948 CPUtime=171.23 cores=0-7
/proc/18651/task/18678/stat : 18678 (java) R 18648 18651 14738 0 -1 4202560 41889 0 0 0 16963 160 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083084803368 140084814249956 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18679] ppid=18648 vsize=27344472 memory=7306623525672141152 CPUtime=171.11 cores=0-7
/proc/18651/task/18679/stat : 18679 (java) R 18648 18651 14738 0 -1 4202560 44480 0 0 0 16951 160 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083083751128 140084807602368 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18680] ppid=18648 vsize=27344472 memory=7162243307902022465 CPUtime=0.18 cores=0-7
/proc/18651/task/18680/stat : 18680 (java) S 18648 18651 14738 0 -1 1077944384 122 0 0 0 18 0 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083082704304 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18681] ppid=18648 vsize=27344472 memory=8425624 CPUtime=0.15 cores=0-7
/proc/18651/task/18681/stat : 18681 (java) S 18648 18651 14738 0 -1 1077944384 103 0 0 0 15 0 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083081651760 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18682] ppid=18648 vsize=27344472 memory=28404 CPUtime=170.8 cores=0-7
/proc/18651/task/18682/stat : 18682 (java) R 18648 18651 14738 0 -1 4202560 48205 0 0 0 16936 144 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083080592472 140084814163216 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18683] ppid=18648 vsize=27344472 memory=1292 CPUtime=0 cores=0-7
/proc/18651/task/18683/stat : 18683 (java) S 18648 18651 14738 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 40 0 97963485 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083079545648 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18684] ppid=18648 vsize=27344472 memory=792 CPUtime=170.7 cores=0-7
/proc/18651/task/18684/stat : 18684 (java) R 18648 18651 14738 0 -1 4202560 44346 0 0 0 16911 159 0 0 20 0 40 0 97963486 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083078487384 140084814162872 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18685] ppid=18648 vsize=27344472 memory=9992 CPUtime=171.68 cores=0-7
/proc/18651/task/18685/stat : 18685 (java) R 18648 18651 14738 0 -1 4202560 44178 0 0 0 17024 144 0 0 20 0 40 0 97963486 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083077434568 140084810761287 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18686] ppid=18648 vsize=27344472 memory=1224 CPUtime=0 cores=0-7
/proc/18651/task/18686/stat : 18686 (java) S 18648 18651 14738 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 40 0 97963509 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083076388016 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18687] ppid=18648 vsize=27344472 memory=5716 CPUtime=0 cores=0-7
/proc/18651/task/18687/stat : 18687 (java) S 18648 18651 14738 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 40 0 97963509 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083075335472 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18688] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18651/task/18688/stat : 18688 (java) S 18648 18651 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 97976970 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083072148912 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18689] ppid=18648 vsize=27344472 memory=916 CPUtime=0 cores=0-7
/proc/18651/task/18689/stat : 18689 (java) S 18648 18651 14738 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 40 0 97976972 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083071096368 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18690] ppid=18648 vsize=27344472 memory=4488 CPUtime=0 cores=0-7
/proc/18651/task/18690/stat : 18690 (java) S 18648 18651 14738 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 40 0 97976975 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083070042800 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18691] ppid=18648 vsize=27344472 memory=4100 CPUtime=46.43 cores=0-7
/proc/18651/task/18691/stat : 18691 (java) R 18648 18651 14738 0 -1 4202560 9961 0 0 0 4621 22 0 0 20 0 40 0 97976975 28000739328 2107995 33554432000 4194304 4196468 140732075129808 140083068984232 140084810761312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
Current children cumulated CPU time: 1517.62 s
Current children cumulated vsize: 27344472 KiB
Current children cumulated memory: 8431980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.89 7.79 6.73 9/218 18691
/proc/meminfo: memFree=20258076/32770624 swapFree=67108860/67108860
[pid=18651] ppid=18648 vsize=27344472 memory=8448600 CPUtime=1753.72 cores=0-7
/proc/18651/stat : 18651 (java) S 18648 18651 14738 0 -1 1077944320 873974 0 0 0 173692 1680 0 0 20 0 40 0 97959801 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140732075112352 140085179997943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
/proc/18651/statm: 6836118 2112150 3864 1 0 6823312 0
[pid=18651/tid=18653] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=36.45 cores=0-7
/proc/18651/task/18653/stat : 18653 (java) S 18648 18651 14738 0 -1 1077944384 21704 0 0 0 3533 112 0 0 20 0 40 0 97959801 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085184235648 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18654] ppid=18648 vsize=27344472 memory=4872558044660077418 CPUtime=14.6 cores=0-7
/proc/18651/task/18654/stat : 18654 (java) S 18648 18651 14738 0 -1 1077944384 46387 0 0 0 1425 35 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085132618512 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18655] ppid=18648 vsize=27344472 memory=2204 CPUtime=14.58 cores=0-7
/proc/18651/task/18655/stat : 18655 (java) S 18648 18651 14738 0 -1 1077944384 47685 0 0 0 1425 33 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085131565968 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18656] ppid=18648 vsize=27344472 memory=7280 CPUtime=14.55 cores=0-7
/proc/18651/task/18656/stat : 18656 (java) S 18648 18651 14738 0 -1 1077944384 47010 0 0 0 1422 33 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085130513424 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18657] ppid=18648 vsize=27344472 memory=844 CPUtime=14.6 cores=0-7
/proc/18651/task/18657/stat : 18657 (java) S 18648 18651 14738 0 -1 1077944384 42162 0 0 0 1427 33 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085129460880 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18658] ppid=18648 vsize=27344472 memory=1692 CPUtime=14.59 cores=0-7
/proc/18651/task/18658/stat : 18658 (java) S 18648 18651 14738 0 -1 1077944384 43325 0 0 0 1426 33 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085128407312 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18659] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=14.6 cores=0-7
/proc/18651/task/18659/stat : 18659 (java) S 18648 18651 14738 0 -1 1077944384 44887 0 0 0 1430 30 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085127354768 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18660] ppid=18648 vsize=27344472 memory=280793957726240 CPUtime=14.61 cores=0-7
/proc/18651/task/18660/stat : 18660 (java) S 18648 18651 14738 0 -1 1077944384 45484 0 0 0 1426 35 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085126302224 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18661] ppid=18648 vsize=27344472 memory=5788359518516111717 CPUtime=14.6 cores=0-7
/proc/18651/task/18661/stat : 18661 (java) S 18648 18651 14738 0 -1 1077944384 48269 0 0 0 1426 34 0 0 20 0 40 0 97959802 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140085125249680 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18662] ppid=18648 vsize=27344472 memory=8448600 CPUtime=0.48 cores=0-7
/proc/18651/task/18662/stat : 18662 (java) S 18648 18651 14738 0 -1 1077944384 11935 0 0 0 44 4 0 0 20 0 40 0 97959804 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083451623920 140085180009090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18663] ppid=18648 vsize=27344472 memory=7158299338316211043 CPUtime=0 cores=0-7
/proc/18651/task/18663/stat : 18663 (java) S 18648 18651 14738 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 40 0 97959804 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083450570208 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18664] ppid=18648 vsize=27344472 memory=6221002049431033191 CPUtime=0 cores=0-7
/proc/18651/task/18664/stat : 18664 (java) S 18648 18651 14738 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 40 0 97959804 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083449517568 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18665] ppid=18648 vsize=27344472 memory=4279073127026418240 CPUtime=0 cores=0-7
/proc/18651/task/18665/stat : 18665 (java) S 18648 18651 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083448466128 140085180016539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18666] ppid=18648 vsize=27344472 memory=7374191830529758315 CPUtime=2.71 cores=0-7
/proc/18651/task/18666/stat : 18666 (java) S 18648 18651 14738 0 -1 1077944384 15432 0 0 0 267 4 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083447412720 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18667] ppid=18648 vsize=27344472 memory=5789485457161480549 CPUtime=2.66 cores=0-7
/proc/18651/task/18667/stat : 18667 (java) S 18648 18651 14738 0 -1 1077944384 14400 0 0 0 264 2 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083109816432 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18668] ppid=18648 vsize=27344472 memory=-7347265847966530652 CPUtime=2.85 cores=0-7
/proc/18651/task/18668/stat : 18668 (java) S 18648 18651 14738 0 -1 1077944384 9057 0 0 0 283 2 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083108763888 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18669] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=1.15 cores=0-7
/proc/18651/task/18669/stat : 18669 (java) S 18648 18651 14738 0 -1 1077944384 10883 0 0 0 111 4 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083107711344 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18670] ppid=18648 vsize=27344472 memory=7091598560232759894 CPUtime=0 cores=0-7
/proc/18651/task/18670/stat : 18670 (java) S 18648 18651 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083106659040 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18671] ppid=18648 vsize=27344472 memory=5773685435979229760 CPUtime=0.15 cores=0-7
/proc/18651/task/18671/stat : 18671 (java) S 18648 18651 14738 0 -1 1077944384 1075 0 0 0 8 7 0 0 20 0 40 0 97959807 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083105606576 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18672] ppid=18648 vsize=27344472 memory=7516885358946177113 CPUtime=0 cores=0-7
/proc/18651/task/18672/stat : 18672 (java) S 18648 18651 14738 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 40 0 97963460 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083095319808 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18673] ppid=18648 vsize=27344472 memory=3055219902687559776 CPUtime=1.04 cores=0-7
/proc/18651/task/18673/stat : 18673 (java) S 18648 18651 14738 0 -1 1077944384 2942 0 0 0 37 67 0 0 20 0 40 0 97963472 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083092170288 140085180009090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18674] ppid=18648 vsize=27344472 memory=3054941726128165456 CPUtime=198.77 cores=0-7
/proc/18651/task/18674/stat : 18674 (java) R 18648 18651 14738 0 -1 4202560 77948 0 0 0 19735 142 0 0 20 0 40 0 97963481 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083089012808 140084814249956 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18675] ppid=18648 vsize=27344472 memory=7593720361155579990 CPUtime=199.28 cores=0-7
/proc/18651/task/18675/stat : 18675 (java) R 18648 18651 14738 0 -1 4202560 39588 0 0 0 19821 107 0 0 20 0 40 0 97963482 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083087964000 140084814162911 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18676] ppid=18648 vsize=27344472 memory=-7313654673739556905 CPUtime=125.08 cores=0-7
/proc/18651/task/18676/stat : 18676 (java) S 18648 18651 14738 0 -1 1077944384 37177 0 0 0 12355 153 0 0 20 0 40 0 97963483 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083086914480 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18677] ppid=18648 vsize=27344472 memory=7230346040251207767 CPUtime=0.19 cores=0-7
/proc/18651/task/18677/stat : 18677 (java) S 18648 18651 14738 0 -1 1077944384 112 0 0 0 19 0 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083085861936 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18678] ppid=18648 vsize=27344472 memory=6298942009437802578 CPUtime=198.57 cores=0-7
/proc/18651/task/18678/stat : 18678 (java) R 18648 18651 14738 0 -1 4202560 47718 0 0 0 19686 171 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083084803232 140084814249970 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18679] ppid=18648 vsize=27344472 memory=6926605841108527424 CPUtime=198.27 cores=0-7
/proc/18651/task/18679/stat : 18679 (java) R 18648 18651 14738 0 -1 4202560 49539 0 0 0 19654 173 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083083751128 140084807769103 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18680] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=0.18 cores=0-7
/proc/18651/task/18680/stat : 18680 (java) S 18648 18651 14738 0 -1 1077944384 122 0 0 0 18 0 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083082704304 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18681] ppid=18648 vsize=27344472 memory=4136 CPUtime=0.15 cores=0-7
/proc/18651/task/18681/stat : 18681 (java) S 18648 18651 14738 0 -1 1077944384 103 0 0 0 15 0 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083081651760 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18682] ppid=18648 vsize=27344472 memory=8446224 CPUtime=197.96 cores=0-7
/proc/18651/task/18682/stat : 18682 (java) R 18648 18651 14738 0 -1 4202560 53308 0 0 0 19638 158 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083080591664 140084814249956 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18683] ppid=18648 vsize=27344472 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18651/task/18683/stat : 18683 (java) S 18648 18651 14738 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 40 0 97963485 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083079545648 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18684] ppid=18648 vsize=27344472 memory=4872558044660077418 CPUtime=197.92 cores=0-7
/proc/18651/task/18684/stat : 18684 (java) R 18648 18651 14738 0 -1 4202560 49258 0 0 0 19623 169 0 0 20 0 40 0 97963486 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083078487248 140084814247414 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18685] ppid=18648 vsize=27344472 memory=1160 CPUtime=199.07 cores=0-7
/proc/18651/task/18685/stat : 18685 (java) R 18648 18651 14738 0 -1 4202560 49090 0 0 0 19749 158 0 0 20 0 40 0 97963486 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083077434432 140084810761301 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18686] ppid=18648 vsize=27344472 memory=4136 CPUtime=0 cores=0-7
/proc/18651/task/18686/stat : 18686 (java) S 18648 18651 14738 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 40 0 97963509 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083076388016 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18687] ppid=18648 vsize=27344472 memory=8444056 CPUtime=0 cores=0-7
/proc/18651/task/18687/stat : 18687 (java) S 18648 18651 14738 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 40 0 97963509 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083075335472 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18688] ppid=18648 vsize=27344472 memory=844 CPUtime=0 cores=0-7
/proc/18651/task/18688/stat : 18688 (java) S 18648 18651 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 97976970 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083072148912 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18689] ppid=18648 vsize=27344472 memory=8448600 CPUtime=0 cores=0-7
/proc/18651/task/18689/stat : 18689 (java) S 18648 18651 14738 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 40 0 97976972 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083071096368 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18690] ppid=18648 vsize=27344472 memory=56 CPUtime=0 cores=0-7
/proc/18651/task/18690/stat : 18690 (java) S 18648 18651 14738 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 40 0 97976975 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083070042800 140085180008149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
[pid=18651/tid=18691] ppid=18648 vsize=27344472 memory=-3472574944341025154 CPUtime=73.8 cores=0-7
/proc/18651/task/18691/stat : 18691 (java) R 18648 18651 14738 0 -1 4202560 15355 0 0 0 7343 37 0 0 20 0 40 0 97976975 28000739328 2112150 33554432000 4194304 4196468 140732075129808 140083068984232 140084814163379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22683648 140732075132008 140732075132192 140732075132192 140732075134927 0
Current children cumulated CPU time: 1753.72 s
Current children cumulated vsize: 27344472 KiB
Current children cumulated memory: 8448600 KiB

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

[startup+252.193 s]
# the end of solver process 18651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1737.8 s, system=16.8777 s

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

[startup+252.131 s]*
/proc/loadavg: 8.89 7.79 6.73 2/180 18693
/proc/meminfo: memFree=20702468/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.193
CPU time (s): 1754.68
CPU user time (s): 1737.8
CPU system time (s): 16.8777
CPU usage (%): 695.767
Max. virtual memory (cumulated for all children) (KiB): 27344472
Max. memory (cumulated for all children) (KiB): 8448600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.8
system time used= 16.8777
maximum resident set size= 8449668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 875093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46095
involuntary context switches= 35745


# summary of solver processes directly reported to runsolver:
#   pid: 18651
#   total CPU time (s): 1754.68
#   total CPU user time (s): 1737.8
#   total CPU system time (s): 16.8777

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.62983 second user time and 4.02822 second system time

The end

Launcher Data

Begin job on node151 at 2017-08-13 20:12:10
IDJOB=4257215
IDBENCH=140592
IDSOLVER=2641
FILE ID=node151/4257215-1502648789
RUNJOBID= node151-1502642846-14765
PBS_JOBID= 20628335
Free space on /tmp= 61756 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.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-4257215-1502648789/watcher-4257215-1502648789 -o /tmp/evaluation-result-4257215-1502648789/solver-4257215-1502648789 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 703268075 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4257215-1502648789.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=703268075

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28712436 kB
MemAvailable:   31989356 kB
Buffers:          249576 kB
Cached:          3318376 kB
SwapCached:            0 kB
Active:           992212 kB
Inactive:        2627644 kB
Active(anon):      55276 kB
Inactive(anon):    25044 kB
Active(file):     936936 kB
Inactive(file):  2602600 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43120 kB
Writeback:             0 kB
AnonPages:         59496 kB
Mapped:            43788 kB
Shmem:             25224 kB
Slab:             132992 kB
SReclaimable:     106440 kB
SUnreclaim:        26552 kB
KernelStack:        3200 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324424 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61712 MiB
End job on node151 at 2017-08-13 20:16:23