Trace number 4403342

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-20SAT 27.5183 18.5519

General information on the benchmark

NameNonogram/Nonogram-table-s1/
Nonogram-020-table.xml
MD5SUM2abbea49d072b23f7e0e95d09a8d20ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.70108
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of constraints64
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1024}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1024}]
Minimum constraint arity32
Maximum constraint arity32
Distribution of constraint arities[{"arity":32,"count":64}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403342-1568991671.xml"  -tl '2520s' -p 4
0.13/0.17	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403342-1568991671.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
26.74/18.33	c solve instance...
27.43/18.51	s SATISFIABLE
27.43/18.51	v <instantiation>
27.43/18.51	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
27.43/18.51	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 </values>
27.43/18.51	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403342-1568991671/watcher-4403342-1568991671 -o /var/tmp/evaluation-result-4403342-1568991671/solver-4403342-1568991671 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1408400987 HOME/instance-4403342-1568991671.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9424, runsolver pid=9421
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 9.49 8.81 8.35 7/232 9440
/proc/meminfo: memFree=15224608/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15144776 memory=28936 CPUtime=0.13 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 5668 0 0 0 12 1 0 0 20 0 15 0 475422738 15508250624 7234 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3786194 7234 3188 1 0 3748377 0
[pid=9426/tid=9427] ppid=9424 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) R 9424 9424 1883 0 -1 4202560 3550 0 0 0 8 1 0 0 20 0 15 0 475422738 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210947807488 140210943589782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210411119392 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210410067056 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) S 9424 9424 1883 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210407963248 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) R 9424 9424 1883 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0.02 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) R 9424 9424 1883 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210405853888 140210927658334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 7234 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30388 KiB

[startup+0.210691 s]*
/proc/loadavg: 9.49 8.81 8.35 7/232 9440
/proc/meminfo: memFree=15210836/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15144776 memory=40936 CPUtime=0.33 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 9467 0 0 0 31 2 0 0 20 0 15 0 475422738 15508250624 10234 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3786194 10234 3309 1 0 3748377 0
[pid=9426/tid=9427] ppid=9424 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) R 9424 9424 1883 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 475422738 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210947812832 140210566365252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15144776 memory=3472749845276407456 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210411119392 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475422741 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210410067056 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) S 9424 9424 1883 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210407963248 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) S 9424 9424 1883 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15144776 memory=140048288331392 CPUtime=0.08 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) R 9424 9424 1883 0 -1 4202560 820 0 0 0 8 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210405858160 140210928129761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422744 15508250624 10234 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42388 KiB

[startup+0.310564 s]*
/proc/loadavg: 9.49 8.81 8.35 7/232 9440
/proc/meminfo: memFree=15203792/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15149032 memory=49780 CPUtime=0.52 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 10779 0 0 0 49 3 0 0 20 0 15 0 475422738 15512608768 12445 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3787258 12445 3343 1 0 3748377 0
[pid=9426/tid=9427] ppid=9424 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) R 9424 9424 1883 0 -1 4202560 7809 0 0 0 28 2 0 0 20 0 15 0 475422738 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210947809096 140210943599773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422739 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475422739 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475422741 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475422741 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210411119392 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475422741 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210410067056 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) S 9424 9424 1883 0 -1 1077944384 521 0 0 0 4 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210407963248 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) S 9424 9424 1883 0 -1 1077944384 251 0 0 0 3 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) S 9424 9424 1883 0 -1 1077944384 901 0 0 0 13 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422744 15512608768 12445 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51232 KiB

[startup+0.700785 s]
/proc/loadavg: 9.49 8.81 8.35 8/232 9440
/proc/meminfo: memFree=15106336/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15151156 memory=276740 CPUtime=1.47 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 13452 0 0 0 131 16 0 0 20 0 15 0 475422738 15514783744 69185 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3787789 69185 3463 1 0 3748889 0
[pid=9426/tid=9427] ppid=9424 vsize=15151156 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) R 9424 9424 1883 0 -1 4202560 8238 0 0 0 58 4 0 0 20 0 15 0 475422738 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210947811872 140210922636598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15151156 memory=164 CPUtime=0.04 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 60 0 0 0 1 3 0 0 20 0 15 0 475422739 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15151156 memory=6154848828556269427 CPUtime=0.02 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 15 0 475422739 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15151156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 26 0 0 0 0 2 0 0 20 0 15 0 475422739 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15151156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 59 0 0 0 1 3 0 0 20 0 15 0 475422739 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15151156 memory=40256 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210411119392 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210410067056 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15151156 memory=1044 CPUtime=0.2 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) R 9424 9424 1883 0 -1 4202560 933 0 0 0 20 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210407949816 140210936294810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15151156 memory=708 CPUtime=0.23 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) R 9424 9424 1883 0 -1 4202560 1098 0 0 0 23 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210406895912 140210923294983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15151156 memory=9364 CPUtime=0.24 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) S 9424 9424 1883 0 -1 1077944384 1624 0 0 0 24 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 69185 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 278192 KiB

[startup+1.50082 s]
/proc/loadavg: 9.49 8.81 8.35 7/232 9440
/proc/meminfo: memFree=14944368/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0

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

/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15151156 memory=4561036 CPUtime=26.04 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 85832 0 0 0 2329 275 0 0 20 0 15 0 475422738 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3787789 1140259 3509 1 0 3748889 0
[pid=9426/tid=9427] ppid=9424 vsize=15151156 memory=8112282956445269571 CPUtime=14.94 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) S 9424 9424 1883 0 -1 1077944384 14557 0 0 0 1463 31 0 0 20 0 15 0 475422738 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210947815376 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15151156 memory=3970896 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 15352 0 0 0 151 60 0 0 20 0 15 0 475422739 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15151156 memory=6944656592455359580 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 13709 0 0 0 148 60 0 0 20 0 15 0 475422739 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15151156 memory=280096292992260 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 13119 0 0 0 148 60 0 0 20 0 15 0 475422739 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15151156 memory=140048146685536 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 15565 0 0 0 154 57 0 0 20 0 15 0 475422739 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15151156 memory=3580 CPUtime=0.48 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) R 9424 9424 1883 0 -1 4202560 3818 0 0 0 48 0 0 0 20 0 15 0 475422741 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210412171968 140210928278524 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15151156 memory=40256 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210411119456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210410067072 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15151156 memory=1284 CPUtime=0.76 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) S 9424 9424 1883 0 -1 1077944384 2493 0 0 0 75 1 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210407963248 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15151156 memory=1044 CPUtime=0.9 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) S 9424 9424 1883 0 -1 1077944384 2583 0 0 0 90 0 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15151156 memory=708 CPUtime=0.47 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) S 9424 9424 1883 0 -1 1077944384 3276 0 0 0 47 0 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15151156 memory=29 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140259 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 26.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4562488 KiB

[startup+18.0016 s]*
/proc/loadavg: 8.50 8.62 8.30 6/232 9441
/proc/meminfo: memFree=10719596/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15151156 memory=4563116 CPUtime=26.45 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 86398 0 0 0 2370 275 0 0 20 0 15 0 475422738 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3787789 1140779 3509 1 0 3748889 0
[pid=9426/tid=9427] ppid=9424 vsize=15151156 memory=8317482817917895235 CPUtime=15.31 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) R 9424 9424 1883 0 -1 4202560 14558 0 0 0 1500 31 0 0 20 0 15 0 475422738 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210947816776 140210570775433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15151156 memory=4126316290023845779 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 15352 0 0 0 151 60 0 0 20 0 15 0 475422739 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15151156 memory=6441370576508249454 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 13709 0 0 0 148 60 0 0 20 0 15 0 475422739 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15151156 memory=280096292873704 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 13119 0 0 0 148 60 0 0 20 0 15 0 475422739 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15151156 memory=1452 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 15565 0 0 0 154 57 0 0 20 0 15 0 475422739 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15151156 memory=3970896 CPUtime=0.52 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 4372 0 0 0 52 0 0 0 20 0 15 0 475422741 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210411119456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 475422741 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210410067072 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15151156 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) S 9424 9424 1883 0 -1 1077944384 2496 0 0 0 75 1 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210407963248 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15151156 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) S 9424 9424 1883 0 -1 1077944384 2588 0 0 0 90 0 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15151156 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) S 9424 9424 1883 0 -1 1077944384 3278 0 0 0 48 0 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 475422744 15514783744 1140779 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 26.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4564568 KiB

[startup+18.4056 s]
/proc/loadavg: 8.50 8.62 8.30 6/232 9441
/proc/meminfo: memFree=10719596/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15417412 memory=4563624 CPUtime=27.06 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 86727 0 0 0 2430 276 0 0 20 0 19 0 475422738 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3854353 1140906 3509 1 0 3815453 0
[pid=9426/tid=9427] ppid=9424 vsize=15417412 memory=8112282956445269571 CPUtime=15.64 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) S 9424 9424 1883 0 -1 1077944384 14632 0 0 0 1533 31 0 0 20 0 19 0 475422738 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210947818624 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15417412 memory=4563064 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 15352 0 0 0 151 60 0 0 20 0 19 0 475422739 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15417412 memory=76 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 13709 0 0 0 148 60 0 0 20 0 19 0 475422739 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15417412 memory=90 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 13119 0 0 0 148 60 0 0 20 0 19 0 475422739 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15417412 memory=47 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 15565 0 0 0 154 57 0 0 20 0 19 0 475422739 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15417412 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 4373 0 0 0 52 0 0 0 20 0 19 0 475422741 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475422741 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210411119456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475422741 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210410067072 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15417412 memory=4560824 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15417412 memory=1164 CPUtime=0.8 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) R 9424 9424 1883 0 -1 4202560 2530 0 0 0 79 1 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210407963248 140210922835484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15417412 memory=8317482817917895235 CPUtime=0.92 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) S 9424 9424 1883 0 -1 1077944384 2595 0 0 0 92 0 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210406910448 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15417412 memory=4126316290023845779 CPUtime=0.51 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) R 9424 9424 1883 0 -1 1077944384 3335 0 0 0 51 0 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1140906 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4565076 KiB

[startup+18.5016 s]
/proc/loadavg: 8.50 8.62 8.30 6/232 9441
/proc/meminfo: memFree=10719596/32770624 swapFree=66952592/67108860
[pid=9424] ppid=9421 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9424/stat : 9424 (xcsp3-exec) S 9421 9424 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475422738 115843072 363 33554432000 4194304 5098028 140727692350352 140727692348456 140443883811452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23044096 140727692358486 140727692358745 140727692358745 140727692361670 0
/proc/9424/statm: 28282 363 304 221 0 87 0
[pid=9426] ppid=9424 vsize=15417412 memory=4564244 CPUtime=27.43 cores=1,3,5,7
/proc/9426/stat : 9426 (java) S 9424 9424 1883 0 -1 1077944320 87039 0 0 0 2467 276 0 0 20 0 19 0 475422738 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140733464961216 140210943577847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
/proc/9426/statm: 3854353 1141061 3509 1 0 3815453 0
[pid=9426/tid=9427] ppid=9424 vsize=15417412 memory=2832 CPUtime=15.64 cores=1,3,5,7
/proc/9426/task/9427/stat : 9427 (java) S 9424 9424 1883 0 -1 1077944384 14632 0 0 0 1533 31 0 0 20 0 19 0 475422738 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210947818624 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9428] ppid=9424 vsize=15417412 memory=4563116 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9428/stat : 9428 (java) S 9424 9424 1883 0 -1 1077944384 15352 0 0 0 151 60 0 0 20 0 19 0 475422739 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210896198544 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9429] ppid=9424 vsize=15417412 memory=3970896 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9429/stat : 9429 (java) S 9424 9424 1883 0 -1 1077944384 13709 0 0 0 148 60 0 0 20 0 19 0 475422739 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210895145744 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9430] ppid=9424 vsize=15417412 memory=1452 CPUtime=2.08 cores=1,3,5,7
/proc/9426/task/9430/stat : 9430 (java) S 9424 9424 1883 0 -1 1077944384 13119 0 0 0 148 60 0 0 20 0 19 0 475422739 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210894093456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9431] ppid=9424 vsize=15417412 memory=3970896 CPUtime=2.11 cores=1,3,5,7
/proc/9426/task/9431/stat : 9431 (java) S 9424 9424 1883 0 -1 1077944384 15565 0 0 0 154 57 0 0 20 0 19 0 475422739 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210893040656 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9432] ppid=9424 vsize=15417412 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/9426/task/9432/stat : 9432 (java) S 9424 9424 1883 0 -1 1077944384 4373 0 0 0 52 0 0 0 20 0 19 0 475422741 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210412173424 140210943588994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9433] ppid=9424 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9433/stat : 9433 (java) S 9424 9424 1883 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475422741 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210411119456 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9434] ppid=9424 vsize=15417412 memory=3970896 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9434/stat : 9434 (java) S 9424 9424 1883 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475422741 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210410067072 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9435] ppid=9424 vsize=15417412 memory=40256 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9435/stat : 9435 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210409015376 140210943596443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9436] ppid=9424 vsize=15417412 memory=988 CPUtime=0.87 cores=1,3,5,7
/proc/9426/task/9436/stat : 9436 (java) R 9424 9424 1883 0 -1 4202560 2728 0 0 0 86 1 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210407963248 140210929592177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9437] ppid=9424 vsize=15417412 memory=1452 CPUtime=1 cores=1,3,5,7
/proc/9426/task/9437/stat : 9437 (java) R 9424 9424 1883 0 -1 4202560 2621 0 0 0 100 0 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210406892016 140210935818374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9438] ppid=9424 vsize=15417412 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/9426/task/9438/stat : 9438 (java) R 9424 9424 1883 0 -1 1077944384 3368 0 0 0 53 0 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210405858160 140210943588994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9439] ppid=9424 vsize=15417412 memory=3348932 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9439/stat : 9439 (java) S 9424 9424 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210404805600 140210943588053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
[pid=9426/tid=9440] ppid=9424 vsize=15417412 memory=29 CPUtime=0 cores=1,3,5,7
/proc/9426/task/9440/stat : 9440 (java) S 9424 9424 1883 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 475422744 15787429888 1141061 33554432000 4194304 4196468 140733464978672 140210403752368 140210943588994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24866816 140733464982491 140733464982666 140733464982666 140733464985551 0
Current children cumulated CPU time: 27.43 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4565696 KiB

Child status: 0
Real time (s): 18.5519
CPU time (s): 27.5183
CPU user time (s): 24.7293
CPU system time (s): 2.78906
CPU usage (%): 148.331
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 4565696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7293
system time used= 2.78906
maximum resident set size= 4565296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3644
involuntary context switches= 245


# summary of solver processes directly reported to runsolver:
#   pid: 9424
#   total CPU time (s): 27.5183
#   total CPU user time (s): 24.7293
#   total CPU system time (s): 2.78906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147289 second user time and 0.218978 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-20 15:59:11
IDJOB=4403342
IDBENCH=134028
IDSOLVER=2863
FILE ID=node107/4403342-1568991671
RUNJOBID= node107-1568983381-1916
PBS_JOBID= 21704636
Free space on /var/tmp= 12492 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403342-1568991671/watcher-4403342-1568991671 -o /var/tmp/evaluation-result-4403342-1568991671/solver-4403342-1568991671 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1408400987 HOME/instance-4403342-1568991671.xml

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

MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=1408400987

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        15240252 kB
MemAvailable:   31636344 kB
Buffers:          108332 kB
Cached:         16208564 kB
SwapCached:        48708 kB
Active:          8295120 kB
Inactive:        8246956 kB
Active(anon):     176704 kB
Inactive(anon):    91880 kB
Active(file):    8118416 kB
Inactive(file):  8155076 kB
Unevictable:      111004 kB
Mlocked:          111004 kB
SwapTotal:      67108860 kB
SwapFree:       66952592 kB
Dirty:             73256 kB
Writeback:             0 kB
AnonPages:        341656 kB
Mapped:            61204 kB
Shmem:             34900 kB
Slab:             580644 kB
SReclaimable:     551060 kB
SUnreclaim:        29584 kB
KernelStack:        4048 kB
PageTables:         5976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1444300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12468 MiB
End job on node107 at 2019-09-20 15:59:29