Trace number 4407121

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-24 parallelOPT4 162.763 21.4592

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbo-15-30-1.xml
MD5SUM274e3e67607724bfcca0861611bdfa28
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark69.7539
Satisfiable
(Un)Satisfiability was proved
Number of variables1410
Number of constraints1381
Number of domains9
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}]
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":30},{"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-4407121-1569348971.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407121-1569348971.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.96/1.41	c solve instance...
7.16/1.79	o 13 
7.98/1.87	o 12 
9.20/2.06	o 11 
9.20/2.10	o 10 
9.82/2.11	o 9 
9.82/2.14	o 8 
10.41/2.28	o 7 
38.48/5.84	o 6 
97.31/13.29	o 5 
102.05/13.83	o 4 
162.47/21.44	s OPTIMUM FOUND
162.47/21.44	v <instantiation>
162.47/21.44	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] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] 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[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] 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[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] 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[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] 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[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] 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[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] 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[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] 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[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] 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[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] 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[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] 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[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] 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[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] 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[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] 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[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] 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[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] 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[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] 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[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] 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[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] 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[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] 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[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] 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] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list>
162.47/21.44	v 	<values>0 5 29 6 26 16 9 23 27 11 17 8 15 19 21 24 18 22 1 2 4 7 3 10 12 14 13 20 25 28 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 4 5 5 6 6 6 6 6 0 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 1 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 4 5 6 6 7 7 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 2 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 4 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 3 3 3 3 3 3 3 3 3 3 4 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 2 </values>
162.47/21.44	v </instantiation>

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407121-1569348971/watcher-4407121-1569348971 -o /tmp/evaluation-result-4407121-1569348971/solver-4407121-1569348971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569348851-19484 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1259188950 HOME/instance-4407121-1569348971.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 7.46 8.03 8.17 2/211 19669
/proc/meminfo: memFree=25804824/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=28227396 memory=29172 CPUtime=0.12 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 511161923 28904853504 7293 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7056849 7293 3161 1 0 7019032 0
[pid=19650/tid=19651] ppid=19648 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) R 19648 19648 19457 0 -1 4202560 3602 0 0 0 8 0 0 0 20 0 20 0 511161923 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426573182768 140426553029982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=28227396 memory=140508086163072 CPUtime=0 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19655] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19655/stat : 19655 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426518412304 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19656] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19656/stat : 19656 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426517358992 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19657] ppid=19648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19657/stat : 19657 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426516306192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19658] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19658/stat : 19658 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426515253904 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19659] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19659/stat : 19659 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 7293 33554432000 4194304 4196468 140730688977632 140426514201104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19660] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19660/stat : 19660 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161925 28904853504 7293 33554432000 4194304 4196468 140730688977632 140425166916208 140426568960642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19661] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19661/stat : 19661 (java) S 19648 19648 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511161926 28904853504 7293 33554432000 4194304 4196468 140730688977632 140425165862176 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19662] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19662/stat : 19662 (java) S 19648 19648 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511161926 28904853504 7293 33554432000 4194304 4196468 140730688977632 140425164809840 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19663] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19663/stat : 19663 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424962370128 140426568968091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19664] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19664/stat : 19664 (java) S 19648 19648 19457 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424961316976 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19665] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19665/stat : 19665 (java) S 19648 19648 19457 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424960264176 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19666] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19666/stat : 19666 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424959211888 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19667] ppid=19648 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) R 19648 19648 19457 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424958159088 140426568961430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 7293 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30628 KiB

[startup+0.210715 s]*
/proc/loadavg: 7.46 8.03 8.17 3/211 19669
/proc/meminfo: memFree=25791524/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=28227396 memory=41048 CPUtime=0.33 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 9545 0 0 0 30 3 0 0 20 0 20 0 511161923 28904853504 10262 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7056849 10262 3297 1 0 7019032 0
[pid=19650/tid=19651] ppid=19648 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) R 19648 19648 19457 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 511161923 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426573189168 140426553029982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=28227396 memory=288370884237874816 CPUtime=0 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19655] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19655/stat : 19655 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426518412304 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19656] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19656/stat : 19656 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426517358992 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19657] ppid=19648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19657/stat : 19657 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426516306192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19658] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19658/stat : 19658 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426515253904 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19659] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19659/stat : 19659 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28904853504 10262 33554432000 4194304 4196468 140730688977632 140426514201104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19660] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19660/stat : 19660 (java) S 19648 19648 19457 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511161925 28904853504 10262 33554432000 4194304 4196468 140730688977632 140425166916208 140426568960642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19661] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19661/stat : 19661 (java) S 19648 19648 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511161926 28904853504 10262 33554432000 4194304 4196468 140730688977632 140425165862176 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19662] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19662/stat : 19662 (java) S 19648 19648 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511161926 28904853504 10262 33554432000 4194304 4196468 140730688977632 140425164809840 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19663] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19663/stat : 19663 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424962370128 140426568968091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19664] ppid=19648 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19650/task/19664/stat : 19664 (java) S 19648 19648 19457 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424961316976 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19665] ppid=19648 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19650/task/19665/stat : 19665 (java) S 19648 19648 19457 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424960264176 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19666] ppid=19648 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19650/task/19666/stat : 19666 (java) S 19648 19648 19457 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424959211888 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19667] ppid=19648 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) R 19648 19648 19457 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424958159088 140426568961430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28904853504 10262 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42504 KiB

[startup+0.310476 s]*
/proc/loadavg: 7.46 8.03 8.17 4/211 19669
/proc/meminfo: memFree=25784004/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=28231652 memory=50304 CPUtime=0.52 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 10934 0 0 0 48 4 0 0 20 0 20 0 511161923 28909211648 12576 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7057913 12576 3352 1 0 7019032 0
[pid=19650/tid=19651] ppid=19648 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) R 19648 19648 19457 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 20 0 511161923 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426573183280 140426553029982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19655] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19655/stat : 19655 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426518412304 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19656] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19656/stat : 19656 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426517358992 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19657] ppid=19648 vsize=28231652 memory=140507976133295 CPUtime=0 cores=0-7
/proc/19650/task/19657/stat : 19657 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426516306192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19658] ppid=19648 vsize=28231652 memory=140507976135600 CPUtime=0 cores=0-7
/proc/19650/task/19658/stat : 19658 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426515253904 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19659] ppid=19648 vsize=28231652 memory=140507976137904 CPUtime=0 cores=0-7
/proc/19650/task/19659/stat : 19659 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28909211648 12576 33554432000 4194304 4196468 140730688977632 140426514201104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19660] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19660/stat : 19660 (java) S 19648 19648 19457 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511161925 28909211648 12576 33554432000 4194304 4196468 140730688977632 140425166916208 140426568960642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19661] ppid=19648 vsize=28231652 memory=281015952289680 CPUtime=0 cores=0-7
/proc/19650/task/19661/stat : 19661 (java) S 19648 19648 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511161926 28909211648 12576 33554432000 4194304 4196468 140730688977632 140425165862176 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19662] ppid=19648 vsize=28231652 memory=281015952287376 CPUtime=0 cores=0-7
/proc/19650/task/19662/stat : 19662 (java) S 19648 19648 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511161926 28909211648 12576 33554432000 4194304 4196468 140730688977632 140425164809840 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19663] ppid=19648 vsize=28231652 memory=281015952294288 CPUtime=0 cores=0-7
/proc/19650/task/19663/stat : 19663 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424962370128 140426568968091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19664] ppid=19648 vsize=28231652 memory=281015952235568 CPUtime=0.02 cores=0-7
/proc/19650/task/19664/stat : 19664 (java) S 19648 19648 19457 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424961316976 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19665] ppid=19648 vsize=28231652 memory=281015952308112 CPUtime=0.02 cores=0-7
/proc/19650/task/19665/stat : 19665 (java) S 19648 19648 19457 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424960264176 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19666] ppid=19648 vsize=28231652 memory=281015952315024 CPUtime=0.03 cores=0-7
/proc/19650/task/19666/stat : 19666 (java) R 19648 19648 19457 0 -1 4202560 162 0 0 0 3 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424959202272 140426550493640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19667] ppid=19648 vsize=28231652 memory=281015952312720 CPUtime=0.12 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) S 19648 19648 19457 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424958159088 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161929 28909211648 12576 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51760 KiB

[startup+0.70094 s]
/proc/loadavg: 7.46 8.03 8.17 5/211 19669
/proc/meminfo: memFree=25762360/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=28233776 memory=95588 CPUtime=1.97 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 16160 0 0 0 190 7 0 0 20 0 20 0 511161923 28911386624 23897 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7058444 23897 3450 1 0 7019544 0
[pid=19650/tid=19651] ppid=19648 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) R 19648 19648 19457 0 -1 4202560 9259 0 0 0 63 4 0 0 20 0 20 0 511161923 28911386624 23897 33554432000 4194304 4196468 140730688977632 140426573184848 140426568970842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=28233776 memory=140507976344432 CPUtime=0 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511161924 28911386624 23897 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511161924 28911386624 23961 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511161924 28911386624 23961 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0

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

[pid=19650/tid=19667] ppid=19648 vsize=29101156 memory=1808 CPUtime=1.14 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) S 19648 19648 19457 0 -1 1077944384 8004 0 0 0 111 3 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424958159088 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=29101156 memory=924 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=29101156 memory=4224 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19750] ppid=19648 vsize=29101156 memory=1412 CPUtime=6.76 cores=0-7
/proc/19650/task/19750/stat : 19750 (java) R 19648 19648 19457 0 -1 4202560 265 0 0 0 676 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424943922712 140426195981971 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19751] ppid=19648 vsize=29101156 memory=3016 CPUtime=6.89 cores=0-7
/proc/19650/task/19751/stat : 19751 (java) R 19648 19648 19457 0 -1 4202560 243 0 0 0 689 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424944976456 140426196957324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19752] ppid=19648 vsize=29101156 memory=1456 CPUtime=6.96 cores=0-7
/proc/19650/task/19752/stat : 19752 (java) R 19648 19648 19457 0 -1 4202560 192 0 0 0 696 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424938659736 140426197126752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19753] ppid=19648 vsize=29101156 memory=426264 CPUtime=6.89 cores=0-7
/proc/19650/task/19753/stat : 19753 (java) R 19648 19648 19457 0 -1 4202560 814 0 0 0 689 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424936554872 140426196957570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19754] ppid=19648 vsize=29101156 memory=1660 CPUtime=6.92 cores=0-7
/proc/19650/task/19754/stat : 19754 (java) R 19648 19648 19457 0 -1 4202560 419 0 0 0 692 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424935502024 140426197126843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19755] ppid=19648 vsize=29101156 memory=1398722017469774279 CPUtime=6.96 cores=0-7
/proc/19650/task/19755/stat : 19755 (java) R 19648 19648 19457 0 -1 4202560 435 0 0 0 696 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424934451624 140426196956880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19756] ppid=19648 vsize=29101156 memory=0 CPUtime=6.94 cores=0-7
/proc/19650/task/19756/stat : 19756 (java) R 19648 19648 19457 0 -1 4202560 303 0 0 0 694 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424933397240 140426196957601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19757] ppid=19648 vsize=29101156 memory=26660 CPUtime=6.83 cores=0-7
/proc/19650/task/19757/stat : 19757 (java) R 19648 19648 19457 0 -1 4202560 950 0 0 0 683 0 0 0 20 0 28 0 511163307 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424932345992 140426195982082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 157.64 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 427892 KiB

[startup+21.2067 s]
/proc/loadavg: 7.56 8.01 8.16 9/219 19757
/proc/meminfo: memFree=25407120/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=29101156 memory=426436 CPUtime=160.86 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 60200 0 0 0 16038 48 0 0 20 0 28 0 511161923 29799583744 106609 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7275289 106609 3543 1 0 7236389 0
[pid=19650/tid=19651] ppid=19648 vsize=29101156 memory=7236282290797107308 CPUtime=1.38 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) S 19648 19648 19457 0 -1 1077944384 10395 0 0 0 132 6 0 0 20 0 28 0 511161923 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426573190272 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=29101156 memory=7236282290797107308 CPUtime=0.03 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=29101156 memory=7451606258440563032 CPUtime=0.04 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 267 0 0 0 3 1 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=29101156 memory=7451604024669791851 CPUtime=0.05 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19655] ppid=19648 vsize=29101156 memory=302585798304464922 CPUtime=0.06 cores=0-7
/proc/19650/task/19655/stat : 19655 (java) S 19648 19648 19457 0 -1 1077944384 387 0 0 0 4 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426518412304 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19656] ppid=19648 vsize=29101156 memory=288230596050944315 CPUtime=0.05 cores=0-7
/proc/19650/task/19656/stat : 19656 (java) S 19648 19648 19457 0 -1 1077944384 1110 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426517358992 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19657] ppid=19648 vsize=29101156 memory=14413717844530249 CPUtime=0.05 cores=0-7
/proc/19650/task/19657/stat : 19657 (java) S 19648 19648 19457 0 -1 1077944384 181 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426516306192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19658] ppid=19648 vsize=29101156 memory=7379262782804682863 CPUtime=0.06 cores=0-7
/proc/19650/task/19658/stat : 19658 (java) S 19648 19648 19457 0 -1 1077944384 257 0 0 0 4 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426515253904 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19659] ppid=19648 vsize=29101156 memory=7379262782804682863 CPUtime=0.05 cores=0-7
/proc/19650/task/19659/stat : 19659 (java) S 19648 19648 19457 0 -1 1077944384 169 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426514201104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19660] ppid=19648 vsize=29101156 memory=7379262782804682863 CPUtime=0.01 cores=0-7
/proc/19650/task/19660/stat : 19660 (java) S 19648 19648 19457 0 -1 1077944384 853 0 0 0 1 0 0 0 20 0 28 0 511161925 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425166916208 140426568960642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19661] ppid=19648 vsize=29101156 memory=4857229399292668264 CPUtime=0 cores=0-7
/proc/19650/task/19661/stat : 19661 (java) S 19648 19648 19457 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511161926 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425165862240 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19662] ppid=19648 vsize=29101156 memory=7665497446518841965 CPUtime=0 cores=0-7
/proc/19650/task/19662/stat : 19662 (java) S 19648 19648 19457 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 511161926 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425164809856 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19663] ppid=19648 vsize=29101156 memory=7237398200207235424 CPUtime=0 cores=0-7
/proc/19650/task/19663/stat : 19663 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424962370128 140426568968091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19664] ppid=19648 vsize=29101156 memory=5859271421084193130 CPUtime=2.71 cores=0-7
/proc/19650/task/19664/stat : 19664 (java) S 19648 19648 19457 0 -1 1077944384 10244 0 0 0 268 3 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424961316976 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19665] ppid=19648 vsize=29101156 memory=6154282490091891024 CPUtime=2.56 cores=0-7
/proc/19650/task/19665/stat : 19665 (java) S 19648 19648 19457 0 -1 1077944384 9715 0 0 0 254 2 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424960264176 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19666] ppid=19648 vsize=29101156 memory=5787217160294390116 CPUtime=2.92 cores=0-7
/proc/19650/task/19666/stat : 19666 (java) S 19648 19648 19457 0 -1 1077944384 7768 0 0 0 290 2 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424959211888 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19667] ppid=19648 vsize=29101156 memory=7011348500760776760 CPUtime=1.14 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) S 19648 19648 19457 0 -1 1077944384 8004 0 0 0 111 3 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424958159088 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=29101156 memory=7524498398916470610 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=29101156 memory=2867664571609120 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19750] ppid=19648 vsize=29101156 memory=7236547281622689387 CPUtime=7.15 cores=0-7
/proc/19650/task/19750/stat : 19750 (java) R 19648 19648 19457 0 -1 4202560 265 0 0 0 715 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424943922712 140426197981742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19751] ppid=19648 vsize=29101156 memory=-8412617873824965229 CPUtime=7.3 cores=0-7
/proc/19650/task/19751/stat : 19751 (java) R 19648 19648 19457 0 -1 4202560 243 0 0 0 730 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424944976456 140426196957809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19752] ppid=19648 vsize=29101156 memory=34534 CPUtime=7.36 cores=0-7
/proc/19650/task/19752/stat : 19752 (java) R 19648 19648 19457 0 -1 4202560 192 0 0 0 736 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424938659736 140426195981947 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19753] ppid=19648 vsize=29101156 memory=281015954246512 CPUtime=7.29 cores=0-7
/proc/19650/task/19753/stat : 19753 (java) R 19648 19648 19457 0 -1 4202560 830 0 0 0 729 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424936554872 140426197126079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19754] ppid=19648 vsize=29101156 memory=0 CPUtime=7.33 cores=0-7
/proc/19650/task/19754/stat : 19754 (java) R 19648 19648 19457 0 -1 4202560 438 0 0 0 733 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424935501848 140426196497538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19755] ppid=19648 vsize=29101156 memory=0 CPUtime=7.36 cores=0-7
/proc/19650/task/19755/stat : 19755 (java) R 19648 19648 19457 0 -1 4202560 435 0 0 0 736 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424934451624 140426196770944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19756] ppid=19648 vsize=29101156 memory=0 CPUtime=7.34 cores=0-7
/proc/19650/task/19756/stat : 19756 (java) R 19648 19648 19457 0 -1 4202560 303 0 0 0 734 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424933397240 140426197711994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19757] ppid=19648 vsize=29101156 memory=6944656592455097440 CPUtime=7.21 cores=0-7
/proc/19650/task/19757/stat : 19757 (java) R 19648 19648 19457 0 -1 4202560 954 0 0 0 721 0 0 0 20 0 28 0 511163307 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424932345992 140426196770956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 160.86 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 427892 KiB

[startup+21.4087 s]
/proc/loadavg: 7.56 8.01 8.16 9/219 19757
/proc/meminfo: memFree=25407120/32770624 swapFree=66999808/67108860
[pid=19648] ppid=19645 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19648/stat : 19648 (xcsp3-exec) S 19645 19648 19457 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511161923 115843072 364 33554432000 4194304 5098028 140723761497936 140723761496040 139928655733372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22523904 140723761501045 140723761501289 140723761501289 140723761504202 0
/proc/19648/statm: 28282 364 305 221 0 87 0
[pid=19650] ppid=19648 vsize=29101156 memory=426436 CPUtime=162.47 cores=0-7
/proc/19650/stat : 19650 (java) S 19648 19648 19457 0 -1 1077944320 60206 0 0 0 16199 48 0 0 20 0 28 0 511161923 29799583744 106609 33554432000 4194304 4196468 140730688977632 140730688960176 140426568949495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
/proc/19650/statm: 7275289 106609 3543 1 0 7236389 0
[pid=19650/tid=19651] ppid=19648 vsize=29101156 memory=281015954275152 CPUtime=1.38 cores=0-7
/proc/19650/task/19651/stat : 19651 (java) S 19648 19648 19457 0 -1 1077944384 10395 0 0 0 132 6 0 0 20 0 28 0 511161923 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426573190272 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19652] ppid=19648 vsize=29101156 memory=0 CPUtime=0.03 cores=0-7
/proc/19650/task/19652/stat : 19652 (java) S 19648 19648 19457 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426521570192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19653] ppid=19648 vsize=29101156 memory=0 CPUtime=0.04 cores=0-7
/proc/19650/task/19653/stat : 19653 (java) S 19648 19648 19457 0 -1 1077944384 267 0 0 0 3 1 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426520517392 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19654] ppid=19648 vsize=29101156 memory=0 CPUtime=0.05 cores=0-7
/proc/19650/task/19654/stat : 19654 (java) S 19648 19648 19457 0 -1 1077944384 237 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426519465104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19655] ppid=19648 vsize=29101156 memory=1456 CPUtime=0.06 cores=0-7
/proc/19650/task/19655/stat : 19655 (java) S 19648 19648 19457 0 -1 1077944384 387 0 0 0 4 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426518412304 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19656] ppid=19648 vsize=29101156 memory=426436 CPUtime=0.05 cores=0-7
/proc/19650/task/19656/stat : 19656 (java) S 19648 19648 19457 0 -1 1077944384 1110 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426517358992 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19657] ppid=19648 vsize=29101156 memory=0 CPUtime=0.05 cores=0-7
/proc/19650/task/19657/stat : 19657 (java) S 19648 19648 19457 0 -1 1077944384 181 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426516306192 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19658] ppid=19648 vsize=29101156 memory=7885629668150503528 CPUtime=0.06 cores=0-7
/proc/19650/task/19658/stat : 19658 (java) S 19648 19648 19457 0 -1 1077944384 257 0 0 0 4 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426515253904 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19659] ppid=19648 vsize=29101156 memory=-6519613052471072158 CPUtime=0.05 cores=0-7
/proc/19650/task/19659/stat : 19659 (java) S 19648 19648 19457 0 -1 1077944384 169 0 0 0 3 2 0 0 20 0 28 0 511161924 29799583744 106609 33554432000 4194304 4196468 140730688977632 140426514201104 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19660] ppid=19648 vsize=29101156 memory=6153985703205688930 CPUtime=0.01 cores=0-7
/proc/19650/task/19660/stat : 19660 (java) S 19648 19648 19457 0 -1 1077944384 853 0 0 0 1 0 0 0 20 0 28 0 511161925 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425166916208 140426568960642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19661] ppid=19648 vsize=29101156 memory=7451608440316193645 CPUtime=0 cores=0-7
/proc/19650/task/19661/stat : 19661 (java) S 19648 19648 19457 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511161926 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425165862240 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19662] ppid=19648 vsize=29101156 memory=2319825407428298400 CPUtime=0 cores=0-7
/proc/19650/task/19662/stat : 19662 (java) S 19648 19648 19457 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 511161926 29799583744 106609 33554432000 4194304 4196468 140730688977632 140425164809856 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19663] ppid=19648 vsize=29101156 memory=0 CPUtime=0 cores=0-7
/proc/19650/task/19663/stat : 19663 (java) S 19648 19648 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424962370128 140426568968091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19664] ppid=19648 vsize=29101156 memory=24740 CPUtime=2.71 cores=0-7
/proc/19650/task/19664/stat : 19664 (java) S 19648 19648 19457 0 -1 1077944384 10244 0 0 0 268 3 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424961316976 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19665] ppid=19648 vsize=29101156 memory=6656426216303648864 CPUtime=2.56 cores=0-7
/proc/19650/task/19665/stat : 19665 (java) S 19648 19648 19457 0 -1 1077944384 9715 0 0 0 254 2 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424960264176 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19666] ppid=19648 vsize=29101156 memory=5787213857246504025 CPUtime=2.92 cores=0-7
/proc/19650/task/19666/stat : 19666 (java) S 19648 19648 19457 0 -1 1077944384 7768 0 0 0 290 2 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424959211888 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19667] ppid=19648 vsize=29101156 memory=5787213844361602137 CPUtime=1.14 cores=0-7
/proc/19650/task/19667/stat : 19667 (java) S 19648 19648 19457 0 -1 1077944384 8004 0 0 0 111 3 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424958159088 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19668] ppid=19648 vsize=29101156 memory=5787213857246504025 CPUtime=0 cores=0-7
/proc/19650/task/19668/stat : 19668 (java) S 19648 19648 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424957107040 140426568959701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19669] ppid=19648 vsize=29101156 memory=7223880786990092368 CPUtime=0 cores=0-7
/proc/19650/task/19669/stat : 19669 (java) S 19648 19648 19457 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 28 0 511161929 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424956054320 140426568960642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19750] ppid=19648 vsize=29101156 memory=7011348500760777048 CPUtime=7.35 cores=0-7
/proc/19650/task/19750/stat : 19750 (java) R 19648 19648 19457 0 -1 4202560 265 0 0 0 735 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424943922712 140426196083276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19751] ppid=19648 vsize=29101156 memory=140508086179169 CPUtime=7.5 cores=0-7
/proc/19650/task/19751/stat : 19751 (java) R 19648 19648 19457 0 -1 4202560 243 0 0 0 750 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424944976456 140426196956620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19752] ppid=19648 vsize=29101156 memory=7883929853792380776 CPUtime=7.56 cores=0-7
/proc/19650/task/19752/stat : 19752 (java) R 19648 19648 19457 0 -1 4202560 192 0 0 0 756 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424938659736 140426195331149 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19753] ppid=19648 vsize=29101156 memory=7237398200207235428 CPUtime=7.49 cores=0-7
/proc/19650/task/19753/stat : 19753 (java) R 19648 19648 19457 0 -1 4202560 831 0 0 0 749 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424936554872 140426196773055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19754] ppid=19648 vsize=29101156 memory=5931329015123171684 CPUtime=7.53 cores=0-7
/proc/19650/task/19754/stat : 19754 (java) R 19648 19648 19457 0 -1 4202560 438 0 0 0 753 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424935501848 140426196957582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19755] ppid=19648 vsize=29101156 memory=5931329015123761508 CPUtime=7.56 cores=0-7
/proc/19650/task/19755/stat : 19755 (java) R 19648 19648 19457 0 -1 4202560 435 0 0 0 756 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424934451624 140426196957136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19756] ppid=19648 vsize=29101156 memory=5931329015123562597 CPUtime=7.54 cores=0-7
/proc/19650/task/19756/stat : 19756 (java) R 19648 19648 19457 0 -1 4202560 303 0 0 0 754 0 0 0 20 0 28 0 511163306 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424933397240 140426196957136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
[pid=19650/tid=19757] ppid=19648 vsize=29101156 memory=7594587674001172330 CPUtime=7.41 cores=0-7
/proc/19650/task/19757/stat : 19757 (java) R 19648 19648 19457 0 -1 4202560 958 0 0 0 741 0 0 0 20 0 28 0 511163307 29799583744 106609 33554432000 4194304 4196468 140730688977632 140424932345992 140426196957304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10690560 140730688979946 140730688980118 140730688980118 140730688982991 0
Current children cumulated CPU time: 162.47 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 427892 KiB

Child status: 0
Real time (s): 21.4592
CPU time (s): 162.763
CPU user time (s): 162.262
CPU system time (s): 0.500925
CPU usage (%): 758.476
Max. virtual memory (cumulated for all children) (KiB): 29214284
Max. memory (cumulated for all children) (KiB): 427892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.262
system time used= 0.500925
maximum resident set size= 426856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6242
involuntary context switches= 2590


# summary of solver processes directly reported to runsolver:
#   pid: 19648
#   total CPU time (s): 162.763
#   total CPU user time (s): 162.262
#   total CPU system time (s): 0.500925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.236024 second user time and 0.263468 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 20:15:31
IDJOB=4407121
IDBENCH=126778
IDSOLVER=2871
FILE ID=node123/4407121-1569348971
RUNJOBID= node123-1569348851-19484
PBS_JOBID= 21705084
Free space on /tmp= 25920 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-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-4407121-1569348971/watcher-4407121-1569348971 -o /tmp/evaluation-result-4407121-1569348971/solver-4407121-1569348971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569348851-19484 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1259188950 HOME/instance-4407121-1569348971.xml

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

MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28
RANDOM SEED=1259188950

node123.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.49
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.49
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.49
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.49
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:        25821892 kB
MemAvailable:   31839184 kB
Buffers:           93332 kB
Cached:          6083720 kB
SwapCached:         6616 kB
Active:          3219612 kB
Inactive:        2968732 kB
Active(anon):       3536 kB
Inactive(anon):    63892 kB
Active(file):    3216076 kB
Inactive(file):  2904840 kB
Unevictable:      107956 kB
Mlocked:          107956 kB
SwapTotal:      67108860 kB
SwapFree:       66999808 kB
Dirty:             26360 kB
Writeback:             0 kB
AnonPages:        272376 kB
Mapped:            57192 kB
Shmem:             47940 kB
Slab:             355068 kB
SReclaimable:     324836 kB
SUnreclaim:        30232 kB
KernelStack:        3712 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25896 MiB
End job on node123 at 2019-09-24 20:15:53