Trace number 4393504

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 NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelUNSAT 40.1856 7.51413

General information on the benchmark

NameRandom/Random-D-t090/
rand-2-40-180-84-090-90.xml
MD5SUMb787e2fb655876ad1ad352aa15cc79d3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.914535
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Number of domains1
Minimum domain size180
Maximum domain size180
Distribution of domain sizes[{"size":180,"count":40}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":8},{"degree":3,"count":6},{"degree":4,"count":5},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":84}]
Number of extensional constraints84
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":84}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393504-1568420374.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4393504-1568420374.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
6.58/3.23	c solve instance...
39.49/7.48	s UNSATISFIABLE

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393504-1568420374/watcher-4393504-1568420374 -o /tmp/evaluation-result-4393504-1568420374/solver-4393504-1568420374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1078332659 HOME/instance-4393504-1568420374.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
Current StackSize limit: 8192 KiB

solver pid=18195, runsolver pid=18192

[startup+0.100156 s]*
/proc/loadavg: 7.33 7.91 7.77 2/211 18216
/proc/meminfo: memFree=28757144/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28227388 memory=28992 CPUtime=0.11 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 5734 0 0 0 10 1 0 0 20 0 20 0 417977600 28904845312 7248 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7056847 7248 3119 1 0 7019032 0
[pid=18197/tid=18198] ppid=18195 vsize=28227388 memory=7754242466541117600 CPUtime=0.09 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) R 18195 18195 16408 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 20 0 417977600 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446826313520 140446454137642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28227388 memory=732370283749624805 CPUtime=0 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28227388 memory=140145412171392 CPUtime=0 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18202] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18202/stat : 18202 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446369954192 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18203] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18203/stat : 18203 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446368902160 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18204] ppid=18195 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18197/task/18204/stat : 18204 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446367849616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18205] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18205/stat : 18205 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446366796560 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18206] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18206/stat : 18206 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 7248 33554432000 4194304 4196468 140725628214656 140446365744016 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18207] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18207/stat : 18207 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445201201392 140446822095490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18208] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18208/stat : 18208 (java) S 18195 18195 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445200147616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18209] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18209/stat : 18209 (java) S 18195 18195 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445199094512 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18210] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18210/stat : 18210 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445198043088 140446822102939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18211] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18211/stat : 18211 (java) S 18195 18195 16408 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445196991216 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18212] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18212/stat : 18212 (java) S 18195 18195 16408 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445195938672 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18213] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18213/stat : 18213 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445194885616 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18214] ppid=18195 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18197/task/18214/stat : 18214 (java) R 18195 18195 16408 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445193833072 140446800749946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18215] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18215/stat : 18215 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445192780256 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18216] ppid=18195 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18197/task/18216/stat : 18216 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 7248 33554432000 4194304 4196468 140725628214656 140445191727792 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30448 KiB

[startup+0.210348 s]*
/proc/loadavg: 7.33 7.91 7.77 2/211 18216
/proc/meminfo: memFree=28742700/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28227388 memory=41024 CPUtime=0.33 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 9506 0 0 0 30 3 0 0 20 0 20 0 417977600 28904845312 10256 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7056847 10256 3301 1 0 7019032 0
[pid=18197/tid=18198] ppid=18195 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) R 18195 18195 16408 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 417977600 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446826317072 140446806164830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28227388 memory=280290664802040 CPUtime=0 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28227388 memory=140145412171392 CPUtime=0 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18202] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18202/stat : 18202 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446369954192 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18203] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18203/stat : 18203 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446368902160 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18204] ppid=18195 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18197/task/18204/stat : 18204 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446367849616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18205] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18205/stat : 18205 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446366796560 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18206] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18206/stat : 18206 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28904845312 10256 33554432000 4194304 4196468 140725628214656 140446365744016 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18207] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18207/stat : 18207 (java) S 18195 18195 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445201201392 140446822095490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18208] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18208/stat : 18208 (java) S 18195 18195 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445200147616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18209] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18209/stat : 18209 (java) S 18195 18195 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417977603 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445199094512 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18210] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18210/stat : 18210 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445198043088 140446822102939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18211] ppid=18195 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18197/task/18211/stat : 18211 (java) S 18195 18195 16408 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445196991216 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18212] ppid=18195 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18197/task/18212/stat : 18212 (java) S 18195 18195 16408 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445195938672 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18213] ppid=18195 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18197/task/18213/stat : 18213 (java) S 18195 18195 16408 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445194885616 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18214] ppid=18195 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/18197/task/18214/stat : 18214 (java) S 18195 18195 16408 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445193833072 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18215] ppid=18195 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18215/stat : 18215 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445192780256 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18216] ppid=18195 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18197/task/18216/stat : 18216 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28904845312 10256 33554432000 4194304 4196468 140725628214656 140445191727792 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42480 KiB

[startup+0.309644 s]*
/proc/loadavg: 7.33 7.91 7.77 4/211 18216
/proc/meminfo: memFree=28738288/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28231644 memory=49740 CPUtime=0.51 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 10823 0 0 0 47 4 0 0 20 0 20 0 417977600 28909203456 12435 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7057911 12435 3345 1 0 7019032 0
[pid=18197/tid=18198] ppid=18195 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) R 18195 18195 16408 0 -1 4202560 7760 0 0 0 26 3 0 0 20 0 20 0 417977600 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446826318208 140446806164830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18202] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18202/stat : 18202 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446369954192 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18203] ppid=18195 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/18197/task/18203/stat : 18203 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446368902160 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18204] ppid=18195 vsize=28231644 memory=140145252725679 CPUtime=0 cores=0-7
/proc/18197/task/18204/stat : 18204 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446367849616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18205] ppid=18195 vsize=28231644 memory=140145252727984 CPUtime=0 cores=0-7
/proc/18197/task/18205/stat : 18205 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446366796560 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18206] ppid=18195 vsize=28231644 memory=140145252730288 CPUtime=0 cores=0-7
/proc/18197/task/18206/stat : 18206 (java) S 18195 18195 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417977601 28909203456 12435 33554432000 4194304 4196468 140725628214656 140446365744016 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18207] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18207/stat : 18207 (java) S 18195 18195 16408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417977603 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445201201392 140446822095490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18208] ppid=18195 vsize=28231644 memory=280290505467536 CPUtime=0 cores=0-7
/proc/18197/task/18208/stat : 18208 (java) S 18195 18195 16408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417977603 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445200147616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18209] ppid=18195 vsize=28231644 memory=280290505474448 CPUtime=0 cores=0-7
/proc/18197/task/18209/stat : 18209 (java) S 18195 18195 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417977603 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445199094512 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18210] ppid=18195 vsize=28231644 memory=280290505415728 CPUtime=0 cores=0-7
/proc/18197/task/18210/stat : 18210 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445198043088 140446822102939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18211] ppid=18195 vsize=28231644 memory=280290505488272 CPUtime=0.02 cores=0-7
/proc/18197/task/18211/stat : 18211 (java) S 18195 18195 16408 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445196991216 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18212] ppid=18195 vsize=28231644 memory=280290505495184 CPUtime=0.03 cores=0-7
/proc/18197/task/18212/stat : 18212 (java) R 18195 18195 16408 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445195937856 140446799736208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18213] ppid=18195 vsize=28231644 memory=280290505492880 CPUtime=0.02 cores=0-7
/proc/18197/task/18213/stat : 18213 (java) S 18195 18195 16408 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445194885616 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18214] ppid=18195 vsize=28231644 memory=280290505509040 CPUtime=0.12 cores=0-7
/proc/18197/task/18214/stat : 18214 (java) S 18195 18195 16408 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445193833072 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18215] ppid=18195 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18197/task/18215/stat : 18215 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445192780256 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18216] ppid=18195 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18197/task/18216/stat : 18216 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977606 28909203456 12435 33554432000 4194304 4196468 140725628214656 140445191727792 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51196 KiB

[startup+0.70095 s]
/proc/loadavg: 7.33 7.91 7.77 5/211 18216
/proc/meminfo: memFree=28703968/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28233768 memory=194396 CPUtime=1.62 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 14803 0 0 0 154 8 0 0 20 0 20 0 417977600 28911378432 48599 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7058442 48599 3458 1 0 7019544 0
[pid=18197/tid=18198] ppid=18195 vsize=28233768 memory=280290505803904 CPUtime=0.66 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) R 18195 18195 16408 0 -1 4202560 8369 0 0 0 62 4 0 0 20 0 20 0 417977600 28911378432 48599 33554432000 4194304 4196468 140725628214656 140446826322784 140446457243825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28233768 memory=1436 CPUtime=0 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 417977601 28911378432 48599 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28233768 memory=580 CPUtime=0 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417977601 28911378432 48599 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28233768 memory=1720 CPUtime=0 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417977601 28911378432 48599 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0

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

[pid=18197/tid=18219] ppid=18195 vsize=28768328 memory=0 CPUtime=2.37 cores=0-7
/proc/18197/task/18219/stat : 18219 (java) R 18195 18195 16408 0 -1 4202560 780 0 0 0 237 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445180414200 140446461415795 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18220] ppid=18195 vsize=28768328 memory=0 CPUtime=2.5 cores=0-7
/proc/18197/task/18220/stat : 18220 (java) R 18195 18195 16408 0 -1 4202560 111 0 0 0 250 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445179359736 140446463514646 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18221] ppid=18195 vsize=28768328 memory=0 CPUtime=2.44 cores=0-7
/proc/18197/task/18221/stat : 18221 (java) R 18195 18195 16408 0 -1 4202560 106 0 0 0 244 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445178306528 140446463513634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18222] ppid=18195 vsize=28768328 memory=0 CPUtime=2.53 cores=0-7
/proc/18197/task/18222/stat : 18222 (java) R 18195 18195 16408 0 -1 4202560 297 0 0 0 253 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445177254000 140446463515302 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18223] ppid=18195 vsize=28768328 memory=0 CPUtime=2.26 cores=0-7
/proc/18197/task/18223/stat : 18223 (java) R 18195 18195 16408 0 -1 4202560 310 0 0 0 226 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445176200832 140446463514197 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18224] ppid=18195 vsize=28768328 memory=0 CPUtime=2.43 cores=0-7
/proc/18197/task/18224/stat : 18224 (java) R 18195 18195 16408 0 -1 4202560 163 0 0 0 243 0 0 0 20 0 28 0 417977926 29458767872 328119 33554432000 4194304 4196468 140725628214656 140445175148536 140446463514027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 31.51 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1313932 KiB

[startup+7.20215 s]
/proc/loadavg: 7.47 7.93 7.78 10/219 18224
/proc/meminfo: memFree=27471088/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28768328 memory=1313064 CPUtime=37.9 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 48261 0 0 0 3679 111 0 0 20 0 28 0 417977600 29458767872 328266 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7192082 328266 3520 1 0 7153184 0
[pid=18197/tid=18198] ppid=18195 vsize=28768328 memory=1456 CPUtime=2.99 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) S 18195 18195 16408 0 -1 1077944384 10516 0 0 0 282 17 0 0 20 0 28 0 417977600 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446826325120 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28768328 memory=1312556 CPUtime=0.18 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 142 0 0 0 10 8 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28768328 memory=3054156605267020675 CPUtime=0.19 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 198 0 0 0 11 8 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28768328 memory=204 CPUtime=0.19 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 160 0 0 0 10 9 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18202] ppid=18195 vsize=28768328 memory=87 CPUtime=0.21 cores=0-7
/proc/18197/task/18202/stat : 18202 (java) S 18195 18195 16408 0 -1 1077944384 165 0 0 0 12 9 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446369954192 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18203] ppid=18195 vsize=28768328 memory=0 CPUtime=0.21 cores=0-7
/proc/18197/task/18203/stat : 18203 (java) S 18195 18195 16408 0 -1 1077944384 188 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446368902160 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18204] ppid=18195 vsize=28768328 memory=0 CPUtime=0.21 cores=0-7
/proc/18197/task/18204/stat : 18204 (java) S 18195 18195 16408 0 -1 1077944384 201 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446367849616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18205] ppid=18195 vsize=28768328 memory=267 CPUtime=0.19 cores=0-7
/proc/18197/task/18205/stat : 18205 (java) S 18195 18195 16408 0 -1 1077944384 161 0 0 0 11 8 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446366796560 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18206] ppid=18195 vsize=28768328 memory=274 CPUtime=0.21 cores=0-7
/proc/18197/task/18206/stat : 18206 (java) S 18195 18195 16408 0 -1 1077944384 173 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328266 33554432000 4194304 4196468 140725628214656 140446365744016 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18207] ppid=18195 vsize=28768328 memory=250 CPUtime=0.01 cores=0-7
/proc/18197/task/18207/stat : 18207 (java) S 18195 18195 16408 0 -1 1077944384 1071 0 0 0 1 0 0 0 20 0 28 0 417977603 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445201201392 140446822095490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18208] ppid=18195 vsize=28768328 memory=271 CPUtime=0 cores=0-7
/proc/18197/task/18208/stat : 18208 (java) S 18195 18195 16408 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 417977603 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445200147680 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18209] ppid=18195 vsize=28768328 memory=260 CPUtime=0 cores=0-7
/proc/18197/task/18209/stat : 18209 (java) S 18195 18195 16408 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 417977603 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445199094528 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18210] ppid=18195 vsize=28768328 memory=268 CPUtime=0 cores=0-7
/proc/18197/task/18210/stat : 18210 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445198043088 140446822102939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18211] ppid=18195 vsize=28768328 memory=237 CPUtime=2.17 cores=0-7
/proc/18197/task/18211/stat : 18211 (java) S 18195 18195 16408 0 -1 1077944384 8555 0 0 0 214 3 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445196991216 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18212] ppid=18195 vsize=28768328 memory=263 CPUtime=2.61 cores=0-7
/proc/18197/task/18212/stat : 18212 (java) S 18195 18195 16408 0 -1 1077944384 9543 0 0 0 258 3 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445195938672 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18213] ppid=18195 vsize=28768328 memory=57 CPUtime=2.12 cores=0-7
/proc/18197/task/18213/stat : 18213 (java) S 18195 18195 16408 0 -1 1077944384 8542 0 0 0 209 3 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445194885616 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18214] ppid=18195 vsize=28768328 memory=6944656592455097440 CPUtime=0.9 cores=0-7
/proc/18197/task/18214/stat : 18214 (java) S 18195 18195 16408 0 -1 1077944384 5223 0 0 0 89 1 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445193833072 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18215] ppid=18195 vsize=28768328 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/18197/task/18215/stat : 18215 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445192780256 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18216] ppid=18195 vsize=28768328 memory=280290506575680 CPUtime=0 cores=0-7
/proc/18197/task/18216/stat : 18216 (java) S 18195 18195 16408 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445191727792 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18217] ppid=18195 vsize=28768328 memory=545 CPUtime=3.22 cores=0-7
/proc/18197/task/18217/stat : 18217 (java) R 18195 18195 16408 0 -1 4202560 152 0 0 0 321 1 0 0 20 0 28 0 417977925 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445182518008 140446463514976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18218] ppid=18195 vsize=28768328 memory=0 CPUtime=3.31 cores=0-7
/proc/18197/task/18218/stat : 18218 (java) R 18195 18195 16408 0 -1 4202560 117 0 0 0 331 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445181467064 140446463514173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18219] ppid=18195 vsize=28768328 memory=6003970450153558629 CPUtime=3.04 cores=0-7
/proc/18197/task/18219/stat : 18219 (java) R 18195 18195 16408 0 -1 4202560 839 0 0 0 304 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445180412152 140446463421650 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18220] ppid=18195 vsize=28768328 memory=7373916858537504097 CPUtime=3.23 cores=0-7
/proc/18197/task/18220/stat : 18220 (java) R 18195 18195 16408 0 -1 4202560 111 0 0 0 323 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445179359736 140446463514027 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18221] ppid=18195 vsize=28768328 memory=6935649255759568960 CPUtime=3.18 cores=0-7
/proc/18197/task/18221/stat : 18221 (java) R 18195 18195 16408 0 -1 4202560 106 0 0 0 318 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445178306664 140446463515174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18222] ppid=18195 vsize=28768328 memory=-7098080424032564416 CPUtime=3.24 cores=0-7
/proc/18197/task/18222/stat : 18222 (java) R 18195 18195 16408 0 -1 4202560 298 0 0 0 324 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445177254952 140446463514027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18223] ppid=18195 vsize=28768328 memory=0 CPUtime=2.88 cores=0-7
/proc/18197/task/18223/stat : 18223 (java) R 18195 18195 16408 0 -1 4202560 310 0 0 0 288 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445176201368 140446463514128 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18224] ppid=18195 vsize=28768328 memory=0 CPUtime=3.22 cores=0-7
/proc/18197/task/18224/stat : 18224 (java) R 18195 18195 16408 0 -1 4202560 163 0 0 0 322 0 0 0 20 0 28 0 417977926 29458767872 328266 33554432000 4194304 4196468 140725628214656 140445175149272 140446463513183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 37.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1314520 KiB

[startup+7.40115 s]
/proc/loadavg: 7.47 7.93 7.78 10/219 18224
/proc/meminfo: memFree=27471088/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
[pid=18197] ppid=18195 vsize=28768328 memory=1313144 CPUtime=39.49 cores=0-7
/proc/18197/stat : 18197 (java) S 18195 18195 16408 0 -1 1077944320 48417 0 0 0 3838 111 0 0 20 0 28 0 417977600 29458767872 328286 33554432000 4194304 4196468 140725628214656 140725628197200 140446822084343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
/proc/18197/statm: 7192082 328286 3520 1 0 7153184 0
[pid=18197/tid=18198] ppid=18195 vsize=28768328 memory=40732 CPUtime=2.99 cores=0-7
/proc/18197/task/18198/stat : 18198 (java) S 18195 18195 16408 0 -1 1077944384 10516 0 0 0 282 17 0 0 20 0 28 0 417977600 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446826325120 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18199] ppid=18195 vsize=28768328 memory=988 CPUtime=0.18 cores=0-7
/proc/18197/task/18199/stat : 18199 (java) S 18195 18195 16408 0 -1 1077944384 142 0 0 0 10 8 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446774704656 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18200] ppid=18195 vsize=28768328 memory=2008 CPUtime=0.19 cores=0-7
/proc/18197/task/18200/stat : 18200 (java) S 18195 18195 16408 0 -1 1077944384 198 0 0 0 11 8 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446372059792 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18201] ppid=18195 vsize=28768328 memory=1436 CPUtime=0.19 cores=0-7
/proc/18197/task/18201/stat : 18201 (java) S 18195 18195 16408 0 -1 1077944384 160 0 0 0 10 9 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446371006736 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18202] ppid=18195 vsize=28768328 memory=580 CPUtime=0.21 cores=0-7
/proc/18197/task/18202/stat : 18202 (java) S 18195 18195 16408 0 -1 1077944384 165 0 0 0 12 9 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446369954192 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18203] ppid=18195 vsize=28768328 memory=1720 CPUtime=0.21 cores=0-7
/proc/18197/task/18203/stat : 18203 (java) S 18195 18195 16408 0 -1 1077944384 188 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446368902160 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18204] ppid=18195 vsize=28768328 memory=10604 CPUtime=0.21 cores=0-7
/proc/18197/task/18204/stat : 18204 (java) S 18195 18195 16408 0 -1 1077944384 201 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446367849616 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18205] ppid=18195 vsize=28768328 memory=20036 CPUtime=0.19 cores=0-7
/proc/18197/task/18205/stat : 18205 (java) S 18195 18195 16408 0 -1 1077944384 161 0 0 0 11 8 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446366796560 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18206] ppid=18195 vsize=28768328 memory=-2895008908443675764 CPUtime=0.21 cores=0-7
/proc/18197/task/18206/stat : 18206 (java) S 18195 18195 16408 0 -1 1077944384 173 0 0 0 11 10 0 0 20 0 28 0 417977601 29458767872 328286 33554432000 4194304 4196468 140725628214656 140446365744016 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18207] ppid=18195 vsize=28768328 memory=6943526294502006880 CPUtime=0.01 cores=0-7
/proc/18197/task/18207/stat : 18207 (java) S 18195 18195 16408 0 -1 1077944384 1071 0 0 0 1 0 0 0 20 0 28 0 417977603 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445201201392 140446822095490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18208] ppid=18195 vsize=28768328 memory=3467824627879784490 CPUtime=0 cores=0-7
/proc/18197/task/18208/stat : 18208 (java) S 18195 18195 16408 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 417977603 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445200147680 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18209] ppid=18195 vsize=28768328 memory=4639059877604708710 CPUtime=0 cores=0-7
/proc/18197/task/18209/stat : 18209 (java) S 18195 18195 16408 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 417977603 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445199094528 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18210] ppid=18195 vsize=28768328 memory=150 CPUtime=0 cores=0-7
/proc/18197/task/18210/stat : 18210 (java) S 18195 18195 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445198043088 140446822102939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18211] ppid=18195 vsize=28768328 memory=358 CPUtime=2.21 cores=0-7
/proc/18197/task/18211/stat : 18211 (java) S 18195 18195 16408 0 -1 1077944384 8564 0 0 0 218 3 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445196991216 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18212] ppid=18195 vsize=28768328 memory=322 CPUtime=2.61 cores=0-7
/proc/18197/task/18212/stat : 18212 (java) S 18195 18195 16408 0 -1 1077944384 9549 0 0 0 258 3 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445195938672 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18213] ppid=18195 vsize=28768328 memory=11 CPUtime=2.17 cores=0-7
/proc/18197/task/18213/stat : 18213 (java) S 18195 18195 16408 0 -1 1077944384 8549 0 0 0 214 3 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445194885616 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18214] ppid=18195 vsize=28768328 memory=1375 CPUtime=0.91 cores=0-7
/proc/18197/task/18214/stat : 18214 (java) S 18195 18195 16408 0 -1 1077944384 5225 0 0 0 90 1 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445193833072 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18215] ppid=18195 vsize=28768328 memory=27762 CPUtime=0 cores=0-7
/proc/18197/task/18215/stat : 18215 (java) S 18195 18195 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445192780256 140446822094549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18216] ppid=18195 vsize=28768328 memory=1 CPUtime=0 cores=0-7
/proc/18197/task/18216/stat : 18216 (java) S 18195 18195 16408 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 417977606 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445191727792 140446822095490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18217] ppid=18195 vsize=28768328 memory=0 CPUtime=3.41 cores=0-7
/proc/18197/task/18217/stat : 18217 (java) R 18195 18195 16408 0 -1 4202560 153 0 0 0 340 1 0 0 20 0 28 0 417977925 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445182515608 140446463514305 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18218] ppid=18195 vsize=28768328 memory=1 CPUtime=3.5 cores=0-7
/proc/18197/task/18218/stat : 18218 (java) R 18195 18195 16408 0 -1 4202560 119 0 0 0 350 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445181464064 140446463515326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18219] ppid=18195 vsize=28768328 memory=0 CPUtime=3.2 cores=0-7
/proc/18197/task/18219/stat : 18219 (java) R 18195 18195 16408 0 -1 4202560 955 0 0 0 320 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445180412032 140446463515188 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18220] ppid=18195 vsize=28768328 memory=2382 CPUtime=3.43 cores=0-7
/proc/18197/task/18220/stat : 18220 (java) R 18195 18195 16408 0 -1 4202560 112 0 0 0 343 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445179359488 140446463421792 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18221] ppid=18195 vsize=28768328 memory=3 CPUtime=3.37 cores=0-7
/proc/18197/task/18221/stat : 18221 (java) R 18195 18195 16408 0 -1 4202560 107 0 0 0 337 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445178306416 140446463515124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18222] ppid=18195 vsize=28768328 memory=678 CPUtime=3.44 cores=0-7
/proc/18197/task/18222/stat : 18222 (java) R 18195 18195 16408 0 -1 4202560 306 0 0 0 344 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445177254024 140446463514173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18223] ppid=18195 vsize=28768328 memory=1079 CPUtime=3.03 cores=0-7
/proc/18197/task/18223/stat : 18223 (java) R 18195 18195 16408 0 -1 4202560 311 0 0 0 303 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445176201048 140446463514366 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
[pid=18197/tid=18224] ppid=18195 vsize=28768328 memory=288230574492221466 CPUtime=3.42 cores=0-7
/proc/18197/task/18224/stat : 18224 (java) R 18195 18195 16408 0 -1 4202560 165 0 0 0 342 0 0 0 20 0 28 0 417977926 29458767872 328286 33554432000 4194304 4196468 140725628214656 140445175148288 140446463515182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10964992 140725628216298 140725628216470 140725628216470 140725628219343 0
Current children cumulated CPU time: 39.49 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1314600 KiB

[startup+7.50137 s]
/proc/loadavg: 7.47 7.93 7.78 10/219 18224
/proc/meminfo: memFree=27471088/32770624 swapFree=66959224/67108860
[pid=18195] ppid=18192 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18195/stat : 18195 (xcsp3-exec) S 18192 18195 16408 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417977600 115843072 364 33554432000 4194304 5098028 140732380939712 140732380937816 139626634961532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25317376 140732380943221 140732380943465 140732380943465 140732380946378 0
/proc/18195/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 7.51413
CPU time (s): 40.1856
CPU user time (s): 39.0556
CPU system time (s): 1.13002
CPU usage (%): 534.8
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1315644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0556
system time used= 1.13001
maximum resident set size= 1314508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5024
involuntary context switches= 1227


# summary of solver processes directly reported to runsolver:
#   pid: 18195
#   total CPU time (s): 40.1856
#   total CPU user time (s): 39.0556
#   total CPU system time (s): 1.13002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084175 second user time and 0.120104 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 02:18:54
IDJOB=4393504
IDBENCH=122716
IDSOLVER=2841
FILE ID=node124/4393504-1568420374
RUNJOBID= node124-1568416728-16435
PBS_JOBID= 21702259
Free space on /tmp= 61808 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.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-4393504-1568420374/watcher-4393504-1568420374 -o /tmp/evaluation-result-4393504-1568420374/solver-4393504-1568420374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1078332659 HOME/instance-4393504-1568420374.xml

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

MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=1078332659

node124.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.47
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.47
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.47
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.47
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:        28772772 kB
MemAvailable:   31849344 kB
Buffers:          188780 kB
Cached:          3168484 kB
SwapCached:        45888 kB
Active:           989500 kB
Inactive:        2421104 kB
Active(anon):       4348 kB
Inactive(anon):    90100 kB
Active(file):     985152 kB
Inactive(file):  2331004 kB
Unevictable:      106540 kB
Mlocked:          106540 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             28044 kB
Writeback:            12 kB
AnonPages:        114792 kB
Mapped:            44196 kB
Shmem:             32744 kB
Slab:             181812 kB
SReclaimable:     152504 kB
SUnreclaim:        29308 kB
KernelStack:        3376 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61784 MiB
End job on node124 at 2019-09-14 02:19:02