Trace number 4407288

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 28.278 4.62037

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbp-15-15-1.xml
MD5SUM5e70d8b90a79902ca57f9a23b37af6a1
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 benchmark15.6429
Satisfiable
(Un)Satisfiability was proved
Number of variables705
Number of constraints691
Number of domains4
Minimum domain size2
Maximum domain size16
Distribution of domain sizes[{"size":2,"count":450},{"size":3,"count":225},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":255},{"degree":3,"count":435},{"degree":16,"count":15}]
Minimum constraint arity2
Maximum constraint arity16
Distribution of constraint arities[{"arity":2,"count":240},{"arity":3,"count":435},{"arity":15,"count":1},{"arity":16,"count":15}]
Number of extensional constraints225
Number of intensional constraints225
Distribution of constraint types[{"type":"extension","count":225},{"type":"intension","count":225},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":225}]
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-4407288-1569347247.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407288-1569347247.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
3.35/1.14	c solve instance...
3.84/1.22	o 14 
3.84/1.23	o 13 
3.84/1.24	o 12 
3.84/1.25	o 11 
3.84/1.27	o 10 
3.84/1.29	o 9 
4.55/1.33	o 8 
4.55/1.33	o 7 
5.28/1.42	o 6 
5.28/1.43	o 5 
5.28/1.48	o 4 
27.97/4.33	s OPTIMUM FOUND
27.97/4.33	v <instantiation>
27.97/4.33	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list>
27.97/4.33	v 	<values>0 1 14 6 2 9 4 11 10 3 5 8 12 7 13 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 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 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 4 4 4 4 4 4 4 4 3 4 4 4 4 1 </values>
27.97/4.33	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 (12254 MiB free)
  memory of node 1: 16384 MiB (12590 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407288-1569347247/watcher-4407288-1569347247 -o /tmp/evaluation-result-4407288-1569347247/solver-4407288-1569347247 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4407288-1569347247.xml 

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

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


[startup+0.100152 s]*
/proc/loadavg: 7.99 8.25 8.26 2/212 27365
/proc/meminfo: memFree=25425084/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28227396 memory=28752 CPUtime=0.12 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 5627 0 0 0 11 1 0 0 20 0 20 0 510991485 28904853504 7188 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7056849 7188 3134 1 0 7019032 0
[pid=27346/tid=27347] ppid=27344 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 24466 0 -1 4202560 3560 0 0 0 8 1 0 0 20 0 20 0 510991485 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830668165600 139830648014174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28227396 memory=139911769810560 CPUtime=0 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830581681296 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27351] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830580628496 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27352] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830211238288 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27353] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830210185488 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27354] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830209133200 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27355] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 7188 33554432000 4194304 4196468 140721867026704 139830208080400 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27356] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991487 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829780232816 139830663944834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27357] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510991488 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829779178784 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27358] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510991488 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829778126448 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829777074768 139830663952283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) R 27344 27344 24466 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829776021616 139830663944834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829774968816 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829706746224 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) S 27344 27344 24466 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 510991490 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829705693424 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991491 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27365] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27365/stat : 27365 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991491 28904853504 7188 33554432000 4194304 4196468 140721867026704 139829703588656 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30204 KiB

[startup+0.210487 s]*
/proc/loadavg: 7.99 8.25 8.26 4/212 27365
/proc/meminfo: memFree=25411048/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28227396 memory=41004 CPUtime=0.33 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 510991485 28904853504 10251 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7056849 10251 3302 1 0 7019032 0
[pid=27346/tid=27347] ppid=27344 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 24466 0 -1 4202560 6614 0 0 0 17 2 0 0 20 0 20 0 510991485 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830668167424 139830648041944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28227396 memory=3906507037342361248 CPUtime=0 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830581681296 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27351] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830580628496 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27352] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830211238288 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27353] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830210185488 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27354] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830209133200 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27355] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991486 28904853504 10251 33554432000 4194304 4196468 140721867026704 139830208080400 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27356] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510991487 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829780232816 139830663944834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27357] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510991488 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829779178784 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27358] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510991488 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829778126448 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829777074768 139830663952283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 24466 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 20 0 510991490 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829776021616 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) S 27344 27344 24466 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 510991490 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829774968816 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 24466 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510991490 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829706746224 139830663944834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) R 27344 27344 24466 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 20 0 510991490 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829705693424 139830642802881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991491 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27365] ppid=27344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27365/stat : 27365 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991491 28904853504 10251 33554432000 4194304 4196468 140721867026704 139829703588656 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42456 KiB

[startup+0.310368 s]*
/proc/loadavg: 7.99 8.25 8.26 3/212 27365
/proc/meminfo: memFree=25403144/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28231652 memory=50312 CPUtime=0.52 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 10876 0 0 0 48 4 0 0 20 0 20 0 510991485 28909211648 12578 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7057913 12578 3367 1 0 7019032 0
[pid=27346/tid=27347] ppid=27344 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 24466 0 -1 4202560 7721 0 0 0 26 3 0 0 20 0 20 0 510991485 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830668164800 139830663955613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830581681296 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27351] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830580628496 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27352] ppid=27344 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830211238288 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27353] ppid=27344 vsize=28231652 memory=139911646770095 CPUtime=0 cores=0-7
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830210185488 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27354] ppid=27344 vsize=28231652 memory=139911646772400 CPUtime=0 cores=0-7
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830209133200 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27355] ppid=27344 vsize=28231652 memory=139911646774704 CPUtime=0 cores=0-7
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991486 28909211648 12578 33554432000 4194304 4196468 140721867026704 139830208080400 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27356] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510991487 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829780232816 139830663944834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27357] ppid=27344 vsize=28231652 memory=279823293556368 CPUtime=0 cores=0-7
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510991488 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829779178784 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27358] ppid=27344 vsize=28231652 memory=279823293563280 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510991488 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829778126448 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28231652 memory=279823293504560 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991490 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829777074768 139830663952283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28231652 memory=279823293577104 CPUtime=0.02 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 24466 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 20 0 510991490 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829776021616 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28231652 memory=279823293584016 CPUtime=0.03 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) S 27344 27344 24466 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 20 0 510991490 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829774968816 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28231652 memory=279823293581712 CPUtime=0.02 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 24466 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 20 0 510991490 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829706736336 139830643188906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28231652 memory=279823293597872 CPUtime=0.12 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) S 27344 27344 24466 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 510991490 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829705693424 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510991491 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27365] ppid=27344 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/27346/task/27365/stat : 27365 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510991491 28909211648 12578 33554432000 4194304 4196468 140721867026704 139829703588656 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51764 KiB

[startup+0.701019 s]
/proc/loadavg: 7.99 8.25 8.26 4/212 27365
/proc/meminfo: memFree=25390116/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28233776 memory=80636 CPUtime=1.5 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 13736 0 0 0 143 7 0 0 20 0 20 0 510991485 28911386624 20159 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7058444 20159 3447 1 0 7019544 0
[pid=27346/tid=27347] ppid=27344 vsize=28233776 memory=279823293955760 CPUtime=0.67 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 24466 0 -1 4202560 9099 0 0 0 63 4 0 0 20 0 20 0 510991485 28911386624 20159 33554432000 4194304 4196468 140721867026704 139830668170288 139830648014174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28233776 memory=139911646978928 CPUtime=0 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28911386624 20159 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510991486 28911386624 20159 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28233776 memory=2832 CPUtime=0 cores=0-7

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

[pid=27346/tid=27358] ppid=27344 vsize=28769364 memory=825241649 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510991488 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829778126464 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510991490 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829777074768 139830663952283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28769364 memory=0 CPUtime=1.93 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) R 27344 27344 24466 0 -1 4202560 5653 0 0 0 191 2 0 0 20 0 28 0 510991490 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829776006928 139830643770084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28769364 memory=0 CPUtime=2.01 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) R 27344 27344 24466 0 -1 4202560 5893 0 0 0 199 2 0 0 20 0 28 0 510991490 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829774962008 139830649537681 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 24466 0 -1 4202560 5188 0 0 0 187 2 0 0 20 0 28 0 510991490 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829706736144 139830643285193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28769364 memory=0 CPUtime=0.99 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) S 27344 27344 24466 0 -1 1077944384 4925 0 0 0 97 2 0 0 20 0 28 0 510991490 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829705693424 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510991491 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27365] ppid=27344 vsize=28769364 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/27346/task/27365/stat : 27365 (java) S 27344 27344 24466 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510991491 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829703588656 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27454] ppid=27344 vsize=28769364 memory=-7522837583129502606 CPUtime=1.34 cores=0-7
/proc/27346/task/27454/stat : 27454 (java) R 27344 27344 24466 0 -1 4202560 113 0 0 0 134 0 0 0 20 0 28 0 510991633 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829688061592 139830269234265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27455] ppid=27344 vsize=28769364 memory=1399101730491701635 CPUtime=1.26 cores=0-7
/proc/27346/task/27455/stat : 27455 (java) R 27344 27344 24466 0 -1 4202560 34 0 0 0 126 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829690167392 139830270309321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27456] ppid=27344 vsize=28769364 memory=1452 CPUtime=1.37 cores=0-7
/proc/27346/task/27456/stat : 27456 (java) R 27344 27344 24466 0 -1 4202560 121 0 0 0 137 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829687008448 139830269650428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27457] ppid=27344 vsize=28769364 memory=251856 CPUtime=1.11 cores=0-7
/proc/27346/task/27457/stat : 27457 (java) R 27344 27344 24466 0 -1 4202560 237 0 0 0 111 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829689113632 139830268661217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27458] ppid=27344 vsize=28769364 memory=0 CPUtime=1.37 cores=0-7
/proc/27346/task/27458/stat : 27458 (java) R 27344 27344 24466 0 -1 4202560 126 0 0 0 137 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829685956112 139830269235664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27459] ppid=27344 vsize=28769364 memory=0 CPUtime=1.07 cores=0-7
/proc/27346/task/27459/stat : 27459 (java) R 27344 27344 24466 0 -1 4202560 59 0 0 0 107 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829683851008 139830268323386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27460] ppid=27344 vsize=28769364 memory=6656426216303648864 CPUtime=1.17 cores=0-7
/proc/27346/task/27460/stat : 27460 (java) R 27344 27344 24466 0 -1 4202560 122 0 0 0 117 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829684900944 139830269414933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27461] ppid=27344 vsize=28769364 memory=0 CPUtime=1.25 cores=0-7
/proc/27346/task/27461/stat : 27461 (java) R 27344 27344 24466 0 -1 4202560 66 0 0 0 125 0 0 0 20 0 28 0 510991636 29459828736 63452 33554432000 4194304 4196468 140721867026704 139829691219992 139830270672828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 19.29 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 255260 KiB

[startup+4.00165 s]*
/proc/loadavg: 8.39 8.33 8.29 9/219 27461
/proc/meminfo: memFree=25197756/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28769364 memory=256352 CPUtime=25.64 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 38062 0 0 0 2540 24 0 0 20 0 28 0 510991485 29459828736 64088 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7192341 64088 3528 1 0 7153441 0
[pid=27346/tid=27347] ppid=27344 vsize=28769364 memory=6791534058613427641 CPUtime=1.13 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) S 27344 27344 24466 0 -1 1077944384 10172 0 0 0 107 6 0 0 20 0 28 0 510991485 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830668174464 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28769364 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28769364 memory=-7395679465411339351 CPUtime=0.03 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28769364 memory=8514726395714825875 CPUtime=0.02 cores=0-7
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 24466 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830581681296 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27351] ppid=27344 vsize=28769364 memory=3047711488426221451 CPUtime=0.03 cores=0-7
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 24466 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830580628496 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27352] ppid=27344 vsize=28769364 memory=1388135443698408648 CPUtime=0.02 cores=0-7
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 24466 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830211238288 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27353] ppid=27344 vsize=28769364 memory=-6644015126926434448 CPUtime=0.01 cores=0-7
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 24466 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830210185488 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27354] ppid=27344 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 24466 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830209133200 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27355] ppid=27344 vsize=28769364 memory=734122130331934768 CPUtime=0.01 cores=0-7
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 24466 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 510991486 29459828736 64088 33554432000 4194304 4196468 140721867026704 139830208080400 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27356] ppid=27344 vsize=28769364 memory=5865465064658194540 CPUtime=0 cores=0-7
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 24466 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 510991487 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829780232816 139830663944834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27357] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 24466 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510991488 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829779178848 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27358] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510991488 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829778126464 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510991490 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829777074768 139830663952283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28769364 memory=0 CPUtime=2.11 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 24466 0 -1 1077944384 5809 0 0 0 209 2 0 0 20 0 28 0 510991490 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829776021616 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28769364 memory=-1 CPUtime=2.16 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) S 27344 27344 24466 0 -1 1077944384 6409 0 0 0 214 2 0 0 20 0 28 0 510991490 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829774968816 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28769364 memory=0 CPUtime=2.04 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) S 27344 27344 24466 0 -1 1077944384 5568 0 0 0 202 2 0 0 20 0 28 0 510991490 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829706746224 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28769364 memory=0 CPUtime=1.02 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) S 27344 27344 24466 0 -1 1077944384 5618 0 0 0 100 2 0 0 20 0 28 0 510991490 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829705693424 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510991491 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27365] ppid=27344 vsize=28769364 memory=67 CPUtime=0 cores=0-7
/proc/27346/task/27365/stat : 27365 (java) S 27344 27344 24466 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510991491 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829703588656 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27454] ppid=27344 vsize=28769364 memory=1412 CPUtime=2.12 cores=0-7
/proc/27346/task/27454/stat : 27454 (java) R 27344 27344 24466 0 -1 4202560 113 0 0 0 212 0 0 0 20 0 28 0 510991633 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829688061448 139830269233679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27455] ppid=27344 vsize=28769364 memory=2436 CPUtime=1.98 cores=0-7
/proc/27346/task/27455/stat : 27455 (java) R 27344 27344 24466 0 -1 4202560 34 0 0 0 198 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829690168584 139830271585600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27456] ppid=27344 vsize=28769364 memory=1452 CPUtime=2.09 cores=0-7
/proc/27346/task/27456/stat : 27456 (java) R 27344 27344 24466 0 -1 4202560 121 0 0 0 209 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829687009072 139830268558781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27457] ppid=27344 vsize=28769364 memory=245200 CPUtime=1.82 cores=0-7
/proc/27346/task/27457/stat : 27457 (java) R 27344 27344 24466 0 -1 4202560 263 0 0 0 182 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829689114136 139830269354218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27458] ppid=27344 vsize=28769364 memory=6791534058613427641 CPUtime=2.09 cores=0-7
/proc/27346/task/27458/stat : 27458 (java) R 27344 27344 24466 0 -1 4202560 128 0 0 0 209 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829685957112 139830270775782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27459] ppid=27344 vsize=28769364 memory=4872558044660077418 CPUtime=1.84 cores=0-7
/proc/27346/task/27459/stat : 27459 (java) R 27344 27344 24466 0 -1 4202560 61 0 0 0 184 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829683852536 139830268324061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27460] ppid=27344 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7
/proc/27346/task/27460/stat : 27460 (java) R 27344 27344 24466 0 -1 4202560 129 0 0 0 189 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829684903976 139830269428060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27461] ppid=27344 vsize=28769364 memory=0 CPUtime=1.95 cores=0-7
/proc/27346/task/27461/stat : 27461 (java) R 27344 27344 24466 0 -1 4202560 67 0 0 0 195 0 0 0 20 0 28 0 510991636 29459828736 64088 33554432000 4194304 4196468 140721867026704 139829691220696 139830269234765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 25.64 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 257804 KiB

[startup+4.40112 s]
/proc/loadavg: 8.39 8.33 8.29 9/219 27461
/proc/meminfo: memFree=25197756/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
[pid=27346] ppid=27344 vsize=28769364 memory=278628 CPUtime=28.25 cores=0-7
/proc/27346/stat : 27346 (java) S 27344 27344 24466 0 -1 1077944320 38366 0 0 0 2800 25 0 0 20 0 18 0 510991485 29459828736 69657 33554432000 4194304 4196468 140721867026704 140721867009248 139830663933687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
/proc/27346/statm: 7192341 69657 3528 1 0 7153441 0
[pid=27346/tid=27347] ppid=27344 vsize=28769364 memory=113 CPUtime=1.13 cores=0-7
/proc/27346/task/27347/stat : 27347 (java) D 27344 27344 24466 0 -1 4202560 10374 0 0 0 107 6 0 0 20 0 18 0 510991485 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830668176696 139830656619319 0 0 0 16800975 18446744072100560005 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27348] ppid=27344 vsize=28769364 memory=2 CPUtime=0.02 cores=0-7
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 24466 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830583786384 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27349] ppid=27344 vsize=28769364 memory=3 CPUtime=0.03 cores=0-7
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 24466 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830582733584 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27350] ppid=27344 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 24466 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830581681296 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27351] ppid=27344 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 24466 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830580628496 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27352] ppid=27344 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 24466 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830211238288 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27353] ppid=27344 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 24466 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830210185488 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27354] ppid=27344 vsize=28769364 memory=139916064777855 CPUtime=0.01 cores=0-7
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 24466 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830209133200 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27355] ppid=27344 vsize=28769364 memory=29420203138 CPUtime=0.01 cores=0-7
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 24466 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 18 0 510991486 29459828736 69657 33554432000 4194304 4196468 140721867026704 139830208080400 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27357] ppid=27344 vsize=28769364 memory=8836 CPUtime=0 cores=0-7
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 24466 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 18 0 510991488 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829779178848 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27358] ppid=27344 vsize=28769364 memory=2625 CPUtime=0 cores=0-7
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 24466 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 18 0 510991488 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829778126464 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27359] ppid=27344 vsize=28769364 memory=288230621803979570 CPUtime=0 cores=0-7
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 24466 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 510991490 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829777074416 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27360] ppid=27344 vsize=28769364 memory=14411523085949154 CPUtime=2.11 cores=0-7
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 24466 0 -1 1077944384 5811 0 0 0 209 2 0 0 20 0 18 0 510991490 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829776021616 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27361] ppid=27344 vsize=28769364 memory=0 CPUtime=2.17 cores=0-7
/proc/27346/task/27361/stat : 27361 (java) S 27344 27344 24466 0 -1 1077944384 6411 0 0 0 215 2 0 0 20 0 18 0 510991490 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829774968816 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27362] ppid=27344 vsize=28769364 memory=0 CPUtime=2.04 cores=0-7
/proc/27346/task/27362/stat : 27362 (java) S 27344 27344 24466 0 -1 1077944384 5571 0 0 0 202 2 0 0 20 0 18 0 510991490 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829706746224 139830663944834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27363] ppid=27344 vsize=28769364 memory=0 CPUtime=1.03 cores=0-7
/proc/27346/task/27363/stat : 27363 (java) S 27344 27344 24466 0 -1 1077944384 5654 0 0 0 101 2 0 0 20 0 18 0 510991490 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829705687744 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
[pid=27346/tid=27364] ppid=27344 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/27346/task/27364/stat : 27364 (java) S 27344 27344 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510991491 29459828736 69657 33554432000 4194304 4196468 140721867026704 139829704641376 139830663943893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12365824 140721867031536 140721867031707 140721867031707 140721867034575 0
Current children cumulated CPU time: 28.25 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 280080 KiB

[startup+4.6008 s]
/proc/loadavg: 8.39 8.33 8.29 9/219 27461
/proc/meminfo: memFree=25197756/32770624 swapFree=66975640/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510991484 115843072 363 33554432000 4194304 5098028 140725831977184 140725831975288 140202864169596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39284736 140725831979900 140725831980142 140725831980142 140725831983050 0
/proc/27344/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 4.62037
CPU time (s): 28.278
CPU user time (s): 28.0104
CPU system time (s): 0.267631
CPU usage (%): 612.03
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 280080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.0104
system time used= 0.267631
maximum resident set size= 279428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5748
involuntary context switches= 893


# summary of solver processes directly reported to runsolver:
#   pid: 27344
#   total CPU time (s): 28.278
#   total CPU user time (s): 28.0104
#   total CPU system time (s): 0.267631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057173 second user time and 0.092906 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 19:46:44
IDJOB=4407288
IDBENCH=126809
IDSOLVER=2872
FILE ID=node125/4407288-1569347247
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4256 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbp-15-15-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407288-1569347247/watcher-4407288-1569347247 -o /tmp/evaluation-result-4407288-1569347247/solver-4407288-1569347247 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4407288-1569347247.xml

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

MD5SUM BENCH= 5e70d8b90a79902ca57f9a23b37af6a1
RANDOM SEED=499944816

node125.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.29
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.29
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.29
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.29
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:        25442128 kB
MemAvailable:   31815492 kB
Buffers:          120824 kB
Cached:          6314216 kB
SwapCached:        29856 kB
Active:          3203340 kB
Inactive:        3265808 kB
Active(anon):       3408 kB
Inactive(anon):    86620 kB
Active(file):    3199932 kB
Inactive(file):  3179188 kB
Unevictable:      107156 kB
Mlocked:          107156 kB
SwapTotal:      67108860 kB
SwapFree:       66975640 kB
Dirty:             26072 kB
Writeback:             0 kB
AnonPages:        113296 kB
Mapped:            56988 kB
Shmem:             47476 kB
Slab:             452228 kB
SReclaimable:     422704 kB
SUnreclaim:        29524 kB
KernelStack:        3376 kB
PageTables:         5628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4228 MiB
End job on node125 at 2019-09-24 19:46:49