Trace number 4406889

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-24 parallelUNSAT 199.677 25.7119

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g07-g20.xml
MD5SUM0e82235f3fec0d916ef8cc7292b7f061
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 benchmark7.74157
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints101
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":20}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":20}]
Minimum constraint arity2
Maximum constraint arity20
Distribution of constraint arities[{"arity":2,"count":100},{"arity":20,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
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-4406889-1569352440.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406889-1569352440.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
1.81/0.78	c solve instance...
198.98/25.69	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 (13350 MiB free)
  memory of node 1: 16384 MiB (11693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406889-1569352440/watcher-4406889-1569352440 -o /var/tmp/evaluation-result-4406889-1569352440/solver-4406889-1569352440 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 498653623 HOME/instance-4406889-1569352440.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4076, runsolver pid=4073
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 5.57 7.53 7.89 2/212 4097
/proc/meminfo: memFree=25629924/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28227396 memory=27512 CPUtime=0.12 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 5919 0 0 0 11 1 0 0 20 0 20 0 511158778 28904853504 6878 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7056849 6878 3118 1 0 7019032 0
[pid=4078/tid=4079] ppid=4076 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) R 4076 4076 2396 0 -1 4202560 3786 0 0 0 8 0 0 0 20 0 20 0 511158778 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721834448192 139721830237341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28227396 memory=140407584913024 CPUtime=0 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4083] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4083/stat : 4083 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721377958416 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4084] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4084/stat : 4084 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721376906128 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4085] ppid=4076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4085/stat : 4085 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721375853328 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4086] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4088] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4088/stat : 4088 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158780 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721331349616 139721830226562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158781 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721330295584 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) S 4076 4076 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158781 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721329243248 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158783 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721328191568 139721830234011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) S 4076 4076 2396 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511158783 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721327139440 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4093] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) R 4076 4076 2396 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 511158783 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4094] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4094/stat : 4094 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158783 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721208617840 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4095] ppid=4076 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4078/task/4095/stat : 4095 (java) S 4076 4076 2396 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 20 0 511158784 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721207565040 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4096] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4096/stat : 4096 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158784 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721206511968 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4097] ppid=4076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4097/stat : 4097 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158784 28904853504 6878 33554432000 4194304 4196468 140726240432656 139721205459248 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28960 KiB

[startup+0.21063 s]*
/proc/loadavg: 5.57 7.53 7.89 2/212 4097
/proc/meminfo: memFree=25615940/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28227396 memory=40032 CPUtime=0.34 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 9771 0 0 0 31 3 0 0 20 0 20 0 511158778 28904853504 10008 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7056849 10008 3309 1 0 7019032 0
[pid=4078/tid=4079] ppid=4076 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) R 4076 4076 2396 0 -1 4202560 6742 0 0 0 18 2 0 0 20 0 20 0 511158778 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721834449456 139721830227350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28227396 memory=140407588162395 CPUtime=0 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4083] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4083/stat : 4083 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721377958416 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4084] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4084/stat : 4084 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721376906128 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4085] ppid=4076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4085/stat : 4085 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721375853328 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4086] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4088] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4088/stat : 4088 (java) S 4076 4076 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511158780 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721331349616 139721830226562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158781 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721330295584 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) S 4076 4076 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158781 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721329243248 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158783 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721328191568 139721830234011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) S 4076 4076 2396 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 20 0 511158783 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721327139440 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4093] ppid=4076 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) S 4076 4076 2396 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 511158783 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4094] ppid=4076 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4078/task/4094/stat : 4094 (java) S 4076 4076 2396 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 511158783 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721208617840 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4095] ppid=4076 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/4078/task/4095/stat : 4095 (java) R 4076 4076 2396 0 -1 4202560 829 0 0 0 8 0 0 0 20 0 20 0 511158784 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721207565040 139721822452542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4096] ppid=4076 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4096/stat : 4096 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158784 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721206511968 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4097] ppid=4076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4097/stat : 4097 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158784 28904853504 10008 33554432000 4194304 4196468 140726240432656 139721205459248 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41480 KiB

[startup+0.313534 s]*
/proc/loadavg: 5.57 7.53 7.89 4/212 4097
/proc/meminfo: memFree=25608420/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28231652 memory=49076 CPUtime=0.53 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 11161 0 0 0 49 4 0 0 20 0 20 0 511158778 28909211648 12269 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7057913 12269 3340 1 0 7019032 0
[pid=4078/tid=4079] ppid=4076 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) R 4076 4076 2396 0 -1 4202560 7880 0 0 0 27 3 0 0 20 0 20 0 511158778 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721834453168 139721814295902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4083] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4083/stat : 4083 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721377958416 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4084] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4084/stat : 4084 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721376906128 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4085] ppid=4076 vsize=28231652 memory=140407447055023 CPUtime=0 cores=0-7
/proc/4078/task/4085/stat : 4085 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721375853328 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4086] ppid=4076 vsize=28231652 memory=140407447057328 CPUtime=0 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28231652 memory=140407447059632 CPUtime=0 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4088] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4088/stat : 4088 (java) S 4076 4076 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511158780 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721331349616 139721830226562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28231652 memory=280814894133136 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158781 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721330295584 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28231652 memory=280814894130832 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) S 4076 4076 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158781 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721329243248 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28231652 memory=280814894137744 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158783 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721328191568 139721830234011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=28231652 memory=280814894079024 CPUtime=0.02 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) S 4076 4076 2396 0 -1 1077944384 640 0 0 0 2 0 0 0 20 0 20 0 511158783 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721327139440 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4093] ppid=4076 vsize=28231652 memory=280814894151568 CPUtime=0.02 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) S 4076 4076 2396 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 20 0 511158783 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4094] ppid=4076 vsize=28231652 memory=280814894158480 CPUtime=0.03 cores=0-7
/proc/4078/task/4094/stat : 4094 (java) R 4076 4076 2396 0 -1 4202560 184 0 0 0 3 0 0 0 20 0 20 0 511158783 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721208603856 139721811738615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4095] ppid=4076 vsize=28231652 memory=280814894156176 CPUtime=0.13 cores=0-7
/proc/4078/task/4095/stat : 4095 (java) S 4076 4076 2396 0 -1 1077944384 972 0 0 0 13 0 0 0 20 0 20 0 511158784 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721207565040 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4096] ppid=4076 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4096/stat : 4096 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158784 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721206511968 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4097] ppid=4076 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4078/task/4097/stat : 4097 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158784 28909211648 12297 33554432000 4194304 4196468 140726240432656 139721205459248 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50524 KiB

[startup+0.701012 s]
/proc/loadavg: 5.57 7.53 7.89 3/212 4097
/proc/meminfo: memFree=25590228/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28233776 memory=112900 CPUtime=1.81 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 15665 0 0 0 174 7 0 0 20 0 20 0 511158778 28911386624 28225 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7058444 28225 3459 1 0 7019544 0
[pid=4078/tid=4079] ppid=4076 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) R 4076 4076 2396 0 -1 4202560 9080 0 0 0 64 4 0 0 20 0 20 0 511158778 28911386624 28225 33554432000 4194304 4196468 140726240432656 139721834453872 139721469948451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28233776 memory=140407447266160 CPUtime=0 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28911386624 28225 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158779 28911386624 28225 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28233776 memory=1276 CPUtime=0 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158779 28911386624 28225 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0

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

[pid=4078/tid=4086] ppid=4076 vsize=28766288 memory=1448 CPUtime=0.05 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 667 0 0 0 4 1 0 0 20 0 28 0 511158779 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28766288 memory=223588 CPUtime=0.04 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 967 0 0 0 3 1 0 0 20 0 28 0 511158779 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4088] ppid=4076 vsize=28766288 memory=35124242554864 CPUtime=0.02 cores=0-7
/proc/4078/task/4088/stat : 4088 (java) S 4076 4076 2396 0 -1 1077944384 1332 0 0 0 2 0 0 0 20 0 28 0 511158780 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721331349616 139721830226562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28766288 memory=7590655979367786604 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 511158781 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721330295648 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) S 4076 4076 2396 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511158781 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721329243264 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158783 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721328191568 139721830234011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=28766288 memory=0 CPUtime=1.79 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) S 4076 4076 2396 0 -1 1077944384 9098 0 0 0 176 3 0 0 20 0 28 0 511158783 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721327139440 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4093] ppid=4076 vsize=28766288 memory=0 CPUtime=1.91 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) S 4076 4076 2396 0 -1 1077944384 9436 0 0 0 189 2 0 0 20 0 28 0 511158783 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4094] ppid=4076 vsize=28766288 memory=0 CPUtime=2.1 cores=0-7
/proc/4078/task/4094/stat : 4094 (java) S 4076 4076 2396 0 -1 1077944384 8919 0 0 0 208 2 0 0 20 0 28 0 511158783 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721208617840 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4095] ppid=4076 vsize=28766288 memory=2233 CPUtime=0.72 cores=0-7
/proc/4078/task/4095/stat : 4095 (java) S 4076 4076 2396 0 -1 1077944384 5598 0 0 0 71 1 0 0 20 0 28 0 511158784 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721207565040 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4096] ppid=4076 vsize=28766288 memory=280814895129952 CPUtime=0 cores=0-7
/proc/4078/task/4096/stat : 4096 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511158784 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721206511968 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4097] ppid=4076 vsize=28766288 memory=6944613755361064352 CPUtime=0 cores=0-7
/proc/4078/task/4097/stat : 4097 (java) S 4076 4076 2396 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 28 0 511158784 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721205459248 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4098] ppid=4076 vsize=28766288 memory=7090465097241616977 CPUtime=23.72 cores=0-7
/proc/4078/task/4098/stat : 4098 (java) R 4076 4076 2396 0 -1 4202560 595 0 0 0 2372 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721196240504 139721473476641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4099] ppid=4076 vsize=28766288 memory=225124 CPUtime=23.99 cores=0-7
/proc/4078/task/4099/stat : 4099 (java) R 4076 4076 2396 0 -1 4202560 273 0 0 0 2398 1 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721195188264 139721473070841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4100] ppid=4076 vsize=28766288 memory=1052 CPUtime=23.74 cores=0-7
/proc/4078/task/4100/stat : 4100 (java) R 4076 4076 2396 0 -1 4202560 811 0 0 0 2373 1 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721194135784 139721472697515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4101] ppid=4076 vsize=28766288 memory=1448 CPUtime=23.7 cores=0-7
/proc/4078/task/4101/stat : 4101 (java) R 4076 4076 2396 0 -1 4202560 857 0 0 0 2370 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721193083176 139721472785998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4102] ppid=4076 vsize=28766288 memory=228204 CPUtime=23.87 cores=0-7
/proc/4078/task/4102/stat : 4102 (java) R 4076 4076 2396 0 -1 4202560 714 0 0 0 2387 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721124598360 139721472786384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4103] ppid=4076 vsize=28766288 memory=3504 CPUtime=23.67 cores=0-7
/proc/4078/task/4103/stat : 4103 (java) R 4076 4076 2396 0 -1 4202560 574 0 0 0 2367 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721123545168 139721473376252 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4104] ppid=4076 vsize=28766288 memory=64504 CPUtime=23.96 cores=0-7
/proc/4078/task/4104/stat : 4104 (java) R 4076 4076 2396 0 -1 4202560 321 0 0 0 2396 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721122495184 139721473476957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4105] ppid=4076 vsize=28766288 memory=988 CPUtime=23.67 cores=0-7
/proc/4078/task/4105/stat : 4105 (java) R 4076 4076 2396 0 -1 4202560 523 0 0 0 2367 0 0 0 20 0 28 0 511158857 29456678912 55897 33554432000 4194304 4196468 140726240432656 139721121439416 139721473476480 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 198.21 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 225036 KiB

[startup+25.7118 s]
# the end of solver process 4076 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=199.326 s, system=0.350778 s

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

[startup+25.6015 s]
/proc/loadavg: 6.36 7.55 7.88 9/220 4107
/proc/meminfo: memFree=25434188/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28766288 memory=221024 CPUtime=198.98 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 56320 0 0 0 19865 33 0 0 20 0 28 0 511158778 29456678912 55256 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7191572 55256 3520 1 0 7152672 0
[pid=4078/tid=4079] ppid=4076 vsize=28766288 memory=8112282956445269571 CPUtime=0.76 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) S 4076 4076 2396 0 -1 1077944384 9181 0 0 0 72 4 0 0 20 0 28 0 511158778 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721834456192 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28766288 memory=7523938717432113263 CPUtime=0.05 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 607 0 0 0 4 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28766288 memory=7013340910673486952 CPUtime=0.04 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 1212 0 0 0 3 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28766288 memory=7307200794880926822 CPUtime=0.04 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4083] ppid=4076 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/4078/task/4083/stat : 4083 (java) S 4076 4076 2396 0 -1 1077944384 182 0 0 0 4 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721377958416 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4084] ppid=4076 vsize=28766288 memory=7234581350452846932 CPUtime=0.04 cores=0-7
/proc/4078/task/4084/stat : 4084 (java) S 4076 4076 2396 0 -1 1077944384 2056 0 0 0 3 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721376906128 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4085] ppid=4076 vsize=28766288 memory=6081097982586153057 CPUtime=0.04 cores=0-7
/proc/4078/task/4085/stat : 4085 (java) S 4076 4076 2396 0 -1 1077944384 393 0 0 0 3 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721375853328 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4086] ppid=4076 vsize=28766288 memory=1398722017469774279 CPUtime=0.05 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 670 0 0 0 4 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 967 0 0 0 4 1 0 0 20 0 28 0 511158779 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4088] ppid=4076 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7
/proc/4078/task/4088/stat : 4088 (java) S 4076 4076 2396 0 -1 1077944384 1339 0 0 0 2 0 0 0 20 0 28 0 511158780 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721331349616 139721830226562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 511158781 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721330295648 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28766288 memory=2241 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) S 4076 4076 2396 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511158781 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721329243264 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28766288 memory=2244 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) S 4076 4076 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158783 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721328191568 139721830234011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=28766288 memory=0 CPUtime=1.79 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) S 4076 4076 2396 0 -1 1077944384 9098 0 0 0 176 3 0 0 20 0 28 0 511158783 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721327139440 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4093] ppid=4076 vsize=28766288 memory=0 CPUtime=1.91 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) S 4076 4076 2396 0 -1 1077944384 9436 0 0 0 189 2 0 0 20 0 28 0 511158783 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4094] ppid=4076 vsize=28766288 memory=0 CPUtime=2.1 cores=0-7
/proc/4078/task/4094/stat : 4094 (java) S 4076 4076 2396 0 -1 1077944384 8919 0 0 0 208 2 0 0 20 0 28 0 511158783 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721208617840 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4095] ppid=4076 vsize=28766288 memory=8112282956445269571 CPUtime=0.72 cores=0-7
/proc/4078/task/4095/stat : 4095 (java) S 4076 4076 2396 0 -1 1077944384 5598 0 0 0 71 1 0 0 20 0 28 0 511158784 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721207565040 139721830226562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4096] ppid=4076 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/4078/task/4096/stat : 4096 (java) S 4076 4076 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511158784 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721206511968 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4097] ppid=4076 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4097/stat : 4097 (java) R 4076 4076 2396 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 28 0 511158784 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721205459248 139721830226562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4098] ppid=4076 vsize=28766288 memory=0 CPUtime=23.82 cores=0-7
/proc/4078/task/4098/stat : 4098 (java) R 4076 4076 2396 0 -1 4202560 596 0 0 0 2382 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721196239808 139721472789190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4099] ppid=4076 vsize=28766288 memory=-2247047206207641111 CPUtime=24.08 cores=0-7
/proc/4078/task/4099/stat : 4099 (java) R 4076 4076 2396 0 -1 4202560 273 0 0 0 2407 1 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721195191232 139721472572401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4100] ppid=4076 vsize=28766288 memory=6943526294502006880 CPUtime=23.84 cores=0-7
/proc/4078/task/4100/stat : 4100 (java) R 4076 4076 2396 0 -1 4202560 813 0 0 0 2383 1 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721194135488 139721472916414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4101] ppid=4076 vsize=28766288 memory=6944652177228980320 CPUtime=23.78 cores=0-7
/proc/4078/task/4101/stat : 4101 (java) R 4076 4076 2396 0 -1 4202560 857 0 0 0 2378 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721193086720 139721471549274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4102] ppid=4076 vsize=28766288 memory=6944656592455360604 CPUtime=23.97 cores=0-7
/proc/4078/task/4102/stat : 4102 (java) R 4076 4076 2396 0 -1 4202560 716 0 0 0 2397 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721124598568 139721472572465 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4103] ppid=4076 vsize=28766288 memory=7896318971486248851 CPUtime=23.77 cores=0-7
/proc/4078/task/4103/stat : 4103 (java) R 4076 4076 2396 0 -1 4202560 595 0 0 0 2377 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721123545536 139721472785931 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4104] ppid=4076 vsize=28766288 memory=4639640424710039650 CPUtime=24.05 cores=0-7
/proc/4078/task/4104/stat : 4104 (java) R 4076 4076 2396 0 -1 4202560 324 0 0 0 2405 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721122492048 139721471548928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4105] ppid=4076 vsize=28766288 memory=6933690330692294553 CPUtime=23.77 cores=0-7
/proc/4078/task/4105/stat : 4105 (java) R 4076 4076 2396 0 -1 4202560 524 0 0 0 2377 0 0 0 20 0 28 0 511158857 29456678912 55256 33554432000 4194304 4196468 140726240432656 139721121439480 139721472788130 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 198.98 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 222472 KiB

[startup+25.7016 s]
/proc/loadavg: 6.36 7.55 7.88 9/220 4107
/proc/meminfo: memFree=25434188/32770624 swapFree=66953496/67108860
[pid=4076] ppid=4073 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4076/stat : 4076 (xcsp3-exec) S 4073 4076 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158778 115843072 362 33554432000 4194304 5098028 140726093259088 140726093257192 140624756437628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10395648 140726093263698 140726093263957 140726093263957 140726093266886 0
/proc/4076/statm: 28282 362 304 221 0 87 0
[pid=4078] ppid=4076 vsize=28766288 memory=220548 CPUtime=199.66 cores=0-7
/proc/4078/stat : 4078 (java) S 4076 4076 2396 0 -1 1077944320 57785 0 0 0 19932 34 0 0 20 0 19 0 511158778 29456678912 55137 33554432000 4194304 4196468 140726240432656 140726240415200 139721830215415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
/proc/4078/statm: 7191572 55137 3522 1 0 7152672 0
[pid=4078/tid=4079] ppid=4076 vsize=28766288 memory=241608 CPUtime=0.77 cores=0-7
/proc/4078/task/4079/stat : 4079 (java) R 4076 4076 2396 0 -1 1077944384 9837 0 0 0 73 4 0 0 20 0 19 0 511158778 29456678912 55137 33554432000 4194304 4196468 140726240432656 139721834458256 139721830225621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4080] ppid=4076 vsize=28766288 memory=1984 CPUtime=0.05 cores=0-7
/proc/4078/task/4080/stat : 4080 (java) S 4076 4076 2396 0 -1 1077944384 607 0 0 0 4 1 0 0 20 0 18 0 511158779 29456678912 55137 33554432000 4194304 4196468 140726240432656 139721797773712 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4081] ppid=4076 vsize=28766288 memory=1440 CPUtime=0.04 cores=0-7
/proc/4078/task/4081/stat : 4081 (java) S 4076 4076 2396 0 -1 1077944384 1212 0 0 0 3 1 0 0 20 0 18 0 511158779 29456678912 55137 33554432000 4194304 4196468 140726240432656 139721380063504 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4082] ppid=4076 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7
/proc/4078/task/4082/stat : 4082 (java) S 4076 4076 2396 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 18 0 511158779 29456678912 55137 33554432000 4194304 4196468 140726240432656 139721379011216 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4083] ppid=4076 vsize=28766288 memory=8098989878329499752 CPUtime=0.05 cores=0-7
/proc/4078/task/4083/stat : 4083 (java) S 4076 4076 2396 0 -1 1077944384 182 0 0 0 4 1 0 0 20 0 18 0 511158779 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721377958416 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4084] ppid=4076 vsize=28766288 memory=1448 CPUtime=0.04 cores=0-7
/proc/4078/task/4084/stat : 4084 (java) S 4076 4076 2396 0 -1 1077944384 2056 0 0 0 3 1 0 0 20 0 17 0 511158779 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721376906128 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4085] ppid=4076 vsize=28766288 memory=223588 CPUtime=0.04 cores=0-7
/proc/4078/task/4085/stat : 4085 (java) S 4076 4076 2396 0 -1 1077944384 393 0 0 0 3 1 0 0 20 0 17 0 511158779 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721375853328 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4086] ppid=4076 vsize=28766288 memory=223588 CPUtime=0.05 cores=0-7
/proc/4078/task/4086/stat : 4086 (java) S 4076 4076 2396 0 -1 1077944384 670 0 0 0 4 1 0 0 20 0 17 0 511158779 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721374801040 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4087] ppid=4076 vsize=28766288 memory=288230596050944315 CPUtime=0.05 cores=0-7
/proc/4078/task/4087/stat : 4087 (java) S 4076 4076 2396 0 -1 1077944384 967 0 0 0 4 1 0 0 20 0 17 0 511158779 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721373748240 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4089] ppid=4076 vsize=28766288 memory=7590655979367786604 CPUtime=0 cores=0-7
/proc/4078/task/4089/stat : 4089 (java) S 4076 4076 2396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 511158781 29456678912 55109 33554432000 4194304 4196468 140726240432656 139721330295648 139721830225621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4090] ppid=4076 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4090/stat : 4090 (java) R 4076 4076 2396 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 511158781 29456678912 55137 33554432000 4194304 4196468 140726240432656 139721329243264 139721830225621 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4091] ppid=4076 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4078/task/4091/stat : 4091 (java) R 4076 4076 2396 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 14 0 511158783 29456678912 55138 33554432000 4194304 4196468 140726240432656 139721328190336 139721830225621 256 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
[pid=4078/tid=4092] ppid=4076 vsize=0 memory=2233 CPUtime=1.79 cores=0-7
/proc/4078/task/4092/stat : 4092 (java) R 4076 4076 2396 0 -1 4195396 9100 0 0 0 176 3 0 0 20 0 10 0 511158783 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=4078/tid=4093] ppid=4076 vsize=28766288 memory=3504 CPUtime=1.91 cores=0-7
/proc/4078/task/4093/stat : 4093 (java) R 4076 4076 2396 0 -1 4203588 9438 0 0 0 189 2 0 0 20 0 5 0 511158783 29456678912 55167 33554432000 4194304 4196468 140726240432656 139721209670128 139721830226562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11059200 140726240441302 140726240441478 140726240441478 140726240444367 0
Current children cumulated CPU time: 199.66 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 221996 KiB

Child status: 0
Real time (s): 25.7119
CPU time (s): 199.677
CPU user time (s): 199.326
CPU system time (s): 0.350778
CPU usage (%): 776.593
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 247528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.326
system time used= 0.350778
maximum resident set size= 247112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5897
involuntary context switches= 2933


# summary of solver processes directly reported to runsolver:
#   pid: 4076
#   total CPU time (s): 199.677
#   total CPU user time (s): 199.326
#   total CPU system time (s): 0.350778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.28019 second user time and 0.301579 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 21:13:19
IDJOB=4406889
IDBENCH=132010
IDSOLVER=2871
FILE ID=node119/4406889-1569352440
RUNJOBID= node119-1569349193-2435
PBS_JOBID= 21705086
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g07-g20.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406889-1569352440/watcher-4406889-1569352440 -o /var/tmp/evaluation-result-4406889-1569352440/solver-4406889-1569352440 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 498653623 HOME/instance-4406889-1569352440.xml

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

MD5SUM BENCH= 0e82235f3fec0d916ef8cc7292b7f061
RANDOM SEED=498653623

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25646168 kB
MemAvailable:   31798864 kB
Buffers:          133512 kB
Cached:          6118604 kB
SwapCached:        46740 kB
Active:          3107576 kB
Inactive:        3194872 kB
Active(anon):       2312 kB
Inactive(anon):   105180 kB
Active(file):    3105264 kB
Inactive(file):  3089692 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66953496 kB
Dirty:             26252 kB
Writeback:             0 kB
AnonPages:        102940 kB
Mapped:            57292 kB
Shmem:             48540 kB
Slab:             414816 kB
SReclaimable:     386200 kB
SUnreclaim:        28616 kB
KernelStack:        3520 kB
PageTables:         5348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-24 21:13:45