2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	6	30.1932	5.53901
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 (4614 MiB free)
  memory of node 1: 16384 MiB (6909 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404830-1569003342/watcher-4404830-1569003342 -o /var/tmp/evaluation-result-4404830-1569003342/solver-4404830-1569003342 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 270874338 HOME/instance-4404830-1569003342.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6647, runsolver pid=6644
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 8.24 8.51 8.37 2/211 6668
/proc/meminfo: memFree=11783188/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28227396 memory=30060 CPUtime=0.12 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 5990 0 0 0 11 1 0 0 20 0 20 0 476572818 28904853504 7515 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7056849 7515 3123 1 0 7019032 0
[pid=6649/tid=6650] ppid=6647 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) R 6647 6647 3200 0 -1 4202560 3905 0 0 0 8 1 0 0 20 0 20 0 476572818 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863583741744 139863579520406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28227396 memory=139763040671360 CPUtime=0 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6654] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6654/stat : 6654 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863127870352 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6655] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6655/stat : 6655 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863126817296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6656] ppid=6647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6656/stat : 6656 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863125764752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6657] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6657/stat : 6657 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863124711696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6658] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6658/stat : 6658 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 7515 33554432000 4194304 4196468 140736995245728 139863123659152 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6659] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6659/stat : 6659 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572820 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861976500976 139863579519618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6660] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6660/stat : 6660 (java) S 6647 6647 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572821 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861975447200 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6661] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6661/stat : 6661 (java) S 6647 6647 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572821 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861974394096 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6662] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6662/stat : 6662 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572823 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861973342672 139863579527067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6663] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6663/stat : 6663 (java) S 6647 6647 3200 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 476572823 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861972289776 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6664] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6664/stat : 6664 (java) S 6647 6647 3200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476572823 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861971237232 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6665] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6665/stat : 6665 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572823 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861970184176 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6666] ppid=6647 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) R 6647 6647 3200 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 476572823 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861969131632 139863558057711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572824 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572824 28904853504 7515 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31516 KiB

[startup+0.210431 s]*
/proc/loadavg: 8.24 8.51 8.37 4/211 6668
/proc/meminfo: memFree=11770600/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28227396 memory=41324 CPUtime=0.33 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 9567 0 0 0 30 3 0 0 20 0 20 0 476572818 28904853504 10331 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7056849 10331 3283 1 0 7019032 0
[pid=6649/tid=6650] ppid=6647 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) R 6647 6647 3200 0 -1 4202560 6723 0 0 0 18 2 0 0 20 0 20 0 476572818 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863583743168 139863579529818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28227396 memory=139763040685835 CPUtime=0 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6654] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6654/stat : 6654 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863127870352 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6655] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6655/stat : 6655 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863126817296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6656] ppid=6647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6656/stat : 6656 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863125764752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6657] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6657/stat : 6657 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863124711696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6658] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6658/stat : 6658 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572819 28904853504 10331 33554432000 4194304 4196468 140736995245728 139863123659152 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6659] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6659/stat : 6659 (java) S 6647 6647 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476572820 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861976500976 139863579519618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6660] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6660/stat : 6660 (java) S 6647 6647 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572821 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861975447200 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6661] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6661/stat : 6661 (java) S 6647 6647 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572821 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861974394096 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6662] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6662/stat : 6662 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572823 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861973342672 139863579527067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6663] ppid=6647 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6649/task/6663/stat : 6663 (java) S 6647 6647 3200 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 476572823 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861972289776 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6664] ppid=6647 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6649/task/6664/stat : 6664 (java) S 6647 6647 3200 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 476572823 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861971237232 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6665] ppid=6647 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/6649/task/6665/stat : 6665 (java) S 6647 6647 3200 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 476572823 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861970184176 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6666] ppid=6647 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) R 6647 6647 3200 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 20 0 476572823 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861969131632 139863563753704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572824 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572824 28904853504 10331 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42780 KiB

[startup+0.312002 s]*
/proc/loadavg: 8.24 8.51 8.37 3/211 6668
/proc/meminfo: memFree=11764036/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28231652 memory=50020 CPUtime=0.52 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 10853 0 0 0 48 4 0 0 20 0 20 0 476572818 28909211648 12505 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7057913 12505 3356 1 0 7019032 0
[pid=6649/tid=6650] ppid=6647 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) R 6647 6647 3200 0 -1 4202560 7835 0 0 0 27 3 0 0 20 0 20 0 476572818 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863583742256 139863563588958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6654] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6654/stat : 6654 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863127870352 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6655] ppid=6647 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/6649/task/6655/stat : 6655 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863126817296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6656] ppid=6647 vsize=28231652 memory=139762933527471 CPUtime=0 cores=0-7
/proc/6649/task/6656/stat : 6656 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863125764752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6657] ppid=6647 vsize=28231652 memory=139762933529776 CPUtime=0 cores=0-7
/proc/6649/task/6657/stat : 6657 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863124711696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6658] ppid=6647 vsize=28231652 memory=139762933532080 CPUtime=0 cores=0-7
/proc/6649/task/6658/stat : 6658 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572819 28909211648 12505 33554432000 4194304 4196468 140736995245728 139863123659152 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6659] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6659/stat : 6659 (java) S 6647 6647 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476572820 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861976500976 139863579519618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6660] ppid=6647 vsize=28231652 memory=279525867071120 CPUtime=0 cores=0-7
/proc/6649/task/6660/stat : 6660 (java) S 6647 6647 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476572821 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861975447200 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6661] ppid=6647 vsize=28231652 memory=279525867078032 CPUtime=0 cores=0-7
/proc/6649/task/6661/stat : 6661 (java) S 6647 6647 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476572821 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861974394096 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6662] ppid=6647 vsize=28231652 memory=279525867019184 CPUtime=0 cores=0-7
/proc/6649/task/6662/stat : 6662 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572823 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861973342672 139863579527067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6663] ppid=6647 vsize=28231652 memory=279525867091856 CPUtime=0.02 cores=0-7
/proc/6649/task/6663/stat : 6663 (java) S 6647 6647 3200 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 476572823 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861972289776 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6664] ppid=6647 vsize=28231652 memory=279525867098768 CPUtime=0.03 cores=0-7
/proc/6649/task/6664/stat : 6664 (java) R 6647 6647 3200 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 20 0 476572823 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861971227616 139863562895259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6665] ppid=6647 vsize=28231652 memory=279525867096464 CPUtime=0.02 cores=0-7
/proc/6649/task/6665/stat : 6665 (java) S 6647 6647 3200 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 20 0 476572823 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861970184176 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6666] ppid=6647 vsize=28231652 memory=279525867112624 CPUtime=0.12 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) S 6647 6647 3200 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 476572823 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861969131632 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476572824 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572824 28909211648 12505 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51476 KiB

[startup+0.700996 s]
/proc/loadavg: 8.24 8.51 8.37 3/211 6668
/proc/meminfo: memFree=11740192/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28233776 memory=112128 CPUtime=1.95 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 15076 0 0 0 189 6 0 0 20 0 20 0 476572818 28911386624 28032 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7058444 28032 3451 1 0 7019544 0
[pid=6649/tid=6650] ppid=6647 vsize=28233776 memory=279525867470512 CPUtime=0.68 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) R 6647 6647 3200 0 -1 4202560 8462 0 0 0 64 4 0 0 20 0 20 0 476572818 28911386624 28032 33554432000 4194304 4196468 140736995245728 139863583746608 139863579520406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28233776 memory=139762933736304 CPUtime=0 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28911386624 28032 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476572819 28911386624 28032 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476572819 28911386624 28032 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0

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

[pid=6649/tid=6666] ppid=6647 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) S 6647 6647 3200 0 -1 1077944384 3467 0 0 0 82 2 0 0 20 0 28 0 476572823 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861969131632 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28768336 memory=591768 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6710] ppid=6647 vsize=28768336 memory=0 CPUtime=1.03 cores=0-7
/proc/6649/task/6710/stat : 6710 (java) R 6647 6647 3200 0 -1 4202560 61 0 0 0 103 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861952543160 139863219873430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6711] ppid=6647 vsize=28768336 memory=7378683383177768548 CPUtime=1.13 cores=0-7
/proc/6649/task/6711/stat : 6711 (java) R 6647 6647 3200 0 -1 4202560 20 0 0 0 113 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861956756136 139863221223398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6712] ppid=6647 vsize=28768336 memory=7086248332625471057 CPUtime=1.05 cores=0-7
/proc/6649/task/6712/stat : 6712 (java) R 6647 6647 3200 0 -1 4202560 67 0 0 0 105 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861953599320 139863220590123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6713] ppid=6647 vsize=28768336 memory=6081655465046468949 CPUtime=1.08 cores=0-7
/proc/6649/task/6713/stat : 6713 (java) R 6647 6647 3200 0 -1 4202560 93 0 0 0 108 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861950440984 139863218906280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6714] ppid=6647 vsize=28768336 memory=139763040671360 CPUtime=0.92 cores=0-7
/proc/6649/task/6714/stat : 6714 (java) R 6647 6647 3200 0 -1 4202560 36 0 0 0 92 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861957808264 139863219186935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6715] ppid=6647 vsize=28768336 memory=279525867869056 CPUtime=0.93 cores=0-7
/proc/6649/task/6715/stat : 6715 (java) R 6647 6647 3200 0 -1 4202560 32 0 0 0 93 0 0 0 20 0 28 0 476573190 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861951490576 139863219186628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6716] ppid=6647 vsize=28768336 memory=7014751519583064676 CPUtime=1.07 cores=0-7
/proc/6649/task/6716/stat : 6716 (java) R 6647 6647 3200 0 -1 4202560 25 0 0 0 107 0 0 0 20 0 28 0 476573191 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861954652056 139863219186495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6717] ppid=6647 vsize=28768336 memory=7738401681706411883 CPUtime=1.03 cores=0-7
/proc/6649/task/6717/stat : 6717 (java) R 6647 6647 3200 0 -1 4202560 55 0 0 0 103 0 0 0 20 0 28 0 476573191 29458776064 181063 33554432000 4194304 4196468 140736995245728 139861955705416 139863221543543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 725708 KiB

[startup+5.40203 s]
/proc/loadavg: 8.47 8.55 8.38 13/220 6719
/proc/meminfo: memFree=11085844/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28768336 memory=724352 CPUtime=29.46 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 46065 0 0 0 2898 48 0 0 20 0 28 0 476572818 29458776064 181088 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7192084 181088 3528 1 0 7153184 0
[pid=6649/tid=6650] ppid=6647 vsize=28768336 memory=0 CPUtime=2.51 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) S 6647 6647 3200 0 -1 1077944384 10765 0 0 0 243 8 0 0 20 0 28 0 476572818 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863583749248 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 150 0 0 0 6 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 272 0 0 0 5 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6654] ppid=6647 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/6649/task/6654/stat : 6654 (java) S 6647 6647 3200 0 -1 1077944384 187 0 0 0 9 3 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863127870352 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6655] ppid=6647 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/6649/task/6655/stat : 6655 (java) S 6647 6647 3200 0 -1 1077944384 149 0 0 0 7 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863126817296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6656] ppid=6647 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/6649/task/6656/stat : 6656 (java) S 6647 6647 3200 0 -1 1077944384 149 0 0 0 7 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863125764752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6657] ppid=6647 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/6649/task/6657/stat : 6657 (java) S 6647 6647 3200 0 -1 1077944384 126 0 0 0 7 3 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863124711696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6658] ppid=6647 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/6649/task/6658/stat : 6658 (java) S 6647 6647 3200 0 -1 1077944384 136 0 0 0 8 2 0 0 20 0 28 0 476572819 29458776064 181088 33554432000 4194304 4196468 140736995245728 139863123659152 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6659] ppid=6647 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/6649/task/6659/stat : 6659 (java) S 6647 6647 3200 0 -1 1077944384 1235 0 0 0 1 0 0 0 20 0 28 0 476572820 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861976500976 139863579519618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6660] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6660/stat : 6660 (java) S 6647 6647 3200 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476572821 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861975447264 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6661] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6661/stat : 6661 (java) S 6647 6647 3200 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476572821 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861974394112 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6662] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6662/stat : 6662 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476572823 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861973342672 139863579527067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6663] ppid=6647 vsize=28768336 memory=0 CPUtime=3.47 cores=0-7
/proc/6649/task/6663/stat : 6663 (java) R 6647 6647 3200 0 -1 4202560 10885 0 0 0 341 6 0 0 20 0 28 0 476572823 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861972274736 139863563065799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6664] ppid=6647 vsize=28768336 memory=0 CPUtime=3.74 cores=0-7
/proc/6649/task/6664/stat : 6664 (java) R 6647 6647 3200 0 -1 4202560 7408 0 0 0 372 2 0 0 20 0 28 0 476572823 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861971222192 139863564188873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6665] ppid=6647 vsize=28768336 memory=0 CPUtime=3.46 cores=0-7
/proc/6649/task/6665/stat : 6665 (java) R 6647 6647 3200 0 -1 4202560 7374 0 0 0 345 1 0 0 20 0 28 0 476572823 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861970170720 139863559352065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6666] ppid=6647 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) S 6647 6647 3200 0 -1 1077944384 3467 0 0 0 82 2 0 0 20 0 28 0 476572823 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861969131632 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6710] ppid=6647 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/6649/task/6710/stat : 6710 (java) R 6647 6647 3200 0 -1 4202560 63 0 0 0 122 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861952545816 139863220442814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6711] ppid=6647 vsize=28768336 memory=0 CPUtime=1.26 cores=0-7
/proc/6649/task/6711/stat : 6711 (java) R 6647 6647 3200 0 -1 4202560 20 0 0 0 126 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861956756136 139863221216380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6712] ppid=6647 vsize=28768336 memory=0 CPUtime=1.25 cores=0-7
/proc/6649/task/6712/stat : 6712 (java) R 6647 6647 3200 0 -1 4202560 69 0 0 0 125 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861953596872 139863219373790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6713] ppid=6647 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7
/proc/6649/task/6713/stat : 6713 (java) R 6647 6647 3200 0 -1 4202560 93 0 0 0 117 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861950439752 139863219766569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6714] ppid=6647 vsize=28768336 memory=0 CPUtime=1.08 cores=0-7
/proc/6649/task/6714/stat : 6714 (java) R 6647 6647 3200 0 -1 4202560 36 0 0 0 108 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861957806744 139863219186555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6715] ppid=6647 vsize=28768336 memory=0 CPUtime=1.13 cores=0-7
/proc/6649/task/6715/stat : 6715 (java) R 6647 6647 3200 0 -1 4202560 32 0 0 0 113 0 0 0 20 0 28 0 476573190 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861951490576 139863219780423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6716] ppid=6647 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7
/proc/6649/task/6716/stat : 6716 (java) R 6647 6647 3200 0 -1 4202560 25 0 0 0 119 0 0 0 20 0 28 0 476573191 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861954651112 139863221626909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6717] ppid=6647 vsize=28768336 memory=0 CPUtime=1.2 cores=0-7
/proc/6649/task/6717/stat : 6717 (java) R 6647 6647 3200 0 -1 4202560 56 0 0 0 120 0 0 0 20 0 28 0 476573191 29458776064 181088 33554432000 4194304 4196468 140736995245728 139861955705416 139863219872744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 29.46 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 725808 KiB

[startup+5.50128 s]
/proc/loadavg: 8.47 8.55 8.38 13/220 6719
/proc/meminfo: memFree=11085844/32770624 swapFree=66956716/67108860
[pid=6647] ppid=6644 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6647/stat : 6647 (xcsp3-exec) S 6644 6647 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476572817 115843072 364 33554432000 4194304 5098028 140727796500656 140727796498760 140284351009404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16019456 140727796507480 140727796507738 140727796507738 140727796510662 0
/proc/6647/statm: 28282 364 305 221 0 87 0
[pid=6649] ppid=6647 vsize=28768336 memory=724568 CPUtime=30.13 cores=0-7
/proc/6649/stat : 6649 (java) S 6647 6647 3200 0 -1 1077944320 46094 0 0 0 2965 48 0 0 20 0 28 0 476572818 29458776064 181142 33554432000 4194304 4196468 140736995245728 140736995228272 139863579508471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
/proc/6649/statm: 7192084 181142 3528 1 0 7153184 0
[pid=6649/tid=6650] ppid=6647 vsize=28768336 memory=517792 CPUtime=2.51 cores=0-7
/proc/6649/task/6650/stat : 6650 (java) S 6647 6647 3200 0 -1 1077944384 10765 0 0 0 243 8 0 0 20 0 28 0 476572818 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863583749248 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6651] ppid=6647 vsize=28768336 memory=723968 CPUtime=0.08 cores=0-7
/proc/6649/task/6651/stat : 6651 (java) S 6647 6647 3200 0 -1 1077944384 150 0 0 0 6 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863532129296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6652] ppid=6647 vsize=28768336 memory=1943562 CPUtime=0.08 cores=0-7
/proc/6649/task/6652/stat : 6652 (java) S 6647 6647 3200 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863531076752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6653] ppid=6647 vsize=28768336 memory=3620 CPUtime=0.07 cores=0-7
/proc/6649/task/6653/stat : 6653 (java) S 6647 6647 3200 0 -1 1077944384 272 0 0 0 5 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863128922896 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6654] ppid=6647 vsize=28768336 memory=54904 CPUtime=0.12 cores=0-7
/proc/6649/task/6654/stat : 6654 (java) S 6647 6647 3200 0 -1 1077944384 187 0 0 0 9 3 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863127870352 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6655] ppid=6647 vsize=28768336 memory=1988 CPUtime=0.09 cores=0-7
/proc/6649/task/6655/stat : 6655 (java) S 6647 6647 3200 0 -1 1077944384 149 0 0 0 7 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863126817296 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6656] ppid=6647 vsize=28768336 memory=8 CPUtime=0.09 cores=0-7
/proc/6649/task/6656/stat : 6656 (java) S 6647 6647 3200 0 -1 1077944384 149 0 0 0 7 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863125764752 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6657] ppid=6647 vsize=28768336 memory=1 CPUtime=0.1 cores=0-7
/proc/6649/task/6657/stat : 6657 (java) S 6647 6647 3200 0 -1 1077944384 126 0 0 0 7 3 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863124711696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6658] ppid=6647 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/6649/task/6658/stat : 6658 (java) S 6647 6647 3200 0 -1 1077944384 136 0 0 0 8 2 0 0 20 0 28 0 476572819 29458776064 181142 33554432000 4194304 4196468 140736995245728 139863123659152 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6659] ppid=6647 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/6649/task/6659/stat : 6659 (java) S 6647 6647 3200 0 -1 1077944384 1235 0 0 0 1 0 0 0 20 0 28 0 476572820 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861976500976 139863579519618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6660] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6660/stat : 6660 (java) S 6647 6647 3200 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476572821 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861975447264 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6661] ppid=6647 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6649/task/6661/stat : 6661 (java) S 6647 6647 3200 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476572821 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861974394112 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6662] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6662/stat : 6662 (java) S 6647 6647 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476572823 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861973342672 139863579527067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6663] ppid=6647 vsize=28768336 memory=0 CPUtime=3.55 cores=0-7
/proc/6649/task/6663/stat : 6663 (java) R 6647 6647 3200 0 -1 4202560 10885 0 0 0 349 6 0 0 20 0 28 0 476572823 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861972275936 139863561029331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6664] ppid=6647 vsize=28768336 memory=0 CPUtime=3.82 cores=0-7
/proc/6649/task/6664/stat : 6664 (java) R 6647 6647 3200 0 -1 4202560 7428 0 0 0 380 2 0 0 20 0 28 0 476572823 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861971224704 139863561052689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6665] ppid=6647 vsize=28768336 memory=0 CPUtime=3.52 cores=0-7
/proc/6649/task/6665/stat : 6665 (java) R 6647 6647 3200 0 -1 4202560 7374 0 0 0 351 1 0 0 20 0 28 0 476572823 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861970174272 139863563039954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6666] ppid=6647 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7
/proc/6649/task/6666/stat : 6666 (java) S 6647 6647 3200 0 -1 1077944384 3467 0 0 0 82 2 0 0 20 0 28 0 476572823 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861969131632 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6667] ppid=6647 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6649/task/6667/stat : 6667 (java) S 6647 6647 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861968079840 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6668] ppid=6647 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/6649/task/6668/stat : 6668 (java) S 6647 6647 3200 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 476572824 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861967027376 139863579519618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6710] ppid=6647 vsize=28768336 memory=288230583166042426 CPUtime=1.25 cores=0-7
/proc/6649/task/6710/stat : 6710 (java) S 6647 6647 3200 0 -1 1077944384 63 0 0 0 125 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861952548608 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6711] ppid=6647 vsize=28768336 memory=14979957709343274 CPUtime=1.31 cores=0-7
/proc/6649/task/6711/stat : 6711 (java) S 6647 6647 3200 0 -1 1077944384 20 0 0 0 131 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861956760912 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6712] ppid=6647 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/6649/task/6712/stat : 6712 (java) R 6647 6647 3200 0 -1 4202560 74 0 0 0 132 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861953596872 139863210987804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6713] ppid=6647 vsize=28768336 memory=1456 CPUtime=1.23 cores=0-7
/proc/6649/task/6713/stat : 6713 (java) S 6647 6647 3200 0 -1 1077944384 93 0 0 0 123 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861950444624 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6714] ppid=6647 vsize=28768336 memory=656604 CPUtime=1.11 cores=0-7
/proc/6649/task/6714/stat : 6714 (java) S 6647 6647 3200 0 -1 1077944384 36 0 0 0 111 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861957812944 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6715] ppid=6647 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7
/proc/6649/task/6715/stat : 6715 (java) S 6647 6647 3200 0 -1 1077944384 32 0 0 0 119 0 0 0 20 0 28 0 476573190 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861951497040 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6716] ppid=6647 vsize=28768336 memory=0 CPUtime=1.25 cores=0-7
/proc/6649/task/6716/stat : 6716 (java) S 6647 6647 3200 0 -1 1077944384 25 0 0 0 125 0 0 0 20 0 28 0 476573191 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861954655696 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
[pid=6649/tid=6717] ppid=6647 vsize=28768336 memory=988 CPUtime=1.28 cores=0-7
/proc/6649/task/6717/stat : 6717 (java) S 6647 6647 3200 0 -1 1077944384 60 0 0 0 128 0 0 0 20 0 28 0 476573191 29458776064 181142 33554432000 4194304 4196468 140736995245728 139861955708496 139863579518677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140736995247068 140736995247243 140736995247243 140736995250127 0
Current children cumulated CPU time: 30.13 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 726024 KiB

Child status: 0
Real time (s): 5.53901
CPU time (s): 30.1932
CPU user time (s): 29.6898
CPU system time (s): 0.503429
CPU usage (%): 545.102
Max. virtual memory (cumulated for all children) (KiB): 28883580
Max. memory (cumulated for all children) (KiB): 727284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.6898
system time used= 0.503429
maximum resident set size= 725828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4985
involuntary context switches= 989


# summary of solver processes directly reported to runsolver:
#   pid: 6647
#   total CPU time (s): 30.1932
#   total CPU user time (s): 29.6898
#   total CPU system time (s): 0.503429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070289 second user time and 0.097565 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
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	1.16899
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404830

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
