Trace number 4280808

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-18)SAT 7882.1201 989.06403

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h375-12.xml
MD5SUMcda15f5e5f696f8ee91ea98989c7670b
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 benchmark39.8115
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-4280808-1503171709.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280808-1503171709.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.13/0.58	c solve instance...
7881.76/989.05	s SATISFIABLE
7881.76/989.05	v <instantiation>
7881.76/989.05	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>
7881.76/989.05	v 	<values>22 2 0 16 17 18 8 12 10 11 3 7 15 26 27 5 6 13 4 14 9 24 29 1 28 25 20 19 21 23 17 15 2 22 25 4 9 1 27 0 13 23 11 24 28 12 26 3 21 8 16 20 14 18 7 19 5 10 6 29 20 7 28 2 3 14 13 11 1 24 15 16 8 18 9 29 4 6 12 23 17 22 21 10 27 26 19 25 5 0 24 6 9 15 28 10 18 3 13 26 20 5 7 16 12 21 29 27 14 1 25 8 17 4 19 0 11 23 22 2 21 18 22 5 7 27 24 2 9 14 11 12 1 29 25 6 10 15 28 20 26 23 8 19 4 13 16 0 3 17 12 17 14 19 24 1 29 8 0 9 21 28 4 27 18 10 7 23 20 13 2 3 16 25 22 6 15 11 26 5 14 16 15 1 5 19 26 18 12 4 2 21 6 23 8 13 3 25 24 7 0 27 20 9 10 29 22 28 17 11 4 23 11 7 15 17 5 21 16 19 10 2 28 25 6 0 27 1 3 22 29 26 24 12 13 9 14 8 20 18 6 5 10 4 11 8 0 15 26 12 22 9 18 1 14 25 28 19 17 3 23 16 27 29 21 24 2 7 13 20 25 13 19 23 0 3 6 5 20 21 9 26 16 11 1 22 2 4 15 24 14 28 12 7 8 17 29 18 10 27 2 8 17 0 12 24 25 6 23 22 14 29 27 9 13 19 20 21 10 16 15 1 26 5 3 11 28 4 18 7 1 11 13 24 2 23 10 20 28 16 26 22 21 5 4 18 12 8 0 27 19 14 6 17 29 7 25 3 15 9 28 21 16 29 13 25 22 10 2 8 1 24 19 15 7 26 0 14 18 11 12 17 3 6 20 5 27 9 23 4 23 14 27 6 9 0 15 19 4 5 29 8 10 20 22 28 16 24 7 18 21 25 1 2 26 3 17 13 11 12 7 22 8 13 6 12 27 4 29 1 25 14 17 3 20 24 23 16 19 15 11 5 0 28 18 21 26 2 9 10 3 1 21 8 29 9 17 14 22 20 7 19 13 6 11 2 24 10 26 12 5 0 18 16 15 23 4 27 25 28 8 24 3 9 18 16 4 22 15 10 19 25 23 7 29 20 11 17 13 2 1 12 5 21 6 28 0 26 27 14 26 0 5 25 14 11 2 16 17 28 12 20 29 13 21 4 8 7 27 9 6 19 10 22 23 15 18 1 24 3 5 26 4 27 19 28 7 25 3 13 16 0 12 21 15 23 17 2 9 29 8 18 11 20 24 10 6 14 1 22 15 3 12 28 22 13 21 23 25 27 0 4 26 8 19 1 18 9 5 17 20 29 7 11 14 2 10 6 16 24 10 28 20 21 23 26 19 13 8 7 24 18 22 14 17 9 15 12 11 5 4 6 2 3 25 27 1 29 0 16 16 27 7 26 20 29 12 0 19 18 6 3 9 4 10 17 1 11 25 21 28 13 23 14 5 8 24 22 2 15 9 19 25 10 21 15 20 24 14 2 23 27 5 28 16 7 13 22 29 0 3 11 4 26 1 18 12 17 8 6 19 25 26 12 4 2 28 29 21 23 27 17 20 0 3 11 14 5 22 6 18 10 9 24 16 1 13 15 7 8 13 10 29 18 16 7 1 28 24 6 4 11 0 17 26 27 5 20 23 25 22 2 15 8 9 14 3 12 19 21 18 20 1 11 26 5 16 27 7 15 17 6 14 22 0 3 25 29 8 10 24 9 28 13 2 12 23 21 4 19 11 12 24 14 27 6 3 7 18 17 8 1 25 19 5 16 9 28 2 4 10 15 13 23 0 22 21 20 29 26 0 29 18 17 10 22 23 9 5 3 28 13 2 12 24 15 21 26 6 19 7 4 25 27 11 20 8 16 14 1 27 9 6 3 1 20 14 17 11 29 18 10 24 2 23 8 22 0 16 26 13 21 19 15 12 4 7 5 28 25 29 4 23 20 8 21 11 26 6 25 5 15 3 10 2 14 19 18 1 28 27 7 22 0 17 16 9 24 12 13 </values>
7881.76/989.05	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 (12781 MiB free)
  memory of node 1: 16384 MiB (12126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280808-1503171709/watcher-4280808-1503171709 -o /tmp/evaluation-result-4280808-1503171709/solver-4280808-1503171709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 121953866 HOME/instance-4280808-1503171709.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=6018, runsolver pid=6015

[startup+0.100161 s]*
/proc/loadavg: 8.18 7.38 6.55 4/199 6039
/proc/meminfo: memFree=25490056/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=25999808 memory=26320 CPUtime=0.11 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 5473 0 0 0 10 1 0 0 20 0 20 0 150251802 26623803392 6580 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6499952 6580 2850 1 0 6488269 0
[pid=6020/tid=6021] ppid=6018 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) R 6018 6018 4250 0 -1 4202560 3487 0 0 0 8 1 0 0 20 0 20 0 150251802 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526108050168 140526087861605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=25999808 memory=140580076963456 CPUtime=0 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6025] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6025/stat : 6025 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526053280016 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6026] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6026/stat : 6026 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526052228240 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6027] ppid=6018 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6027/stat : 6027 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526051175440 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6028] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6028/stat : 6028 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526050122640 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6029] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6029/stat : 6029 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26623803392 6580 33554432000 4194304 4196468 140721504801968 140526049069840 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6030] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6030/stat : 6030 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251804 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524891044208 140526103829122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6031] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6031/stat : 6031 (java) S 6018 6018 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150251805 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524889990176 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6032] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6032/stat : 6032 (java) S 6018 6018 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150251805 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524888937328 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6033] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6033/stat : 6033 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251807 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524551923536 140526103836571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6034] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6034/stat : 6034 (java) S 6018 6018 4250 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 150251807 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524550871920 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6035] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6035/stat : 6035 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251807 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524549819120 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6036] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6036/stat : 6036 (java) S 6018 6018 4250 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 150251807 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524548766320 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6037] ppid=6018 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) S 6018 6018 4250 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 150251807 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524547713520 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251808 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251808 26623803392 6580 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27704 KiB

[startup+0.210325 s]*
/proc/loadavg: 8.18 7.38 6.55 2/199 6039
/proc/meminfo: memFree=25478644/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=26004064 memory=39088 CPUtime=0.33 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 8331 0 0 0 30 3 0 0 20 0 20 0 150251802 26628161536 9772 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6501016 9772 3057 1 0 6488269 0
[pid=6020/tid=6021] ppid=6018 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) R 6018 6018 4250 0 -1 4202560 5396 0 0 0 17 2 0 0 20 0 20 0 150251802 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526108031568 140526083346643 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=26004064 memory=4049214440788248224 CPUtime=0 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6025] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6025/stat : 6025 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526053280016 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6026] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6026/stat : 6026 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526052228240 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6027] ppid=6018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6027/stat : 6027 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526051175440 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6028] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6028/stat : 6028 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526050122640 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6029] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6029/stat : 6029 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 9772 33554432000 4194304 4196468 140721504801968 140526049069840 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6030] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6030/stat : 6030 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251804 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524891044208 140526103829122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6031] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6031/stat : 6031 (java) S 6018 6018 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150251805 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524889990176 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6032] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6032/stat : 6032 (java) S 6018 6018 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150251805 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524888937328 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6033] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6033/stat : 6033 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251807 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524551923536 140526103836571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6034] ppid=6018 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6020/task/6034/stat : 6034 (java) S 6018 6018 4250 0 -1 1077944384 530 0 0 0 1 0 0 0 20 0 20 0 150251807 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524550871920 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6035] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6035/stat : 6035 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251807 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524549819120 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6036] ppid=6018 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/6020/task/6036/stat : 6036 (java) S 6018 6018 4250 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 20 0 150251807 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524548766320 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6037] ppid=6018 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) R 6018 6018 4250 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 150251807 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524547713520 140526096055102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251808 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251808 26628161536 9772 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40472 KiB

[startup+0.309721 s]*
/proc/loadavg: 8.18 7.38 6.55 2/199 6039
/proc/meminfo: memFree=25472068/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=26004064 memory=46620 CPUtime=0.49 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 9260 0 0 0 45 4 0 0 20 0 20 0 150251802 26628161536 11655 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6501016 11655 3114 1 0 6488269 0
[pid=6020/tid=6021] ppid=6018 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) R 6018 6018 4250 0 -1 4202560 6152 0 0 0 26 3 0 0 20 0 20 0 150251802 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526108049376 140526103829910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6025] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6025/stat : 6025 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526053280016 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6026] ppid=6018 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6020/task/6026/stat : 6026 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526052228240 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6027] ppid=6018 vsize=26004064 memory=140579916837807 CPUtime=0 cores=0-7
/proc/6020/task/6027/stat : 6027 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526051175440 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6028] ppid=6018 vsize=26004064 memory=140579916840112 CPUtime=0 cores=0-7
/proc/6020/task/6028/stat : 6028 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526050122640 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6029] ppid=6018 vsize=26004064 memory=140579916842416 CPUtime=0 cores=0-7
/proc/6020/task/6029/stat : 6029 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251803 26628161536 11655 33554432000 4194304 4196468 140721504801968 140526049069840 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6030] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6030/stat : 6030 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150251804 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524891044208 140526103829122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6031] ppid=6018 vsize=26004064 memory=281159833691792 CPUtime=0 cores=0-7
/proc/6020/task/6031/stat : 6031 (java) S 6018 6018 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150251805 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524889990176 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6032] ppid=6018 vsize=26004064 memory=281159833698704 CPUtime=0 cores=0-7
/proc/6020/task/6032/stat : 6032 (java) S 6018 6018 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150251805 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524888937328 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6033] ppid=6018 vsize=26004064 memory=281159833639984 CPUtime=0 cores=0-7
/proc/6020/task/6033/stat : 6033 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251807 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524551923536 140526103836571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6034] ppid=6018 vsize=26004064 memory=281159833712528 CPUtime=0.02 cores=0-7
/proc/6020/task/6034/stat : 6034 (java) S 6018 6018 4250 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 20 0 150251807 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524550871920 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6035] ppid=6018 vsize=26004064 memory=281159833719440 CPUtime=0.01 cores=0-7
/proc/6020/task/6035/stat : 6035 (java) S 6018 6018 4250 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 150251807 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524549819120 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6036] ppid=6018 vsize=26004064 memory=281159833717136 CPUtime=0.02 cores=0-7
/proc/6020/task/6036/stat : 6036 (java) S 6018 6018 4250 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 150251807 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524548766320 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6037] ppid=6018 vsize=26004064 memory=281159833733296 CPUtime=0.11 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) S 6018 6018 4250 0 -1 1077944384 864 0 0 0 11 0 0 0 20 0 20 0 150251807 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524547713520 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150251808 26628161536 11655 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150251808 26628239360 11655 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48004 KiB

[startup+0.706059 s]
/proc/loadavg: 8.18 7.38 6.55 6/199 6039
/proc/meminfo: memFree=25444664/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=26538700 memory=118752 CPUtime=2.29 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 14325 0 0 0 223 6 0 0 20 0 28 0 150251802 27175628800 29688 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6634675 29688 3214 1 0 6621909 0
[pid=6020/tid=6021] ppid=6018 vsize=26538700 memory=281159834091184 CPUtime=0.56 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) S 6018 6018 4250 0 -1 1077944384 6650 0 0 0 53 3 0 0 20 0 28 0 150251802 27175628800 29688 33554432000 4194304 4196468 140721504801968 140526108058752 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=26538700 memory=140579917046640 CPUtime=0 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150251803 27175628800 29688 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150251803 27175628800 29688 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150251803 27175628800 29688 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0

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

[pid=6020/tid=6037] ppid=6018 vsize=26538700 memory=4080 CPUtime=0.62 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) S 6018 6018 4250 0 -1 1077944384 7169 0 0 0 60 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524547713520 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=26538700 memory=278124 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=26538700 memory=1384 CPUtime=0.34 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1282 0 0 0 0 34 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6040] ppid=6018 vsize=26538700 memory=4096 CPUtime=984.67 cores=0-7
/proc/6020/task/6040/stat : 6040 (java) R 6018 6018 4250 0 -1 4202560 1883 0 0 0 98466 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524537596648 140525715315622 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6041] ppid=6018 vsize=26538700 memory=42232 CPUtime=985.09 cores=0-7
/proc/6020/task/6041/stat : 6041 (java) R 6018 6018 4250 0 -1 4202560 1462 0 0 0 98508 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524536544824 140525714509157 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6042] ppid=6018 vsize=26538700 memory=1384 CPUtime=979.9 cores=0-7
/proc/6020/task/6042/stat : 6042 (java) R 6018 6018 4250 0 -1 4202560 6996 0 0 0 97985 5 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524535493192 140525715506763 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6043] ppid=6018 vsize=26538700 memory=1384 CPUtime=981.08 cores=0-7
/proc/6020/task/6043/stat : 6043 (java) R 6018 6018 4250 0 -1 4202560 5671 0 0 0 98104 4 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524534440392 140525715067322 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6044] ppid=6018 vsize=26538700 memory=278124 CPUtime=981.23 cores=0-7
/proc/6020/task/6044/stat : 6044 (java) R 6018 6018 4250 0 -1 4202560 3450 0 0 0 98122 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524533390368 140525715459731 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6045] ppid=6018 vsize=26538700 memory=12136 CPUtime=983.11 cores=0-7
/proc/6020/task/6045/stat : 6045 (java) R 6018 6018 4250 0 -1 4202560 1696 0 0 0 98311 0 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524532334544 140525715437298 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6046] ppid=6018 vsize=26538700 memory=4096 CPUtime=984.51 cores=0-7
/proc/6020/task/6046/stat : 6046 (java) R 6018 6018 4250 0 -1 4202560 1625 0 0 0 98450 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524531281992 140525715459791 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6047] ppid=6018 vsize=26538700 memory=42232 CPUtime=981.49 cores=0-7
/proc/6020/task/6047/stat : 6047 (java) R 6018 6018 4250 0 -1 4202560 8810 0 0 0 98143 6 0 0 20 0 28 0 150251862 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524530229048 140525715315142 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 7873.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 279508 KiB

[startup+988.802 s]
/proc/loadavg: 8.60 8.30 7.68 9/207 6063
/proc/meminfo: memFree=25245184/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=26538700 memory=278124 CPUtime=7880.11 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 109082 0 0 0 787930 81 0 0 20 0 28 0 150251802 27175628800 69531 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6634675 69531 3280 1 0 6621909 0
[pid=6020/tid=6021] ppid=6018 vsize=26538700 memory=278124 CPUtime=0.56 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) S 6018 6018 4250 0 -1 1077944384 6650 0 0 0 53 3 0 0 20 0 28 0 150251802 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526108058752 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=26538700 memory=4096 CPUtime=0.68 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2465 0 0 0 63 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=26538700 memory=42232 CPUtime=0.66 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3021 0 0 0 62 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=26538700 memory=1384 CPUtime=0.71 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 3640 0 0 0 66 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6025] ppid=6018 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7
/proc/6020/task/6025/stat : 6025 (java) S 6018 6018 4250 0 -1 1077944384 3030 0 0 0 65 3 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526053280016 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6026] ppid=6018 vsize=26538700 memory=278124 CPUtime=0.69 cores=0-7
/proc/6020/task/6026/stat : 6026 (java) S 6018 6018 4250 0 -1 1077944384 3004 0 0 0 64 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526052228240 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6027] ppid=6018 vsize=26538700 memory=8112282956445269571 CPUtime=0.7 cores=0-7
/proc/6020/task/6027/stat : 6027 (java) S 6018 6018 4250 0 -1 1077944384 3743 0 0 0 64 6 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526051175440 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6028] ppid=6018 vsize=26538700 memory=4629771062077588875 CPUtime=0.69 cores=0-7
/proc/6020/task/6028/stat : 6028 (java) S 6018 6018 4250 0 -1 1077944384 5197 0 0 0 65 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526050122640 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6029] ppid=6018 vsize=26538700 memory=-8961168018402230209 CPUtime=0.66 cores=0-7
/proc/6020/task/6029/stat : 6029 (java) S 6018 6018 4250 0 -1 1077944384 3314 0 0 0 62 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526049069840 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6030] ppid=6018 vsize=26538700 memory=-8253362762722141311 CPUtime=0.36 cores=0-7
/proc/6020/task/6030/stat : 6030 (java) S 6018 6018 4250 0 -1 1077944384 8326 0 0 0 28 8 0 0 20 0 28 0 150251804 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524891044208 140526103829122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6031] ppid=6018 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/6020/task/6031/stat : 6031 (java) S 6018 6018 4250 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150251805 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524889990176 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6032] ppid=6018 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/6020/task/6032/stat : 6032 (java) S 6018 6018 4250 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150251805 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524888937328 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6033] ppid=6018 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/6020/task/6033/stat : 6033 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524551923536 140526103836571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6034] ppid=6018 vsize=26538700 memory=1384 CPUtime=1.63 cores=0-7
/proc/6020/task/6034/stat : 6034 (java) S 6018 6018 4250 0 -1 1077944384 8975 0 0 0 161 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524550871920 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6035] ppid=6018 vsize=26538700 memory=0 CPUtime=1.84 cores=0-7
/proc/6020/task/6035/stat : 6035 (java) S 6018 6018 4250 0 -1 1077944384 8383 0 0 0 182 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524549819120 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6036] ppid=6018 vsize=26538700 memory=278124 CPUtime=1.71 cores=0-7
/proc/6020/task/6036/stat : 6036 (java) S 6018 6018 4250 0 -1 1077944384 7939 0 0 0 169 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524548766320 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6037] ppid=6018 vsize=26538700 memory=2424 CPUtime=0.62 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) S 6018 6018 4250 0 -1 1077944384 7169 0 0 0 60 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524547713520 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=26538700 memory=4080 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=26538700 memory=932 CPUtime=0.34 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1282 0 0 0 0 34 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6040] ppid=6018 vsize=26538700 memory=1584 CPUtime=985.46 cores=0-7
/proc/6020/task/6040/stat : 6040 (java) R 6018 6018 4250 0 -1 4202560 1883 0 0 0 98545 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524537596520 140525715459628 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6041] ppid=6018 vsize=26538700 memory=2196 CPUtime=985.88 cores=0-7
/proc/6020/task/6041/stat : 6041 (java) R 6018 6018 4250 0 -1 4202560 1462 0 0 0 98587 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524536545064 140525709896554 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6042] ppid=6018 vsize=26538700 memory=8112282956445269571 CPUtime=980.68 cores=0-7
/proc/6020/task/6042/stat : 6042 (java) R 6018 6018 4250 0 -1 4202560 6996 0 0 0 98063 5 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524535493056 140525715459746 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6043] ppid=6018 vsize=26538700 memory=4044 CPUtime=981.86 cores=0-7
/proc/6020/task/6043/stat : 6043 (java) R 6018 6018 4250 0 -1 4202560 5672 0 0 0 98182 4 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524534443344 140525715437136 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6044] ppid=6018 vsize=26538700 memory=1792 CPUtime=982.02 cores=0-7
/proc/6020/task/6044/stat : 6044 (java) R 6018 6018 4250 0 -1 4202560 3450 0 0 0 98201 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524533387592 140525714506649 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6045] ppid=6018 vsize=26538700 memory=636 CPUtime=983.89 cores=0-7
/proc/6020/task/6045/stat : 6045 (java) R 6018 6018 4250 0 -1 4202560 1696 0 0 0 98389 0 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524532334640 140525715437583 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6046] ppid=6018 vsize=26538700 memory=1236 CPUtime=985.3 cores=0-7
/proc/6020/task/6046/stat : 6046 (java) R 6018 6018 4250 0 -1 4202560 1625 0 0 0 98529 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524531281856 140525715013443 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6047] ppid=6018 vsize=26538700 memory=960 CPUtime=982.28 cores=0-7
/proc/6020/task/6047/stat : 6047 (java) R 6018 6018 4250 0 -1 4202560 8810 0 0 0 98222 6 0 0 20 0 28 0 150251862 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524530228832 140525715174791 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 7880.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 279508 KiB

[startup+989.002 s]*
/proc/loadavg: 8.60 8.30 7.68 9/207 6063
/proc/meminfo: memFree=25245184/32770624 swapFree=67108860/67108860
[pid=6018] ppid=6015 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6018/stat : 6018 (xcsp3-exec) S 6015 6018 4250 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150251801 9740288 346 33554432000 4194304 5098028 140724975120736 140724975118840 140413390103164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23568384 140724975129701 140724975129911 140724975129911 140724975132651 0
/proc/6018/statm: 2378 346 289 221 0 87 0
[pid=6020] ppid=6018 vsize=26538700 memory=278124 CPUtime=7881.76 cores=0-7
/proc/6020/stat : 6020 (java) S 6018 6018 4250 0 -1 1077944320 109082 0 0 0 788095 81 0 0 20 0 28 0 150251802 27175628800 69531 33554432000 4194304 4196468 140721504801968 140721504784512 140526103817975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
/proc/6020/statm: 6634675 69531 3280 1 0 6621909 0
[pid=6020/tid=6021] ppid=6018 vsize=26538700 memory=8112282956445269571 CPUtime=0.56 cores=0-7
/proc/6020/task/6021/stat : 6021 (java) S 6018 6018 4250 0 -1 1077944384 6650 0 0 0 53 3 0 0 20 0 28 0 150251802 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526108058752 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6022] ppid=6018 vsize=26538700 memory=4126316290023845779 CPUtime=0.68 cores=0-7
/proc/6020/task/6022/stat : 6022 (java) S 6018 6018 4250 0 -1 1077944384 2465 0 0 0 63 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526056438416 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6023] ppid=6018 vsize=26538700 memory=1384 CPUtime=0.66 cores=0-7
/proc/6020/task/6023/stat : 6023 (java) S 6018 6018 4250 0 -1 1077944384 3021 0 0 0 62 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526055385616 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6024] ppid=6018 vsize=26538700 memory=257048 CPUtime=0.71 cores=0-7
/proc/6020/task/6024/stat : 6024 (java) S 6018 6018 4250 0 -1 1077944384 3640 0 0 0 66 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526054332816 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6025] ppid=6018 vsize=26538700 memory=8052 CPUtime=0.68 cores=0-7
/proc/6020/task/6025/stat : 6025 (java) S 6018 6018 4250 0 -1 1077944384 3030 0 0 0 65 3 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526053280016 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6026] ppid=6018 vsize=26538700 memory=840 CPUtime=0.69 cores=0-7
/proc/6020/task/6026/stat : 6026 (java) S 6018 6018 4250 0 -1 1077944384 3004 0 0 0 64 5 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526052228240 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6027] ppid=6018 vsize=26538700 memory=1696 CPUtime=0.7 cores=0-7
/proc/6020/task/6027/stat : 6027 (java) S 6018 6018 4250 0 -1 1077944384 3743 0 0 0 64 6 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526051175440 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6028] ppid=6018 vsize=26538700 memory=920 CPUtime=0.69 cores=0-7
/proc/6020/task/6028/stat : 6028 (java) S 6018 6018 4250 0 -1 1077944384 5197 0 0 0 65 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526050122640 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6029] ppid=6018 vsize=26538700 memory=276076 CPUtime=0.66 cores=0-7
/proc/6020/task/6029/stat : 6029 (java) S 6018 6018 4250 0 -1 1077944384 3314 0 0 0 62 4 0 0 20 0 28 0 150251803 27175628800 69531 33554432000 4194304 4196468 140721504801968 140526049069840 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6030] ppid=6018 vsize=26538700 memory=8112282956445269571 CPUtime=0.36 cores=0-7
/proc/6020/task/6030/stat : 6030 (java) S 6018 6018 4250 0 -1 1077944384 8326 0 0 0 28 8 0 0 20 0 28 0 150251804 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524891044208 140526103829122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6031] ppid=6018 vsize=26538700 memory=276076 CPUtime=0 cores=0-7
/proc/6020/task/6031/stat : 6031 (java) S 6018 6018 4250 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150251805 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524889990176 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6032] ppid=6018 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/6020/task/6032/stat : 6032 (java) S 6018 6018 4250 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150251805 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524888937328 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6033] ppid=6018 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/6020/task/6033/stat : 6033 (java) S 6018 6018 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524551923536 140526103836571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6034] ppid=6018 vsize=26538700 memory=12136 CPUtime=1.63 cores=0-7
/proc/6020/task/6034/stat : 6034 (java) S 6018 6018 4250 0 -1 1077944384 8975 0 0 0 161 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524550871920 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6035] ppid=6018 vsize=26538700 memory=1004 CPUtime=1.84 cores=0-7
/proc/6020/task/6035/stat : 6035 (java) S 6018 6018 4250 0 -1 1077944384 8383 0 0 0 182 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524549819120 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6036] ppid=6018 vsize=26538700 memory=1228 CPUtime=1.71 cores=0-7
/proc/6020/task/6036/stat : 6036 (java) S 6018 6018 4250 0 -1 1077944384 7939 0 0 0 169 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524548766320 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6037] ppid=6018 vsize=26538700 memory=1952 CPUtime=0.62 cores=0-7
/proc/6020/task/6037/stat : 6037 (java) S 6018 6018 4250 0 -1 1077944384 7169 0 0 0 60 2 0 0 20 0 28 0 150251807 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524547713520 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6038] ppid=6018 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/6020/task/6038/stat : 6038 (java) S 6018 6018 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524546660960 140526103828181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6039] ppid=6018 vsize=26538700 memory=1004 CPUtime=0.34 cores=0-7
/proc/6020/task/6039/stat : 6039 (java) S 6018 6018 4250 0 -1 1077944384 1282 0 0 0 0 34 0 0 20 0 28 0 150251808 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524545608240 140526103829122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6040] ppid=6018 vsize=26538700 memory=1228 CPUtime=985.67 cores=0-7
/proc/6020/task/6040/stat : 6040 (java) R 6018 6018 4250 0 -1 4202560 1883 0 0 0 98566 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524537596520 140525715173817 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6041] ppid=6018 vsize=26538700 memory=4486604260213485459 CPUtime=986.09 cores=0-7
/proc/6020/task/6041/stat : 6041 (java) R 6018 6018 4250 0 -1 4202560 1462 0 0 0 98608 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524536545064 140525715066337 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6042] ppid=6018 vsize=26538700 memory=276076 CPUtime=980.89 cores=0-7
/proc/6020/task/6042/stat : 6042 (java) R 6018 6018 4250 0 -1 4202560 6996 0 0 0 98084 5 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524535493056 140525715066944 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6043] ppid=6018 vsize=26538700 memory=4080 CPUtime=982.06 cores=0-7
/proc/6020/task/6043/stat : 6043 (java) R 6018 6018 4250 0 -1 4202560 5672 0 0 0 98202 4 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524534443344 140525715315494 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6044] ppid=6018 vsize=26538700 memory=932 CPUtime=982.23 cores=0-7
/proc/6020/task/6044/stat : 6044 (java) R 6018 6018 4250 0 -1 4202560 3450 0 0 0 98222 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524533387592 140525715066273 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6045] ppid=6018 vsize=26538700 memory=1584 CPUtime=984.1 cores=0-7
/proc/6020/task/6045/stat : 6045 (java) R 6018 6018 4250 0 -1 4202560 1696 0 0 0 98410 0 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524532334640 140525715065258 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6046] ppid=6018 vsize=26538700 memory=278124 CPUtime=985.51 cores=0-7
/proc/6020/task/6046/stat : 6046 (java) R 6018 6018 4250 0 -1 4202560 1625 0 0 0 98550 1 0 0 20 0 28 0 150251861 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524531281856 140525715437282 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
[pid=6020/tid=6047] ppid=6018 vsize=26538700 memory=5796 CPUtime=982.49 cores=0-7
/proc/6020/task/6047/stat : 6047 (java) R 6018 6018 4250 0 -1 4202560 8810 0 0 0 98243 6 0 0 20 0 28 0 150251862 27175628800 69531 33554432000 4194304 4196468 140721504801968 140524530228968 140525715173817 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21176320 140721504806034 140721504806211 140721504806211 140721504808911 0
Current children cumulated CPU time: 7881.76 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 279508 KiB

Child status: 0
Real time (s): 989.064
CPU time (s): 7882.12
CPU user time (s): 7881.3
CPU system time (s): 0.822796
CPU usage (%): 796.928
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 279508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7881.3
system time used= 0.822796
maximum resident set size= 278228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48442
involuntary context switches= 80576


# summary of solver processes directly reported to runsolver:
#   pid: 6018
#   total CPU time (s): 7882.12
#   total CPU user time (s): 7881.3
#   total CPU system time (s): 0.822796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49888 second user time and 11.5273 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 21:27:29
IDJOB=4280808
IDBENCH=138966
IDSOLVER=2675
FILE ID=node148/4280808-1503171709
RUNJOBID= node148-1503164239-4277
PBS_JOBID= 20630830
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-12.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-4280808-1503171709/watcher-4280808-1503171709 -o /tmp/evaluation-result-4280808-1503171709/solver-4280808-1503171709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 121953866 HOME/instance-4280808-1503171709.xml

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

MD5SUM BENCH= cda15f5e5f696f8ee91ea98989c7670b
RANDOM SEED=121953866

node148.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.19
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.19
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.19
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.19
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:        25506524 kB
MemAvailable:   31974604 kB
Buffers:          294340 kB
Cached:          6467512 kB
SwapCached:            0 kB
Active:          1166112 kB
Inactive:        5649020 kB
Active(anon):       4688 kB
Inactive(anon):    84704 kB
Active(file):    1161424 kB
Inactive(file):  5564316 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7988 kB
Writeback:             0 kB
AnonPages:         60896 kB
Mapped:            51544 kB
Shmem:             33416 kB
Slab:             143308 kB
SReclaimable:     116348 kB
SUnreclaim:        26960 kB
KernelStack:        3184 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 21:43:58