Trace number 4404253

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 90.5443 13.2267

General information on the benchmark

NameRandom/Random-RB-3-20-20/
rand-3-20-20-60-632-45.xml
MD5SUM9875f5c0ec8fbb2d8215ec13f3e1e37d
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 benchmark10.4554
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints57
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":20}]
Minimum variable degree3
Maximum variable degree16
Distribution of variable degrees[{"degree":3,"count":1},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":16,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":57}]
Number of extensional constraints57
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":57}]
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-4404253-1568995854.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404253-1568995854.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
5.59/2.53	c solve instance...
90.43/13.21	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 (7746 MiB free)
  memory of node 1: 16384 MiB (7464 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404253-1568995854/watcher-4404253-1568995854 -o /tmp/evaluation-result-4404253-1568995854/solver-4404253-1568995854 -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 899737254 HOME/instance-4404253-1568995854.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=5231, runsolver pid=5228

[startup+0.100111 s]*
/proc/loadavg: 2.69 4.25 4.26 3/214 5252
/proc/meminfo: memFree=15560400/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28227396 memory=29212 CPUtime=0.12 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 5703 0 0 0 11 1 0 0 20 0 20 0 475856745 28904853504 7303 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7056849 7303 3154 1 0 7019032 0
[pid=5233/tid=5234] ppid=5231 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) R 5231 5231 4717 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 475856745 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201451619648 140201447408797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28227396 memory=139858630919808 CPUtime=0 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5238] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5238/stat : 5238 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201364081552 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5239] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5239/stat : 5239 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201363028496 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5240] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5240/stat : 5240 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201361975952 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5241] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5241/stat : 5241 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201360922896 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5242] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5242/stat : 5242 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 7303 33554432000 4194304 4196468 140730954268080 140201359870352 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5243] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5243/stat : 5243 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856747 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200428804848 140201447398018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5244] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5244/stat : 5244 (java) S 5231 5231 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475856748 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200427751072 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5245] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5245/stat : 5245 (java) S 5231 5231 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475856748 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200426697968 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5246] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5246/stat : 5246 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200425646544 140201447405467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5247] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5247/stat : 5247 (java) S 5231 5231 4717 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200424593648 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5248] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5248/stat : 5248 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200423541104 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5249] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5249/stat : 5249 (java) R 5231 5231 4717 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200422488144 140201447397077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5250] ppid=5231 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5233/task/5250/stat : 5250 (java) R 5231 5231 4717 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 475856750 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200421435504 140201447398806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5251] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5251/stat : 5251 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856751 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200420383712 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5252] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5252/stat : 5252 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856751 28904853504 7303 33554432000 4194304 4196468 140730954268080 140200419331248 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30668 KiB

[startup+0.210281 s]*
/proc/loadavg: 2.69 4.25 4.26 2/214 5252
/proc/meminfo: memFree=15545868/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28227396 memory=40328 CPUtime=0.34 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 9370 0 0 0 30 4 0 0 20 0 20 0 475856745 28904853504 10082 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7056849 10082 3254 1 0 7019032 0
[pid=5233/tid=5234] ppid=5231 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) R 5231 5231 4717 0 -1 4202560 6622 0 0 0 17 3 0 0 20 0 20 0 475856745 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201451623008 140201431467358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28227396 memory=139858630926593 CPUtime=0 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5238] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5238/stat : 5238 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201364081552 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5239] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5239/stat : 5239 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201363028496 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5240] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5240/stat : 5240 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201361975952 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5241] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5241/stat : 5241 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201360922896 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5242] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5242/stat : 5242 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28904853504 10082 33554432000 4194304 4196468 140730954268080 140201359870352 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5243] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5243/stat : 5243 (java) S 5231 5231 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475856747 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200428804848 140201447398018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5244] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5244/stat : 5244 (java) S 5231 5231 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475856748 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200427751072 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5245] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5245/stat : 5245 (java) S 5231 5231 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475856748 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200426697968 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5246] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5246/stat : 5246 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200425646544 140201447405467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5247] ppid=5231 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5233/task/5247/stat : 5247 (java) S 5231 5231 4717 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 20 0 475856750 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200424593648 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5248] ppid=5231 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5233/task/5248/stat : 5248 (java) S 5231 5231 4717 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 475856750 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200423541104 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5249] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5249/stat : 5249 (java) S 5231 5231 4717 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 475856750 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200422488048 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5250] ppid=5231 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/5233/task/5250/stat : 5250 (java) S 5231 5231 4717 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 20 0 475856750 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200421435504 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5251] ppid=5231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5251/stat : 5251 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856751 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200420383712 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5252] ppid=5231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5252/stat : 5252 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856751 28904853504 10082 33554432000 4194304 4196468 140730954268080 140200419331248 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41784 KiB

[startup+0.309666 s]*
/proc/loadavg: 2.69 4.25 4.26 3/214 5252
/proc/meminfo: memFree=15542856/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28231652 memory=49816 CPUtime=0.51 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 10790 0 0 0 47 4 0 0 20 0 20 0 475856745 28909211648 12454 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7057913 12454 3361 1 0 7019032 0
[pid=5233/tid=5234] ppid=5231 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) R 5231 5231 4717 0 -1 4202560 7738 0 0 0 26 3 0 0 20 0 20 0 475856745 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201451617984 140201431467358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5238] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5238/stat : 5238 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201364081552 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5239] ppid=5231 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/5233/task/5239/stat : 5239 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201363028496 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5240] ppid=5231 vsize=28231652 memory=139858496549807 CPUtime=0 cores=0-7
/proc/5233/task/5240/stat : 5240 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201361975952 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5241] ppid=5231 vsize=28231652 memory=139858496552112 CPUtime=0 cores=0-7
/proc/5233/task/5241/stat : 5241 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201360922896 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5242] ppid=5231 vsize=28231652 memory=139858496554416 CPUtime=0 cores=0-7
/proc/5233/task/5242/stat : 5242 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856746 28909211648 12498 33554432000 4194304 4196468 140730954268080 140201359870352 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5243] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5243/stat : 5243 (java) S 5231 5231 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475856747 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200428804848 140201447398018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5244] ppid=5231 vsize=28231652 memory=279716993115792 CPUtime=0 cores=0-7
/proc/5233/task/5244/stat : 5244 (java) S 5231 5231 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475856748 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200427751072 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5245] ppid=5231 vsize=28231652 memory=279716993122704 CPUtime=0 cores=0-7
/proc/5233/task/5245/stat : 5245 (java) S 5231 5231 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475856748 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200426697968 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5246] ppid=5231 vsize=28231652 memory=279716993063984 CPUtime=0 cores=0-7
/proc/5233/task/5246/stat : 5246 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856750 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200425646544 140201447405467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5247] ppid=5231 vsize=28231652 memory=279716993136528 CPUtime=0.03 cores=0-7
/proc/5233/task/5247/stat : 5247 (java) R 5231 5231 4717 0 -1 4202560 615 0 0 0 3 0 0 0 20 0 20 0 475856750 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200424584032 140201425038736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5248] ppid=5231 vsize=28231652 memory=279716993143440 CPUtime=0.02 cores=0-7
/proc/5233/task/5248/stat : 5248 (java) S 5231 5231 4717 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 475856750 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200423541104 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5249] ppid=5231 vsize=28231652 memory=279716993141136 CPUtime=0.02 cores=0-7
/proc/5233/task/5249/stat : 5249 (java) S 5231 5231 4717 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 20 0 475856750 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200422488048 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5250] ppid=5231 vsize=28231652 memory=279716993157296 CPUtime=0.12 cores=0-7
/proc/5233/task/5250/stat : 5250 (java) S 5231 5231 4717 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 20 0 475856750 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200421435504 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5251] ppid=5231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5251/stat : 5251 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475856751 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200420383712 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5252] ppid=5231 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5233/task/5252/stat : 5252 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475856751 28909211648 12498 33554432000 4194304 4196468 140730954268080 140200419331248 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51272 KiB

[startup+0.701002 s]
/proc/loadavg: 2.69 4.25 4.26 5/214 5252
/proc/meminfo: memFree=15508020/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28233776 memory=191860 CPUtime=1.66 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 14673 0 0 0 157 9 0 0 20 0 20 0 475856745 28911386624 47965 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7058444 47965 3461 1 0 7019544 0
[pid=5233/tid=5234] ppid=5231 vsize=28233776 memory=279716993515184 CPUtime=0.67 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) R 5231 5231 4717 0 -1 4202560 8375 0 0 0 62 5 0 0 20 0 20 0 475856745 28911386624 47965 33554432000 4194304 4196468 140730954268080 140201451625256 140201040132290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28233776 memory=139858496758640 CPUtime=0 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475856746 28911386624 47965 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475856746 28911386624 47965 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28233776 memory=8444 CPUtime=0 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 475856746 28911386624 47965 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0

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

[pid=5233/tid=5254] ppid=5231 vsize=28766288 memory=24650293709546 CPUtime=9.97 cores=0-7
/proc/5233/task/5254/stat : 5254 (java) R 5231 5231 4717 0 -1 4202560 337 0 0 0 997 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199555056024 140201042769673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5255] ppid=5231 vsize=28766288 memory=24650293709546 CPUtime=9.71 cores=0-7
/proc/5233/task/5255/stat : 5255 (java) R 5231 5231 4717 0 -1 4202560 840 0 0 0 969 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199554003496 140201042769054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5256] ppid=5231 vsize=28766288 memory=0 CPUtime=9.93 cores=0-7
/proc/5233/task/5256/stat : 5256 (java) R 5231 5231 4717 0 -1 4202560 687 0 0 0 991 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199552950424 140201042815813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5257] ppid=5231 vsize=28766288 memory=0 CPUtime=9.82 cores=0-7
/proc/5233/task/5257/stat : 5257 (java) R 5231 5231 4717 0 -1 4202560 353 0 0 0 982 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199551897272 140201042668866 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5258] ppid=5231 vsize=28766288 memory=0 CPUtime=9.73 cores=0-7
/proc/5233/task/5258/stat : 5258 (java) R 5231 5231 4717 0 -1 4202560 648 0 0 0 973 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199550844824 140201042818085 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5259] ppid=5231 vsize=28766288 memory=0 CPUtime=10.02 cores=0-7
/proc/5233/task/5259/stat : 5259 (java) R 5231 5231 4717 0 -1 4202560 525 0 0 0 1001 1 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199549792712 140201042576397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5260] ppid=5231 vsize=28766288 memory=0 CPUtime=9.66 cores=0-7
/proc/5233/task/5260/stat : 5260 (java) R 5231 5231 4717 0 -1 4202560 264 0 0 0 966 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199548740248 140201042576562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 86.45 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 761640 KiB

[startup+13.2266 s]
# the end of solver process 5231 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=89.5663 s, system=0.978085 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8021 s]
/proc/loadavg: 3.51 4.37 4.30 9/223 5262
/proc/meminfo: memFree=14827784/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28766288 memory=760184 CPUtime=87.25 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 34525 0 0 0 8629 96 0 0 20 0 28 0 475856745 29456678912 190046 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7191572 190046 3511 1 0 7152672 0
[pid=5233/tid=5234] ppid=5231 vsize=28766288 memory=8112282956445269571 CPUtime=2.33 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) S 5231 5231 4717 0 -1 1077944384 9352 0 0 0 223 10 0 0 20 0 28 0 475856745 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201451627648 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28766288 memory=2832 CPUtime=0.17 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 117 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28766288 memory=1548 CPUtime=0.17 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 162 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28766288 memory=1056 CPUtime=0.16 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 166 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5238] ppid=5231 vsize=28766288 memory=744 CPUtime=0.15 cores=0-7
/proc/5233/task/5238/stat : 5238 (java) S 5231 5231 4717 0 -1 1077944384 159 0 0 0 8 7 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201364081552 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5239] ppid=5231 vsize=28766288 memory=8444 CPUtime=0.16 cores=0-7
/proc/5233/task/5239/stat : 5239 (java) S 5231 5231 4717 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201363028496 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5240] ppid=5231 vsize=28766288 memory=6080 CPUtime=0.17 cores=0-7
/proc/5233/task/5240/stat : 5240 (java) S 5231 5231 4717 0 -1 1077944384 156 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201361975952 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5241] ppid=5231 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/5233/task/5241/stat : 5241 (java) S 5231 5231 4717 0 -1 1077944384 149 0 0 0 9 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201360922896 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5242] ppid=5231 vsize=28766288 memory=0 CPUtime=0.16 cores=0-7
/proc/5233/task/5242/stat : 5242 (java) S 5231 5231 4717 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201359870352 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5243] ppid=5231 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/5233/task/5243/stat : 5243 (java) S 5231 5231 4717 0 -1 1077944384 992 0 0 0 1 0 0 0 20 0 28 0 475856747 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200428804848 140201447398018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5244] ppid=5231 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5244/stat : 5244 (java) S 5231 5231 4717 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475856748 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200427751136 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5245] ppid=5231 vsize=28766288 memory=279715516587034 CPUtime=0 cores=0-7
/proc/5233/task/5245/stat : 5245 (java) S 5231 5231 4717 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475856748 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200426697984 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5246] ppid=5231 vsize=28766288 memory=279716993432960 CPUtime=0 cores=0-7
/proc/5233/task/5246/stat : 5246 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200425646544 140201447405467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5247] ppid=5231 vsize=28766288 memory=279716993433024 CPUtime=1.09 cores=0-7
/proc/5233/task/5247/stat : 5247 (java) S 5231 5231 4717 0 -1 1077944384 3968 0 0 0 107 2 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200424593648 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5248] ppid=5231 vsize=28766288 memory=279716993433088 CPUtime=1.01 cores=0-7
/proc/5233/task/5248/stat : 5248 (java) S 5231 5231 4717 0 -1 1077944384 4759 0 0 0 99 2 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200423541104 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5249] ppid=5231 vsize=28766288 memory=279716993433152 CPUtime=1.25 cores=0-7
/proc/5233/task/5249/stat : 5249 (java) S 5231 5231 4717 0 -1 1077944384 4298 0 0 0 125 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200422488048 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5250] ppid=5231 vsize=28766288 memory=45079976749310 CPUtime=0.63 cores=0-7
/proc/5233/task/5250/stat : 5250 (java) S 5231 5231 4717 0 -1 1077944384 4046 0 0 0 63 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200421435504 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5251] ppid=5231 vsize=28766288 memory=279716994017440 CPUtime=0 cores=0-7
/proc/5233/task/5251/stat : 5251 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475856751 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200420383712 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5252] ppid=5231 vsize=28766288 memory=279716994017632 CPUtime=0 cores=0-7
/proc/5233/task/5252/stat : 5252 (java) S 5231 5231 4717 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 28 0 475856751 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200419331248 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5253] ppid=5231 vsize=28766288 memory=279716994017824 CPUtime=9.87 cores=0-7
/proc/5233/task/5253/stat : 5253 (java) R 5231 5231 4717 0 -1 4202560 341 0 0 0 987 0 0 0 20 0 28 0 475856999 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199556107432 140201042668848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5254] ppid=5231 vsize=28766288 memory=279716994018016 CPUtime=10.07 cores=0-7
/proc/5233/task/5254/stat : 5254 (java) R 5231 5231 4717 0 -1 4202560 337 0 0 0 1007 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199555056024 140201042817899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5255] ppid=5231 vsize=28766288 memory=279716994018208 CPUtime=9.81 cores=0-7
/proc/5233/task/5255/stat : 5255 (java) R 5231 5231 4717 0 -1 4202560 840 0 0 0 979 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199554003496 140201042815756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5256] ppid=5231 vsize=28766288 memory=279716994018400 CPUtime=10.03 cores=0-7
/proc/5233/task/5256/stat : 5256 (java) R 5231 5231 4717 0 -1 4202560 687 0 0 0 1001 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199552950424 140201042576956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5257] ppid=5231 vsize=28766288 memory=279716994018592 CPUtime=9.92 cores=0-7
/proc/5233/task/5257/stat : 5257 (java) R 5231 5231 4717 0 -1 4202560 353 0 0 0 992 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199551897272 140201042668926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5258] ppid=5231 vsize=28766288 memory=279716994018784 CPUtime=9.83 cores=0-7
/proc/5233/task/5258/stat : 5258 (java) R 5231 5231 4717 0 -1 4202560 650 0 0 0 983 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199550844824 140201042576796 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5259] ppid=5231 vsize=28766288 memory=45148696226062 CPUtime=10.12 cores=0-7
/proc/5233/task/5259/stat : 5259 (java) R 5231 5231 4717 0 -1 4202560 527 0 0 0 1011 1 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199549792712 140201042815895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5260] ppid=5231 vsize=28766288 memory=8099561564667007843 CPUtime=9.75 cores=0-7
/proc/5233/task/5260/stat : 5260 (java) R 5231 5231 4717 0 -1 4202560 264 0 0 0 975 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199548740248 140201042576543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 87.25 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 761640 KiB

[startup+13.2021 s]
/proc/loadavg: 3.51 4.37 4.30 9/223 5262
/proc/meminfo: memFree=14828036/32770624 swapFree=66955424/67108860
[pid=5231] ppid=5228 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5231/stat : 5231 (xcsp3-exec) S 5228 5231 4717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475856744 115843072 364 33554432000 4194304 5098028 140736713209904 140736713208008 139733799170684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18595840 140736713212790 140736713213033 140736713213033 140736713215946 0
/proc/5231/statm: 28282 364 305 221 0 87 0
[pid=5233] ppid=5231 vsize=28766288 memory=760184 CPUtime=90.43 cores=0-7
/proc/5233/stat : 5233 (java) S 5231 5231 4717 0 -1 1077944320 34579 0 0 0 8947 96 0 0 20 0 28 0 475856745 29456678912 190046 33554432000 4194304 4196468 140730954268080 140730954250624 140201447386871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
/proc/5233/statm: 7191572 190046 3511 1 0 7152672 0
[pid=5233/tid=5234] ppid=5231 vsize=28766288 memory=0 CPUtime=2.33 cores=0-7
/proc/5233/task/5234/stat : 5234 (java) S 5231 5231 4717 0 -1 1077944384 9352 0 0 0 223 10 0 0 20 0 28 0 475856745 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201451627648 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5235] ppid=5231 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/5233/task/5235/stat : 5235 (java) S 5231 5231 4717 0 -1 1077944384 117 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201367239696 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5236] ppid=5231 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7
/proc/5233/task/5236/stat : 5236 (java) S 5231 5231 4717 0 -1 1077944384 162 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201366187152 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5237] ppid=5231 vsize=28766288 memory=0 CPUtime=0.16 cores=0-7
/proc/5233/task/5237/stat : 5237 (java) S 5231 5231 4717 0 -1 1077944384 166 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201365134096 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5238] ppid=5231 vsize=28766288 memory=0 CPUtime=0.15 cores=0-7
/proc/5233/task/5238/stat : 5238 (java) S 5231 5231 4717 0 -1 1077944384 159 0 0 0 8 7 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201364081552 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5239] ppid=5231 vsize=28766288 memory=139858496752577 CPUtime=0.16 cores=0-7
/proc/5233/task/5239/stat : 5239 (java) S 5231 5231 4717 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201363028496 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5240] ppid=5231 vsize=28766288 memory=288230574492221466 CPUtime=0.17 cores=0-7
/proc/5233/task/5240/stat : 5240 (java) S 5231 5231 4717 0 -1 1077944384 156 0 0 0 8 9 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201361975952 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5241] ppid=5231 vsize=28766288 memory=288230583166042426 CPUtime=0.17 cores=0-7
/proc/5233/task/5241/stat : 5241 (java) S 5231 5231 4717 0 -1 1077944384 149 0 0 0 9 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201360922896 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5242] ppid=5231 vsize=28766288 memory=15260333157648022 CPUtime=0.16 cores=0-7
/proc/5233/task/5242/stat : 5242 (java) S 5231 5231 4717 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 475856746 29456678912 190046 33554432000 4194304 4196468 140730954268080 140201359870352 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5243] ppid=5231 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/5233/task/5243/stat : 5243 (java) S 5231 5231 4717 0 -1 1077944384 994 0 0 0 1 0 0 0 20 0 28 0 475856747 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200428804848 140201447398018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5244] ppid=5231 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5244/stat : 5244 (java) S 5231 5231 4717 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475856748 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200427751136 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5245] ppid=5231 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5245/stat : 5245 (java) S 5231 5231 4717 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475856748 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200426697984 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5246] ppid=5231 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/5233/task/5246/stat : 5246 (java) S 5231 5231 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200425646544 140201447405467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5247] ppid=5231 vsize=28766288 memory=0 CPUtime=1.09 cores=0-7
/proc/5233/task/5247/stat : 5247 (java) S 5231 5231 4717 0 -1 1077944384 3968 0 0 0 107 2 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200424593648 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5248] ppid=5231 vsize=28766288 memory=734122152092513847 CPUtime=1.01 cores=0-7
/proc/5233/task/5248/stat : 5248 (java) S 5231 5231 4717 0 -1 1077944384 4759 0 0 0 99 2 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200423541104 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5249] ppid=5231 vsize=28766288 memory=7378397492840656489 CPUtime=1.25 cores=0-7
/proc/5233/task/5249/stat : 5249 (java) S 5231 5231 4717 0 -1 1077944384 4298 0 0 0 125 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200422488048 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5250] ppid=5231 vsize=28766288 memory=279716993726488 CPUtime=0.63 cores=0-7
/proc/5233/task/5250/stat : 5250 (java) S 5231 5231 4717 0 -1 1077944384 4046 0 0 0 63 0 0 0 20 0 28 0 475856750 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200421435504 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5251] ppid=5231 vsize=28766288 memory=8334083345238234249 CPUtime=0 cores=0-7
/proc/5233/task/5251/stat : 5251 (java) S 5231 5231 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475856751 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200420383712 140201447397077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5252] ppid=5231 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/5233/task/5252/stat : 5252 (java) S 5231 5231 4717 0 -1 1077944384 554 0 0 0 0 0 0 0 20 0 28 0 475856751 29456678912 190046 33554432000 4194304 4196468 140730954268080 140200419331248 140201447398018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5253] ppid=5231 vsize=28766288 memory=6944656591647563856 CPUtime=10.27 cores=0-7
/proc/5233/task/5253/stat : 5253 (java) R 5231 5231 4717 0 -1 4202560 343 0 0 0 1027 0 0 0 20 0 28 0 475856999 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199556107280 140201042669168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5254] ppid=5231 vsize=28766288 memory=1984 CPUtime=10.47 cores=0-7
/proc/5233/task/5254/stat : 5254 (java) R 5231 5231 4717 0 -1 4202560 345 0 0 0 1047 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199555055904 140201042668926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5255] ppid=5231 vsize=28766288 memory=2532 CPUtime=10.21 cores=0-7
/proc/5233/task/5255/stat : 5255 (java) R 5231 5231 4717 0 -1 4202560 848 0 0 0 1019 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199554002752 140201042668926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5256] ppid=5231 vsize=28766288 memory=1440 CPUtime=10.42 cores=0-7
/proc/5233/task/5256/stat : 5256 (java) R 5231 5231 4717 0 -1 4202560 698 0 0 0 1040 2 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199552950408 140201043878158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5257] ppid=5231 vsize=28766288 memory=796 CPUtime=10.3 cores=0-7
/proc/5233/task/5257/stat : 5257 (java) R 5231 5231 4717 0 -1 4202560 355 0 0 0 1030 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199551897368 140201042577115 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5258] ppid=5231 vsize=28766288 memory=1772 CPUtime=10.23 cores=0-7
/proc/5233/task/5258/stat : 5258 (java) R 5231 5231 4717 0 -1 4202560 659 0 0 0 1023 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199550844688 140201042668926 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5259] ppid=5231 vsize=28766288 memory=111632 CPUtime=10.52 cores=0-7
/proc/5233/task/5259/stat : 5259 (java) R 5231 5231 4717 0 -1 4202560 533 0 0 0 1051 1 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199549792464 140201043453925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
[pid=5233/tid=5260] ppid=5231 vsize=28766288 memory=804 CPUtime=10.15 cores=0-7
/proc/5233/task/5260/stat : 5260 (java) R 5231 5231 4717 0 -1 4202560 270 0 0 0 1015 0 0 0 20 0 28 0 475857000 29456678912 190046 33554432000 4194304 4196468 140730954268080 140199548740112 140201042769530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140730954273770 140730954273942 140730954273942 140730954276815 0
Current children cumulated CPU time: 90.43 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 761640 KiB

Child status: 0
Real time (s): 13.2267
CPU time (s): 90.5443
CPU user time (s): 89.5663
CPU system time (s): 0.978085
CPU usage (%): 684.558
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 764864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.5663
system time used= 0.978085
maximum resident set size= 763412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36157
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= 4513
involuntary context switches= 1365


# summary of solver processes directly reported to runsolver:
#   pid: 5231
#   total CPU time (s): 90.5443
#   total CPU user time (s): 89.5663
#   total CPU system time (s): 0.978085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172878 second user time and 0.150328 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-20 18:10:14
IDJOB=4404253
IDBENCH=121393
IDSOLVER=2865
FILE ID=node151/4404253-1568995854
RUNJOBID= node151-1568994968-4744
PBS_JOBID= 21704734
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.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-4404253-1568995854/watcher-4404253-1568995854 -o /tmp/evaluation-result-4404253-1568995854/solver-4404253-1568995854 -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 899737254 HOME/instance-4404253-1568995854.xml

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

MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=899737254

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:        15575768 kB
MemAvailable:   31803960 kB
Buffers:          103556 kB
Cached:         16184548 kB
SwapCached:        51768 kB
Active:          8085408 kB
Inactive:        8259200 kB
Active(anon):       1420 kB
Inactive(anon):   100404 kB
Active(file):    8083988 kB
Inactive(file):  8158796 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66955424 kB
Dirty:             27348 kB
Writeback:             0 kB
AnonPages:        113756 kB
Mapped:            47440 kB
Shmem:             36892 kB
Slab:             442912 kB
SReclaimable:     413868 kB
SUnreclaim:        29044 kB
KernelStack:        3392 kB
PageTables:         5176 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:     69632 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= 12384 MiB
End job on node151 at 2019-09-20 18:10:27