Trace number 4400315

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelOPT14 226.154 29.229

General information on the benchmark

NameOpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-pb-30-15-1.xml
MD5SUM200d8ff13be0114d953e34120514972f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark67.0084
Satisfiable
(Un)Satisfiability was proved
Number of variables1380
Number of constraints1366
Number of domains8
Minimum domain size2
Maximum domain size16
Distribution of domain sizes[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints450
Number of intensional constraints450
Distribution of constraint types[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400315-1568720225.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400315-1568720225.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.56/1.38	c solve instance...
16.81/2.91	o 15 
19.16/3.22	o 14 
226.11/29.21	s OPTIMUM FOUND
226.11/29.21	v <instantiation>
226.11/29.21	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list>
226.11/29.21	v 	<values>0 3 4 9 10 13 11 6 12 8 14 1 2 5 7 1 1 2 2 2 3 3 3 3 4 5 5 5 6 6 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 2 2 2 3 1 2 2 3 3 3 3 4 5 6 6 6 6 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 1 2 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 1 1 1 2 2 2 2 3 4 4 0 0 0 1 1 1 2 2 2 2 3 4 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 3 3 3 4 4 4 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 3 4 0 1 2 2 2 2 2 2 3 4 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 3 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 8 11 12 13 13 13 14 14 14 14 14 14 12 10 5 </values>
226.11/29.21	v </instantiation>

Verifier Data 

OK	14

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400315-1568720225/watcher-4400315-1568720225 -o /tmp/evaluation-result-4400315-1568720225/solver-4400315-1568720225 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1549403202 HOME/instance-4400315-1568720225.xml 

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

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


[startup+0.100147 s]*
/proc/loadavg: 7.72 8.11 8.01 2/210 29244
/proc/meminfo: memFree=31162320/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28227396 memory=28912 CPUtime=0.12 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 5713 0 0 0 11 1 0 0 20 0 20 0 448280686 28904853504 7228 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7056849 7228 3121 1 0 7019032 0
[pid=29225/tid=29226] ppid=29223 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) R 29223 29223 22588 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 448280686 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552098483184 140552094268822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28227396 memory=139719737656960 CPUtime=0 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29230] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29230/stat : 29230 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552010951568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29231] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29231/stat : 29231 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552009898512 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29232] ppid=29223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29232/stat : 29232 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552008845968 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29233] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29233/stat : 29233 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552007792912 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29234] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29234/stat : 29234 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 7228 33554432000 4194304 4196468 140726362587072 140552006740368 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29235] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29235/stat : 29235 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 7228 33554432000 4194304 4196468 140726362587072 140551209994992 140552094268034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29236] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29236/stat : 29236 (java) S 29223 29223 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 7228 33554432000 4194304 4196468 140726362587072 140551208941216 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29237] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29237/stat : 29237 (java) S 29223 29223 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 7228 33554432000 4194304 4196468 140726362587072 140551207888112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29238] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29238/stat : 29238 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551206836688 140552094275483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29239] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29239/stat : 29239 (java) S 29223 29223 22588 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551205783792 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29240] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29240/stat : 29240 (java) R 29223 29223 22588 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551204731344 140552077669088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29241] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29241/stat : 29241 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551203678192 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29242] ppid=29223 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) R 29223 29223 22588 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551202625648 140552072384740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 7294 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30364 KiB

[startup+0.210744 s]*
/proc/loadavg: 7.72 8.11 8.01 3/210 29244
/proc/meminfo: memFree=31149080/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28227396 memory=40392 CPUtime=0.34 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 9390 0 0 0 31 3 0 0 20 0 20 0 448280686 28904853504 10098 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7056849 10098 3310 1 0 7019032 0
[pid=29225/tid=29226] ppid=29223 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) R 29223 29223 22588 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 20 0 448280686 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552098490944 140552094278813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28227396 memory=3905946081495140000 CPUtime=0 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29230] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29230/stat : 29230 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552010951568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29231] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29231/stat : 29231 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552009898512 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29232] ppid=29223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29232/stat : 29232 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552008845968 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29233] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29233/stat : 29233 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552007792912 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29234] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29234/stat : 29234 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280687 28904853504 10098 33554432000 4194304 4196468 140726362587072 140552006740368 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29235] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29235/stat : 29235 (java) S 29223 29223 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551209994992 140552094268034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29236] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29236/stat : 29236 (java) S 29223 29223 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551208941216 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29237] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29237/stat : 29237 (java) S 29223 29223 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448280689 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551207888112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29238] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29238/stat : 29238 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551206836688 140552094275483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29239] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29239/stat : 29239 (java) S 29223 29223 22588 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551205783792 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29240] ppid=29223 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29225/task/29240/stat : 29240 (java) S 29223 29223 22588 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551204731248 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29241] ppid=29223 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/29225/task/29241/stat : 29241 (java) S 29223 29223 22588 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551203678192 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29242] ppid=29223 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) S 29223 29223 22588 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551202625648 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28904853504 10098 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41844 KiB

[startup+0.319108 s]*
/proc/loadavg: 7.72 8.11 8.01 3/210 29244
/proc/meminfo: memFree=31141664/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28231652 memory=50664 CPUtime=0.54 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 11045 0 0 0 50 4 0 0 20 0 20 0 448280686 28909211648 12666 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7057913 12666 3352 1 0 7019032 0
[pid=29225/tid=29226] ppid=29223 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) R 29223 29223 22588 0 -1 4202560 7936 0 0 0 28 2 0 0 20 0 20 0 448280686 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552098490944 140552078337374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29230] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29230/stat : 29230 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552010951568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29231] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29231/stat : 29231 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552009898512 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29232] ppid=29223 vsize=28231652 memory=139719581199023 CPUtime=0 cores=0-7
/proc/29225/task/29232/stat : 29232 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552008845968 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29233] ppid=29223 vsize=28231652 memory=139719581201328 CPUtime=0 cores=0-7
/proc/29225/task/29233/stat : 29233 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552007792912 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29234] ppid=29223 vsize=28231652 memory=139719581203632 CPUtime=0 cores=0-7
/proc/29225/task/29234/stat : 29234 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280687 28909211648 12666 33554432000 4194304 4196468 140726362587072 140552006740368 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29235] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29235/stat : 29235 (java) S 29223 29223 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448280689 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551209994992 140552094268034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29236] ppid=29223 vsize=28231652 memory=279439162421136 CPUtime=0 cores=0-7
/proc/29225/task/29236/stat : 29236 (java) S 29223 29223 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448280689 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551208941216 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29237] ppid=29223 vsize=28231652 memory=279439162418832 CPUtime=0 cores=0-7
/proc/29225/task/29237/stat : 29237 (java) S 29223 29223 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448280689 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551207888112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29238] ppid=29223 vsize=28231652 memory=279439162425744 CPUtime=0 cores=0-7
/proc/29225/task/29238/stat : 29238 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551206836688 140552094275483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29239] ppid=29223 vsize=28231652 memory=279439162367024 CPUtime=0.02 cores=0-7
/proc/29225/task/29239/stat : 29239 (java) S 29223 29223 22588 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551205783792 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29240] ppid=29223 vsize=28231652 memory=279439162439568 CPUtime=0.02 cores=0-7
/proc/29225/task/29240/stat : 29240 (java) S 29223 29223 22588 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551204731248 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29241] ppid=29223 vsize=28231652 memory=279439162446480 CPUtime=0.03 cores=0-7
/proc/29225/task/29241/stat : 29241 (java) S 29223 29223 22588 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551203678192 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29242] ppid=29223 vsize=28231652 memory=279439162444176 CPUtime=0.12 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) S 29223 29223 22588 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551202625648 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280692 28909211648 12666 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52116 KiB

[startup+0.701012 s]
/proc/loadavg: 7.72 8.11 8.01 6/210 29244
/proc/meminfo: memFree=31117580/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28233776 memory=96376 CPUtime=2 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 16814 0 0 0 193 7 0 0 20 0 20 0 448280686 28911386624 24094 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7058444 24094 3461 1 0 7019544 0
[pid=29225/tid=29226] ppid=29223 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) R 29223 29223 22588 0 -1 4202560 9328 0 0 0 64 4 0 0 20 0 20 0 448280686 28911386624 24094 33554432000 4194304 4196468 140726362587072 140552098492592 140552094278234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28233776 memory=139719581410160 CPUtime=0 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448280687 28911386624 24094 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28911386624 24094 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448280687 28911386624 24094 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0

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

[pid=29225/tid=29242] ppid=29223 vsize=28768336 memory=1976 CPUtime=1.13 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) S 29223 29223 22588 0 -1 1077944384 11700 0 0 0 109 4 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551202625648 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28768336 memory=39908 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29261] ppid=29223 vsize=28768336 memory=288230574492221466 CPUtime=24.17 cores=0-7
/proc/29225/task/29261/stat : 29261 (java) R 29223 29223 22588 0 -1 4202560 417 0 0 0 2417 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550131829704 140551689642671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29262] ppid=29223 vsize=28768336 memory=297237821058711863 CPUtime=24.44 cores=0-7
/proc/29225/task/29262/stat : 29262 (java) R 29223 29223 22588 0 -1 4202560 452 0 0 0 2444 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550130778584 140551689963471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29263] ppid=29223 vsize=28768336 memory=13563791027735085 CPUtime=24.45 cores=0-7
/proc/29225/task/29263/stat : 29263 (java) R 29223 29223 22588 0 -1 4202560 548 0 0 0 2445 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550126566712 140551689756836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29264] ppid=29223 vsize=28768336 memory=4642197927495488356 CPUtime=24.32 cores=0-7
/proc/29225/task/29264/stat : 29264 (java) R 29223 29223 22588 0 -1 4202560 1541 0 0 0 2427 5 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550129725432 140551689757439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29265] ppid=29223 vsize=28768336 memory=7372784292841548653 CPUtime=24.31 cores=0-7
/proc/29225/task/29265/stat : 29265 (java) R 29223 29223 22588 0 -1 4202560 822 0 0 0 2430 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551195827992 140551689963991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29266] ppid=29223 vsize=28768336 memory=8245080824746437743 CPUtime=24.42 cores=0-7
/proc/29225/task/29266/stat : 29266 (java) R 29223 29223 22588 0 -1 4202560 1070 0 0 0 2441 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550132882968 140551689965103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29267] ppid=29223 vsize=28768336 memory=4640748753518612560 CPUtime=23.86 cores=0-7
/proc/29225/task/29267/stat : 29267 (java) R 29223 29223 22588 0 -1 4202560 2761 0 0 0 2380 6 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550128675328 140551690838917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29268] ppid=29223 vsize=28768336 memory=6153436965631978087 CPUtime=23.93 cores=0-7
/proc/29225/task/29268/stat : 29268 (java) R 29223 29223 22588 0 -1 4202560 822 0 0 0 2392 1 0 0 20 0 28 0 448281010 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550127620544 140551689161990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 216.71 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 663236 KiB

[startup+28.8011 s]
/proc/loadavg: 8.10 8.17 8.03 9/218 29270
/proc/meminfo: memFree=30531140/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28768336 memory=661784 CPUtime=223.02 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 71514 0 0 0 22242 60 0 0 20 0 28 0 448280686 29458776064 165446 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7192084 165446 3542 1 0 7153184 0
[pid=29225/tid=29226] ppid=29223 vsize=28768336 memory=-7966001957961632603 CPUtime=1.36 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) S 29223 29223 22588 0 -1 1077944384 10566 0 0 0 131 5 0 0 20 0 28 0 448280686 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552098497664 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28768336 memory=-7966001734603266090 CPUtime=0.07 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 473 0 0 0 4 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28768336 memory=7679373425970869011 CPUtime=0.06 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 366 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28768336 memory=4137280412607091059 CPUtime=0.06 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 1828 0 0 0 3 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29230] ppid=29223 vsize=28768336 memory=2244 CPUtime=0.05 cores=0-7
/proc/29225/task/29230/stat : 29230 (java) S 29223 29223 22588 0 -1 1077944384 499 0 0 0 3 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552010951568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29231] ppid=29223 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/29225/task/29231/stat : 29231 (java) S 29223 29223 22588 0 -1 1077944384 434 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552009898512 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29232] ppid=29223 vsize=28768336 memory=1452 CPUtime=0.06 cores=0-7
/proc/29225/task/29232/stat : 29232 (java) S 29223 29223 22588 0 -1 1077944384 3018 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552008845968 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29233] ppid=29223 vsize=28768336 memory=3624 CPUtime=0.06 cores=0-7
/proc/29225/task/29233/stat : 29233 (java) S 29223 29223 22588 0 -1 1077944384 307 0 0 0 3 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552007792912 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29234] ppid=29223 vsize=28768336 memory=35872 CPUtime=0.05 cores=0-7
/proc/29225/task/29234/stat : 29234 (java) S 29223 29223 22588 0 -1 1077944384 291 0 0 0 3 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552006740368 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29235] ppid=29223 vsize=28768336 memory=984 CPUtime=0.02 cores=0-7
/proc/29225/task/29235/stat : 29235 (java) S 29223 29223 22588 0 -1 1077944384 2114 0 0 0 2 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551209994992 140552094268034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29236] ppid=29223 vsize=28768336 memory=2016 CPUtime=0 cores=0-7
/proc/29225/task/29236/stat : 29236 (java) S 29223 29223 22588 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551208941280 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29237] ppid=29223 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/29225/task/29237/stat : 29237 (java) S 29223 29223 22588 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551207888128 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29238] ppid=29223 vsize=28768336 memory=1548 CPUtime=0 cores=0-7
/proc/29225/task/29238/stat : 29238 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551206836688 140552094275483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29239] ppid=29223 vsize=28768336 memory=7396 CPUtime=2.76 cores=0-7
/proc/29225/task/29239/stat : 29239 (java) S 29223 29223 22588 0 -1 1077944384 8413 0 0 0 275 1 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551205783792 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29240] ppid=29223 vsize=28768336 memory=4000 CPUtime=2.95 cores=0-7
/proc/29225/task/29240/stat : 29240 (java) S 29223 29223 22588 0 -1 1077944384 11210 0 0 0 292 3 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551204731248 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29241] ppid=29223 vsize=28768336 memory=616 CPUtime=2.99 cores=0-7
/proc/29225/task/29241/stat : 29241 (java) S 29223 29223 22588 0 -1 1077944384 8160 0 0 0 297 2 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551203678192 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29242] ppid=29223 vsize=28768336 memory=2832 CPUtime=1.13 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) S 29223 29223 22588 0 -1 1077944384 11898 0 0 0 109 4 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551202625648 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28768336 memory=1624 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28768336 memory=1136 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29261] ppid=29223 vsize=28768336 memory=1072 CPUtime=24.96 cores=0-7
/proc/29225/task/29261/stat : 29261 (java) R 29223 29223 22588 0 -1 4202560 420 0 0 0 2496 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550131829704 140551690786248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29262] ppid=29223 vsize=28768336 memory=6044 CPUtime=25.23 cores=0-7
/proc/29225/task/29262/stat : 29262 (java) R 29223 29223 22588 0 -1 4202560 452 0 0 0 2523 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550130778584 140551690785324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29263] ppid=29223 vsize=28768336 memory=784 CPUtime=25.23 cores=0-7
/proc/29225/task/29263/stat : 29263 (java) R 29223 29223 22588 0 -1 4202560 548 0 0 0 2523 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550126566712 140551691266159 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29264] ppid=29223 vsize=28768336 memory=1060 CPUtime=25.11 cores=0-7
/proc/29225/task/29264/stat : 29264 (java) R 29223 29223 22588 0 -1 4202560 1544 0 0 0 2506 5 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550129725432 140551692919820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29265] ppid=29223 vsize=28768336 memory=14012 CPUtime=25.1 cores=0-7
/proc/29225/task/29265/stat : 29265 (java) R 29223 29223 22588 0 -1 4202560 823 0 0 0 2509 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551195827992 140551689162018 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29266] ppid=29223 vsize=28768336 memory=608968 CPUtime=25.21 cores=0-7
/proc/29225/task/29266/stat : 29266 (java) R 29223 29223 22588 0 -1 4202560 1092 0 0 0 2520 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550132882968 140551689758753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29267] ppid=29223 vsize=28768336 memory=551568 CPUtime=24.65 cores=0-7
/proc/29225/task/29267/stat : 29267 (java) R 29223 29223 22588 0 -1 4202560 2775 0 0 0 2459 6 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550128673256 140551690159514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29268] ppid=29223 vsize=28768336 memory=1452 CPUtime=24.72 cores=0-7
/proc/29225/task/29268/stat : 29268 (java) R 29223 29223 22588 0 -1 4202560 845 0 0 0 2471 1 0 0 20 0 28 0 448281010 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550127620544 140551691013489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 223.02 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 663236 KiB

[startup+29.2011 s]
/proc/loadavg: 8.10 8.17 8.03 9/218 29270
/proc/meminfo: memFree=30531140/32770624 swapFree=66939932/67108860
[pid=29223] ppid=29220 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29223/stat : 29223 (xcsp3-exec) S 29220 29223 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448280686 115843072 363 33554432000 4194304 5098028 140734847346304 140734847344408 140543405613692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9953280 140734847349627 140734847349870 140734847349870 140734847352778 0
/proc/29223/statm: 28282 363 304 221 0 87 0
[pid=29225] ppid=29223 vsize=28768336 memory=661784 CPUtime=226.11 cores=0-7
/proc/29225/stat : 29225 (java) S 29223 29223 22588 0 -1 1077944320 71634 0 0 0 22551 60 0 0 20 0 28 0 448280686 29458776064 165446 33554432000 4194304 4196468 140726362587072 140726362569616 140552094256887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
/proc/29225/statm: 7192084 165446 3542 1 0 7153184 0
[pid=29225/tid=29226] ppid=29223 vsize=28768336 memory=0 CPUtime=1.36 cores=0-7
/proc/29225/task/29226/stat : 29226 (java) S 29223 29223 22588 0 -1 1077944384 10566 0 0 0 131 5 0 0 20 0 28 0 448280686 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552098497664 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29227] ppid=29223 vsize=28768336 memory=7301856090349791568 CPUtime=0.07 cores=0-7
/proc/29225/task/29227/stat : 29227 (java) S 29223 29223 22588 0 -1 1077944384 473 0 0 0 4 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552014109712 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29228] ppid=29223 vsize=28768336 memory=6153395261166670416 CPUtime=0.06 cores=0-7
/proc/29225/task/29228/stat : 29228 (java) S 29223 29223 22588 0 -1 1077944384 366 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552013057168 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29229] ppid=29223 vsize=28768336 memory=1452 CPUtime=0.06 cores=0-7
/proc/29225/task/29229/stat : 29229 (java) S 29223 29223 22588 0 -1 1077944384 1828 0 0 0 3 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552012004112 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29230] ppid=29223 vsize=28768336 memory=6944656592455360604 CPUtime=0.05 cores=0-7
/proc/29225/task/29230/stat : 29230 (java) S 29223 29223 22588 0 -1 1077944384 499 0 0 0 3 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552010951568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29231] ppid=29223 vsize=28768336 memory=7879445920533729360 CPUtime=0.06 cores=0-7
/proc/29225/task/29231/stat : 29231 (java) S 29223 29223 22588 0 -1 1077944384 434 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552009898512 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29232] ppid=29223 vsize=28768336 memory=6298937619780954981 CPUtime=0.06 cores=0-7
/proc/29225/task/29232/stat : 29232 (java) S 29223 29223 22588 0 -1 1077944384 3018 0 0 0 4 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552008845968 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29233] ppid=29223 vsize=28768336 memory=1899419 CPUtime=0.06 cores=0-7
/proc/29225/task/29233/stat : 29233 (java) S 29223 29223 22588 0 -1 1077944384 307 0 0 0 3 3 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552007792912 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29234] ppid=29223 vsize=28768336 memory=1900664 CPUtime=0.05 cores=0-7
/proc/29225/task/29234/stat : 29234 (java) S 29223 29223 22588 0 -1 1077944384 291 0 0 0 3 2 0 0 20 0 28 0 448280687 29458776064 165446 33554432000 4194304 4196468 140726362587072 140552006740368 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29235] ppid=29223 vsize=28768336 memory=-8961168018402230209 CPUtime=0.02 cores=0-7
/proc/29225/task/29235/stat : 29235 (java) S 29223 29223 22588 0 -1 1077944384 2114 0 0 0 2 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551209994992 140552094268034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29236] ppid=29223 vsize=28768336 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/29225/task/29236/stat : 29236 (java) S 29223 29223 22588 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551208941280 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29237] ppid=29223 vsize=28768336 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/29225/task/29237/stat : 29237 (java) S 29223 29223 22588 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 448280689 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551207888128 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29238] ppid=29223 vsize=28768336 memory=-7175204567652784766 CPUtime=0 cores=0-7
/proc/29225/task/29238/stat : 29238 (java) S 29223 29223 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551206836688 140552094275483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29239] ppid=29223 vsize=28768336 memory=3054156605268465310 CPUtime=2.76 cores=0-7
/proc/29225/task/29239/stat : 29239 (java) S 29223 29223 22588 0 -1 1077944384 8413 0 0 0 275 1 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551205783792 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29240] ppid=29223 vsize=28768336 memory=7822038051842261661 CPUtime=2.95 cores=0-7
/proc/29225/task/29240/stat : 29240 (java) S 29223 29223 22588 0 -1 1077944384 11210 0 0 0 292 3 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551204731248 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29241] ppid=29223 vsize=28768336 memory=4713745541279610410 CPUtime=2.99 cores=0-7
/proc/29225/task/29241/stat : 29241 (java) S 29223 29223 22588 0 -1 1077944384 8160 0 0 0 297 2 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551203678192 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29242] ppid=29223 vsize=28768336 memory=-8341965534556230502 CPUtime=1.13 cores=0-7
/proc/29225/task/29242/stat : 29242 (java) S 29223 29223 22588 0 -1 1077944384 11898 0 0 0 109 4 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551202625648 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29243] ppid=29223 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/29225/task/29243/stat : 29243 (java) S 29223 29223 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551201573856 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29244] ppid=29223 vsize=28768336 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/29225/task/29244/stat : 29244 (java) S 29223 29223 22588 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 28 0 448280692 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551200521392 140552094268034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29261] ppid=29223 vsize=28768336 memory=13563791027735085 CPUtime=25.34 cores=0-7
/proc/29225/task/29261/stat : 29261 (java) S 29223 29223 22588 0 -1 1077944384 443 0 0 0 2534 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550131834624 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29262] ppid=29223 vsize=28768336 memory=522872 CPUtime=25.61 cores=0-7
/proc/29225/task/29262/stat : 29262 (java) S 29223 29223 22588 0 -1 1077944384 504 0 0 0 2561 0 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550130783568 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29263] ppid=29223 vsize=28768336 memory=1452 CPUtime=25.61 cores=0-7
/proc/29225/task/29263/stat : 29263 (java) S 29223 29223 22588 0 -1 1077944384 568 0 0 0 2560 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550126572496 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29264] ppid=29223 vsize=28768336 memory=600776 CPUtime=25.49 cores=0-7
/proc/29225/task/29264/stat : 29264 (java) S 29223 29223 22588 0 -1 1077944384 1550 0 0 0 2544 5 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550129730640 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29265] ppid=29223 vsize=28768336 memory=2116 CPUtime=25.49 cores=0-7
/proc/29225/task/29265/stat : 29265 (java) S 29223 29223 22588 0 -1 1077944384 829 0 0 0 2548 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140551195833040 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29266] ppid=29223 vsize=28768336 memory=516 CPUtime=25.59 cores=0-7
/proc/29225/task/29266/stat : 29266 (java) S 29223 29223 22588 0 -1 1077944384 1094 0 0 0 2558 1 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550132888400 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29267] ppid=29223 vsize=28768336 memory=1556 CPUtime=25.05 cores=0-7
/proc/29225/task/29267/stat : 29267 (java) R 29223 29223 22588 0 -1 4202560 2781 0 0 0 2499 6 0 0 20 0 28 0 448281009 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550128673256 140551693312409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
[pid=29225/tid=29268] ppid=29223 vsize=28768336 memory=928 CPUtime=25.11 cores=0-7
/proc/29225/task/29268/stat : 29268 (java) S 29223 29223 22588 0 -1 1077944384 850 0 0 0 2510 1 0 0 20 0 28 0 448281010 29458776064 165446 33554432000 4194304 4196468 140726362587072 140550127625808 140552094267093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17907712 140726362592240 140726362592411 140726362592411 140726362595279 0
Current children cumulated CPU time: 226.11 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 663236 KiB

Child status: 0
Real time (s): 29.229
CPU time (s): 226.154
CPU user time (s): 225.53
CPU system time (s): 0.623541
CPU usage (%): 773.731
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 663236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.53
system time used= 0.623541
maximum resident set size= 661784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5738
involuntary context switches= 3209


# summary of solver processes directly reported to runsolver:
#   pid: 29223
#   total CPU time (s): 226.154
#   total CPU user time (s): 225.53
#   total CPU system time (s): 0.623541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316112 second user time and 0.347939 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-17 12:35:28
IDJOB=4400315
IDBENCH=140467
IDSOLVER=2855
FILE ID=node105/4400315-1568720225
RUNJOBID= node105-1568709526-22615
PBS_JOBID= 21703944
Free space on /tmp= 61004 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-pb-30-15-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400315-1568720225/watcher-4400315-1568720225 -o /tmp/evaluation-result-4400315-1568720225/solver-4400315-1568720225 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1549403202 HOME/instance-4400315-1568720225.xml

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

MD5SUM BENCH= 200d8ff13be0114d953e34120514972f
RANDOM SEED=1549403202

node105.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.00
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.00
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.00
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.00
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:        31178180 kB
MemAvailable:   31844516 kB
Buffers:          187972 kB
Cached:           778752 kB
SwapCached:        65492 kB
Active:           545572 kB
Inactive:         490080 kB
Active(anon):       9696 kB
Inactive(anon):   103440 kB
Active(file):     535876 kB
Inactive(file):   386640 kB
Unevictable:      109044 kB
Mlocked:          109044 kB
SwapTotal:      67108860 kB
SwapFree:       66939932 kB
Dirty:             26060 kB
Writeback:             0 kB
AnonPages:        113428 kB
Mapped:            44216 kB
Shmem:             35724 kB
Slab:             147652 kB
SReclaimable:     119312 kB
SUnreclaim:        28340 kB
KernelStack:        3328 kB
PageTables:         5084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60980 MiB
End job on node105 at 2019-09-17 12:35:58