Trace number 4404595

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-20 parallelOPT4 28.9149 4.48488

General information on the benchmark

NameOpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbp-15-15-1.xml
MD5SUMa951848c4e631b36882baf30b58f4449
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.6511
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-4404595-1569011136.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404595-1569011136.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
3.33/1.17	c solve instance...
3.79/1.27	o 14 
5.74/1.58	o 13 
5.74/1.58	o 11 
5.74/1.58	o 10 
5.74/1.58	o 9 
5.74/1.58	o 8 
5.74/1.58	o 7 
5.74/1.58	o 6 
5.74/1.58	o 5 
5.74/1.58	o 4 
28.42/4.46	s OPTIMUM FOUND
28.42/4.46	v <instantiation>
28.42/4.46	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>
28.42/4.46	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>
28.42/4.46	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 (11925 MiB free)
  memory of node 1: 16384 MiB (9822 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404595-1569011136/watcher-4404595-1569011136 -o /var/tmp/evaluation-result-4404595-1569011136/solver-4404595-1569011136 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569005116-20050 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 395765901 HOME/instance-4404595-1569011136.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=22503, runsolver pid=22500
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 6.93 7.70 8.07 2/212 22524
/proc/meminfo: memFree=22252516/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28227396 memory=29352 CPUtime=0.12 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 5814 0 0 0 11 1 0 0 20 0 20 0 477027603 28904853504 7338 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7056849 7338 3121 1 0 7019032 0
[pid=22505/tid=22506] ppid=22503 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) R 22503 22503 20023 0 -1 4202560 3718 0 0 0 8 1 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571471308592 140571467087254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28227396 memory=140430906336896 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22510] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22510/stat : 22510 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571416538000 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22511] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22511/stat : 22511 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571415484944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22512] ppid=22503 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22512/stat : 22512 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571414432400 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22513] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22513/stat : 22513 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571413379344 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22514] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22514/stat : 22514 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 7338 33554432000 4194304 4196468 140725254083376 140571412326800 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22515] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22515/stat : 22515 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027606 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570449124080 140571467086466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22516] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22516/stat : 22516 (java) S 22503 22503 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027606 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570448070304 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22517] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22517/stat : 22517 (java) S 22503 22503 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027607 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570447017200 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22518] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22518/stat : 22518 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570445965776 140571467093915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22519] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22519/stat : 22519 (java) S 22503 22503 20023 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570444912880 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22520] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22520/stat : 22520 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570443860336 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22521] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22521/stat : 22521 (java) S 22503 22503 20023 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570442807280 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22522] ppid=22503 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) R 22503 22503 20023 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570441754736 140571452240865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027610 28904853504 7338 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30800 KiB

[startup+0.209837 s]*
/proc/loadavg: 6.93 7.70 8.07 2/212 22524
/proc/meminfo: memFree=22240696/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28227396 memory=41012 CPUtime=0.33 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 9507 0 0 0 30 3 0 0 20 0 20 0 477027603 28904853504 10253 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7056849 10253 3298 1 0 7019032 0
[pid=22505/tid=22506] ppid=22503 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) R 22503 22503 20023 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571471308048 140571451155806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28227396 memory=288370807058048640 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22510] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22510/stat : 22510 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571416538000 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22511] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22511/stat : 22511 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571415484944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22512] ppid=22503 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22512/stat : 22512 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571414432400 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22513] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22513/stat : 22513 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571413379344 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22514] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22514/stat : 22514 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027604 28904853504 10253 33554432000 4194304 4196468 140725254083376 140571412326800 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22515] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22515/stat : 22515 (java) S 22503 22503 20023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477027606 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570449124080 140571467086466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22516] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22516/stat : 22516 (java) S 22503 22503 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027606 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570448070304 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22517] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22517/stat : 22517 (java) S 22503 22503 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027607 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570447017200 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22518] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22518/stat : 22518 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570445965776 140571467093915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22519] ppid=22503 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22505/task/22519/stat : 22519 (java) S 22503 22503 20023 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570444912880 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22520] ppid=22503 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22505/task/22520/stat : 22520 (java) S 22503 22503 20023 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570443860336 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22521] ppid=22503 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/22505/task/22521/stat : 22521 (java) S 22503 22503 20023 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570442807280 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22522] ppid=22503 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) S 22503 22503 20023 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570441754736 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027609 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027610 28904853504 10253 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42460 KiB

[startup+0.309526 s]*
/proc/loadavg: 6.93 7.70 8.07 3/212 22524
/proc/meminfo: memFree=22233548/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28231652 memory=49668 CPUtime=0.53 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 10801 0 0 0 49 4 0 0 20 0 20 0 477027603 28909211648 12417 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7057913 12417 3356 1 0 7019032 0
[pid=22505/tid=22506] ppid=22503 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) R 22503 22503 20023 0 -1 4202560 7740 0 0 0 27 3 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571471306432 140571451155806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22510] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22510/stat : 22510 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571416538000 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22511] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22511/stat : 22511 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571415484944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22512] ppid=22503 vsize=28231652 memory=140430800939695 CPUtime=0 cores=0-7
/proc/22505/task/22512/stat : 22512 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571414432400 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22513] ppid=22503 vsize=28231652 memory=140430800942000 CPUtime=0 cores=0-7
/proc/22505/task/22513/stat : 22513 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571413379344 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22514] ppid=22503 vsize=28231652 memory=140430800944304 CPUtime=0 cores=0-7
/proc/22505/task/22514/stat : 22514 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027604 28909211648 12417 33554432000 4194304 4196468 140725254083376 140571412326800 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22515] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22515/stat : 22515 (java) S 22503 22503 20023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477027606 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570449124080 140571467086466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22516] ppid=22503 vsize=28231652 memory=280861601902480 CPUtime=0 cores=0-7
/proc/22505/task/22516/stat : 22516 (java) S 22503 22503 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027606 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570448070304 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22517] ppid=22503 vsize=28231652 memory=280861601900176 CPUtime=0 cores=0-7
/proc/22505/task/22517/stat : 22517 (java) S 22503 22503 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027607 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570447017200 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22518] ppid=22503 vsize=28231652 memory=280861601907088 CPUtime=0 cores=0-7
/proc/22505/task/22518/stat : 22518 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027609 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570445965776 140571467093915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22519] ppid=22503 vsize=28231652 memory=280861601848368 CPUtime=0.03 cores=0-7
/proc/22505/task/22519/stat : 22519 (java) R 22503 22503 20023 0 -1 4202560 606 0 0 0 3 0 0 0 20 0 20 0 477027609 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570444903264 140571450529104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22520] ppid=22503 vsize=28231652 memory=280861601920912 CPUtime=0.02 cores=0-7
/proc/22505/task/22520/stat : 22520 (java) S 22503 22503 20023 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 477027609 28909211648 12417 33554432000 4194304 4196468 140725254083376 140570443860336 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22521] ppid=22503 vsize=28231652 memory=280861601927824 CPUtime=0.02 cores=0-7
/proc/22505/task/22521/stat : 22521 (java) S 22503 22503 20023 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 477027609 28909211648 12464 33554432000 4194304 4196468 140725254083376 140570442807280 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22522] ppid=22503 vsize=28231652 memory=280861601925520 CPUtime=0.13 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) S 22503 22503 20023 0 -1 1077944384 850 0 0 0 13 0 0 0 20 0 20 0 477027609 28909211648 12464 33554432000 4194304 4196468 140725254083376 140570441754736 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027609 28909211648 12464 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027610 28909211648 12464 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51116 KiB

[startup+0.700942 s]
/proc/loadavg: 6.93 7.70 8.07 3/212 22524
/proc/meminfo: memFree=22223668/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28233776 memory=81080 CPUtime=1.55 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 13929 0 0 0 148 7 0 0 20 0 20 0 477027603 28911386624 20270 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7058444 20270 3454 1 0 7019544 0
[pid=22505/tid=22506] ppid=22503 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) R 22503 22503 20023 0 -1 4202560 9227 0 0 0 63 4 0 0 20 0 20 0 477027604 28911386624 20270 33554432000 4194304 4196468 140725254083376 140571471303120 140571459312446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28233776 memory=140430801150832 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027604 28911386624 20270 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28911386624 20270 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027604 28911386624 20270 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0

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

[pid=22505/tid=22522] ppid=22503 vsize=28769364 memory=7311575462325916675 CPUtime=0.97 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) R 22503 22503 20023 0 -1 1077944384 4199 0 0 0 96 1 0 0 20 0 28 0 477027609 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570441754736 140571467086466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28769364 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477027609 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477027610 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22605] ppid=22503 vsize=28769364 memory=0 CPUtime=1.31 cores=0-7
/proc/22505/task/22605/stat : 22605 (java) R 22503 22503 20023 0 -1 4202560 54 0 0 0 131 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570424122616 140571083058348 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22606] ppid=22503 vsize=28769364 memory=280861602286752 CPUtime=1.07 cores=0-7
/proc/22505/task/22606/stat : 22606 (java) R 22503 22503 20023 0 -1 4202560 67 0 0 0 107 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570419912488 140571083058181 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22607] ppid=22503 vsize=28769364 memory=0 CPUtime=1.35 cores=0-7
/proc/22505/task/22607/stat : 22607 (java) R 22503 22503 20023 0 -1 4202560 143 0 0 0 135 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570426228904 140571084146428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22608] ppid=22503 vsize=28769364 memory=0 CPUtime=1.25 cores=0-7
/proc/22505/task/22608/stat : 22608 (java) R 22503 22503 20023 0 -1 4202560 98 0 0 0 125 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570428333656 140571082627193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22609] ppid=22503 vsize=28769364 memory=0 CPUtime=1.25 cores=0-7
/proc/22505/task/22609/stat : 22609 (java) R 22503 22503 20023 0 -1 4202560 152 0 0 0 125 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570422017400 140571083059946 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22610] ppid=22503 vsize=28769364 memory=140430801370608 CPUtime=1.23 cores=0-7
/proc/22505/task/22610/stat : 22610 (java) R 22503 22503 20023 0 -1 4202560 78 0 0 0 123 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570420963632 140571083637939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22611] ppid=22503 vsize=28769364 memory=1448 CPUtime=1.37 cores=0-7
/proc/22505/task/22611/stat : 22611 (java) R 22503 22503 20023 0 -1 4202560 63 0 0 0 137 0 0 0 20 0 28 0 477027758 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570427281336 140571076193305 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22612] ppid=22503 vsize=28769364 memory=108772 CPUtime=1.15 cores=0-7
/proc/22505/task/22612/stat : 22612 (java) R 22503 22503 20023 0 -1 4202560 289 0 0 0 115 0 0 0 20 0 28 0 477027759 29459828736 62554 33554432000 4194304 4196468 140725254083376 140570423071880 140571082761159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 18.99 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 251664 KiB

[startup+4.00203 s]*
/proc/loadavg: 7.25 7.76 8.09 9/220 22612
/proc/meminfo: memFree=22032880/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28769364 memory=251556 CPUtime=25.3 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 37069 0 0 0 2508 22 0 0 20 0 28 0 477027603 29459828736 62889 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7192341 62889 3528 1 0 7153441 0
[pid=22505/tid=22506] ppid=22503 vsize=28769364 memory=1398722017469774279 CPUtime=1.17 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) S 22503 22503 20023 0 -1 1077944384 10148 0 0 0 111 6 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571471316096 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28769364 memory=280861601908000 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22510] ppid=22503 vsize=28769364 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/22505/task/22510/stat : 22510 (java) S 22503 22503 20023 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571416538000 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22511] ppid=22503 vsize=28769364 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/22505/task/22511/stat : 22511 (java) S 22503 22503 20023 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571415484944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22512] ppid=22503 vsize=28769364 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/22505/task/22512/stat : 22512 (java) S 22503 22503 20023 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571414432400 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22513] ppid=22503 vsize=28769364 memory=6944656592455359580 CPUtime=0.01 cores=0-7
/proc/22505/task/22513/stat : 22513 (java) S 22503 22503 20023 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571413379344 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22514] ppid=22503 vsize=28769364 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/22505/task/22514/stat : 22514 (java) S 22503 22503 20023 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571412326800 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22515] ppid=22503 vsize=28769364 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/22505/task/22515/stat : 22515 (java) S 22503 22503 20023 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 28 0 477027606 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570449124080 140571467086466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22516] ppid=22503 vsize=28769364 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/22505/task/22516/stat : 22516 (java) S 22503 22503 20023 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 477027606 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570448070368 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22517] ppid=22503 vsize=28769364 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/22505/task/22517/stat : 22517 (java) S 22503 22503 20023 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477027607 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570447017216 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22518] ppid=22503 vsize=28769364 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/22505/task/22518/stat : 22518 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570445965776 140571467093915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22519] ppid=22503 vsize=28769364 memory=0 CPUtime=2.18 cores=0-7
/proc/22505/task/22519/stat : 22519 (java) R 22503 22503 20023 0 -1 1077944384 5798 0 0 0 215 3 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570444912880 140571467086466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22520] ppid=22503 vsize=28769364 memory=0 CPUtime=2.14 cores=0-7
/proc/22505/task/22520/stat : 22520 (java) S 22503 22503 20023 0 -1 1077944384 5943 0 0 0 213 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570443860336 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22521] ppid=22503 vsize=28769364 memory=0 CPUtime=2.03 cores=0-7
/proc/22505/task/22521/stat : 22521 (java) S 22503 22503 20023 0 -1 1077944384 5334 0 0 0 202 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570442807280 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22522] ppid=22503 vsize=28769364 memory=0 CPUtime=1.02 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) S 22503 22503 20023 0 -1 1077944384 5407 0 0 0 101 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570441754736 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28769364 memory=3467831327761375231 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477027610 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22605] ppid=22503 vsize=28769364 memory=-1 CPUtime=2 cores=0-7
/proc/22505/task/22605/stat : 22605 (java) R 22503 22503 20023 0 -1 4202560 64 0 0 0 200 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570424122456 140571083678277 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22606] ppid=22503 vsize=28769364 memory=280861602110800 CPUtime=1.81 cores=0-7
/proc/22505/task/22606/stat : 22606 (java) R 22503 22503 20023 0 -1 4202560 75 0 0 0 181 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570419912112 140571084146519 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22607] ppid=22503 vsize=28769364 memory=0 CPUtime=2.02 cores=0-7
/proc/22505/task/22607/stat : 22607 (java) R 22503 22503 20023 0 -1 4202560 146 0 0 0 202 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570426229224 140571083639075 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22608] ppid=22503 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7
/proc/22505/task/22608/stat : 22608 (java) R 22503 22503 20023 0 -1 4202560 103 0 0 0 189 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570428334888 140571082626875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22609] ppid=22503 vsize=28769364 memory=0 CPUtime=2.02 cores=0-7
/proc/22505/task/22609/stat : 22609 (java) R 22503 22503 20023 0 -1 4202560 180 0 0 0 202 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570422018360 140571085078639 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22610] ppid=22503 vsize=28769364 memory=0 CPUtime=1.95 cores=0-7
/proc/22505/task/22610/stat : 22610 (java) R 22503 22503 20023 0 -1 4202560 81 0 0 0 195 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570420965960 140571084148831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22611] ppid=22503 vsize=28769364 memory=0 CPUtime=1.98 cores=0-7
/proc/22505/task/22611/stat : 22611 (java) R 22503 22503 20023 0 -1 4202560 66 0 0 0 198 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570427281168 140571082627049 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22612] ppid=22503 vsize=28769364 memory=0 CPUtime=1.72 cores=0-7
/proc/22505/task/22612/stat : 22612 (java) R 22503 22503 20023 0 -1 4202560 300 0 0 0 172 0 0 0 20 0 28 0 477027759 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570423070984 140571083170222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 253004 KiB

[startup+4.40204 s]
/proc/loadavg: 7.25 7.76 8.09 9/220 22612
/proc/meminfo: memFree=22032880/32770624 swapFree=67001828/67108860
[pid=22503] ppid=22500 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/22503/stat : 22503 (xcsp3-exec) S 22500 22503 20023 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477027603 115843072 362 33554432000 4194304 5098028 140727299951776 140727299949880 140047264170620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31940608 140727299957586 140727299957845 140727299957845 140727299960774 0
/proc/22503/statm: 28282 362 304 221 0 87 0
[pid=22505] ppid=22503 vsize=28769364 memory=251556 CPUtime=28.42 cores=0-7
/proc/22505/stat : 22505 (java) S 22503 22503 20023 0 -1 1077944320 37130 0 0 0 2820 22 0 0 20 0 28 0 477027603 29459828736 62889 33554432000 4194304 4196468 140725254083376 140725254065920 140571467075319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
/proc/22505/statm: 7192341 62889 3528 1 0 7153441 0
[pid=22505/tid=22506] ppid=22503 vsize=28769364 memory=8514726395715088025 CPUtime=1.17 cores=0-7
/proc/22505/task/22506/stat : 22506 (java) S 22503 22503 20023 0 -1 1077944384 10148 0 0 0 111 6 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571471316096 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22507] ppid=22503 vsize=28769364 memory=7230354810609363046 CPUtime=0 cores=0-7
/proc/22505/task/22507/stat : 22507 (java) S 22503 22503 20023 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571419696144 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22508] ppid=22503 vsize=28769364 memory=7813009142042552936 CPUtime=0 cores=0-7
/proc/22505/task/22508/stat : 22508 (java) S 22503 22503 20023 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571418643600 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22509] ppid=22503 vsize=28769364 memory=140435201304191 CPUtime=0 cores=0-7
/proc/22505/task/22509/stat : 22509 (java) S 22503 22503 20023 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571417590544 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22510] ppid=22503 vsize=28769364 memory=4206468019014099040 CPUtime=0.01 cores=0-7
/proc/22505/task/22510/stat : 22510 (java) S 22503 22503 20023 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571416538000 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22511] ppid=22503 vsize=28769364 memory=-8412654363717036173 CPUtime=0 cores=0-7
/proc/22505/task/22511/stat : 22511 (java) S 22503 22503 20023 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571415484944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22512] ppid=22503 vsize=28769364 memory=-8383303769241525621 CPUtime=0 cores=0-7
/proc/22505/task/22512/stat : 22512 (java) S 22503 22503 20023 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571414432400 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22513] ppid=22503 vsize=28769364 memory=-8248215640242096217 CPUtime=0.01 cores=0-7
/proc/22505/task/22513/stat : 22513 (java) S 22503 22503 20023 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571413379344 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22514] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22514/stat : 22514 (java) S 22503 22503 20023 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 477027604 29459828736 62889 33554432000 4194304 4196468 140725254083376 140571412326800 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22515] ppid=22503 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/22505/task/22515/stat : 22515 (java) S 22503 22503 20023 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 28 0 477027606 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570449124080 140571467086466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22516] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22516/stat : 22516 (java) S 22503 22503 20023 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 477027606 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570448070368 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22517] ppid=22503 vsize=28769364 memory=140430801504854 CPUtime=0 cores=0-7
/proc/22505/task/22517/stat : 22517 (java) S 22503 22503 20023 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477027607 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570447017216 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22518] ppid=22503 vsize=28769364 memory=7306916055891837008 CPUtime=0 cores=0-7
/proc/22505/task/22518/stat : 22518 (java) S 22503 22503 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570445965776 140571467093915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22519] ppid=22503 vsize=28769364 memory=15072 CPUtime=2.19 cores=0-7
/proc/22505/task/22519/stat : 22519 (java) S 22503 22503 20023 0 -1 1077944384 5802 0 0 0 216 3 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570444912880 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22520] ppid=22503 vsize=28769364 memory=0 CPUtime=2.16 cores=0-7
/proc/22505/task/22520/stat : 22520 (java) S 22503 22503 20023 0 -1 1077944384 5945 0 0 0 215 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570443860336 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22521] ppid=22503 vsize=28769364 memory=0 CPUtime=2.03 cores=0-7
/proc/22505/task/22521/stat : 22521 (java) S 22503 22503 20023 0 -1 1077944384 5334 0 0 0 202 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570442807280 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22522] ppid=22503 vsize=28769364 memory=0 CPUtime=1.04 cores=0-7
/proc/22505/task/22522/stat : 22522 (java) S 22503 22503 20023 0 -1 1077944384 5434 0 0 0 103 1 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570441754736 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22523] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22523/stat : 22523 (java) S 22503 22503 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477027609 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570440702944 140571467085525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22524] ppid=22503 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/22505/task/22524/stat : 22524 (java) S 22503 22503 20023 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 477027610 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570439650480 140571467086466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22605] ppid=22503 vsize=28769364 memory=0 CPUtime=2.38 cores=0-7
/proc/22505/task/22605/stat : 22605 (java) R 22503 22503 20023 0 -1 4202560 64 0 0 0 238 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570424122456 140571085902908 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22606] ppid=22503 vsize=28769364 memory=1448 CPUtime=2.2 cores=0-7
/proc/22505/task/22606/stat : 22606 (java) R 22503 22503 20023 0 -1 4202560 76 0 0 0 220 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570419913296 140571084146756 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22607] ppid=22503 vsize=28769364 memory=251436 CPUtime=2.4 cores=0-7
/proc/22505/task/22607/stat : 22607 (java) R 22503 22503 20023 0 -1 4202560 146 0 0 0 240 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570426229224 140571085283993 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22608] ppid=22503 vsize=28769364 memory=140432545678271 CPUtime=2.27 cores=0-7
/proc/22505/task/22608/stat : 22608 (java) R 22503 22503 20023 0 -1 4202560 103 0 0 0 227 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570428335608 140571083638622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22609] ppid=22503 vsize=28769364 memory=140432545678275 CPUtime=2.4 cores=0-7
/proc/22505/task/22609/stat : 22609 (java) R 22503 22503 20023 0 -1 4202560 181 0 0 0 240 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570422017480 140571084400259 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22610] ppid=22503 vsize=28769364 memory=140432545678307 CPUtime=2.33 cores=0-7
/proc/22505/task/22610/stat : 22610 (java) R 22503 22503 20023 0 -1 4202560 81 0 0 0 233 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570420965480 140571082626620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22611] ppid=22503 vsize=28769364 memory=140432545679350 CPUtime=2.35 cores=0-7
/proc/22505/task/22611/stat : 22611 (java) R 22503 22503 20023 0 -1 4202560 66 0 0 0 235 0 0 0 20 0 28 0 477027758 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570427281480 140571083638393 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
[pid=22505/tid=22612] ppid=22503 vsize=28769364 memory=140432545679354 CPUtime=2.1 cores=0-7
/proc/22505/task/22612/stat : 22612 (java) R 22503 22503 20023 0 -1 4202560 325 0 0 0 210 0 0 0 20 0 28 0 477027759 29459828736 62889 33554432000 4194304 4196468 140725254083376 140570423070944 140571085508756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140725254087638 140725254087814 140725254087814 140725254090703 0
Current children cumulated CPU time: 28.42 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 253004 KiB

Child status: 0
Real time (s): 4.48488
CPU time (s): 28.9149
CPU user time (s): 28.6787
CPU system time (s): 0.236236
CPU usage (%): 644.72
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 253004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.6787
system time used= 0.236236
maximum resident set size= 252104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5509
involuntary context switches= 793


# summary of solver processes directly reported to runsolver:
#   pid: 22503
#   total CPU time (s): 28.9149
#   total CPU user time (s): 28.6787
#   total CPU system time (s): 0.236236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054572 second user time and 0.090954 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-20 22:24:55
IDJOB=4404595
IDBENCH=140495
IDSOLVER=2865
FILE ID=node146/4404595-1569011136
RUNJOBID= node146-1569005116-20050
PBS_JOBID= 21704750
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-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 /var/tmp/evaluation-result-4404595-1569011136/watcher-4404595-1569011136 -o /var/tmp/evaluation-result-4404595-1569011136/solver-4404595-1569011136 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569005116-20050 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 395765901 HOME/instance-4404595-1569011136.xml

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

MD5SUM BENCH= a951848c4e631b36882baf30b58f4449
RANDOM SEED=395765901

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22269616 kB
MemAvailable:   31848664 kB
Buffers:          100912 kB
Cached:          9519632 kB
SwapCached:         3780 kB
Active:          4779808 kB
Inactive:        4846040 kB
Active(anon):       4676 kB
Inactive(anon):    48256 kB
Active(file):    4775132 kB
Inactive(file):  4797784 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       67001828 kB
Dirty:             26368 kB
Writeback:             0 kB
AnonPages:        238840 kB
Mapped:            52016 kB
Shmem:             38916 kB
Slab:             463216 kB
SReclaimable:     434592 kB
SUnreclaim:        28624 kB
KernelStack:        3840 kB
PageTables:         6320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node146 at 2019-09-20 22:25:00