Trace number 4404364

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-09-20 parallelUNSAT 388.873 128.606

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t85-8.xml
MD5SUM99ba47a6bc0c62f84cd44bdd38bc871f
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 benchmark12.7157
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree74
Maximum variable degree95
Distribution of variable degrees[{"degree":74,"count":1},{"degree":75,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":85,"count":2},{"degree":86,"count":1},{"degree":90,"count":2},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
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-4404364-1568995723.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404364-1568995723.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
343.20/122.68	c solve instance...
388.66/128.41	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 (7542 MiB free)
  memory of node 1: 16384 MiB (7341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404364-1568995723/watcher-4404364-1568995723 -o /tmp/evaluation-result-4404364-1568995723/solver-4404364-1568995723 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568994968-4744 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1554318320 HOME/instance-4404364-1568995723.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=5116, runsolver pid=5113

[startup+0.100108 s]*
/proc/loadavg: 3.99 5.31 4.57 2/211 5139
/proc/meminfo: memFree=15226740/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28227396 memory=28880 CPUtime=0.12 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 5701 0 0 0 12 0 0 0 20 0 20 0 475843794 28904853504 7220 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7056849 7220 3123 1 0 7019032 0
[pid=5118/tid=5119] ppid=5116 vsize=28227396 memory=7900032910382744478 CPUtime=0.09 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) R 5116 5116 4717 0 -1 4202560 3585 0 0 0 9 0 0 0 20 0 20 0 475843794 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672924775296 140672920560218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28227396 memory=139626838001280 CPUtime=0 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5125] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5125/stat : 5125 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672870001168 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5126] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5126/stat : 5126 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672868948880 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5127] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5127/stat : 5127 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672867896080 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5128] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5128/stat : 5128 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672866843792 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5129] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5129/stat : 5129 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 7220 33554432000 4194304 4196468 140729886204960 140672865790992 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5130] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5130/stat : 5130 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843796 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671115577456 140672920550018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5131] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5131/stat : 5131 (java) S 5116 5116 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475843797 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671114523424 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5132] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5132/stat : 5132 (java) S 5116 5116 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475843797 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671113471088 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5133] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5133/stat : 5133 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843799 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671112419408 140672920557467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5134] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5134/stat : 5134 (java) S 5116 5116 4717 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671111367280 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5135] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5135/stat : 5135 (java) S 5116 5116 4717 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671110314480 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5136] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5136/stat : 5136 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671109262192 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5137] ppid=5116 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5118/task/5137/stat : 5137 (java) R 5116 5116 4717 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671108209392 140672899084864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5138] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5138/stat : 5138 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671107156320 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5139] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5139/stat : 5139 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 7220 33554432000 4194304 4196468 140729886204960 140671106103600 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30332 KiB

[startup+0.210186 s]*
/proc/loadavg: 3.99 5.31 4.57 2/211 5139
/proc/meminfo: memFree=15214480/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28227396 memory=40532 CPUtime=0.33 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 9353 0 0 0 30 3 0 0 20 0 20 0 475843794 28904853504 10133 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7056849 10133 3296 1 0 7019032 0
[pid=5118/tid=5119] ppid=5116 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) R 5116 5116 4717 0 -1 4202560 6572 0 0 0 18 2 0 0 20 0 20 0 475843794 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672924768592 140672920550806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28227396 memory=139626838013986 CPUtime=0 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5125] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5125/stat : 5125 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672870001168 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5126] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5126/stat : 5126 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672868948880 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5127] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5127/stat : 5127 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672867896080 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5128] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5128/stat : 5128 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672866843792 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5129] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5129/stat : 5129 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28904853504 10133 33554432000 4194304 4196468 140729886204960 140672865790992 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5130] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5130/stat : 5130 (java) S 5116 5116 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475843796 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671115577456 140672920550018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5131] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5131/stat : 5131 (java) S 5116 5116 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475843797 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671114523424 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5132] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5132/stat : 5132 (java) S 5116 5116 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475843797 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671113471088 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5133] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5133/stat : 5133 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843799 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671112419408 140672920557467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5134] ppid=5116 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5118/task/5134/stat : 5134 (java) R 5116 5116 4717 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671111367280 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5135] ppid=5116 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5118/task/5135/stat : 5135 (java) S 5116 5116 4717 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671110314480 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5136] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5136/stat : 5136 (java) S 5116 5116 4717 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671109262192 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5137] ppid=5116 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/5118/task/5137/stat : 5137 (java) R 5116 5116 4717 0 -1 4202560 810 0 0 0 7 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671108209392 140672920560218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5138] ppid=5116 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5138/stat : 5138 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671107156320 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5139] ppid=5116 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5139/stat : 5139 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843800 28904853504 10133 33554432000 4194304 4196468 140729886204960 140671106103600 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41984 KiB

[startup+0.309672 s]*
/proc/loadavg: 3.99 5.31 4.57 4/211 5139
/proc/meminfo: memFree=15206960/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28231652 memory=49724 CPUtime=0.51 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 10769 0 0 0 48 3 0 0 20 0 20 0 475843794 28909211648 12431 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7057913 12431 3362 1 0 7019032 0
[pid=5118/tid=5119] ppid=5116 vsize=28231652 memory=7900032910382744478 CPUtime=0.29 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) R 5116 5116 4717 0 -1 4202560 7689 0 0 0 27 2 0 0 20 0 20 0 475843794 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672924769984 140672904619358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5125] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5125/stat : 5125 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672870001168 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5126] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5126/stat : 5126 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672868948880 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5127] ppid=5116 vsize=28231652 memory=139626702531247 CPUtime=0 cores=0-7
/proc/5118/task/5127/stat : 5127 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672867896080 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5128] ppid=5116 vsize=28231652 memory=139626702533552 CPUtime=0 cores=0-7
/proc/5118/task/5128/stat : 5128 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672866843792 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5129] ppid=5116 vsize=28231652 memory=139626702535856 CPUtime=0 cores=0-7
/proc/5118/task/5129/stat : 5129 (java) S 5116 5116 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475843795 28909211648 12431 33554432000 4194304 4196468 140729886204960 140672865790992 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5130] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5130/stat : 5130 (java) S 5116 5116 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475843796 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671115577456 140672920550018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5131] ppid=5116 vsize=28231652 memory=279253405085584 CPUtime=0 cores=0-7
/proc/5118/task/5131/stat : 5131 (java) S 5116 5116 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475843797 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671114523424 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5132] ppid=5116 vsize=28231652 memory=279253405083280 CPUtime=0 cores=0-7
/proc/5118/task/5132/stat : 5132 (java) S 5116 5116 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475843797 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671113471088 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5133] ppid=5116 vsize=28231652 memory=279253405090192 CPUtime=0 cores=0-7
/proc/5118/task/5133/stat : 5133 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843799 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671112419408 140672920557467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5134] ppid=5116 vsize=28231652 memory=279253405031472 CPUtime=0.02 cores=0-7
/proc/5118/task/5134/stat : 5134 (java) S 5116 5116 4717 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 475843800 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671111367280 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5135] ppid=5116 vsize=28231652 memory=279253405104016 CPUtime=0.03 cores=0-7
/proc/5118/task/5135/stat : 5135 (java) R 5116 5116 4717 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 20 0 475843800 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671110314480 140672904937277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5136] ppid=5116 vsize=28231652 memory=279253405110928 CPUtime=0.01 cores=0-7
/proc/5118/task/5136/stat : 5136 (java) S 5116 5116 4717 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 475843800 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671109262192 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5137] ppid=5116 vsize=28231652 memory=279253405108624 CPUtime=0.12 cores=0-7
/proc/5118/task/5137/stat : 5137 (java) S 5116 5116 4717 0 -1 1077944384 984 0 0 0 12 0 0 0 20 0 20 0 475843800 28909211648 12431 33554432000 4194304 4196468 140729886204960 140671108209392 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5138] ppid=5116 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5118/task/5138/stat : 5138 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475843800 28909211648 12459 33554432000 4194304 4196468 140729886204960 140671107156320 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5139] ppid=5116 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5118/task/5139/stat : 5139 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475843800 28909211648 12459 33554432000 4194304 4196468 140729886204960 140671106103600 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51176 KiB

[startup+0.700974 s]
/proc/loadavg: 3.99 5.31 4.57 9/211 5139
/proc/meminfo: memFree=15011168/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28231728 memory=301692 CPUtime=1.59 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 15410 0 0 0 119 40 0 0 20 0 20 0 475843794 28909289472 75423 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7057932 75423 3437 1 0 7019032 0
[pid=5118/tid=5119] ppid=5116 vsize=28231728 memory=279253405482672 CPUtime=0.62 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) R 5116 5116 4717 0 -1 4202560 8271 0 0 0 56 6 0 0 20 0 20 0 475843794 28909289472 75423 33554432000 4194304 4196468 140729886204960 140672924776816 140672904619358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28231728 memory=139626702742384 CPUtime=0.04 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 65 0 0 0 0 4 0 0 20 0 20 0 475843795 28909289472 75423 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28231728 memory=0 CPUtime=0.03 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 46 0 0 0 0 3 0 0 20 0 20 0 475843795 28909289472 75423 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28231728 memory=6080 CPUtime=0.03 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 48 0 0 0 0 3 0 0 20 0 20 0 475843795 28909289472 75423 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0

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

[pid=5118/tid=5160] ppid=5116 vsize=28766288 memory=1772 CPUtime=3.14 cores=0-7
/proc/5118/task/5160/stat : 5160 (java) R 5116 5116 4717 0 -1 4202560 264 0 0 0 314 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671095020152 140672547306047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5161] ppid=5116 vsize=28766288 memory=111632 CPUtime=3.09 cores=0-7
/proc/5118/task/5161/stat : 5161 (java) R 5116 5116 4717 0 -1 4202560 5267 0 0 0 309 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671093965784 140672546807442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5162] ppid=5116 vsize=28766288 memory=804 CPUtime=2.98 cores=0-7
/proc/5118/task/5162/stat : 5162 (java) R 5116 5116 4717 0 -1 4202560 14228 0 0 0 298 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671092913240 140672546809190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5163] ppid=5116 vsize=28766288 memory=4104 CPUtime=3.03 cores=0-7
/proc/5118/task/5163/stat : 5163 (java) R 5116 5116 4717 0 -1 4202560 656 0 0 0 303 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671091859864 140672546809825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5164] ppid=5116 vsize=28766288 memory=1808 CPUtime=3.08 cores=0-7
/proc/5118/task/5164/stat : 5164 (java) R 5116 5116 4717 0 -1 4202560 343 0 0 0 308 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671090807416 140672547373623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5165] ppid=5116 vsize=28766288 memory=1452 CPUtime=3.07 cores=0-7
/proc/5118/task/5165/stat : 5165 (java) R 5116 5116 4717 0 -1 4202560 333 0 0 0 307 0 0 0 20 0 28 0 475856063 29456678912 3808609 33554432000 4194304 4196468 140729886204960 140671089753472 140672546794618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 372.68 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 15235888 KiB

[startup+128.01 s]*
/proc/loadavg: 2.84 4.30 4.28 11/222 5166
/proc/meminfo: memFree=245604/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28766288 memory=15234440 CPUtime=385.57 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 962119 0 0 0 35058 3499 0 0 20 0 28 0 475843794 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7191572 3808610 3519 1 0 7152672 0
[pid=5118/tid=5119] ppid=5116 vsize=28766288 memory=7900032910382744478 CPUtime=83.44 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) S 5116 5116 4717 0 -1 1077944384 59112 0 0 0 8246 98 0 0 20 0 28 0 475843794 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672924779648 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28766288 memory=3156 CPUtime=31.49 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 75746 0 0 0 2766 383 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28766288 memory=3189 CPUtime=31.57 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 102426 0 0 0 2746 411 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28766288 memory=3147 CPUtime=31.56 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 112502 0 0 0 2696 460 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5125] ppid=5116 vsize=28766288 memory=4126316290023845779 CPUtime=31.89 cores=0-7
/proc/5118/task/5125/stat : 5125 (java) S 5116 5116 4717 0 -1 1077944384 69298 0 0 0 2799 390 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672870001168 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5126] ppid=5116 vsize=28766288 memory=984 CPUtime=31.47 cores=0-7
/proc/5118/task/5126/stat : 5126 (java) S 5116 5116 4717 0 -1 1077944384 117349 0 0 0 2707 440 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672868948880 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5127] ppid=5116 vsize=28766288 memory=2032 CPUtime=31.69 cores=0-7
/proc/5118/task/5127/stat : 5127 (java) S 5116 5116 4717 0 -1 1077944384 78286 0 0 0 2722 447 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672867896080 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5128] ppid=5116 vsize=28766288 memory=1328 CPUtime=31.65 cores=0-7
/proc/5118/task/5128/stat : 5128 (java) S 5116 5116 4717 0 -1 1077944384 104131 0 0 0 2732 433 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672866843792 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5129] ppid=5116 vsize=28766288 memory=1560 CPUtime=31.57 cores=0-7
/proc/5118/task/5129/stat : 5129 (java) S 5116 5116 4717 0 -1 1077944384 128917 0 0 0 2746 411 0 0 20 0 28 0 475843795 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140672865790992 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5130] ppid=5116 vsize=28766288 memory=976 CPUtime=7.59 cores=0-7
/proc/5118/task/5130/stat : 5130 (java) S 5116 5116 4717 0 -1 1077944384 48201 0 0 0 753 6 0 0 20 0 28 0 475843796 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671115577456 140672920550018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5131] ppid=5116 vsize=28766288 memory=4104 CPUtime=0 cores=0-7
/proc/5118/task/5131/stat : 5131 (java) S 5116 5116 4717 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 475843797 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671114523488 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5132] ppid=5116 vsize=28766288 memory=1808 CPUtime=0 cores=0-7
/proc/5118/task/5132/stat : 5132 (java) S 5116 5116 4717 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 28 0 475843797 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671113471104 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5133] ppid=5116 vsize=28766288 memory=920 CPUtime=0 cores=0-7
/proc/5118/task/5133/stat : 5133 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475843799 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671112419408 140672920557467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5134] ppid=5116 vsize=28766288 memory=1452 CPUtime=0.99 cores=0-7
/proc/5118/task/5134/stat : 5134 (java) R 5116 5116 4717 0 -1 4202560 6708 0 0 0 97 2 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671111367576 140672903926169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5135] ppid=5116 vsize=28766288 memory=1452 CPUtime=1.02 cores=0-7
/proc/5118/task/5135/stat : 5135 (java) S 5116 5116 4717 0 -1 1077944384 5588 0 0 0 102 0 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671110314480 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5136] ppid=5116 vsize=28766288 memory=15229068 CPUtime=1.43 cores=0-7
/proc/5118/task/5136/stat : 5136 (java) S 5116 5116 4717 0 -1 1077944384 11666 0 0 0 142 1 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671109262192 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5137] ppid=5116 vsize=28766288 memory=1452 CPUtime=0.73 cores=0-7
/proc/5118/task/5137/stat : 5137 (java) S 5116 5116 4717 0 -1 1077944384 6641 0 0 0 71 2 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671108209392 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5138] ppid=5116 vsize=28766288 memory=2032 CPUtime=0 cores=0-7
/proc/5118/task/5138/stat : 5138 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671107156320 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5139] ppid=5116 vsize=28766288 memory=1328 CPUtime=0.05 cores=0-7
/proc/5118/task/5139/stat : 5139 (java) S 5116 5116 4717 0 -1 1077944384 747 0 0 0 3 2 0 0 20 0 28 0 475843800 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671106103600 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5158] ppid=5116 vsize=28766288 memory=1560 CPUtime=4.67 cores=0-7
/proc/5118/task/5158/stat : 5158 (java) R 5116 5116 4717 0 -1 4202560 10566 0 0 0 467 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671097121736 140672547306042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5159] ppid=5116 vsize=28766288 memory=3616 CPUtime=4.6 cores=0-7
/proc/5118/task/5159/stat : 5159 (java) R 5116 5116 4717 0 -1 4202560 483 0 0 0 460 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671096070280 140672546807314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5160] ppid=5116 vsize=28766288 memory=2832 CPUtime=4.72 cores=0-7
/proc/5118/task/5160/stat : 5160 (java) R 5116 5116 4717 0 -1 4202560 498 0 0 0 472 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671095017704 140672546809733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5161] ppid=5116 vsize=28766288 memory=1548 CPUtime=4.66 cores=0-7
/proc/5118/task/5161/stat : 5161 (java) R 5116 5116 4717 0 -1 4202560 5279 0 0 0 466 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671093964904 140672546807337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5162] ppid=5116 vsize=28766288 memory=1056 CPUtime=4.59 cores=0-7
/proc/5118/task/5162/stat : 5162 (java) R 5116 5116 4717 0 -1 4202560 15150 0 0 0 459 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671092912560 140672547373597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5163] ppid=5116 vsize=28766288 memory=8112282956445269571 CPUtime=4.65 cores=0-7
/proc/5118/task/5163/stat : 5163 (java) R 5116 5116 4717 0 -1 4202560 656 0 0 0 465 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671091859680 140672546809825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5164] ppid=5116 vsize=28766288 memory=-8253362762722141311 CPUtime=4.64 cores=0-7
/proc/5118/task/5164/stat : 5164 (java) R 5116 5116 4717 0 -1 4202560 359 0 0 0 464 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671090808312 140672547306281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5165] ppid=5116 vsize=28766288 memory=7100839861465685612 CPUtime=4.64 cores=0-7
/proc/5118/task/5165/stat : 5165 (java) R 5116 5116 4717 0 -1 4202560 343 0 0 0 464 0 0 0 20 0 28 0 475856063 29456678912 3808610 33554432000 4194304 4196468 140729886204960 140671089754632 140672546794634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 385.57 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 15235892 KiB

[startup+128.408 s]
/proc/loadavg: 2.84 4.30 4.28 11/222 5166
/proc/meminfo: memFree=245604/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
[pid=5118] ppid=5116 vsize=28766288 memory=15234500 CPUtime=388.66 cores=0-7
/proc/5118/stat : 5118 (java) S 5116 5116 4717 0 -1 1077944320 966080 0 0 0 35366 3500 0 0 20 0 28 0 475843794 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140729886187504 140672920538871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
/proc/5118/statm: 7191572 3808625 3519 1 0 7152672 0
[pid=5118/tid=5119] ppid=5116 vsize=28766288 memory=744 CPUtime=83.44 cores=0-7
/proc/5118/task/5119/stat : 5119 (java) S 5116 5116 4717 0 -1 1077944384 59112 0 0 0 8246 98 0 0 20 0 28 0 475843794 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672924779648 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5121] ppid=5116 vsize=28766288 memory=8444 CPUtime=31.49 cores=0-7
/proc/5118/task/5121/stat : 5121 (java) S 5116 5116 4717 0 -1 1077944384 75746 0 0 0 2766 383 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672873159056 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5123] ppid=5116 vsize=28766288 memory=0 CPUtime=31.57 cores=0-7
/proc/5118/task/5123/stat : 5123 (java) S 5116 5116 4717 0 -1 1077944384 102426 0 0 0 2746 411 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672872106256 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5124] ppid=5116 vsize=28766288 memory=6946353104739656560 CPUtime=31.56 cores=0-7
/proc/5118/task/5124/stat : 5124 (java) S 5116 5116 4717 0 -1 1077944384 112502 0 0 0 2696 460 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672871053968 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5125] ppid=5116 vsize=28766288 memory=6946353104739656560 CPUtime=31.89 cores=0-7
/proc/5118/task/5125/stat : 5125 (java) S 5116 5116 4717 0 -1 1077944384 69298 0 0 0 2799 390 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672870001168 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5126] ppid=5116 vsize=28766288 memory=6946353104739656560 CPUtime=31.47 cores=0-7
/proc/5118/task/5126/stat : 5126 (java) S 5116 5116 4717 0 -1 1077944384 117349 0 0 0 2707 440 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672868948880 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5127] ppid=5116 vsize=28766288 memory=6946353104739656560 CPUtime=31.69 cores=0-7
/proc/5118/task/5127/stat : 5127 (java) S 5116 5116 4717 0 -1 1077944384 78286 0 0 0 2722 447 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672867896080 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5128] ppid=5116 vsize=28766288 memory=8112282956445269571 CPUtime=31.65 cores=0-7
/proc/5118/task/5128/stat : 5128 (java) S 5116 5116 4717 0 -1 1077944384 104131 0 0 0 2732 433 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672866843792 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5129] ppid=5116 vsize=28766288 memory=6080 CPUtime=31.57 cores=0-7
/proc/5118/task/5129/stat : 5129 (java) S 5116 5116 4717 0 -1 1077944384 128917 0 0 0 2746 411 0 0 20 0 28 0 475843795 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140672865790992 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5130] ppid=5116 vsize=28766288 memory=1124 CPUtime=7.59 cores=0-7
/proc/5118/task/5130/stat : 5130 (java) S 5116 5116 4717 0 -1 1077944384 48201 0 0 0 753 6 0 0 20 0 28 0 475843796 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671115577456 140672920550018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5131] ppid=5116 vsize=28766288 memory=14004 CPUtime=0 cores=0-7
/proc/5118/task/5131/stat : 5131 (java) S 5116 5116 4717 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 475843797 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671114523488 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5132] ppid=5116 vsize=28766288 memory=12024 CPUtime=0 cores=0-7
/proc/5118/task/5132/stat : 5132 (java) S 5116 5116 4717 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 28 0 475843797 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671113471104 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5133] ppid=5116 vsize=28766288 memory=2124 CPUtime=0 cores=0-7
/proc/5118/task/5133/stat : 5133 (java) S 5116 5116 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475843799 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671112419408 140672920557467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5134] ppid=5116 vsize=28766288 memory=16484 CPUtime=1.06 cores=0-7
/proc/5118/task/5134/stat : 5134 (java) S 5116 5116 4717 0 -1 1077944384 7633 0 0 0 104 2 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671111367280 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5135] ppid=5116 vsize=28766288 memory=504 CPUtime=1.12 cores=0-7
/proc/5118/task/5135/stat : 5135 (java) S 5116 5116 4717 0 -1 1077944384 7080 0 0 0 112 0 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671110314480 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5136] ppid=5116 vsize=28766288 memory=1564 CPUtime=1.45 cores=0-7
/proc/5118/task/5136/stat : 5136 (java) S 5116 5116 4717 0 -1 1077944384 12251 0 0 0 144 1 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671109262192 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5137] ppid=5116 vsize=28766288 memory=924 CPUtime=0.74 cores=0-7
/proc/5118/task/5137/stat : 5137 (java) S 5116 5116 4717 0 -1 1077944384 6716 0 0 0 72 2 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671108209392 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5138] ppid=5116 vsize=28766288 memory=1420 CPUtime=0 cores=0-7
/proc/5118/task/5138/stat : 5138 (java) S 5116 5116 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671107156320 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5139] ppid=5116 vsize=28766288 memory=1452 CPUtime=0.05 cores=0-7
/proc/5118/task/5139/stat : 5139 (java) S 5116 5116 4717 0 -1 1077944384 769 0 0 0 3 2 0 0 20 0 28 0 475843800 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671106103600 140672920550018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5158] ppid=5116 vsize=28766288 memory=12660444 CPUtime=5.06 cores=0-7
/proc/5118/task/5158/stat : 5158 (java) S 5116 5116 4717 0 -1 1077944384 10674 0 0 0 505 1 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671097126592 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5159] ppid=5116 vsize=28766288 memory=1452 CPUtime=4.98 cores=0-7
/proc/5118/task/5159/stat : 5159 (java) S 5116 5116 4717 0 -1 1077944384 678 0 0 0 498 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671096075216 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5160] ppid=5116 vsize=28766288 memory=8112282956445269571 CPUtime=5.11 cores=0-7
/proc/5118/task/5160/stat : 5160 (java) R 5116 5116 4717 0 -1 4202560 617 0 0 0 511 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671095019704 140672546794634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5161] ppid=5116 vsize=28766288 memory=744 CPUtime=4.98 cores=0-7
/proc/5118/task/5161/stat : 5161 (java) S 5116 5116 4717 0 -1 1077944384 5379 0 0 0 498 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671093970128 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5162] ppid=5116 vsize=28766288 memory=8444 CPUtime=4.99 cores=0-7
/proc/5118/task/5162/stat : 5162 (java) S 5116 5116 4717 0 -1 1077944384 15212 0 0 0 498 1 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671092917840 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5163] ppid=5116 vsize=28766288 memory=6080 CPUtime=5.02 cores=0-7
/proc/5118/task/5163/stat : 5163 (java) S 5116 5116 4717 0 -1 1077944384 751 0 0 0 502 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671091865040 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5164] ppid=5116 vsize=28766288 memory=1124 CPUtime=4.97 cores=0-7
/proc/5118/task/5164/stat : 5164 (java) S 5116 5116 4717 0 -1 1077944384 483 0 0 0 497 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671090811728 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
[pid=5118/tid=5165] ppid=5116 vsize=28766288 memory=42220 CPUtime=4.98 cores=0-7
/proc/5118/task/5165/stat : 5165 (java) S 5116 5116 4717 0 -1 1077944384 402 0 0 0 498 0 0 0 20 0 28 0 475856063 29456678912 3808625 33554432000 4194304 4196468 140729886204960 140671089758928 140672920549077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140729886209002 140729886209174 140729886209174 140729886212047 0
Current children cumulated CPU time: 388.66 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 15235952 KiB

[startup+128.6 s]
/proc/loadavg: 2.84 4.30 4.28 11/222 5166
/proc/meminfo: memFree=245604/32770624 swapFree=66955424/67108860
[pid=5116] ppid=5113 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5116/stat : 5116 (xcsp3-exec) S 5113 5116 4717 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475843794 115843072 363 33554432000 4194304 5098028 140725879642896 140725879641000 140648604738172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37490688 140725879645045 140725879645289 140725879645289 140725879648202 0
/proc/5116/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 128.606
CPU time (s): 388.873
CPU user time (s): 353.674
CPU system time (s): 35.1988
CPU usage (%): 302.375
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 15235952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.674
system time used= 35.1988
maximum resident set size= 15234508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12231
involuntary context switches= 7244


# summary of solver processes directly reported to runsolver:
#   pid: 5116
#   total CPU time (s): 388.873
#   total CPU user time (s): 353.674
#   total CPU system time (s): 35.1988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.946032 second user time and 1.38401 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-20 18:08:04
IDJOB=4404364
IDBENCH=121040
IDSOLVER=2865
FILE ID=node151/4404364-1568995723
RUNJOBID= node151-1568994968-4744
PBS_JOBID= 21704734
Free space on /tmp= 12328 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-8.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-4404364-1568995723/watcher-4404364-1568995723 -o /tmp/evaluation-result-4404364-1568995723/solver-4404364-1568995723 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568994968-4744 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1554318320 HOME/instance-4404364-1568995723.xml

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

MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f
RANDOM SEED=1554318320

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15241480 kB
MemAvailable:   31801096 kB
Buffers:          107856 kB
Cached:         16509724 kB
SwapCached:        51768 kB
Active:          8236384 kB
Inactive:        8436752 kB
Active(anon):       1984 kB
Inactive(anon):    99080 kB
Active(file):    8234400 kB
Inactive(file):  8337672 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66955424 kB
Dirty:            112280 kB
Writeback:             0 kB
AnonPages:        110924 kB
Mapped:            48412 kB
Shmem:             36892 kB
Slab:             445028 kB
SReclaimable:     416004 kB
SUnreclaim:        29024 kB
KernelStack:        3328 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12300 MiB
End job on node151 at 2019-09-20 18:10:13