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-09-16 parallel	OPT	6	367.293	48.8054
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: 16375 MiB (14416 MiB free)
  memory of node 1: 16384 MiB (15459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399824-1568701022/watcher-4399824-1568701022 -o /tmp/evaluation-result-4399824-1568701022/solver-4399824-1568701022 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 585519596 HOME/instance-4399824-1568701022.xml 

running on 8 cores: 0-7

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


[startup+0.100111 s]*
/proc/loadavg: 3.66 5.99 6.94 3/211 18735
/proc/meminfo: memFree=30577356/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=28227396 memory=28776 CPUtime=0.12 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 5668 0 0 0 11 1 0 0 20 0 20 0 446043846 28904853504 7194 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7056849 7194 3121 1 0 7019032 0
[pid=18716/tid=18717] ppid=18714 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) R 18714 18714 18670 0 -1 4202560 3572 0 0 0 8 1 0 0 20 0 20 0 446043846 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340765031552 140340760808854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=28227396 memory=140556461192832 CPUtime=0 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18721] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18721/stat : 18721 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340677490960 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18722] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18722/stat : 18722 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340676439184 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18723] ppid=18714 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18723/stat : 18723 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340675386384 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18724] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18724/stat : 18724 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340305714064 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18725] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18725/stat : 18725 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 7194 33554432000 4194304 4196468 140735674546064 140340304661264 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18726] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18726/stat : 18726 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339742595440 140340760808066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18727] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18727/stat : 18727 (java) S 18714 18714 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339741541408 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18728] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18728/stat : 18728 (java) S 18714 18714 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339740488560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18729] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18729/stat : 18729 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339739436880 140340760815515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18730] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18730/stat : 18730 (java) S 18714 18714 18670 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339738385264 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18731] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18731/stat : 18731 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339737332464 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18732] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18732/stat : 18732 (java) S 18714 18714 18670 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339736279664 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18733] ppid=18714 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18716/task/18733/stat : 18733 (java) R 18714 18714 18670 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140339735226864 140340745049878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18734] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18734/stat : 18734 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 7194 33554432000 4194304 4196468 140735674546064 140338880572000 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18735] ppid=18714 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18735/stat : 18735 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043853 28904853504 7194 33554432000 4194304 4196468 140735674546064 140338879519280 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30232 KiB

[startup+0.211565 s]*
/proc/loadavg: 3.66 5.99 6.94 3/211 18735
/proc/meminfo: memFree=30564204/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=28227396 memory=41152 CPUtime=0.33 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 9486 0 0 0 30 3 0 0 20 0 20 0 446043846 28904853504 10288 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7056849 10288 3318 1 0 7019032 0
[pid=18716/tid=18717] ppid=18714 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) R 18714 18714 18670 0 -1 4202560 6584 0 0 0 18 2 0 0 20 0 20 0 446043846 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340765030416 140340355025616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=28227396 memory=288370932612904576 CPUtime=0 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18721] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18721/stat : 18721 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340677490960 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18722] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18722/stat : 18722 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340676439184 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18723] ppid=18714 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18723/stat : 18723 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340675386384 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18724] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18724/stat : 18724 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340305714064 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18725] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18725/stat : 18725 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28904853504 10288 33554432000 4194304 4196468 140735674546064 140340304661264 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18726] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18726/stat : 18726 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339742595440 140340760808066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18727] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18727/stat : 18727 (java) S 18714 18714 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339741541408 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18728] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18728/stat : 18728 (java) S 18714 18714 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446043849 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339740488560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18729] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18729/stat : 18729 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339739436880 140340760815515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18730] ppid=18714 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18716/task/18730/stat : 18730 (java) R 18714 18714 18670 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339738385264 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18731] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18731/stat : 18731 (java) S 18714 18714 18670 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339737332464 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18732] ppid=18714 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18716/task/18732/stat : 18732 (java) S 18714 18714 18670 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339736279664 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18733] ppid=18714 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/18716/task/18733/stat : 18733 (java) R 18714 18714 18670 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140339735226864 140340760808854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18734] ppid=18714 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18734/stat : 18734 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043852 28904853504 10288 33554432000 4194304 4196468 140735674546064 140338880572000 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18735] ppid=18714 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18735/stat : 18735 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043853 28904853504 10288 33554432000 4194304 4196468 140735674546064 140338879519280 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42608 KiB

[startup+0.311315 s]*
/proc/loadavg: 3.66 5.99 6.94 3/211 18735
/proc/meminfo: memFree=30559604/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=28231652 memory=47212 CPUtime=0.51 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 10593 0 0 0 47 4 0 0 20 0 20 0 446043846 28909211648 11803 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7057913 11803 3340 1 0 7019032 0
[pid=18716/tid=18717] ppid=18714 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) R 18714 18714 18670 0 -1 4202560 7585 0 0 0 26 3 0 0 20 0 20 0 446043846 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340765027616 140340744877406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18721] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18721/stat : 18721 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340677490960 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18722] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18722/stat : 18722 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340676439184 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18723] ppid=18714 vsize=28231652 memory=140556361624239 CPUtime=0 cores=0-7
/proc/18716/task/18723/stat : 18723 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340675386384 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18724] ppid=18714 vsize=28231652 memory=140556361626544 CPUtime=0 cores=0-7
/proc/18716/task/18724/stat : 18724 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340305714064 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18725] ppid=18714 vsize=28231652 memory=140556361628848 CPUtime=0 cores=0-7
/proc/18716/task/18725/stat : 18725 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043847 28909211648 11803 33554432000 4194304 4196468 140735674546064 140340304661264 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18726] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18726/stat : 18726 (java) S 18714 18714 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446043849 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339742595440 140340760808066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18727] ppid=18714 vsize=28231652 memory=281112723271568 CPUtime=0 cores=0-7
/proc/18716/task/18727/stat : 18727 (java) S 18714 18714 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446043849 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339741541408 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18728] ppid=18714 vsize=28231652 memory=281112723269264 CPUtime=0 cores=0-7
/proc/18716/task/18728/stat : 18728 (java) S 18714 18714 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446043849 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339740488560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18729] ppid=18714 vsize=28231652 memory=281112723276176 CPUtime=0 cores=0-7
/proc/18716/task/18729/stat : 18729 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339739436880 140340760815515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18730] ppid=18714 vsize=28231652 memory=281112723217424 CPUtime=0.03 cores=0-7
/proc/18716/task/18730/stat : 18730 (java) S 18714 18714 18670 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339738385264 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18731] ppid=18714 vsize=28231652 memory=281112723290000 CPUtime=0.01 cores=0-7
/proc/18716/task/18731/stat : 18731 (java) S 18714 18714 18670 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339737332464 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18732] ppid=18714 vsize=28231652 memory=281112723296912 CPUtime=0.02 cores=0-7
/proc/18716/task/18732/stat : 18732 (java) S 18714 18714 18670 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339736279664 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18733] ppid=18714 vsize=28231652 memory=281112723294608 CPUtime=0.13 cores=0-7
/proc/18716/task/18733/stat : 18733 (java) S 18714 18714 18670 0 -1 1077944384 856 0 0 0 13 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140339735226864 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18734] ppid=18714 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18734/stat : 18734 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446043852 28909211648 11803 33554432000 4194304 4196468 140735674546064 140338880572000 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18735] ppid=18714 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18716/task/18735/stat : 18735 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043853 28909211648 11803 33554432000 4194304 4196468 140735674546064 140338879519280 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48668 KiB

[startup+0.701069 s]
/proc/loadavg: 3.66 5.99 6.94 4/211 18735
/proc/meminfo: memFree=30539816/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=28233776 memory=101540 CPUtime=1.85 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 14537 0 0 0 179 6 0 0 20 0 20 0 446043846 28911386624 25385 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7058444 25385 3437 1 0 7019544 0
[pid=18716/tid=18717] ppid=18714 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) R 18714 18714 18670 0 -1 4202560 8310 0 0 0 63 5 0 0 20 0 20 0 446043846 28911386624 25385 33554432000 4194304 4196468 140735674546064 140340765031008 140340760808854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=28233776 memory=140556361835376 CPUtime=0 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28911386624 25385 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446043847 28911386624 25385 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=28233776 memory=1564 CPUtime=0 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446043847 28911386624 25385 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0

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

[pid=18716/tid=18794] ppid=18714 vsize=29034592 memory=3434064 CPUtime=40.82 cores=0-7
/proc/18716/task/18794/stat : 18794 (java) R 18714 18714 18670 0 -1 4202560 519 0 0 0 4082 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338549036136 140340740521991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18795] ppid=18714 vsize=29034592 memory=1456 CPUtime=40.57 cores=0-7
/proc/18716/task/18795/stat : 18795 (java) R 18714 18714 18670 0 -1 4202560 6479 0 0 0 4031 26 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338863169168 140340364458113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18796] ppid=18714 vsize=29034592 memory=3434064 CPUtime=40.67 cores=0-7
/proc/18716/task/18796/stat : 18796 (java) R 18714 18714 18670 0 -1 4202560 2876 0 0 0 4058 9 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338870538552 140340357852819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18797] ppid=18714 vsize=29034592 memory=780 CPUtime=40.84 cores=0-7
/proc/18716/task/18797/stat : 18797 (java) R 18714 18714 18670 0 -1 4202560 626 0 0 0 4084 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338552193304 140340363579799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18798] ppid=18714 vsize=29034592 memory=1708 CPUtime=40.34 cores=0-7
/proc/18716/task/18798/stat : 18798 (java) R 18714 18714 18670 0 -1 4202560 749 0 0 0 4034 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338865274776 140340364334796 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18799] ppid=18714 vsize=29034592 memory=1280 CPUtime=40.29 cores=0-7
/proc/18716/task/18799/stat : 18799 (java) R 18714 18714 18670 0 -1 4202560 907 0 0 0 4028 1 0 0 20 0 28 0 446044361 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338550090096 140340363579656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 348.47 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 3435520 KiB

[startup+48.0018 s]*
/proc/loadavg: 5.44 6.09 6.92 9/220 18802
/proc/meminfo: memFree=27166476/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=29034592 memory=3434064 CPUtime=361.31 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 82823 0 0 0 35959 172 0 0 20 0 28 0 446043846 29731422208 858516 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7258648 858516 3532 1 0 7219748 0
[pid=18716/tid=18717] ppid=18714 vsize=29034592 memory=1398722017469774279 CPUtime=3.74 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) S 18714 18714 18670 0 -1 1077944384 11750 0 0 0 362 12 0 0 20 0 28 0 446043846 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340765037696 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=29034592 memory=4872558044660077418 CPUtime=0.22 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 292 0 0 0 15 7 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=29034592 memory=9123871379154395351 CPUtime=0.24 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 533 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=29034592 memory=-2746958450906831424 CPUtime=0.24 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 381 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18721] ppid=18714 vsize=29034592 memory=-4546129931942301728 CPUtime=0.24 cores=0-7
/proc/18716/task/18721/stat : 18721 (java) S 18714 18714 18670 0 -1 1077944384 291 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340677490960 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18722] ppid=18714 vsize=29034592 memory=-2893623298589923098 CPUtime=0.22 cores=0-7
/proc/18716/task/18722/stat : 18722 (java) S 18714 18714 18670 0 -1 1077944384 1027 0 0 0 13 9 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340676439184 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18723] ppid=18714 vsize=29034592 memory=-3253322038155611931 CPUtime=0.23 cores=0-7
/proc/18716/task/18723/stat : 18723 (java) S 18714 18714 18670 0 -1 1077944384 403 0 0 0 16 7 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340675386384 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18724] ppid=18714 vsize=29034592 memory=-5921431000321636112 CPUtime=0.24 cores=0-7
/proc/18716/task/18724/stat : 18724 (java) S 18714 18714 18670 0 -1 1077944384 1430 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340305714064 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18725] ppid=18714 vsize=29034592 memory=-2245088631185882904 CPUtime=0.23 cores=0-7
/proc/18716/task/18725/stat : 18725 (java) S 18714 18714 18670 0 -1 1077944384 316 0 0 0 15 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340304661264 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18726] ppid=18714 vsize=29034592 memory=3434064 CPUtime=0.03 cores=0-7
/proc/18716/task/18726/stat : 18726 (java) S 18714 18714 18670 0 -1 1077944384 3201 0 0 0 3 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339742595440 140340760808066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18727] ppid=18714 vsize=29034592 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18716/task/18727/stat : 18727 (java) S 18714 18714 18670 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339741541472 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18728] ppid=18714 vsize=29034592 memory=46820 CPUtime=0 cores=0-7
/proc/18716/task/18728/stat : 18728 (java) S 18714 18714 18670 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339740488576 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18729] ppid=18714 vsize=29034592 memory=984 CPUtime=0 cores=0-7
/proc/18716/task/18729/stat : 18729 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339739436880 140340760815515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18730] ppid=18714 vsize=29034592 memory=2044 CPUtime=4.6 cores=0-7
/proc/18716/task/18730/stat : 18730 (java) S 18714 18714 18670 0 -1 1077944384 12092 0 0 0 457 3 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339738385264 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18731] ppid=18714 vsize=29034592 memory=1388 CPUtime=4.16 cores=0-7
/proc/18716/task/18731/stat : 18731 (java) S 18714 18714 18670 0 -1 1077944384 10617 0 0 0 413 3 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339737332464 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18732] ppid=18714 vsize=29034592 memory=1056 CPUtime=3.96 cores=0-7
/proc/18716/task/18732/stat : 18732 (java) S 18714 18714 18670 0 -1 1077944384 8360 0 0 0 394 2 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339736279664 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18733] ppid=18714 vsize=29034592 memory=780 CPUtime=1.01 cores=0-7
/proc/18716/task/18733/stat : 18733 (java) S 18714 18714 18670 0 -1 1077944384 10166 0 0 0 99 2 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339735226864 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18734] ppid=18714 vsize=29034592 memory=1708 CPUtime=0 cores=0-7
/proc/18716/task/18734/stat : 18734 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338880572000 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18735] ppid=18714 vsize=29034592 memory=3434064 CPUtime=0.02 cores=0-7
/proc/18716/task/18735/stat : 18735 (java) S 18714 18714 18670 0 -1 1077944384 1003 0 0 0 1 1 0 0 20 0 28 0 446043853 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338879519280 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18792] ppid=18714 vsize=29034592 memory=0 CPUtime=41.9 cores=0-7
/proc/18716/task/18792/stat : 18792 (java) R 18714 18714 18670 0 -1 4202560 5355 0 0 0 4154 36 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338869483464 140340356535844 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18793] ppid=18714 vsize=29034592 memory=-7240599211820661557 CPUtime=42.38 cores=0-7
/proc/18716/task/18793/stat : 18793 (java) R 18714 18714 18670 0 -1 4202560 529 0 0 0 4238 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338551139936 140340364457440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18794] ppid=18714 vsize=29034592 memory=7230368034813994345 CPUtime=42.43 cores=0-7
/proc/18716/task/18794/stat : 18794 (java) R 18714 18714 18670 0 -1 4202560 522 0 0 0 4243 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338549035424 140340364048167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18795] ppid=18714 vsize=29034592 memory=7230368034813994345 CPUtime=42.17 cores=0-7
/proc/18716/task/18795/stat : 18795 (java) R 18714 18714 18670 0 -1 4202560 6578 0 0 0 4190 27 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338863169136 140340364087187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18796] ppid=18714 vsize=29034592 memory=6299809541427390821 CPUtime=42.28 cores=0-7
/proc/18716/task/18796/stat : 18796 (java) R 18714 18714 18670 0 -1 4202560 2895 0 0 0 4219 9 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338870538464 140340361003444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18797] ppid=18714 vsize=29034592 memory=7230368034813994345 CPUtime=42.45 cores=0-7
/proc/18716/task/18797/stat : 18797 (java) R 18714 18714 18670 0 -1 4202560 627 0 0 0 4245 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338552193256 140340363579656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18798] ppid=18714 vsize=29034592 memory=6299809541427390821 CPUtime=41.95 cores=0-7
/proc/18716/task/18798/stat : 18798 (java) R 18714 18714 18670 0 -1 4202560 751 0 0 0 4195 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338865274944 140340363580043 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18799] ppid=18714 vsize=29034592 memory=7230368034813994345 CPUtime=41.89 cores=0-7
/proc/18716/task/18799/stat : 18799 (java) R 18714 18714 18670 0 -1 4202560 909 0 0 0 4188 1 0 0 20 0 28 0 446044361 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338550087752 140340364613554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 361.31 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 3435520 KiB

[startup+48.4018 s]
/proc/loadavg: 5.44 6.09 6.92 9/220 18802
/proc/meminfo: memFree=27166476/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
[pid=18716] ppid=18714 vsize=29034592 memory=3434064 CPUtime=364.43 cores=0-7
/proc/18716/stat : 18716 (java) S 18714 18714 18670 0 -1 1077944320 82875 0 0 0 36271 172 0 0 20 0 28 0 446043846 29731422208 858516 33554432000 4194304 4196468 140735674546064 140735674528608 140340760796919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
/proc/18716/statm: 7258648 858516 3532 1 0 7219748 0
[pid=18716/tid=18717] ppid=18714 vsize=29034592 memory=3434064 CPUtime=3.74 cores=0-7
/proc/18716/task/18717/stat : 18717 (java) S 18714 18714 18670 0 -1 1077944384 11750 0 0 0 362 12 0 0 20 0 28 0 446043846 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340765037696 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18718] ppid=18714 vsize=29034592 memory=1398722017469774279 CPUtime=0.22 cores=0-7
/proc/18716/task/18718/stat : 18718 (java) S 18714 18714 18670 0 -1 1077944384 292 0 0 0 15 7 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340680649360 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18719] ppid=18714 vsize=29034592 memory=4872558044660077418 CPUtime=0.24 cores=0-7
/proc/18716/task/18719/stat : 18719 (java) S 18714 18714 18670 0 -1 1077944384 533 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340679596560 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18720] ppid=18714 vsize=29034592 memory=796 CPUtime=0.24 cores=0-7
/proc/18716/task/18720/stat : 18720 (java) S 18714 18714 18670 0 -1 1077944384 381 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340678543760 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18721] ppid=18714 vsize=29034592 memory=1444 CPUtime=0.24 cores=0-7
/proc/18716/task/18721/stat : 18721 (java) S 18714 18714 18670 0 -1 1077944384 291 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340677490960 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18722] ppid=18714 vsize=29034592 memory=1984 CPUtime=0.22 cores=0-7
/proc/18716/task/18722/stat : 18722 (java) S 18714 18714 18670 0 -1 1077944384 1027 0 0 0 13 9 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340676439184 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18723] ppid=18714 vsize=29034592 memory=6360846566568 CPUtime=0.23 cores=0-7
/proc/18716/task/18723/stat : 18723 (java) S 18714 18714 18670 0 -1 1077944384 403 0 0 0 16 7 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340675386384 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18724] ppid=18714 vsize=29034592 memory=288230596050944315 CPUtime=0.24 cores=0-7
/proc/18716/task/18724/stat : 18724 (java) S 18714 18714 18670 0 -1 1077944384 1430 0 0 0 16 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340305714064 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18725] ppid=18714 vsize=29034592 memory=14690794741172841 CPUtime=0.23 cores=0-7
/proc/18716/task/18725/stat : 18725 (java) S 18714 18714 18670 0 -1 1077944384 316 0 0 0 15 8 0 0 20 0 28 0 446043847 29731422208 858516 33554432000 4194304 4196468 140735674546064 140340304661264 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18726] ppid=18714 vsize=29034592 memory=6791534058613427641 CPUtime=0.03 cores=0-7
/proc/18716/task/18726/stat : 18726 (java) S 18714 18714 18670 0 -1 1077944384 3201 0 0 0 3 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339742595440 140340760808066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18727] ppid=18714 vsize=29034592 memory=3434064 CPUtime=0 cores=0-7
/proc/18716/task/18727/stat : 18727 (java) S 18714 18714 18670 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339741541472 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18728] ppid=18714 vsize=29034592 memory=23004 CPUtime=0 cores=0-7
/proc/18716/task/18728/stat : 18728 (java) S 18714 18714 18670 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 446043849 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339740488576 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18729] ppid=18714 vsize=29034592 memory=14068 CPUtime=0 cores=0-7
/proc/18716/task/18729/stat : 18729 (java) S 18714 18714 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339739436880 140340760815515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18730] ppid=18714 vsize=29034592 memory=2120 CPUtime=4.6 cores=0-7
/proc/18716/task/18730/stat : 18730 (java) S 18714 18714 18670 0 -1 1077944384 12092 0 0 0 457 3 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339738385264 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18731] ppid=18714 vsize=29034592 memory=496 CPUtime=4.16 cores=0-7
/proc/18716/task/18731/stat : 18731 (java) S 18714 18714 18670 0 -1 1077944384 10617 0 0 0 413 3 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339737332464 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18732] ppid=18714 vsize=29034592 memory=1556 CPUtime=3.96 cores=0-7
/proc/18716/task/18732/stat : 18732 (java) S 18714 18714 18670 0 -1 1077944384 8360 0 0 0 394 2 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339736279664 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18733] ppid=18714 vsize=29034592 memory=928 CPUtime=1.01 cores=0-7
/proc/18716/task/18733/stat : 18733 (java) S 18714 18714 18670 0 -1 1077944384 10166 0 0 0 99 2 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140339735226864 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18734] ppid=18714 vsize=29034592 memory=1628 CPUtime=0 cores=0-7
/proc/18716/task/18734/stat : 18734 (java) S 18714 18714 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446043852 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338880572000 140340760807125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18735] ppid=18714 vsize=29034592 memory=6791534058613427641 CPUtime=0.02 cores=0-7
/proc/18716/task/18735/stat : 18735 (java) S 18714 18714 18670 0 -1 1077944384 1003 0 0 0 1 1 0 0 20 0 28 0 446043853 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338879519280 140340760808066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18792] ppid=18714 vsize=29034592 memory=3434064 CPUtime=42.29 cores=0-7
/proc/18716/task/18792/stat : 18792 (java) R 18714 18714 18670 0 -1 4202560 5379 0 0 0 4193 36 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338869483464 140340364509504 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18793] ppid=18714 vsize=29034592 memory=1984 CPUtime=42.77 cores=0-7
/proc/18716/task/18793/stat : 18793 (java) R 18714 18714 18670 0 -1 4202560 529 0 0 0 4277 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338551139824 140340356535723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18794] ppid=18714 vsize=29034592 memory=2424 CPUtime=42.82 cores=0-7
/proc/18716/task/18794/stat : 18794 (java) R 18714 18714 18670 0 -1 4202560 522 0 0 0 4282 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338549035424 140340359180723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18795] ppid=18714 vsize=29034592 memory=1760 CPUtime=42.56 cores=0-7
/proc/18716/task/18795/stat : 18795 (java) R 18714 18714 18670 0 -1 4202560 6602 0 0 0 4229 27 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338863169136 140340364087171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18796] ppid=18714 vsize=29034592 memory=288230574492221466 CPUtime=42.67 cores=0-7
/proc/18716/task/18796/stat : 18796 (java) R 18714 18714 18670 0 -1 4202560 2899 0 0 0 4258 9 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338870538464 140340362480092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18797] ppid=18714 vsize=29034592 memory=288230596050944315 CPUtime=42.84 cores=0-7
/proc/18716/task/18797/stat : 18797 (java) R 18714 18714 18670 0 -1 4202560 627 0 0 0 4284 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338552193256 140340362480201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18798] ppid=18714 vsize=29034592 memory=14690794741172841 CPUtime=42.34 cores=0-7
/proc/18716/task/18798/stat : 18798 (java) R 18714 18714 18670 0 -1 4202560 751 0 0 0 4234 0 0 0 20 0 28 0 446044359 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338865274944 140340363579656 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
[pid=18716/tid=18799] ppid=18714 vsize=29034592 memory=82561418136298 CPUtime=42.27 cores=0-7
/proc/18716/task/18799/stat : 18799 (java) R 18714 18714 18670 0 -1 4202560 909 0 0 0 4226 1 0 0 20 0 28 0 446044361 29731422208 858516 33554432000 4194304 4196468 140735674546064 140338550087752 140340363580244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140735674553322 140735674553494 140735674553494 140735674556367 0
Current children cumulated CPU time: 364.43 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 3435520 KiB

[startup+48.8013 s]
/proc/loadavg: 5.44 6.09 6.92 9/220 18802
/proc/meminfo: memFree=27166476/32770688 swapFree=66961208/67108860
[pid=18714] ppid=18711 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18714/stat : 18714 (xcsp3-exec) S 18711 18714 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446043846 115843072 364 33554432000 4194304 5098028 140728195459296 140728195457400 140103371604604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14807040 140728195462006 140728195462249 140728195462249 140728195465162 0
/proc/18714/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 48.8054
CPU time (s): 367.293
CPU user time (s): 365.543
CPU system time (s): 1.74962
CPU usage (%): 752.566
Max. virtual memory (cumulated for all children) (KiB): 29147720
Max. memory (cumulated for all children) (KiB): 3435520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.543
system time used= 1.74962
maximum resident set size= 3434092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6590
involuntary context switches= 4676


# summary of solver processes directly reported to runsolver:
#   pid: 18714
#   total CPU time (s): 367.293
#   total CPU user time (s): 365.543
#   total CPU system time (s): 1.74962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.425086 second user time and 0.704834 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 4399824

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
