2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	6	189.662	48.6298
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 (8512 MiB free)
  memory of node 1: 16384 MiB (13849 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393264-1568314147/watcher-4393264-1568314147 -o /tmp/evaluation-result-4393264-1568314147/solver-4393264-1568314147 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 221150761 HOME/instance-4393264-1568314147.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100058 s]*
/proc/loadavg: 7.01 7.29 4.80 6/228 16726
/proc/meminfo: memFree=22882840/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15144768 memory=27236 CPUtime=0.13 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 5785 0 0 0 12 1 0 0 20 0 15 0 407671967 15508242432 6809 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3786192 6809 3122 1 0 3748377 0
[pid=16712/tid=16713] ppid=16710 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) R 16710 16710 15592 0 -1 4202560 3638 0 0 0 8 0 0 0 20 0 15 0 407671967 15508242432 6809 33554432000 4194304 4196468 140721477175600 140404124718088 140404100200438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 6809 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15144768 memory=288370650523948672 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 6809 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 6809 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 6809 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671969 15508242432 6809 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671970 15508242432 6809 33554432000 4194304 4196468 140721477175600 140402993157152 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671970 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402992104304 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671972 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) R 16710 16710 15592 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 15 0 407671972 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402989992512 140404100898928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) R 16710 16710 15592 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 407671972 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402988948304 140404120495829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15144768 memory=140274372236928 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) R 16710 16710 15592 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 407671973 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402987895408 140404113582459 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671973 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671973 15508242432 6875 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28684 KiB

[startup+0.210794 s]*
/proc/loadavg: 7.01 7.29 4.80 5/228 16726
/proc/meminfo: memFree=22868732/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15144768 memory=39812 CPUtime=0.34 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 9680 0 0 0 32 2 0 0 20 0 15 0 407671967 15508242432 9953 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3786192 9953 3318 1 0 3748377 0
[pid=16712/tid=16713] ppid=16710 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) R 16710 16710 15592 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 407671967 15508242432 9953 33554432000 4194304 4196468 140721477175600 140404124719328 140404120497558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 9953 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15144768 memory=140274372252808 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 9953 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 9953 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671968 15508242432 9953 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15144768 memory=140274372236928 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671969 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671970 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402993157152 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671970 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402992104304 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671972 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) S 16710 16710 15592 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 407671972 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402990001008 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) S 16710 16710 15592 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 407671972 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402988948208 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15144768 memory=140274372236928 CPUtime=0.08 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) R 16710 16710 15592 0 -1 4202560 913 0 0 0 8 0 0 0 20 0 15 0 407671973 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402987895408 140404113582459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671973 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671973 15508242432 9953 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41260 KiB

[startup+0.310608 s]*
/proc/loadavg: 7.01 7.29 4.80 7/228 16726
/proc/meminfo: memFree=22863272/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15149024 memory=49324 CPUtime=0.53 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 11124 0 0 0 49 4 0 0 20 0 15 0 407671967 15512600576 12331 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3787256 12331 3365 1 0 3748377 0
[pid=16712/tid=16713] ppid=16710 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) R 16710 16710 15592 0 -1 4202560 7805 0 0 0 27 3 0 0 20 0 15 0 407671967 15512600576 12331 33554432000 4194304 4196468 140721477175600 140404124716736 140404104566110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15512600576 12331 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15512600576 12331 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15512600576 12331 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671968 15512600576 12331 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671969 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671970 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402993157152 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671970 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402992104304 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671972 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) R 16710 16710 15592 0 -1 4202560 537 0 0 0 5 0 0 0 20 0 15 0 407671972 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402989991392 140404103872360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) S 16710 16710 15592 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 407671972 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402988948208 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) R 16710 16710 15592 0 -1 1077944384 1082 0 0 0 12 0 0 0 20 0 15 0 407671973 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402987895408 140404120496770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671973 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671973 15512600576 12331 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50772 KiB

[startup+0.701308 s]
/proc/loadavg: 7.01 7.29 4.80 6/228 16726
/proc/meminfo: memFree=22823284/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15151148 memory=114036 CPUtime=1.7 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 14526 0 0 0 164 6 0 0 20 0 15 0 407671967 15514775552 28509 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3787787 28509 3437 1 0 3748889 0
[pid=16712/tid=16713] ppid=16710 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) R 16710 16710 15592 0 -1 4202560 8343 0 0 0 64 4 0 0 20 0 15 0 407671967 15514775552 28509 33554432000 4194304 4196468 140721477175600 140404124720032 140403757799393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15514775552 28509 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15514775552 28509 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671968 15514775552 28509 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671968 15514775552 28509 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671969 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671970 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402993157152 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15151148 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671970 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402992104304 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15151148 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671972 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15151148 memory=5964 CPUtime=0.35 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) R 16710 16710 15592 0 -1 4202560 1387 0 0 0 35 0 0 0 20 0 15 0 407671972 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402989990480 140404101678021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15151148 memory=7552 CPUtime=0.35 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) R 16710 16710 15592 0 -1 4202560 1582 0 0 0 35 0 0 0 20 0 15 0 407671972 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402988934232 140404103872800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15151148 memory=2832 CPUtime=0.28 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) S 16710 16710 15592 0 -1 1077944384 1908 0 0 0 28 0 0 0 20 0 15 0 407671973 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402987895408 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671973 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671973 15514775552 28509 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 115484 KiB

[startup+1.50082 s]
/proc/loadavg: 6.77 7.23 4.80 6/228 16726
/proc/meminfo: memFree=22632472/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0

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

/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16783] ppid=16710 vsize=15420480 memory=2832 CPUtime=42.4 cores=1,3,5,7
/proc/16712/task/16783/stat : 16783 (java) R 16710 16710 15592 0 -1 4202560 383 0 0 0 4240 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402974711672 140403765283529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16784] ppid=16710 vsize=15420480 memory=1084 CPUtime=42.53 cores=1,3,5,7
/proc/16712/task/16784/stat : 16784 (java) R 16710 16710 15592 0 -1 4202560 1784 0 0 0 4249 4 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402970509488 140403766287828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16785] ppid=16710 vsize=15420480 memory=14012 CPUtime=41.84 cores=1,3,5,7
/proc/16712/task/16785/stat : 16785 (java) R 16710 16710 15592 0 -1 4202560 7255 0 0 0 4160 24 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402975765048 140403766756640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16786] ppid=16710 vsize=15420480 memory=14048 CPUtime=41.95 cores=1,3,5,7
/proc/16712/task/16786/stat : 16786 (java) R 16710 16710 15592 0 -1 4202560 845 0 0 0 4195 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402973659352 140403765720772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 184.55 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2207716 KiB

[startup+48.1013 s]*
/proc/loadavg: 7.69 7.41 4.98 9/236 16788
/proc/meminfo: memFree=18650140/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15420480 memory=2206268 CPUtime=187.77 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 67728 0 0 0 18713 64 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3855120 551567 3526 1 0 3816222 0
[pid=16712/tid=16713] ppid=16710 vsize=15420480 memory=8317482817917895235 CPUtime=2.88 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) S 16710 16710 15592 0 -1 1077944384 11813 0 0 0 278 10 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140404124726400 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15420480 memory=532 CPUtime=0.17 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 975 0 0 0 13 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15420480 memory=1564 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 2447 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15420480 memory=924 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 426 0 0 0 13 3 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15420480 memory=1756 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2346 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15420480 memory=1084 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 2270 0 0 0 2 0 0 0 20 0 19 0 407671969 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15420480 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402993157216 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15420480 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402992104320 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15420480 memory=20152 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15420480 memory=2120 CPUtime=4.84 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) S 16710 16710 15592 0 -1 1077944384 13484 0 0 0 482 2 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402990001008 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15420480 memory=532 CPUtime=4.91 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) S 16710 16710 15592 0 -1 1077944384 12083 0 0 0 490 1 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402988948208 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15420480 memory=1564 CPUtime=0.93 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) S 16710 16710 15592 0 -1 1077944384 8868 0 0 0 91 2 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402987895408 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15420480 memory=924 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15420480 memory=1756 CPUtime=0.01 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16783] ppid=16710 vsize=15420480 memory=1440 CPUtime=43.21 cores=1,3,5,7
/proc/16712/task/16783/stat : 16783 (java) R 16710 16710 15592 0 -1 4202560 384 0 0 0 4321 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402974711672 140403768538150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16784] ppid=16710 vsize=15420480 memory=912 CPUtime=43.33 cores=1,3,5,7
/proc/16712/task/16784/stat : 16784 (java) R 16710 16710 15592 0 -1 4202560 1806 0 0 0 4329 4 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402970509488 140403768018053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16785] ppid=16710 vsize=15420480 memory=1984 CPUtime=42.64 cores=1,3,5,7
/proc/16712/task/16785/stat : 16785 (java) R 16710 16710 15592 0 -1 4202560 7315 0 0 0 4240 24 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402975765048 140403766139232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16786] ppid=16710 vsize=15420480 memory=2480 CPUtime=42.76 cores=1,3,5,7
/proc/16712/task/16786/stat : 16786 (java) R 16710 16710 15592 0 -1 4202560 850 0 0 0 4276 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402973659352 140403766140193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 187.77 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2207716 KiB

[startup+48.5013 s]
/proc/loadavg: 7.69 7.41 4.98 9/236 16788
/proc/meminfo: memFree=18650140/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15420480 memory=2206268 CPUtime=189.33 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 68114 0 0 0 18869 64 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3855120 551567 3526 1 0 3816222 0
[pid=16712/tid=16713] ppid=16710 vsize=15420480 memory=1448 CPUtime=2.88 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) S 16710 16710 15592 0 -1 1077944384 11813 0 0 0 278 10 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140404124726400 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15420480 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 975 0 0 0 13 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15420480 memory=1056 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 2447 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15420480 memory=1556 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 426 0 0 0 13 3 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15420480 memory=780 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2346 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15420480 memory=3252 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 2270 0 0 0 2 0 0 0 20 0 19 0 407671969 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15420480 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402993157216 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15420480 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402992104320 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15420480 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15420480 memory=2832 CPUtime=4.85 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) S 16710 16710 15592 0 -1 1077944384 13846 0 0 0 483 2 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402990001008 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15420480 memory=1084 CPUtime=4.91 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) S 16710 16710 15592 0 -1 1077944384 12083 0 0 0 490 1 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402988948208 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15420480 memory=14012 CPUtime=0.93 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) S 16710 16710 15592 0 -1 1077944384 8868 0 0 0 91 2 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402987895408 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15420480 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15420480 memory=20152 CPUtime=0.01 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16783] ppid=16710 vsize=15420480 memory=2120 CPUtime=43.6 cores=1,3,5,7
/proc/16712/task/16783/stat : 16783 (java) R 16710 16710 15592 0 -1 4202560 384 0 0 0 4360 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402974711672 140403758613830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16784] ppid=16710 vsize=15420480 memory=532 CPUtime=43.71 cores=1,3,5,7
/proc/16712/task/16784/stat : 16784 (java) R 16710 16710 15592 0 -1 4202560 1809 0 0 0 4367 4 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402970509488 140403766738877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16785] ppid=16710 vsize=15420480 memory=1564 CPUtime=43.03 cores=1,3,5,7
/proc/16712/task/16785/stat : 16785 (java) R 16710 16710 15592 0 -1 4202560 7336 0 0 0 4279 24 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402975766280 140403766756637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16786] ppid=16710 vsize=15420480 memory=924 CPUtime=43.15 cores=1,3,5,7
/proc/16712/task/16786/stat : 16786 (java) R 16710 16710 15592 0 -1 4202560 850 0 0 0 4315 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402973659352 140403768097170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 189.33 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2207716 KiB

[startup+48.6008 s]
/proc/loadavg: 7.69 7.41 4.98 9/236 16788
/proc/meminfo: memFree=18650140/32770624 swapFree=66977612/67108860
[pid=16710] ppid=16707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16710/stat : 16710 (xcsp3-exec) S 16707 16710 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407671967 115843072 362 33554432000 4194304 5098028 140720917135456 140720917133560 139762788569724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23302144 140720917140347 140720917140589 140720917140589 140720917143498 0
/proc/16710/statm: 28282 362 304 221 0 87 0
[pid=16712] ppid=16710 vsize=15420480 memory=2206268 CPUtime=189.61 cores=1,3,5,7
/proc/16712/stat : 16712 (java) S 16710 16710 15592 0 -1 1077944320 68169 0 0 0 18897 64 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140721477158144 140404120485623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
/proc/16712/statm: 3855120 551567 3526 1 0 3816222 0
[pid=16712/tid=16713] ppid=16710 vsize=15420480 memory=2206268 CPUtime=2.88 cores=1,3,5,7
/proc/16712/task/16713/stat : 16713 (java) S 16710 16710 15592 0 -1 1077944384 11813 0 0 0 278 10 0 0 20 0 19 0 407671967 15790571520 551567 33554432000 4194304 4196468 140721477175600 140404124726400 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16714] ppid=16710 vsize=15420480 memory=2206268 CPUtime=0.17 cores=1,3,5,7
/proc/16712/task/16714/stat : 16714 (java) S 16710 16710 15592 0 -1 1077944384 975 0 0 0 13 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403712560272 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16715] ppid=16710 vsize=15420480 memory=1448 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16715/stat : 16715 (java) S 16710 16710 15592 0 -1 1077944384 2447 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403711507472 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16716] ppid=16710 vsize=15420480 memory=1756 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16716/stat : 16716 (java) S 16710 16710 15592 0 -1 1077944384 426 0 0 0 13 3 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403710454672 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16717] ppid=16710 vsize=15420480 memory=140274372235777 CPUtime=0.16 cores=1,3,5,7
/proc/16712/task/16717/stat : 16717 (java) S 16710 16710 15592 0 -1 1077944384 2346 0 0 0 12 4 0 0 20 0 19 0 407671968 15790571520 551567 33554432000 4194304 4196468 140721477175600 140403709401872 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16718] ppid=16710 vsize=15420480 memory=2206260 CPUtime=0.02 cores=1,3,5,7
/proc/16712/task/16718/stat : 16718 (java) S 16710 16710 15592 0 -1 1077944384 2270 0 0 0 2 0 0 0 20 0 19 0 407671969 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402994211184 140404120496770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16719] ppid=16710 vsize=15420480 memory=2204056 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16719/stat : 16719 (java) S 16710 16710 15592 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402993157216 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16720] ppid=16710 vsize=15420480 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16720/stat : 16720 (java) S 16710 16710 15592 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407671970 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402992104320 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16721] ppid=16710 vsize=15420480 memory=2206268 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16721/stat : 16721 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402991052624 140404120504219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16722] ppid=16710 vsize=15420480 memory=2206260 CPUtime=4.85 cores=1,3,5,7
/proc/16712/task/16722/stat : 16722 (java) S 16710 16710 15592 0 -1 1077944384 13846 0 0 0 483 2 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402990001008 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16723] ppid=16710 vsize=15420480 memory=2204056 CPUtime=4.91 cores=1,3,5,7
/proc/16712/task/16723/stat : 16723 (java) S 16710 16710 15592 0 -1 1077944384 12083 0 0 0 490 1 0 0 20 0 19 0 407671972 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402988948208 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16724] ppid=16710 vsize=15420480 memory=1440 CPUtime=0.93 cores=1,3,5,7
/proc/16712/task/16724/stat : 16724 (java) S 16710 16710 15592 0 -1 1077944384 8868 0 0 0 91 2 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402987895408 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16725] ppid=16710 vsize=15420480 memory=912 CPUtime=0 cores=1,3,5,7
/proc/16712/task/16725/stat : 16725 (java) S 16710 16710 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402986842848 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16726] ppid=16710 vsize=15420480 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/16712/task/16726/stat : 16726 (java) S 16710 16710 15592 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 19 0 407671973 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402985790128 140404120496770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16783] ppid=16710 vsize=15420480 memory=4096 CPUtime=43.66 cores=1,3,5,7
/proc/16712/task/16783/stat : 16783 (java) S 16710 16710 15592 0 -1 1077944384 406 0 0 0 4366 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402974715904 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16784] ppid=16710 vsize=15420480 memory=1804 CPUtime=43.77 cores=1,3,5,7
/proc/16712/task/16784/stat : 16784 (java) S 16710 16710 15592 0 -1 1077944384 1829 0 0 0 4373 4 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402970514768 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16785] ppid=16710 vsize=15420480 memory=3252 CPUtime=43.13 cores=1,3,5,7
/proc/16712/task/16785/stat : 16785 (java) R 16710 16710 15592 0 -1 4202560 7345 0 0 0 4289 24 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402975766280 140403766108787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
[pid=16712/tid=16786] ppid=16710 vsize=15420480 memory=1112 CPUtime=43.21 cores=1,3,5,7
/proc/16712/task/16786/stat : 16786 (java) S 16710 16710 15592 0 -1 1077944384 854 0 0 0 4321 0 0 0 20 0 19 0 407672358 15790571520 551567 33554432000 4194304 4196468 140721477175600 140402973664336 140404120495829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38985728 140721477182447 140721477182618 140721477182618 140721477185487 0
Current children cumulated CPU time: 189.61 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2207716 KiB

Child status: 0
Real time (s): 48.6298
CPU time (s): 189.662
CPU user time (s): 188.996
CPU system time (s): 0.665866
CPU usage (%): 390.011
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 2207716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.996
system time used= 0.665866
maximum resident set size= 2206312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4461
involuntary context switches= 4594


# summary of solver processes directly reported to runsolver:
#   pid: 16710
#   total CPU time (s): 189.662
#   total CPU user time (s): 188.996
#   total CPU system time (s): 0.665866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.326054 second user time and 0.593274 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	58.2779
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393264

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
