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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT	195.89	32.4372
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 (11632 MiB free)
  memory of node 1: 16384 MiB (14963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399561-1568708284/watcher-4399561-1568708284 -o /tmp/evaluation-result-4399561-1568708284/solver-4399561-1568708284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 347110919 HOME/instance-4399561-1568708284.xml 

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

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


[startup+0.100129 s]*
/proc/loadavg: 7.93 8.19 8.28 3/211 3743
/proc/meminfo: memFree=27219720/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28227396 memory=27092 CPUtime=0.12 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 5732 0 0 0 11 1 0 0 20 0 20 0 446766829 28904853504 6773 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7056849 6773 3147 1 0 7019032 0
[pid=3724/tid=3725] ppid=3722 vsize=28227396 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) R 3722 3722 29646 0 -1 4202560 3635 0 0 0 8 0 0 0 20 0 20 0 446766829 28904853504 6773 33554432000 4194304 4196468 140735280115056 139888258619184 139888234565300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28227396 memory=140410590492288 CPUtime=0 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3729] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3729/stat : 3729 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887802603792 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3730] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3730/stat : 3730 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887801552016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3731] ppid=3722 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3731/stat : 3731 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887800499216 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3732] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3732/stat : 3732 (java) S 3722 3722 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887799446416 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3733] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3733/stat : 3733 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 6773 33554432000 4194304 4196468 140735280115056 139887798393616 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3734] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3734/stat : 3734 (java) S 3722 3722 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886901320048 139888254397058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3735] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3735/stat : 3735 (java) S 3722 3722 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886900266016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3736] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3736/stat : 3736 (java) S 3722 3722 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886899213168 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3737] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3737/stat : 3737 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886898161488 139888254404507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3738] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3738/stat : 3738 (java) S 3722 3722 29646 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886897109872 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3739] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3739/stat : 3739 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886896057072 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3740] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3740/stat : 3740 (java) R 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886895004272 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3741] ppid=3722 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3724/task/3741/stat : 3741 (java) R 3722 3722 29646 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886893951472 139888238466398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3742] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3742/stat : 3742 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886892898912 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3743] ppid=3722 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3743/stat : 3743 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 6773 33554432000 4194304 4196468 140735280115056 139886891846192 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28544 KiB

[startup+0.210579 s]*
/proc/loadavg: 7.93 8.19 8.28 2/211 3743
/proc/meminfo: memFree=27205864/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28227396 memory=40128 CPUtime=0.34 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 9780 0 0 0 30 4 0 0 20 0 20 0 446766829 28904853504 10032 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7056849 10032 3312 1 0 7019032 0
[pid=3724/tid=3725] ppid=3722 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) R 3722 3722 29646 0 -1 4202560 6674 0 0 0 18 2 0 0 20 0 20 0 446766829 28904853504 10032 33554432000 4194304 4196468 140735280115056 139888258622976 139888254397846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28227396 memory=140410590508626 CPUtime=0 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3729] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3729/stat : 3729 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887802603792 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3730] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3730/stat : 3730 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887801552016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3731] ppid=3722 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3731/stat : 3731 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887800499216 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3732] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3732/stat : 3732 (java) S 3722 3722 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887799446416 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3733] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3733/stat : 3733 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28904853504 10032 33554432000 4194304 4196468 140735280115056 139887798393616 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3734] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3734/stat : 3734 (java) S 3722 3722 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886901320048 139888254397058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3735] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3735/stat : 3735 (java) S 3722 3722 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886900266016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3736] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3736/stat : 3736 (java) S 3722 3722 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446766832 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886899213168 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3737] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3737/stat : 3737 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886898161488 139888254404507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3738] ppid=3722 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3724/task/3738/stat : 3738 (java) S 3722 3722 29646 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886897109872 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3739] ppid=3722 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3724/task/3739/stat : 3739 (java) S 3722 3722 29646 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886896057072 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3740] ppid=3722 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3724/task/3740/stat : 3740 (java) S 3722 3722 29646 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886895004272 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3741] ppid=3722 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/3724/task/3741/stat : 3741 (java) R 3722 3722 29646 0 -1 4202560 944 0 0 0 7 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886893951280 139888235796061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3742] ppid=3722 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3742/stat : 3742 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886892898912 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3743] ppid=3722 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3743/stat : 3743 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28904853504 10032 33554432000 4194304 4196468 140735280115056 139886891846192 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41580 KiB

[startup+0.310368 s]*
/proc/loadavg: 7.93 8.19 8.28 3/211 3743
/proc/meminfo: memFree=27198580/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28231652 memory=49208 CPUtime=0.52 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 11205 0 0 0 48 4 0 0 20 0 20 0 446766829 28909211648 12302 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7057913 12302 3363 1 0 7019032 0
[pid=3724/tid=3725] ppid=3722 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) R 3722 3722 29646 0 -1 4202560 7785 0 0 0 27 3 0 0 20 0 20 0 446766829 28909211648 12408 33554432000 4194304 4196468 140735280115056 139888258617024 139888237729624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28231652 memory=23716 CPUtime=0 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3729] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3729/stat : 3729 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887802603792 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3730] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3730/stat : 3730 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887801552016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3731] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3731/stat : 3731 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887800499216 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3732] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3732/stat : 3732 (java) S 3722 3722 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887799446416 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3733] ppid=3722 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/3724/task/3733/stat : 3733 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28909211648 12408 33554432000 4194304 4196468 140735280115056 139887798393616 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3734] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3734/stat : 3734 (java) S 3722 3722 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446766832 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886901320048 139888254397058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3735] ppid=3722 vsize=28231652 memory=140410466956239 CPUtime=0 cores=0-7
/proc/3724/task/3735/stat : 3735 (java) S 3722 3722 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446766832 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886900266016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3736] ppid=3722 vsize=28231652 memory=280820933914768 CPUtime=0 cores=0-7
/proc/3724/task/3736/stat : 3736 (java) S 3722 3722 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446766832 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886899213168 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3737] ppid=3722 vsize=28231652 memory=280820933930896 CPUtime=0 cores=0-7
/proc/3724/task/3737/stat : 3737 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886898161488 139888254404507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3738] ppid=3722 vsize=28231652 memory=280820933928592 CPUtime=0.03 cores=0-7
/proc/3724/task/3738/stat : 3738 (java) R 3722 3722 29646 0 -1 4202560 665 0 0 0 3 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886897101328 139888232037776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3739] ppid=3722 vsize=28231652 memory=280820933935504 CPUtime=0.02 cores=0-7
/proc/3724/task/3739/stat : 3739 (java) S 3722 3722 29646 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886896057072 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3740] ppid=3722 vsize=28231652 memory=280820933876656 CPUtime=0.02 cores=0-7
/proc/3724/task/3740/stat : 3740 (java) S 3722 3722 29646 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886895004272 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3741] ppid=3722 vsize=28231652 memory=280820933949328 CPUtime=0.12 cores=0-7
/proc/3724/task/3741/stat : 3741 (java) S 3722 3722 29646 0 -1 1077944384 1120 0 0 0 12 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886893951472 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3742] ppid=3722 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3742/stat : 3742 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886892898912 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3743] ppid=3722 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3724/task/3743/stat : 3743 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766835 28909211648 12408 33554432000 4194304 4196468 140735280115056 139886891846192 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50660 KiB

[startup+0.700968 s]
/proc/loadavg: 7.93 8.19 8.28 5/211 3743
/proc/meminfo: memFree=27177136/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28233776 memory=97768 CPUtime=1.93 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 16608 0 0 0 186 7 0 0 20 0 20 0 446766829 28911386624 24442 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7058444 24442 3452 1 0 7019544 0
[pid=3724/tid=3725] ppid=3722 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) R 3722 3722 29646 0 -1 4202560 9157 0 0 0 64 4 0 0 20 0 20 0 446766829 28911386624 24442 33554432000 4194304 4196468 140735280115056 139888258620544 139888233585375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28233776 memory=140410467165040 CPUtime=0 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28911386624 24442 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446766830 28911386624 24442 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28233776 memory=10596 CPUtime=0 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446766830 28911386624 24442 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0

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

[pid=3724/tid=3748] ppid=3722 vsize=28766288 memory=8112282956445269571 CPUtime=13.76 cores=0-7
/proc/3724/task/3748/stat : 3748 (java) R 3722 3722 29646 0 -1 4202560 3149 0 0 0 1366 10 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886764081640 139887900003780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3749] ppid=3722 vsize=28766288 memory=3047711553219693942 CPUtime=12.31 cores=0-7
/proc/3724/task/3749/stat : 3749 (java) S 3722 3722 29646 0 -1 1077944384 2720 0 0 0 1226 5 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886763034064 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3750] ppid=3722 vsize=28766288 memory=4572164749098055210 CPUtime=13.83 cores=0-7
/proc/3724/task/3750/stat : 3750 (java) R 3722 3722 29646 0 -1 4202560 11340 0 0 0 1373 10 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886761975776 139887900054754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3751] ppid=3722 vsize=28766288 memory=0 CPUtime=11.95 cores=0-7
/proc/3724/task/3751/stat : 3751 (java) S 3722 3722 29646 0 -1 1077944384 9345 0 0 0 1182 13 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886760928464 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3752] ppid=3722 vsize=28766288 memory=280820935002272 CPUtime=11.91 cores=0-7
/proc/3724/task/3752/stat : 3752 (java) S 3722 3722 29646 0 -1 1077944384 1386 0 0 0 1182 9 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886759875664 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3753] ppid=3722 vsize=28766288 memory=97316 CPUtime=12.28 cores=0-7
/proc/3724/task/3753/stat : 3753 (java) S 3722 3722 29646 0 -1 1077944384 1170 0 0 0 1221 7 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886758822864 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 192.42 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7832948 KiB

[startup+31.2012 s]
/proc/loadavg: 7.00 7.93 8.19 3/219 3754
/proc/meminfo: memFree=19400580/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28766288 memory=7831496 CPUtime=194.03 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 155336 0 0 0 17771 1632 0 0 20 0 28 0 446766829 29456678912 1957874 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7191572 1957874 3528 1 0 7152672 0
[pid=3724/tid=3725] ppid=3722 vsize=28766288 memory=8112282956445269571 CPUtime=5.67 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) S 3722 3722 29646 0 -1 1077944384 13242 0 0 0 554 13 0 0 20 0 28 0 446766829 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139888258626688 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28766288 memory=0 CPUtime=9.91 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 6978 0 0 0 801 190 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28766288 memory=0 CPUtime=9.99 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 6156 0 0 0 808 191 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28766288 memory=0 CPUtime=9.89 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 6283 0 0 0 789 200 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3729] ppid=3722 vsize=28766288 memory=6369891330249811297 CPUtime=9.94 cores=0-7
/proc/3724/task/3729/stat : 3729 (java) S 3722 3722 29646 0 -1 1077944384 14701 0 0 0 801 193 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887802603792 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3730] ppid=3722 vsize=28766288 memory=7013913674609158505 CPUtime=9.86 cores=0-7
/proc/3724/task/3730/stat : 3730 (java) S 3722 3722 29646 0 -1 1077944384 6207 0 0 0 800 186 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887801552016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3731] ppid=3722 vsize=28766288 memory=7956570197699356243 CPUtime=9.99 cores=0-7
/proc/3724/task/3731/stat : 3731 (java) S 3722 3722 29646 0 -1 1077944384 6410 0 0 0 811 188 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887800499216 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3732] ppid=3722 vsize=28766288 memory=0 CPUtime=9.96 cores=0-7
/proc/3724/task/3732/stat : 3732 (java) S 3722 3722 29646 0 -1 1077944384 5490 0 0 0 802 194 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887799446416 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3733] ppid=3722 vsize=28766288 memory=8112282956445269571 CPUtime=9.96 cores=0-7
/proc/3724/task/3733/stat : 3733 (java) S 3722 3722 29646 0 -1 1077944384 6939 0 0 0 821 175 0 0 20 0 28 0 446766830 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139887798393616 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3734] ppid=3722 vsize=28766288 memory=7367994820087800141 CPUtime=0.27 cores=0-7
/proc/3724/task/3734/stat : 3734 (java) S 3722 3722 29646 0 -1 1077944384 10764 0 0 0 17 10 0 0 20 0 28 0 446766832 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886901320048 139888254397058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3735] ppid=3722 vsize=28766288 memory=1048 CPUtime=0 cores=0-7
/proc/3724/task/3735/stat : 3735 (java) S 3722 3722 29646 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 446766832 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886900266080 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3736] ppid=3722 vsize=28766288 memory=6020 CPUtime=0 cores=0-7
/proc/3724/task/3736/stat : 3736 (java) S 3722 3722 29646 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 446766832 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886899213184 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3737] ppid=3722 vsize=28766288 memory=612 CPUtime=0 cores=0-7
/proc/3724/task/3737/stat : 3737 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886898161488 139888254404507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3738] ppid=3722 vsize=28766288 memory=1220 CPUtime=1.83 cores=0-7
/proc/3724/task/3738/stat : 3738 (java) S 3722 3722 29646 0 -1 1077944384 7656 0 0 0 182 1 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886897109872 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3739] ppid=3722 vsize=28766288 memory=14004 CPUtime=1.77 cores=0-7
/proc/3724/task/3739/stat : 3739 (java) S 3722 3722 29646 0 -1 1077944384 10257 0 0 0 175 2 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886896057072 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3740] ppid=3722 vsize=28766288 memory=14060 CPUtime=2.27 cores=0-7
/proc/3724/task/3740/stat : 3740 (java) S 3722 3722 29646 0 -1 1077944384 11318 0 0 0 224 3 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886895004272 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3741] ppid=3722 vsize=28766288 memory=2116 CPUtime=0.66 cores=0-7
/proc/3724/task/3741/stat : 3741 (java) S 3722 3722 29646 0 -1 1077944384 5949 0 0 0 64 2 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886893951472 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3742] ppid=3722 vsize=28766288 memory=23716 CPUtime=0 cores=0-7
/proc/3724/task/3742/stat : 3742 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886892898912 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3743] ppid=3722 vsize=28766288 memory=532 CPUtime=0.01 cores=0-7
/proc/3724/task/3743/stat : 3743 (java) S 3722 3722 29646 0 -1 1077944384 577 0 0 0 0 1 0 0 20 0 28 0 446766835 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886891846192 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3746] ppid=3722 vsize=28766288 memory=1556 CPUtime=12.59 cores=0-7
/proc/3724/task/3746/stat : 3746 (java) S 3722 3722 29646 0 -1 1077944384 1800 0 0 0 1249 10 0 0 20 0 28 0 446768442 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886884965744 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3747] ppid=3722 vsize=28766288 memory=772 CPUtime=11.57 cores=0-7
/proc/3724/task/3747/stat : 3747 (java) S 3722 3722 29646 0 -1 1077944384 3281 0 0 0 1150 7 0 0 20 0 28 0 446768442 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886765138640 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3748] ppid=3722 vsize=28766288 memory=10596 CPUtime=14.56 cores=0-7
/proc/3724/task/3748/stat : 3748 (java) R 3722 3722 29646 0 -1 4202560 3151 0 0 0 1446 10 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886764081640 139887900054799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3749] ppid=3722 vsize=28766288 memory=1712 CPUtime=12.31 cores=0-7
/proc/3724/task/3749/stat : 3749 (java) S 3722 3722 29646 0 -1 1077944384 2720 0 0 0 1226 5 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886763034064 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3750] ppid=3722 vsize=28766288 memory=988 CPUtime=14.64 cores=0-7
/proc/3724/task/3750/stat : 3750 (java) R 3722 3722 29646 0 -1 4202560 12192 0 0 0 1453 11 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886761975776 139887900003748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3751] ppid=3722 vsize=28766288 memory=4164 CPUtime=11.95 cores=0-7
/proc/3724/task/3751/stat : 3751 (java) S 3722 3722 29646 0 -1 1077944384 9345 0 0 0 1182 13 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886760928464 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3752] ppid=3722 vsize=28766288 memory=2828 CPUtime=11.91 cores=0-7
/proc/3724/task/3752/stat : 3752 (java) S 3722 3722 29646 0 -1 1077944384 1386 0 0 0 1182 9 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886759875664 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3753] ppid=3722 vsize=28766288 memory=8112282956445269571 CPUtime=12.28 cores=0-7
/proc/3724/task/3753/stat : 3753 (java) S 3722 3722 29646 0 -1 1077944384 1170 0 0 0 1221 7 0 0 20 0 28 0 446768443 29456678912 1957874 33554432000 4194304 4196468 140735280115056 139886758822864 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 194.03 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7832948 KiB

[startup+32.0012 s]*
/proc/loadavg: 7.00 7.93 8.19 2/219 3754
/proc/meminfo: memFree=19401444/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
[pid=3724] ppid=3722 vsize=28766288 memory=7831568 CPUtime=195.41 cores=0-7
/proc/3724/stat : 3724 (java) S 3722 3722 29646 0 -1 1077944320 158653 0 0 0 17908 1633 0 0 20 0 28 0 446766829 29456678912 1957892 33554432000 4194304 4196468 140735280115056 140735280097600 139888254385911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
/proc/3724/statm: 7191572 1957892 3528 1 0 7152672 0
[pid=3724/tid=3725] ppid=3722 vsize=28766288 memory=532 CPUtime=5.67 cores=0-7
/proc/3724/task/3725/stat : 3725 (java) S 3722 3722 29646 0 -1 1077944384 13242 0 0 0 554 13 0 0 20 0 28 0 446766829 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139888258626688 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3726] ppid=3722 vsize=28766288 memory=1556 CPUtime=9.91 cores=0-7
/proc/3724/task/3726/stat : 3726 (java) S 3722 3722 29646 0 -1 1077944384 6978 0 0 0 801 190 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887805762192 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3727] ppid=3722 vsize=28766288 memory=4872558044660077418 CPUtime=9.99 cores=0-7
/proc/3724/task/3727/stat : 3727 (java) S 3722 3722 29646 0 -1 1077944384 6156 0 0 0 808 191 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887804709392 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3728] ppid=3722 vsize=28766288 memory=1436 CPUtime=9.89 cores=0-7
/proc/3724/task/3728/stat : 3728 (java) S 3722 3722 29646 0 -1 1077944384 6283 0 0 0 789 200 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887803656592 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3729] ppid=3722 vsize=28766288 memory=1652 CPUtime=9.94 cores=0-7
/proc/3724/task/3729/stat : 3729 (java) S 3722 3722 29646 0 -1 1077944384 14701 0 0 0 801 193 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887802603792 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3730] ppid=3722 vsize=28766288 memory=1980 CPUtime=9.86 cores=0-7
/proc/3724/task/3730/stat : 3730 (java) S 3722 3722 29646 0 -1 1077944384 6207 0 0 0 800 186 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887801552016 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3731] ppid=3722 vsize=28766288 memory=8112282956445269571 CPUtime=9.99 cores=0-7
/proc/3724/task/3731/stat : 3731 (java) S 3722 3722 29646 0 -1 1077944384 6410 0 0 0 811 188 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887800499216 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3732] ppid=3722 vsize=28766288 memory=1760 CPUtime=9.96 cores=0-7
/proc/3724/task/3732/stat : 3732 (java) S 3722 3722 29646 0 -1 1077944384 5490 0 0 0 802 194 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887799446416 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3733] ppid=3722 vsize=28766288 memory=111636 CPUtime=9.96 cores=0-7
/proc/3724/task/3733/stat : 3733 (java) S 3722 3722 29646 0 -1 1077944384 6939 0 0 0 821 175 0 0 20 0 28 0 446766830 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139887798393616 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3734] ppid=3722 vsize=28766288 memory=804 CPUtime=0.27 cores=0-7
/proc/3724/task/3734/stat : 3734 (java) S 3722 3722 29646 0 -1 1077944384 10764 0 0 0 17 10 0 0 20 0 28 0 446766832 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886901320048 139888254397058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3735] ppid=3722 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/3724/task/3735/stat : 3735 (java) S 3722 3722 29646 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 446766832 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886900266080 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3736] ppid=3722 vsize=28766288 memory=3624 CPUtime=0 cores=0-7
/proc/3724/task/3736/stat : 3736 (java) S 3722 3722 29646 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 446766832 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886899213184 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3737] ppid=3722 vsize=28766288 memory=48128 CPUtime=0 cores=0-7
/proc/3724/task/3737/stat : 3737 (java) S 3722 3722 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886898161488 139888254404507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3738] ppid=3722 vsize=28766288 memory=988 CPUtime=1.87 cores=0-7
/proc/3724/task/3738/stat : 3738 (java) S 3722 3722 29646 0 -1 1077944384 8488 0 0 0 185 2 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886897109872 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3739] ppid=3722 vsize=28766288 memory=2016 CPUtime=1.87 cores=0-7
/proc/3724/task/3739/stat : 3739 (java) S 3722 3722 29646 0 -1 1077944384 11222 0 0 0 185 2 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886896057072 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3740] ppid=3722 vsize=28766288 memory=1424 CPUtime=2.32 cores=0-7
/proc/3724/task/3740/stat : 3740 (java) S 3722 3722 29646 0 -1 1077944384 12196 0 0 0 229 3 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886895004272 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3741] ppid=3722 vsize=28766288 memory=1540 CPUtime=0.66 cores=0-7
/proc/3724/task/3741/stat : 3741 (java) S 3722 3722 29646 0 -1 1077944384 6158 0 0 0 64 2 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886893951472 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3742] ppid=3722 vsize=28766288 memory=772 CPUtime=0 cores=0-7
/proc/3724/task/3742/stat : 3742 (java) S 3722 3722 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886892898912 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3743] ppid=3722 vsize=28766288 memory=1452 CPUtime=0.01 cores=0-7
/proc/3724/task/3743/stat : 3743 (java) S 3722 3722 29646 0 -1 1077944384 577 0 0 0 0 1 0 0 20 0 28 0 446766835 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886891846192 139888254397058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3746] ppid=3722 vsize=28766288 memory=7826188 CPUtime=12.59 cores=0-7
/proc/3724/task/3746/stat : 3746 (java) S 3722 3722 29646 0 -1 1077944384 1800 0 0 0 1249 10 0 0 20 0 28 0 446768442 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886884965744 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3747] ppid=3722 vsize=28766288 memory=1452 CPUtime=11.57 cores=0-7
/proc/3724/task/3747/stat : 3747 (java) S 3722 3722 29646 0 -1 1077944384 3281 0 0 0 1150 7 0 0 20 0 28 0 446768442 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886765138640 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3748] ppid=3722 vsize=28766288 memory=7835392 CPUtime=14.95 cores=0-7
/proc/3724/task/3748/stat : 3748 (java) S 3722 3722 29646 0 -1 1077944384 3286 0 0 0 1484 11 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886764086864 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3749] ppid=3722 vsize=28766288 memory=280820934662472 CPUtime=12.31 cores=0-7
/proc/3724/task/3749/stat : 3749 (java) S 3722 3722 29646 0 -1 1077944384 2720 0 0 0 1226 5 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886763034064 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3750] ppid=3722 vsize=28766288 memory=2129121 CPUtime=15.45 cores=0-7
/proc/3724/task/3750/stat : 3750 (java) R 3722 3722 29646 0 -1 4202560 12490 0 0 0 1534 11 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886761975776 139887900054586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3751] ppid=3722 vsize=28766288 memory=2141748 CPUtime=11.95 cores=0-7
/proc/3724/task/3751/stat : 3751 (java) S 3722 3722 29646 0 -1 1077944384 9345 0 0 0 1182 13 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886760928464 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3752] ppid=3722 vsize=28766288 memory=0 CPUtime=11.91 cores=0-7
/proc/3724/task/3752/stat : 3752 (java) S 3722 3722 29646 0 -1 1077944384 1386 0 0 0 1182 9 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886759875664 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
[pid=3724/tid=3753] ppid=3722 vsize=28766288 memory=0 CPUtime=12.28 cores=0-7
/proc/3724/task/3753/stat : 3753 (java) S 3722 3722 29646 0 -1 1077944384 1170 0 0 0 1221 7 0 0 20 0 28 0 446768443 29456678912 1957892 33554432000 4194304 4196468 140735280115056 139886758822864 139888254396117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735280116714 140735280116886 140735280116886 140735280119759 0
Current children cumulated CPU time: 195.41 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 7833020 KiB

[startup+32.4056 s]
/proc/loadavg: 7.00 7.93 8.19 2/219 3754
/proc/meminfo: memFree=19401444/32770624 swapFree=66999436/67108860
[pid=3722] ppid=3719 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3722/stat : 3722 (xcsp3-exec) S 3719 3722 29646 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446766829 115843072 363 33554432000 4194304 5098028 140720362366016 140720362364120 140303571952252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26791936 140720362369910 140720362370153 140720362370153 140720362373066 0
/proc/3722/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 32.4372
CPU time (s): 195.89
CPU user time (s): 179.508
CPU system time (s): 16.3821
CPU usage (%): 603.906
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 7836844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.508
system time used= 16.3821
maximum resident set size= 7835392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7941
involuntary context switches= 4497


# summary of solver processes directly reported to runsolver:
#   pid: 3722
#   total CPU time (s): 195.89
#   total CPU user time (s): 179.508
#   total CPU system time (s): 16.3821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.31949 second user time and 0.367958 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4399561

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
