Trace number 4394435

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-06-14 parallelOPT4 24.9487 3.95994

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.2272
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-4394435-1568447490.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394435-1568447490.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
3.35/1.14	c solve instance...
3.85/1.24	o 14 
3.85/1.27	o 13 
3.85/1.28	o 11 
4.54/1.33	o 10 
4.54/1.33	o 9 
4.54/1.39	o 8 
5.14/1.41	o 7 
5.14/1.44	o 6 
5.14/1.45	o 5 
5.90/1.51	o 4 
24.78/3.91	s OPTIMUM FOUND
24.78/3.91	v <instantiation>
24.78/3.91	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>
24.78/3.91	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>
24.78/3.91	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 (15122 MiB free)
  memory of node 1: 16384 MiB (14956 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394435-1568447490/watcher-4394435-1568447490 -o /tmp/evaluation-result-4394435-1568447490/solver-4394435-1568447490 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568439068-24126 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 75278953 HOME/instance-4394435-1568447490.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=25727, runsolver pid=25724
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 1.86 2.40 5.02 3/216 25748
/proc/meminfo: memFree=30781120/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28227388 memory=32076 CPUtime=0.12 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 20 0 420998523 28904845312 8019 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7056847 8019 3114 1 0 7019032 0
[pid=25729/tid=25730] ppid=25727 vsize=28227388 memory=8185744705350181529 CPUtime=0.09 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) R 25727 25727 24099 0 -1 4202560 3384 0 0 0 8 1 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140706394298160 140706026745588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28227388 memory=732369964109954021 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28227388 memory=139825772500608 CPUtime=0 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25734] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25734/stat : 25734 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705938701200 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25735] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25735/stat : 25735 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705937648144 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25736] ppid=25727 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25729/task/25736/stat : 25736 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705936595600 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25737] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25737/stat : 25737 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705935542544 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25738] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25738/stat : 25738 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998525 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705934490000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25739] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25739/stat : 25739 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998526 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705774865136 140706390076034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25740] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25740/stat : 25740 (java) S 25727 25727 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420998526 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705773811360 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25741] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25741/stat : 25741 (java) S 25727 25727 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420998527 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705772758256 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25742] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25742/stat : 25742 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705771706832 140706390083483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25743] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25743/stat : 25743 (java) S 25727 25727 24099 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705770653936 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25744] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25744/stat : 25744 (java) R 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705769601392 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25745] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25745/stat : 25745 (java) S 25727 25727 24099 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705768548336 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25746] ppid=25727 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) R 25727 25727 24099 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705767495792 140706382302014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998530 28904845312 8019 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 33528 KiB

[startup+0.21085 s]*
/proc/loadavg: 1.86 2.40 5.02 3/216 25748
/proc/meminfo: memFree=30768692/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28227388 memory=43420 CPUtime=0.34 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 9039 0 0 0 31 3 0 0 20 0 20 0 420998523 28904845312 10855 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7056847 10855 3295 1 0 7019032 0
[pid=25729/tid=25730] ppid=25727 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) R 25727 25727 24099 0 -1 4202560 6202 0 0 0 18 1 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140706394296320 140706390076822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28227388 memory=279651385612024 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28227388 memory=139825772500608 CPUtime=0 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25734] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25734/stat : 25734 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705938701200 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25735] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25735/stat : 25735 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705937648144 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25736] ppid=25727 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25729/task/25736/stat : 25736 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705936595600 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25737] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25737/stat : 25737 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705935542544 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25738] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25738/stat : 25738 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998525 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705934490000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25739] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25739/stat : 25739 (java) S 25727 25727 24099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420998526 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705774865136 140706390076034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25740] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25740/stat : 25740 (java) S 25727 25727 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420998526 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705773811360 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25741] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25741/stat : 25741 (java) S 25727 25727 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420998527 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705772758256 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25742] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25742/stat : 25742 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705771706832 140706390083483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25743] ppid=25727 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25743/stat : 25743 (java) S 25727 25727 24099 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705770653936 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25744] ppid=25727 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25744/stat : 25744 (java) R 25727 25727 24099 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705769601392 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25745] ppid=25727 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25745/stat : 25745 (java) R 25727 25727 24099 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705768548336 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25746] ppid=25727 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) R 25727 25727 24099 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705767495600 140706368979955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998529 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998530 28904845312 10855 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 44872 KiB

[startup+0.318897 s]*
/proc/loadavg: 1.86 2.40 5.02 3/216 25748
/proc/meminfo: memFree=30761780/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28231644 memory=52460 CPUtime=0.54 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 10476 0 0 0 50 4 0 0 20 0 20 0 420998523 28909203456 13115 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7057911 13115 3336 1 0 7019032 0
[pid=25729/tid=25730] ppid=25727 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) R 25727 25727 24099 0 -1 4202560 7415 0 0 0 28 2 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140706394296000 140706374145374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25734] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25734/stat : 25734 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705938701200 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25735] ppid=25727 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/25729/task/25735/stat : 25735 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705937648144 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25736] ppid=25727 vsize=28231644 memory=139825613206447 CPUtime=0 cores=0-7
/proc/25729/task/25736/stat : 25736 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705936595600 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25737] ppid=25727 vsize=28231644 memory=139825613208752 CPUtime=0 cores=0-7
/proc/25729/task/25737/stat : 25737 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998524 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705935542544 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25738] ppid=25727 vsize=28231644 memory=139825613211056 CPUtime=0 cores=0-7
/proc/25729/task/25738/stat : 25738 (java) S 25727 25727 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420998525 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705934490000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25739] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25739/stat : 25739 (java) S 25727 25727 24099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420998526 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705774865136 140706390076034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25740] ppid=25727 vsize=28231644 memory=279651226429072 CPUtime=0 cores=0-7
/proc/25729/task/25740/stat : 25740 (java) S 25727 25727 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420998526 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705773811360 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25741] ppid=25727 vsize=28231644 memory=279651226435984 CPUtime=0 cores=0-7
/proc/25729/task/25741/stat : 25741 (java) S 25727 25727 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420998527 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705772758256 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25742] ppid=25727 vsize=28231644 memory=279651226377264 CPUtime=0 cores=0-7
/proc/25729/task/25742/stat : 25742 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705771706832 140706390083483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25743] ppid=25727 vsize=28231644 memory=279651226449808 CPUtime=0.02 cores=0-7
/proc/25729/task/25743/stat : 25743 (java) S 25727 25727 24099 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705770653936 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25744] ppid=25727 vsize=28231644 memory=279651226456720 CPUtime=0.03 cores=0-7
/proc/25729/task/25744/stat : 25744 (java) S 25727 25727 24099 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705769601392 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25745] ppid=25727 vsize=28231644 memory=279651226454416 CPUtime=0.03 cores=0-7
/proc/25729/task/25745/stat : 25745 (java) S 25727 25727 24099 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705768548336 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25746] ppid=25727 vsize=28231644 memory=279651226470576 CPUtime=0.12 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) R 25727 25727 24099 0 -1 4202560 809 0 0 0 12 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705767495792 140706390076822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420998529 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998530 28909203456 13180 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 53912 KiB

[startup+0.700983 s]
/proc/loadavg: 1.86 2.40 5.02 3/216 25748
/proc/meminfo: memFree=30751116/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28233768 memory=83088 CPUtime=1.54 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 13458 0 0 0 147 7 0 0 20 0 20 0 420998523 28911378432 20772 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7058442 20772 3451 1 0 7019544 0
[pid=25729/tid=25730] ppid=25727 vsize=28233768 memory=279651226765440 CPUtime=0.68 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) R 25727 25727 24099 0 -1 4202560 8788 0 0 0 64 4 0 0 20 0 20 0 420998524 28911378432 20772 33554432000 4194304 4196468 140723402929232 140706394292880 140706375238722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28233768 memory=3928 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28911378432 20772 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28233768 memory=716 CPUtime=0 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28911378432 20772 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28233768 memory=776 CPUtime=0 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420998524 28911378432 20772 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0

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

[pid=25729/tid=25746] ppid=25727 vsize=28769356 memory=576723063646377151 CPUtime=1.25 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) S 25727 25727 24099 0 -1 1077944384 5882 0 0 0 123 2 0 0 20 0 28 0 420998529 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705767495792 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28769356 memory=139825613303878 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420998529 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 420998530 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25829] ppid=25727 vsize=28769356 memory=6943526294502006880 CPUtime=1.44 cores=0-7
/proc/25729/task/25829/stat : 25829 (java) R 25727 25727 24099 0 -1 4202560 102 0 0 0 144 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705677688504 140706027817396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25830] ppid=25727 vsize=28769356 memory=6944656592455360604 CPUtime=1.52 cores=0-7
/proc/25729/task/25830/stat : 25830 (java) R 25727 25727 24099 0 -1 4202560 79 0 0 0 152 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705750926440 140706036641567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25831] ppid=25727 vsize=28769356 memory=0 CPUtime=1.5 cores=0-7
/proc/25729/task/25831/stat : 25831 (java) R 25727 25727 24099 0 -1 4202560 370 0 0 0 149 1 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705754083992 140706038607538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25832] ppid=25727 vsize=28769356 memory=0 CPUtime=1.32 cores=0-7
/proc/25729/task/25832/stat : 25832 (java) R 25727 25727 24099 0 -1 4202560 160 0 0 0 132 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705678741152 140706038818304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25833] ppid=25727 vsize=28769356 memory=6944656592455359580 CPUtime=1.5 cores=0-7
/proc/25729/task/25833/stat : 25833 (java) R 25727 25727 24099 0 -1 4202560 60 0 0 0 150 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705747767560 140706035187673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25834] ppid=25727 vsize=28769356 memory=6943526294502006880 CPUtime=1.42 cores=0-7
/proc/25729/task/25834/stat : 25834 (java) R 25727 25727 24099 0 -1 4202560 22 0 0 0 142 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705749872264 140706036704480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25835] ppid=25727 vsize=28769356 memory=0 CPUtime=1.48 cores=0-7
/proc/25729/task/25835/stat : 25835 (java) R 25727 25727 24099 0 -1 4202560 126 0 0 0 148 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705748822152 140706034575612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25836] ppid=25727 vsize=28769356 memory=139825613434912 CPUtime=1.64 cores=0-7
/proc/25729/task/25836/stat : 25836 (java) R 25727 25727 24099 0 -1 4202560 98 0 0 0 164 0 0 0 20 0 28 0 420998675 29459820544 75509 33554432000 4194304 4196468 140723402929232 140705751978352 140706038702650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 22.41 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 303488 KiB

[startup+3.8019 s]
/proc/loadavg: 2.67 2.56 5.06 12/224 25836
/proc/meminfo: memFree=30567952/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28769356 memory=336704 CPUtime=24 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 36633 0 0 0 2374 26 0 0 20 0 28 0 420998523 29459820544 84176 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7192339 84176 3532 1 0 7153441 0
[pid=25729/tid=25730] ppid=25727 vsize=28769356 memory=0 CPUtime=1.13 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) S 25727 25727 24099 0 -1 1077944384 10530 0 0 0 108 5 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140706394305664 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28769356 memory=3473475302144567653 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28769356 memory=7295938381028020304 CPUtime=0.01 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28769356 memory=7230638415923669079 CPUtime=0.01 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25734] ppid=25727 vsize=28769356 memory=7590119258547531158 CPUtime=0.02 cores=0-7
/proc/25729/task/25734/stat : 25734 (java) S 25727 25727 24099 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705938701200 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25735] ppid=25727 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/25729/task/25735/stat : 25735 (java) S 25727 25727 24099 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705937648144 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25736] ppid=25727 vsize=28769356 memory=29880819073 CPUtime=0 cores=0-7
/proc/25729/task/25736/stat : 25736 (java) S 25727 25727 24099 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705936595600 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25737] ppid=25727 vsize=28769356 memory=122 CPUtime=0 cores=0-7
/proc/25729/task/25737/stat : 25737 (java) S 25727 25727 24099 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705935542544 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25738] ppid=25727 vsize=28769356 memory=279651226573152 CPUtime=0.01 cores=0-7
/proc/25729/task/25738/stat : 25738 (java) S 25727 25727 24099 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420998525 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705934490000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25739] ppid=25727 vsize=28769356 memory=139825613375200 CPUtime=0.01 cores=0-7
/proc/25729/task/25739/stat : 25739 (java) S 25727 25727 24099 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 28 0 420998526 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705774865136 140706390076034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25740] ppid=25727 vsize=28769356 memory=279651226691776 CPUtime=0 cores=0-7
/proc/25729/task/25740/stat : 25740 (java) S 25727 25727 24099 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420998526 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705773811424 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25741] ppid=25727 vsize=28769356 memory=2110176220460004 CPUtime=0 cores=0-7
/proc/25729/task/25741/stat : 25741 (java) S 25727 25727 24099 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420998527 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705772758272 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25742] ppid=25727 vsize=28769356 memory=6933690317890819993 CPUtime=0 cores=0-7
/proc/25729/task/25742/stat : 25742 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705771706832 140706390083483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25743] ppid=25727 vsize=28769356 memory=279651226222832 CPUtime=2.56 cores=0-7
/proc/25729/task/25743/stat : 25743 (java) R 25727 25727 24099 0 -1 4202560 6088 0 0 0 252 4 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705770639816 140706371582769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25744] ppid=25727 vsize=28769356 memory=8324521927936015246 CPUtime=2.23 cores=0-7
/proc/25729/task/25744/stat : 25744 (java) R 25727 25727 24099 0 -1 4202560 4731 0 0 0 221 2 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705769587488 140706371587666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25745] ppid=25727 vsize=28769356 memory=-7662142094119126430 CPUtime=2.47 cores=0-7
/proc/25729/task/25745/stat : 25745 (java) R 25727 25727 24099 0 -1 4202560 4771 0 0 0 245 2 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705768529904 140706370432449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25746] ppid=25727 vsize=28769356 memory=9123880783533785153 CPUtime=1.25 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) S 25727 25727 24099 0 -1 1077944384 5896 0 0 0 123 2 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705767495792 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28769356 memory=6010454390516044139 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420998529 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28769356 memory=7595972117833738066 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 420998530 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25829] ppid=25727 vsize=28769356 memory=2308580317260514262 CPUtime=1.61 cores=0-7
/proc/25729/task/25829/stat : 25829 (java) R 25727 25727 24099 0 -1 4202560 102 0 0 0 161 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705677687584 140706035039828 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25830] ppid=25727 vsize=28769356 memory=0 CPUtime=1.68 cores=0-7
/proc/25729/task/25830/stat : 25830 (java) R 25727 25727 24099 0 -1 4202560 79 0 0 0 168 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705750925640 140706035187711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25831] ppid=25727 vsize=28769356 memory=0 CPUtime=1.69 cores=0-7
/proc/25729/task/25831/stat : 25831 (java) R 25727 25727 24099 0 -1 4202560 388 0 0 0 168 1 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705754083336 140706039531489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25832] ppid=25727 vsize=28769356 memory=2209 CPUtime=1.46 cores=0-7
/proc/25729/task/25832/stat : 25832 (java) R 25727 25727 24099 0 -1 4202560 164 0 0 0 146 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705678743608 140706036823553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25833] ppid=25727 vsize=28769356 memory=2241 CPUtime=1.61 cores=0-7
/proc/25729/task/25833/stat : 25833 (java) R 25727 25727 24099 0 -1 4202560 62 0 0 0 161 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705747766952 140706034065095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25834] ppid=25727 vsize=28769356 memory=0 CPUtime=1.57 cores=0-7
/proc/25729/task/25834/stat : 25834 (java) R 25727 25727 24099 0 -1 4202560 23 0 0 0 157 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705749872872 140706036704480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25835] ppid=25727 vsize=28769356 memory=6791534058613427641 CPUtime=1.64 cores=0-7
/proc/25729/task/25835/stat : 25835 (java) R 25727 25727 24099 0 -1 4202560 131 0 0 0 163 1 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705748822792 140706035386699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25836] ppid=25727 vsize=28769356 memory=0 CPUtime=1.78 cores=0-7
/proc/25729/task/25836/stat : 25836 (java) R 25727 25727 24099 0 -1 4202560 100 0 0 0 178 0 0 0 20 0 28 0 420998675 29459820544 84176 33554432000 4194304 4196468 140723402929232 140705751978488 140706035386831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 338156 KiB

[startup+3.90119 s]
/proc/loadavg: 2.67 2.56 5.06 12/224 25836
/proc/meminfo: memFree=30567952/32770624 swapFree=66968564/67108860
[pid=25727] ppid=25724 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25727/stat : 25727 (xcsp3-exec) S 25724 25727 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420998523 115843072 363 33554432000 4194304 5098028 140722750996480 140722750994584 140055519396476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23191552 140722751005559 140722751005801 140722751005801 140722751008714 0
/proc/25727/statm: 28282 363 304 221 0 87 0
[pid=25729] ppid=25727 vsize=28769356 memory=348448 CPUtime=24.78 cores=0-7
/proc/25729/stat : 25729 (java) S 25727 25727 24099 0 -1 1077944320 37015 0 0 0 2452 26 0 0 20 0 28 0 420998523 29459820544 87112 33554432000 4194304 4196468 140723402929232 140723402911776 140706390064887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
/proc/25729/statm: 7192339 87112 3532 1 0 7153441 0
[pid=25729/tid=25730] ppid=25727 vsize=28769356 memory=253884 CPUtime=1.13 cores=0-7
/proc/25729/task/25730/stat : 25730 (java) S 25727 25727 24099 0 -1 1077944384 10530 0 0 0 108 5 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140706394305664 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25731] ppid=25727 vsize=28769356 memory=13806 CPUtime=0 cores=0-7
/proc/25729/task/25731/stat : 25731 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140706351025168 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25732] ppid=25727 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25732/stat : 25732 (java) S 25727 25727 24099 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705940806800 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25733] ppid=25727 vsize=28769356 memory=7380385388137112419 CPUtime=0.01 cores=0-7
/proc/25729/task/25733/stat : 25733 (java) S 25727 25727 24099 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705939753744 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25734] ppid=25727 vsize=28769356 memory=240740 CPUtime=0.02 cores=0-7
/proc/25729/task/25734/stat : 25734 (java) S 25727 25727 24099 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705938701200 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25735] ppid=25727 vsize=28769356 memory=214516 CPUtime=0 cores=0-7
/proc/25729/task/25735/stat : 25735 (java) S 25727 25727 24099 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705937648144 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25736] ppid=25727 vsize=28769356 memory=1452 CPUtime=0 cores=0-7
/proc/25729/task/25736/stat : 25736 (java) S 25727 25727 24099 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705936595600 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25737] ppid=25727 vsize=28769356 memory=115064 CPUtime=0 cores=0-7
/proc/25729/task/25737/stat : 25737 (java) S 25727 25727 24099 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 420998524 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705935542544 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25738] ppid=25727 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7
/proc/25729/task/25738/stat : 25738 (java) S 25727 25727 24099 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420998525 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705934490000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25739] ppid=25727 vsize=28769356 memory=139825613555120 CPUtime=0.01 cores=0-7
/proc/25729/task/25739/stat : 25739 (java) S 25727 25727 24099 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 28 0 420998526 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705774865136 140706390076034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25740] ppid=25727 vsize=28769356 memory=139825613555152 CPUtime=0 cores=0-7
/proc/25729/task/25740/stat : 25740 (java) S 25727 25727 24099 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420998526 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705773811424 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25741] ppid=25727 vsize=28769356 memory=139825613555184 CPUtime=0 cores=0-7
/proc/25729/task/25741/stat : 25741 (java) S 25727 25727 24099 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420998527 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705772758272 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25742] ppid=25727 vsize=28769356 memory=3184237745689523776 CPUtime=0 cores=0-7
/proc/25729/task/25742/stat : 25742 (java) S 25727 25727 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705771706832 140706390083483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25743] ppid=25727 vsize=28769356 memory=139825613555248 CPUtime=2.66 cores=0-7
/proc/25729/task/25743/stat : 25743 (java) D 25727 25727 24099 0 -1 4202560 6209 0 0 0 262 4 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705770639864 140706382302014 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25744] ppid=25727 vsize=28769356 memory=0 CPUtime=2.28 cores=0-7
/proc/25729/task/25744/stat : 25744 (java) R 25727 25727 24099 0 -1 4202560 4963 0 0 0 226 2 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705769590712 140706382782039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25745] ppid=25727 vsize=28769356 memory=0 CPUtime=2.52 cores=0-7
/proc/25729/task/25745/stat : 25745 (java) D 25727 25727 24099 0 -1 4202560 4791 0 0 0 250 2 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705768533816 140706382302014 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25746] ppid=25727 vsize=28769356 memory=-6421031960926448530 CPUtime=1.25 cores=0-7
/proc/25729/task/25746/stat : 25746 (java) S 25727 25727 24099 0 -1 1077944384 5896 0 0 0 123 2 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705767495792 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25747] ppid=25727 vsize=28769356 memory=33 CPUtime=0 cores=0-7
/proc/25729/task/25747/stat : 25747 (java) S 25727 25727 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420998529 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705766444000 140706390075093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25748] ppid=25727 vsize=28769356 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/25729/task/25748/stat : 25748 (java) S 25727 25727 24099 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 420998530 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705765391536 140706390076034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25829] ppid=25727 vsize=28769356 memory=6944656592455360604 CPUtime=1.68 cores=0-7
/proc/25729/task/25829/stat : 25829 (java) R 25727 25727 24099 0 -1 4202560 102 0 0 0 168 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705677687584 140706036704439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25830] ppid=25727 vsize=28769356 memory=-7812193691859142048 CPUtime=1.78 cores=0-7
/proc/25729/task/25830/stat : 25830 (java) R 25727 25727 24099 0 -1 4202560 79 0 0 0 178 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705750925640 140706036704646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25831] ppid=25727 vsize=28769356 memory=6791534058613427641 CPUtime=1.78 cores=0-7
/proc/25729/task/25831/stat : 25831 (java) D 25727 25727 24099 0 -1 4202560 395 0 0 0 177 1 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705754083080 140706037240259 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25832] ppid=25727 vsize=28769356 memory=288230596050944315 CPUtime=1.56 cores=0-7
/proc/25729/task/25832/stat : 25832 (java) R 25727 25727 24099 0 -1 4202560 166 0 0 0 156 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705678743608 140706036329071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25833] ppid=25727 vsize=28769356 memory=15255943717849727 CPUtime=1.66 cores=0-7
/proc/25729/task/25833/stat : 25833 (java) R 25727 25727 24099 0 -1 4202560 62 0 0 0 166 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705747766952 140706037424654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25834] ppid=25727 vsize=28769356 memory=0 CPUtime=1.62 cores=0-7
/proc/25729/task/25834/stat : 25834 (java) R 25727 25727 24099 0 -1 4202560 23 0 0 0 162 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705749872872 140706035386242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25835] ppid=25727 vsize=28769356 memory=0 CPUtime=1.72 cores=0-7
/proc/25729/task/25835/stat : 25835 (java) R 25727 25727 24099 0 -1 4202560 131 0 0 0 171 1 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705748822792 140706027817808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
[pid=25729/tid=25836] ppid=25727 vsize=28769356 memory=1216 CPUtime=1.83 cores=0-7
/proc/25729/task/25836/stat : 25836 (java) R 25727 25727 24099 0 -1 4202560 100 0 0 0 183 0 0 0 20 0 28 0 420998675 29459820544 87112 33554432000 4194304 4196468 140723402929232 140705751978488 140706036704439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28614656 140723402937322 140723402937494 140723402937494 140723402940367 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 349900 KiB

Child status: 0
Real time (s): 3.95994
CPU time (s): 24.9487
CPU user time (s): 24.6705
CPU system time (s): 0.278232
CPU usage (%): 630.028
Max. virtual memory (cumulated for all children) (KiB): 28882484
Max. memory (cumulated for all children) (KiB): 349900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6705
system time used= 0.278232
maximum resident set size= 356020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38432
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= 5147
involuntary context switches= 824


# summary of solver processes directly reported to runsolver:
#   pid: 25727
#   total CPU time (s): 24.9487
#   total CPU user time (s): 24.6705
#   total CPU system time (s): 0.278232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060462 second user time and 0.077883 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 09:50:49
IDJOB=4394435
IDBENCH=140495
IDSOLVER=2843
FILE ID=node135/4394435-1568447490
RUNJOBID= node135-1568439068-24126
PBS_JOBID= 21702330
Free space on /tmp= 61376 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
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 /tmp/evaluation-result-4394435-1568447490/watcher-4394435-1568447490 -o /tmp/evaluation-result-4394435-1568447490/solver-4394435-1568447490 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568439068-24126 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 75278953 HOME/instance-4394435-1568447490.xml

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

MD5SUM BENCH= a951848c4e631b36882baf30b58f4449
RANDOM SEED=75278953

node135.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.76
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.76
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.76
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.76
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:        30800840 kB
MemAvailable:   31860376 kB
Buffers:          174012 kB
Cached:          1153828 kB
SwapCached:        34512 kB
Active:           569432 kB
Inactive:         799008 kB
Active(anon):      12800 kB
Inactive(anon):    60420 kB
Active(file):     556632 kB
Inactive(file):   738588 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968564 kB
Dirty:             26292 kB
Writeback:             0 kB
AnonPages:         97576 kB
Mapped:            37628 kB
Shmem:             24496 kB
Slab:             191260 kB
SReclaimable:     160300 kB
SUnreclaim:        30960 kB
KernelStack:        3904 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61348 MiB
End job on node135 at 2019-09-14 09:50:54