Trace number 4270999

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 4.0.5 par (2017-08-09)SAT 23.0627 3.3509901

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-17.xml
MD5SUM946d300933e85b0b5e5d11b6e9e445b0
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 benchmark5.0790401
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":375},{"degree":2,"count":525}]
Minimum constraint arity525
Maximum constraint arity900
Distribution of constraint arities[{"arity":525,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270999-1502820452.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270999-1502820452.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.27	c parse instance...
1.13/0.58	c solve instance...
22.87/3.32	s SATISFIABLE
22.87/3.32	v <instantiation>
22.87/3.32	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
22.87/3.32	v 	<values>23 8 21 0 18 29 28 27 3 6 22 7 13 25 14 16 24 1 11 12 4 20 26 15 10 19 9 5 2 17 27 6 26 23 10 9 5 28 25 20 29 17 24 2 18 11 7 16 0 4 12 19 14 3 1 13 21 8 15 22 26 13 14 2 24 16 3 29 1 4 20 11 18 22 7 15 19 17 12 27 8 9 25 10 6 21 5 28 23 0 17 26 16 20 12 24 2 18 15 29 9 14 7 27 13 4 3 22 10 11 0 28 6 5 8 1 23 25 19 21 19 28 29 22 27 8 7 25 2 23 6 15 5 12 3 0 17 21 24 1 14 4 9 18 26 11 20 16 13 10 9 4 24 7 1 20 21 14 13 8 26 16 17 29 12 25 23 11 27 2 10 5 28 6 15 0 3 18 22 19 0 25 23 15 5 26 8 20 21 22 28 29 11 17 16 13 14 2 1 24 19 12 3 9 18 6 10 7 27 4 5 7 9 29 22 23 26 12 27 13 1 24 0 3 11 2 16 4 14 8 15 10 20 17 21 25 18 19 28 6 13 0 20 4 16 1 23 9 8 26 7 18 3 11 5 17 2 14 28 29 25 21 19 27 22 24 6 12 10 15 1 20 17 5 28 14 10 21 11 7 3 12 23 26 15 19 9 13 6 22 27 0 24 8 2 16 4 29 18 25 20 14 12 24 26 3 19 17 28 5 10 23 6 1 2 29 4 27 18 16 22 15 11 25 7 8 13 0 21 9 12 29 22 28 9 21 17 4 14 3 15 1 26 20 8 10 27 25 2 6 24 13 0 16 11 5 19 23 7 18 8 18 5 1 15 2 16 10 17 9 12 22 27 28 21 7 26 29 25 19 11 24 13 23 0 3 14 4 6 20 7 10 2 25 4 15 12 26 20 11 18 5 9 14 24 21 6 8 19 13 28 29 1 22 16 23 0 17 3 27 2 21 3 27 11 13 14 23 24 10 25 0 28 18 1 8 12 26 4 9 16 22 7 19 5 17 15 6 20 29 15 17 7 6 25 18 27 5 22 16 11 19 21 8 28 3 10 20 13 26 1 23 12 4 29 9 24 2 0 14 28 1 6 21 29 7 24 19 4 17 16 13 25 23 22 26 20 15 3 0 5 18 10 11 9 14 2 27 8 12 18 3 15 9 21 12 6 22 29 28 27 26 8 7 19 5 0 10 16 25 13 11 23 24 14 2 17 20 4 1 21 24 1 16 17 19 18 3 12 25 23 20 29 0 10 28 22 7 9 14 6 26 15 2 4 27 8 13 11 5 10 5 27 19 2 0 22 6 9 18 8 4 1 24 25 23 15 3 7 17 20 16 21 12 13 26 11 14 29 28 3 22 13 18 0 4 1 16 10 12 2 27 20 15 6 14 11 19 17 23 21 25 5 29 24 28 7 9 26 8 14 2 4 12 13 10 11 1 5 15 0 25 22 19 17 9 8 23 21 20 29 6 18 26 28 7 27 3 24 16 11 23 0 13 19 25 29 24 26 27 14 8 4 10 9 1 21 6 5 18 17 3 2 28 20 15 16 22 12 7 4 12 8 3 7 22 0 11 16 19 17 28 15 6 29 20 5 9 23 21 18 2 27 13 25 10 1 26 14 24 25 19 28 17 8 27 15 13 23 21 5 9 14 4 20 6 18 24 29 10 2 7 16 0 12 22 26 11 1 3 6 16 10 14 3 11 25 0 18 24 4 2 19 13 27 12 28 5 22 7 26 1 8 21 17 20 29 15 9 23 16 9 18 11 14 28 13 7 6 2 21 10 12 5 23 27 29 0 20 15 3 8 22 1 19 4 25 24 17 26 24 11 25 26 20 17 4 8 7 1 19 6 10 9 0 22 13 12 15 5 23 27 29 14 3 18 28 21 16 2 29 15 19 10 23 6 9 2 0 14 13 3 16 21 26 24 25 18 8 28 7 17 4 20 27 12 22 1 5 11 22 27 11 8 6 5 20 15 19 0 24 21 2 16 4 18 1 28 26 3 9 14 17 7 23 29 12 10 25 13 </values>
22.87/3.32	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 (15204 MiB free)
  memory of node 1: 16384 MiB (15630 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270999-1502820452/watcher-4270999-1502820452 -o /tmp/evaluation-result-4270999-1502820452/solver-4270999-1502820452 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502816965-14707 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 589058346 HOME/instance-4270999-1502820452.xml 

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

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

solver pid=15058, runsolver pid=15055

[startup+0.100066 s]*
/proc/loadavg: 8.46 8.69 8.64 2/201 15079
/proc/meminfo: memFree=31559900/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=25999808 memory=26396 CPUtime=0.12 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 115132949 26623803392 6599 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6499952 6599 2867 1 0 6488269 0
[pid=15060/tid=15061] ppid=15058 vsize=25999808 memory=7681340447573055901 CPUtime=0.08 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) R 15058 15058 14680 0 -1 4202560 3490 0 0 0 8 0 0 0 20 0 20 0 115132949 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418614915888 140418610695574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=25999808 memory=732369994167843813 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=25999808 memory=139855830390400 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15065] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15065/stat : 15065 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418530105616 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15066] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15066/stat : 15066 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418529053840 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15067] ppid=15058 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15060/task/15067/stat : 15067 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418528001040 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15068] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15068/stat : 15068 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418526948240 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15069] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15069/stat : 15069 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418525895440 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15070] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15070/stat : 15070 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132951 26623803392 6599 33554432000 4194304 4196468 140732445425152 140418118740336 140418610694786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15071] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15071/stat : 15071 (java) S 15058 15058 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115132952 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417736664096 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15072] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15072/stat : 15072 (java) S 15058 15058 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115132952 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417735611248 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15073] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15073/stat : 15073 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417734559568 140418610702235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15074] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15074/stat : 15074 (java) S 15058 15058 14680 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417733507952 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15075] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15075/stat : 15075 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417732455152 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15076] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15076/stat : 15076 (java) S 15058 15058 14680 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417731402352 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15077] ppid=15058 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15060/task/15077/stat : 15077 (java) S 15058 15058 14680 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417730349552 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15078] ppid=15058 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15078/stat : 15078 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132954 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417729296992 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15079] ppid=15058 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15060/task/15079/stat : 15079 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132955 26623803392 6599 33554432000 4194304 4196468 140732445425152 140417728244272 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27780 KiB

[startup+0.210768 s]*
/proc/loadavg: 8.46 8.69 8.64 4/201 15079
/proc/meminfo: memFree=31548116/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=26004064 memory=38592 CPUtime=0.34 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 8299 0 0 0 31 3 0 0 20 0 20 0 115132949 26628161536 9648 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6501016 9648 3004 1 0 6488269 0
[pid=15060/tid=15061] ppid=15058 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) R 15058 15058 14680 0 -1 4202560 5401 0 0 0 18 2 0 0 20 0 20 0 115132949 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418614906528 140418594764126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=26004064 memory=279711508272888 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=26004064 memory=139855830390400 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15065] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15065/stat : 15065 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418530105616 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15066] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15066/stat : 15066 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418529053840 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15067] ppid=15058 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15060/task/15067/stat : 15067 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418528001040 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15068] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15068/stat : 15068 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418526948240 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15069] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15069/stat : 15069 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418525895440 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15070] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15070/stat : 15070 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132951 26628161536 9648 33554432000 4194304 4196468 140732445425152 140418118740336 140418610694786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15071] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15071/stat : 15071 (java) S 15058 15058 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115132952 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417736664096 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15072] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15072/stat : 15072 (java) S 15058 15058 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115132952 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417735611248 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15073] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15073/stat : 15073 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417734559568 140418610702235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15074] ppid=15058 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15060/task/15074/stat : 15074 (java) S 15058 15058 14680 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417733507952 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15075] ppid=15058 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15060/task/15075/stat : 15075 (java) S 15058 15058 14680 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417732455152 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15076] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15076/stat : 15076 (java) S 15058 15058 14680 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417731402352 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15077] ppid=15058 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/15060/task/15077/stat : 15077 (java) R 15058 15058 14680 0 -1 4202560 782 0 0 0 7 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417730349552 140418594764126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15078] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15078/stat : 15078 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132954 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417729296992 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15079] ppid=15058 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15060/task/15079/stat : 15079 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132955 26628161536 9648 33554432000 4194304 4196468 140732445425152 140417728244272 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39976 KiB

[startup+0.310722 s]*
/proc/loadavg: 8.46 8.69 8.64 2/201 15079
/proc/meminfo: memFree=31541540/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=26004064 memory=46144 CPUtime=0.49 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 9241 0 0 0 45 4 0 0 20 0 20 0 115132949 26628161536 11536 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6501016 11536 3041 1 0 6488269 0
[pid=15060/tid=15061] ppid=15058 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) R 15058 15058 14680 0 -1 4202560 6154 0 0 0 26 3 0 0 20 0 20 0 115132949 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418614915040 140418610705565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15065] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15065/stat : 15065 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418530105616 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15066] ppid=15058 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15060/task/15066/stat : 15066 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418529053840 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15067] ppid=15058 vsize=26004064 memory=139855677977519 CPUtime=0 cores=0-7
/proc/15060/task/15067/stat : 15067 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418528001040 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15068] ppid=15058 vsize=26004064 memory=139855677979824 CPUtime=0 cores=0-7
/proc/15060/task/15068/stat : 15068 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418526948240 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15069] ppid=15058 vsize=26004064 memory=139855677982128 CPUtime=0 cores=0-7
/proc/15060/task/15069/stat : 15069 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132950 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418525895440 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15070] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15070/stat : 15070 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115132951 26628161536 11536 33554432000 4194304 4196468 140732445425152 140418118740336 140418610694786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15071] ppid=15058 vsize=26004064 memory=279711355971216 CPUtime=0 cores=0-7
/proc/15060/task/15071/stat : 15071 (java) S 15058 15058 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115132952 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417736664096 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15072] ppid=15058 vsize=26004064 memory=279711355978128 CPUtime=0 cores=0-7
/proc/15060/task/15072/stat : 15072 (java) S 15058 15058 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115132952 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417735611248 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15073] ppid=15058 vsize=26004064 memory=279711355919408 CPUtime=0 cores=0-7
/proc/15060/task/15073/stat : 15073 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417734559568 140418610702235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15074] ppid=15058 vsize=26004064 memory=279711355991952 CPUtime=0.02 cores=0-7
/proc/15060/task/15074/stat : 15074 (java) S 15058 15058 14680 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417733507952 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15075] ppid=15058 vsize=26004064 memory=279711355998864 CPUtime=0.03 cores=0-7
/proc/15060/task/15075/stat : 15075 (java) S 15058 15058 14680 0 -1 1077944384 201 0 0 0 3 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417732455152 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15076] ppid=15058 vsize=26004064 memory=279711355996560 CPUtime=0.01 cores=0-7
/proc/15060/task/15076/stat : 15076 (java) S 15058 15058 14680 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417731402352 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15077] ppid=15058 vsize=26004064 memory=279711356012720 CPUtime=0.11 cores=0-7
/proc/15060/task/15077/stat : 15077 (java) S 15058 15058 14680 0 -1 1077944384 865 0 0 0 11 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417730349552 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15078] ppid=15058 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15078/stat : 15078 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115132954 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417729296992 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15079] ppid=15058 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15060/task/15079/stat : 15079 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115132955 26628161536 11536 33554432000 4194304 4196468 140732445425152 140417728244272 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47528 KiB

[startup+0.707679 s]
/proc/loadavg: 8.46 8.69 8.64 6/201 15079
/proc/meminfo: memFree=31517424/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=26538700 memory=125632 CPUtime=2.3 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 15632 0 0 0 224 6 0 0 20 0 28 0 115132949 27175628800 31408 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6634675 31408 3213 1 0 6621909 0
[pid=15060/tid=15061] ppid=15058 vsize=26538700 memory=279711356307584 CPUtime=0.57 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) S 15058 15058 14680 0 -1 1077944384 6758 0 0 0 53 4 0 0 20 0 28 0 115132949 27175628800 31408 33554432000 4194304 4196468 140732445425152 140418614924416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=26538700 memory=5123895985313 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 31408 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 31408 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 31408 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0

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

[pid=15060/tid=15081] ppid=15058 vsize=26538700 memory=139860125357695 CPUtime=1.87 cores=0-7
/proc/15060/task/15081/stat : 15081 (java) R 15058 15058 14680 0 -1 4202560 109 0 0 0 187 0 0 0 20 0 28 0 115133008 27175628800 41364 33554432000 4194304 4196468 140732445425152 140417719181656 140418206531625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15082] ppid=15058 vsize=26538700 memory=6943526294502006880 CPUtime=2.08 cores=0-7
/proc/15060/task/15082/stat : 15082 (java) R 15058 15058 14680 0 -1 4202560 246 0 0 0 208 0 0 0 20 0 28 0 115133008 27175628800 41364 33554432000 4194304 4196468 140732445425152 140417718129512 140418206772938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15083] ppid=15058 vsize=26538700 memory=6655300316396806240 CPUtime=1.71 cores=0-7
/proc/15060/task/15083/stat : 15083 (java) R 15058 15058 14680 0 -1 4202560 326 0 0 0 171 0 0 0 20 0 28 0 115133008 27175628800 41364 33554432000 4194304 4196468 140732445425152 140417717078872 140418206533239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15084] ppid=15058 vsize=26538700 memory=6944656592455360604 CPUtime=1.87 cores=0-7
/proc/15060/task/15084/stat : 15084 (java) R 15058 15058 14680 0 -1 4202560 125 0 0 0 187 0 0 0 20 0 28 0 115133009 27175628800 41364 33554432000 4194304 4196468 140732445425152 140417716023632 140418206535768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15085] ppid=15058 vsize=26538700 memory=6944656592455097440 CPUtime=1.89 cores=0-7
/proc/15060/task/15085/stat : 15085 (java) R 15058 15058 14680 0 -1 4202560 84 0 0 0 189 0 0 0 20 0 28 0 115133009 27175628800 41364 33554432000 4194304 4196468 140732445425152 140416792384176 140418206766668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15086] ppid=15058 vsize=26538700 memory=0 CPUtime=1.83 cores=0-7
/proc/15060/task/15086/stat : 15086 (java) R 15058 15058 14680 0 -1 4202560 164 0 0 0 183 0 0 0 20 0 28 0 115133009 27175628800 41364 33554432000 4194304 4196468 140732445425152 140416791333168 140418206531668 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15087] ppid=15058 vsize=26538700 memory=0 CPUtime=1.94 cores=0-7
/proc/15060/task/15087/stat : 15087 (java) R 15058 15058 14680 0 -1 4202560 127 0 0 0 194 0 0 0 20 0 28 0 115133009 27175628800 41364 33554432000 4194304 4196468 140732445425152 140416790280008 140418206614898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 21.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 166840 KiB

[startup+3.35096 s]
# the end of solver process 15058 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=22.9151 s, system=0.147534 s

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

[startup+3.20168 s]
/proc/loadavg: 8.66 8.72 8.65 10/209 15087
/proc/meminfo: memFree=31421632/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=26538700 memory=167504 CPUtime=22.06 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 31825 0 0 0 2194 12 0 0 20 0 28 0 115132949 27175628800 41876 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6634675 41876 3248 1 0 6621909 0
[pid=15060/tid=15061] ppid=15058 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) S 15058 15058 14680 0 -1 1077944384 6758 0 0 0 53 4 0 0 20 0 28 0 115132949 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418614924416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=26538700 memory=5867740890786259051 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15065] ppid=15058 vsize=26538700 memory=7660742144744843625 CPUtime=0 cores=0-7
/proc/15060/task/15065/stat : 15065 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418530105616 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15066] ppid=15058 vsize=26538700 memory=6935649255759568960 CPUtime=0 cores=0-7
/proc/15060/task/15066/stat : 15066 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418529053840 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15067] ppid=15058 vsize=26538700 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/15060/task/15067/stat : 15067 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418528001040 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15068] ppid=15058 vsize=26538700 memory=4951091520830867572 CPUtime=0 cores=0-7
/proc/15060/task/15068/stat : 15068 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418526948240 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15069] ppid=15058 vsize=26538700 memory=-7739291840220455296 CPUtime=0 cores=0-7
/proc/15060/task/15069/stat : 15069 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418525895440 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15070] ppid=15058 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15060/task/15070/stat : 15070 (java) S 15058 15058 14680 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 115132951 27175628800 41876 33554432000 4194304 4196468 140732445425152 140418118740336 140418610694786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15071] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15071/stat : 15071 (java) S 15058 15058 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115132952 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417736664096 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15072] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15072/stat : 15072 (java) S 15058 15058 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 115132952 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417735611248 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15073] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15073/stat : 15073 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417734559568 140418610702235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15074] ppid=15058 vsize=26538700 memory=0 CPUtime=1.7 cores=0-7
/proc/15060/task/15074/stat : 15074 (java) R 15058 15058 14680 0 -1 4202560 5626 0 0 0 169 1 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417733494048 140418589940211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15075] ppid=15058 vsize=26538700 memory=6656426216303648864 CPUtime=1.62 cores=0-7
/proc/15060/task/15075/stat : 15075 (java) R 15058 15058 14680 0 -1 4202560 5790 0 0 0 161 1 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417732454288 140418591383203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15076] ppid=15058 vsize=26538700 memory=0 CPUtime=1.8 cores=0-7
/proc/15060/task/15076/stat : 15076 (java) R 15058 15058 14680 0 -1 4202560 7850 0 0 0 179 1 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417731388640 140418589943407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15077] ppid=15058 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/15060/task/15077/stat : 15077 (java) S 15058 15058 14680 0 -1 1077944384 3117 0 0 0 53 1 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417730349552 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15078] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15078/stat : 15078 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115132954 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417729296992 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15079] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15079/stat : 15079 (java) S 15058 15058 14680 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 115132955 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417728244272 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15080] ppid=15058 vsize=26538700 memory=0 CPUtime=2.05 cores=0-7
/proc/15060/task/15080/stat : 15080 (java) R 15058 15058 14680 0 -1 4202560 132 0 0 0 205 0 0 0 20 0 28 0 115133008 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417720232936 140418207208525 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15081] ppid=15058 vsize=26538700 memory=0 CPUtime=1.91 cores=0-7
/proc/15060/task/15081/stat : 15081 (java) R 15058 15058 14680 0 -1 4202560 109 0 0 0 191 0 0 0 20 0 28 0 115133008 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417719181656 140418207209030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15082] ppid=15058 vsize=26538700 memory=0 CPUtime=2.16 cores=0-7
/proc/15060/task/15082/stat : 15082 (java) R 15058 15058 14680 0 -1 4202560 253 0 0 0 216 0 0 0 20 0 28 0 115133008 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417718129512 140418207208552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15083] ppid=15058 vsize=26538700 memory=0 CPUtime=1.8 cores=0-7
/proc/15060/task/15083/stat : 15083 (java) R 15058 15058 14680 0 -1 4202560 329 0 0 0 180 0 0 0 20 0 28 0 115133008 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417717078872 140418206825378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15084] ppid=15058 vsize=26538700 memory=0 CPUtime=1.95 cores=0-7
/proc/15060/task/15084/stat : 15084 (java) R 15058 15058 14680 0 -1 4202560 125 0 0 0 195 0 0 0 20 0 28 0 115133009 27175628800 41876 33554432000 4194304 4196468 140732445425152 140417716023520 140418206827232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15085] ppid=15058 vsize=26538700 memory=0 CPUtime=1.97 cores=0-7
/proc/15060/task/15085/stat : 15085 (java) R 15058 15058 14680 0 -1 4202560 85 0 0 0 197 0 0 0 20 0 28 0 115133009 27175628800 41876 33554432000 4194304 4196468 140732445425152 140416792385640 140418207208794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15086] ppid=15058 vsize=26538700 memory=0 CPUtime=1.91 cores=0-7
/proc/15060/task/15086/stat : 15086 (java) R 15058 15058 14680 0 -1 4202560 164 0 0 0 191 0 0 0 20 0 28 0 115133009 27175628800 41876 33554432000 4194304 4196468 140732445425152 140416791333168 140418206705615 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15087] ppid=15058 vsize=26538700 memory=0 CPUtime=1.98 cores=0-7
/proc/15060/task/15087/stat : 15087 (java) R 15058 15058 14680 0 -1 4202560 132 0 0 0 198 0 0 0 20 0 28 0 115133009 27175628800 41876 33554432000 4194304 4196468 140732445425152 140416790279464 140418207065867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 22.06 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 168888 KiB

[startup+3.30168 s]
/proc/loadavg: 8.66 8.72 8.65 10/209 15087
/proc/meminfo: memFree=31421632/32770624 swapFree=67108860/67108860
[pid=15058] ppid=15055 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15058/stat : 15058 (xcsp3-exec) S 15055 15058 14680 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115132948 9740288 346 33554432000 4194304 5098028 140735112402416 140735112400520 139967886230140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14508032 140735112410213 140735112410423 140735112410423 140735112413163 0
/proc/15058/statm: 2378 346 289 221 0 87 0
[pid=15060] ppid=15058 vsize=26538700 memory=167540 CPUtime=22.87 cores=0-7
/proc/15060/stat : 15060 (java) S 15058 15058 14680 0 -1 1077944320 31857 0 0 0 2274 13 0 0 20 0 28 0 115132949 27175628800 41885 33554432000 4194304 4196468 140732445425152 140732445407696 140418610683639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
/proc/15060/statm: 6634675 41885 3248 1 0 6621909 0
[pid=15060/tid=15061] ppid=15058 vsize=26538700 memory=56 CPUtime=0.57 cores=0-7
/proc/15060/task/15061/stat : 15061 (java) S 15058 15058 14680 0 -1 1077944384 6758 0 0 0 53 4 0 0 20 0 28 0 115132949 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418614924416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15062] ppid=15058 vsize=26538700 memory=3114 CPUtime=0 cores=0-7
/proc/15060/task/15062/stat : 15062 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418533264016 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15063] ppid=15058 vsize=26538700 memory=25262 CPUtime=0 cores=0-7
/proc/15060/task/15063/stat : 15063 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418532211216 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15064] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15064/stat : 15064 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418531158416 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15065] ppid=15058 vsize=26538700 memory=381 CPUtime=0 cores=0-7
/proc/15060/task/15065/stat : 15065 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418530105616 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15066] ppid=15058 vsize=26538700 memory=57 CPUtime=0 cores=0-7
/proc/15060/task/15066/stat : 15066 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418529053840 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15067] ppid=15058 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/15060/task/15067/stat : 15067 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418528001040 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15068] ppid=15058 vsize=26538700 memory=5450916479948256810 CPUtime=0 cores=0-7
/proc/15060/task/15068/stat : 15068 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418526948240 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15069] ppid=15058 vsize=26538700 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/15060/task/15069/stat : 15069 (java) S 15058 15058 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115132950 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418525895440 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15070] ppid=15058 vsize=26538700 memory=-8814538831020006773 CPUtime=0 cores=0-7
/proc/15060/task/15070/stat : 15070 (java) S 15058 15058 14680 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 115132951 27175628800 41885 33554432000 4194304 4196468 140732445425152 140418118740336 140418610694786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15071] ppid=15058 vsize=26538700 memory=2319400400981082208 CPUtime=0 cores=0-7
/proc/15060/task/15071/stat : 15071 (java) S 15058 15058 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115132952 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417736664096 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15072] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15072/stat : 15072 (java) S 15058 15058 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 115132952 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417735611248 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15073] ppid=15058 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15060/task/15073/stat : 15073 (java) S 15058 15058 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417734559568 140418610702235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15074] ppid=15058 vsize=26538700 memory=6791534058613427641 CPUtime=1.7 cores=0-7
/proc/15060/task/15074/stat : 15074 (java) S 15058 15058 14680 0 -1 1077944384 5629 0 0 0 169 1 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417733507952 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15075] ppid=15058 vsize=26538700 memory=4040 CPUtime=1.66 cores=0-7
/proc/15060/task/15075/stat : 15075 (java) S 15058 15058 14680 0 -1 1077944384 5798 0 0 0 165 1 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417732455152 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15076] ppid=15058 vsize=26538700 memory=19004 CPUtime=1.81 cores=0-7
/proc/15060/task/15076/stat : 15076 (java) S 15058 15058 14680 0 -1 1077944384 7863 0 0 0 180 1 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417731402352 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15077] ppid=15058 vsize=26538700 memory=18292 CPUtime=0.54 cores=0-7
/proc/15060/task/15077/stat : 15077 (java) S 15058 15058 14680 0 -1 1077944384 3117 0 0 0 53 1 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417730349552 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15078] ppid=15058 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/15060/task/15078/stat : 15078 (java) S 15058 15058 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115132954 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417729296992 140418610693845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15079] ppid=15058 vsize=26538700 memory=648 CPUtime=0 cores=0-7
/proc/15060/task/15079/stat : 15079 (java) S 15058 15058 14680 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 115132955 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417728244272 140418610694786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15080] ppid=15058 vsize=26538700 memory=1236 CPUtime=2.14 cores=0-7
/proc/15060/task/15080/stat : 15080 (java) R 15058 15058 14680 0 -1 4202560 132 0 0 0 214 0 0 0 20 0 28 0 115133008 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417720232936 140418206191496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15081] ppid=15058 vsize=26538700 memory=139860125357695 CPUtime=1.99 cores=0-7
/proc/15060/task/15081/stat : 15081 (java) R 15058 15058 14680 0 -1 4202560 109 0 0 0 199 0 0 0 20 0 28 0 115133008 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417719181656 140418207321920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15082] ppid=15058 vsize=26538700 memory=6943526294502006880 CPUtime=2.26 cores=0-7
/proc/15060/task/15082/stat : 15082 (java) R 15058 15058 14680 0 -1 4202560 258 0 0 0 226 0 0 0 20 0 28 0 115133008 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417718129512 140418207875783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15083] ppid=15058 vsize=26538700 memory=6655300316396806240 CPUtime=1.9 cores=0-7
/proc/15060/task/15083/stat : 15083 (java) R 15058 15058 14680 0 -1 4202560 329 0 0 0 190 0 0 0 20 0 28 0 115133008 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417717078984 140418205398855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15084] ppid=15058 vsize=26538700 memory=6944656592455360604 CPUtime=2.05 cores=0-7
/proc/15060/task/15084/stat : 15084 (java) R 15058 15058 14680 0 -1 4202560 125 0 0 0 205 0 0 0 20 0 28 0 115133009 27175628800 41885 33554432000 4194304 4196468 140732445425152 140417716023520 140418205397843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15085] ppid=15058 vsize=26538700 memory=6944656592455097440 CPUtime=2.07 cores=0-7
/proc/15060/task/15085/stat : 15085 (java) R 15058 15058 14680 0 -1 4202560 87 0 0 0 207 0 0 0 20 0 28 0 115133009 27175628800 41885 33554432000 4194304 4196468 140732445425152 140416792385640 140418206618559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15086] ppid=15058 vsize=26538700 memory=0 CPUtime=2.01 cores=0-7
/proc/15060/task/15086/stat : 15086 (java) R 15058 15058 14680 0 -1 4202560 164 0 0 0 201 0 0 0 20 0 28 0 115133009 27175628800 41885 33554432000 4194304 4196468 140732445425152 140416791333168 140418206705610 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
[pid=15060/tid=15087] ppid=15058 vsize=26538700 memory=0 CPUtime=2.05 cores=0-7
/proc/15060/task/15087/stat : 15087 (java) R 15058 15058 14680 0 -1 4202560 133 0 0 0 205 0 0 0 20 0 28 0 115133009 27175628800 41885 33554432000 4194304 4196468 140732445425152 140416790279464 140418207066298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36331520 140732445430930 140732445431107 140732445431107 140732445433807 0
Current children cumulated CPU time: 22.87 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 168924 KiB

Child status: 0
Real time (s): 3.35099
CPU time (s): 23.0627
CPU user time (s): 22.9151
CPU system time (s): 0.147534
CPU usage (%): 688.234
Max. virtual memory (cumulated for all children) (KiB): 26550164
Max. memory (cumulated for all children) (KiB): 168924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9151
system time used= 0.147534
maximum resident set size= 169148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3058
involuntary context switches= 708


# summary of solver processes directly reported to runsolver:
#   pid: 15058
#   total CPU time (s): 23.0627
#   total CPU user time (s): 22.9151
#   total CPU system time (s): 0.147534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049713 second user time and 0.084927 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-15 19:53:13
IDJOB=4270999
IDBENCH=138962
IDSOLVER=2662
FILE ID=node112/4270999-1502820452
RUNJOBID= node112-1502816965-14707
PBS_JOBID= 20629826
Free space on /tmp= 61824 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-17.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270999-1502820452/watcher-4270999-1502820452 -o /tmp/evaluation-result-4270999-1502820452/solver-4270999-1502820452 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502816965-14707 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 589058346 HOME/instance-4270999-1502820452.xml

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

MD5SUM BENCH= 946d300933e85b0b5e5d11b6e9e445b0
RANDOM SEED=589058346

node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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:        31575396 kB
MemAvailable:   31982240 kB
Buffers:          204024 kB
Cached:           484392 kB
SwapCached:            0 kB
Active:           461116 kB
Inactive:         279416 kB
Active(anon):       3548 kB
Inactive(anon):    76444 kB
Active(file):     457568 kB
Inactive(file):   202972 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7768 kB
Writeback:             0 kB
AnonPages:         58516 kB
Mapped:            45956 kB
Shmem:             25224 kB
Slab:             150708 kB
SReclaimable:     124276 kB
SUnreclaim:        26432 kB
KernelStack:        3200 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61816 MiB
End job on node112 at 2017-08-15 19:53:17