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-24 parallel	SAT	195.107	32.4862
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13350 MiB free)
  memory of node 1: 16384 MiB (11693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406759-1569352400/watcher-4406759-1569352400 -o /var/tmp/evaluation-result-4406759-1569352400/solver-4406759-1569352400 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 236510805 HOME/instance-4406759-1569352400.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=3772, runsolver pid=3769
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 7.53 8.09 8.07 4/213 3793
/proc/meminfo: memFree=25629116/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28227396 memory=28488 CPUtime=0.12 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 5638 0 0 0 10 2 0 0 20 0 20 0 511154741 28904853504 7122 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7056849 7122 3115 1 0 7019032 0
[pid=3774/tid=3775] ppid=3772 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) R 3772 3772 2396 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 20 0 511154741 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986096613472 139986092401821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28227396 memory=140073990887040 CPUtime=0 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3779] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3779/stat : 3779 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986009074192 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3780] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3780/stat : 3780 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986008021904 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3781] ppid=3772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3781/stat : 3781 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986006969104 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3782] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3782/stat : 3782 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986005916816 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3783] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3783/stat : 3783 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 7188 33554432000 4194304 4196468 140729377704896 139986004864016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3784] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3784/stat : 3784 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154743 28904853504 7188 33554432000 4194304 4196468 140729377704896 139984337074288 139986092391042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3785] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3785/stat : 3785 (java) S 3772 3772 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511154744 28904853504 7188 33554432000 4194304 4196468 140729377704896 139984336020256 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3786] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3786/stat : 3786 (java) S 3772 3772 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511154744 28904853504 7188 33554432000 4194304 4196468 140729377704896 139984334967920 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3787] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3787/stat : 3787 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 7188 33554432000 4194304 4196468 140729377704896 139984333916240 139986092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3788] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3788/stat : 3788 (java) S 3772 3772 2396 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984332864112 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3789] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3789/stat : 3789 (java) R 3772 3772 2396 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984331811312 139986073923612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3790] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3790/stat : 3790 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984330759024 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3791] ppid=3772 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) R 3772 3772 2396 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 20 0 511154746 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984329706224 139986084617022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154747 28904853504 7254 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29936 KiB

[startup+0.213921 s]*
/proc/loadavg: 7.53 8.09 8.07 2/213 3793
/proc/meminfo: memFree=25614256/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28227396 memory=40944 CPUtime=0.34 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 9554 0 0 0 31 3 0 0 20 0 20 0 511154741 28904853504 10236 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7056849 10236 3295 1 0 7019032 0
[pid=3774/tid=3775] ppid=3772 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) R 3772 3772 2396 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 20 0 511154741 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986096614880 139985684640154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28227396 memory=140073990903296 CPUtime=0 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3779] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3779/stat : 3779 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986009074192 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3780] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3780/stat : 3780 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986008021904 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3781] ppid=3772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3781/stat : 3781 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986006969104 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3782] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3782/stat : 3782 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986005916816 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3783] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3783/stat : 3783 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28904853504 10236 33554432000 4194304 4196468 140729377704896 139986004864016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3784] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3784/stat : 3784 (java) S 3772 3772 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511154743 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984337074288 139986092391042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3785] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3785/stat : 3785 (java) S 3772 3772 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511154744 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984336020256 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3786] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3786/stat : 3786 (java) S 3772 3772 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511154744 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984334967920 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3787] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3787/stat : 3787 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984333916240 139986092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3788] ppid=3772 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3774/task/3788/stat : 3788 (java) S 3772 3772 2396 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984332864112 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3789] ppid=3772 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3774/task/3789/stat : 3789 (java) R 3772 3772 2396 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984331811312 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3790] ppid=3772 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3774/task/3790/stat : 3790 (java) S 3772 3772 2396 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984330759024 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3791] ppid=3772 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) R 3772 3772 2396 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984329706224 139986092391830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154746 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154747 28904853504 10236 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42392 KiB

[startup+0.310621 s]*
/proc/loadavg: 7.53 8.09 8.07 4/213 3793
/proc/meminfo: memFree=25609016/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28231652 memory=49976 CPUtime=0.53 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 10867 0 0 0 49 4 0 0 20 0 20 0 511154741 28909211648 12494 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7057913 12494 3346 1 0 7019032 0
[pid=3774/tid=3775] ppid=3772 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) R 3772 3772 2396 0 -1 4202560 7797 0 0 0 27 2 0 0 20 0 20 0 511154741 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986096613680 139986076460382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3779] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3779/stat : 3779 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986009074192 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3780] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3780/stat : 3780 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986008021904 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3781] ppid=3772 vsize=28231652 memory=140073848892079 CPUtime=0 cores=0-7
/proc/3774/task/3781/stat : 3781 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986006969104 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3782] ppid=3772 vsize=28231652 memory=140073848894384 CPUtime=0 cores=0-7
/proc/3774/task/3782/stat : 3782 (java) S 3772 3772 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986005916816 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3783] ppid=3772 vsize=28231652 memory=140073848896688 CPUtime=0 cores=0-7
/proc/3774/task/3783/stat : 3783 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28909211648 12494 33554432000 4194304 4196468 140729377704896 139986004864016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3784] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3784/stat : 3784 (java) S 3772 3772 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511154743 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984337074288 139986092391042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3785] ppid=3772 vsize=28231652 memory=280147697807248 CPUtime=0 cores=0-7
/proc/3774/task/3785/stat : 3785 (java) S 3772 3772 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511154744 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984336020256 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3786] ppid=3772 vsize=28231652 memory=280147697804944 CPUtime=0 cores=0-7
/proc/3774/task/3786/stat : 3786 (java) S 3772 3772 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511154744 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984334967920 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3787] ppid=3772 vsize=28231652 memory=280147697811856 CPUtime=0 cores=0-7
/proc/3774/task/3787/stat : 3787 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984333916240 139986092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3788] ppid=3772 vsize=28231652 memory=280147697753136 CPUtime=0.03 cores=0-7
/proc/3774/task/3788/stat : 3788 (java) R 3772 3772 2396 0 -1 4202560 596 0 0 0 3 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984332854496 139986073923256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3789] ppid=3772 vsize=28231652 memory=280147697825680 CPUtime=0.03 cores=0-7
/proc/3774/task/3789/stat : 3789 (java) S 3772 3772 2396 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984331811312 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3790] ppid=3772 vsize=28231652 memory=280147697832592 CPUtime=0.01 cores=0-7
/proc/3774/task/3790/stat : 3790 (java) S 3772 3772 2396 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984330759024 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3791] ppid=3772 vsize=28231652 memory=280147697830288 CPUtime=0.12 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) S 3772 3772 2396 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984329706224 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154746 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154747 28909211648 12494 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51424 KiB

[startup+0.700935 s]
/proc/loadavg: 7.53 8.09 8.07 5/213 3793
/proc/meminfo: memFree=25588540/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28233776 memory=99832 CPUtime=1.95 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 16108 0 0 0 189 6 0 0 20 0 20 0 511154741 28911386624 24958 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7058444 24958 3449 1 0 7019544 0
[pid=3774/tid=3775] ppid=3772 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) R 3772 3772 2396 0 -1 4202560 8970 0 0 0 64 4 0 0 20 0 20 0 511154741 28911386624 24958 33554432000 4194304 4196468 140729377704896 139986096599744 139986092391830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28233776 memory=140073849103216 CPUtime=0 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28911386624 24958 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511154742 28911386624 24958 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28233776 memory=1276 CPUtime=0 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511154742 28911386624 24958 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0

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

[pid=3774/tid=3791] ppid=3772 vsize=28766288 memory=9580 CPUtime=0.59 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) S 3772 3772 2396 0 -1 1077944384 3230 0 0 0 58 1 0 0 20 0 28 0 511154746 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984329706224 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28766288 memory=1052 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511154746 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28766288 memory=776 CPUtime=0.01 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 831 0 0 0 0 1 0 0 20 0 28 0 511154747 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3794] ppid=3772 vsize=28766288 memory=2832 CPUtime=4.17 cores=0-7
/proc/3774/task/3794/stat : 3794 (java) R 3772 3772 2396 0 -1 4202560 621 0 0 0 415 2 0 0 20 0 28 0 511157428 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984201380824 139985692156381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3795] ppid=3772 vsize=28766288 memory=668 CPUtime=4.23 cores=0-7
/proc/3774/task/3795/stat : 3795 (java) R 3772 3772 2396 0 -1 4202560 100 0 0 0 423 0 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984200326144 139985692156458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3796] ppid=3772 vsize=28766288 memory=1276 CPUtime=4.08 cores=0-7
/proc/3774/task/3796/stat : 3796 (java) R 3772 3772 2396 0 -1 4202560 1304 0 0 0 399 9 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984199274136 139985692156615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3797] ppid=3772 vsize=28766288 memory=1096 CPUtime=4.16 cores=0-7
/proc/3774/task/3797/stat : 3797 (java) R 3772 3772 2396 0 -1 4202560 92 0 0 0 416 0 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984198221752 139985692312700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3798] ppid=3772 vsize=28766288 memory=14008 CPUtime=4.14 cores=0-7
/proc/3774/task/3798/stat : 3798 (java) R 3772 3772 2396 0 -1 4202560 372 0 0 0 408 6 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984197168912 139985692255814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3799] ppid=3772 vsize=28766288 memory=35644 CPUtime=4.18 cores=0-7
/proc/3774/task/3799/stat : 3799 (java) R 3772 3772 2396 0 -1 4202560 270 0 0 0 412 6 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984196117288 139985692156523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3800] ppid=3772 vsize=28766288 memory=14056 CPUtime=4.2 cores=0-7
/proc/3774/task/3800/stat : 3800 (java) R 3772 3772 2396 0 -1 4202560 215 0 0 0 419 1 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984195063416 139985692217734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3801] ppid=3772 vsize=28766288 memory=2116 CPUtime=4.15 cores=0-7
/proc/3774/task/3801/stat : 3801 (java) R 3772 3772 2396 0 -1 4202560 106 0 0 0 415 0 0 0 20 0 28 0 511157429 29456678912 3015219 33554432000 4194304 4196468 140729377704896 139984194011000 139985692313928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 185.58 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12062324 KiB

[startup+32.0033 s]*
/proc/loadavg: 6.04 7.68 7.94 13/220 3801
/proc/meminfo: memFree=13576756/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28766288 memory=12061800 CPUtime=192.03 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 164517 0 0 0 16686 2517 0 0 20 0 28 0 511154741 29456678912 3015450 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7191572 3015450 3525 1 0 7152672 0
[pid=3774/tid=3775] ppid=3772 vsize=28766288 memory=2832 CPUtime=8.89 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) S 3772 3772 2396 0 -1 1077944384 14962 0 0 0 875 14 0 0 20 0 28 0 511154741 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986096620672 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28766288 memory=4872558044660077418 CPUtime=17.19 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 8683 0 0 0 1444 275 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28766288 memory=1276 CPUtime=17.17 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 15508 0 0 0 1410 307 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28766288 memory=1096 CPUtime=17.23 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 10173 0 0 0 1422 301 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3779] ppid=3772 vsize=28766288 memory=14008 CPUtime=17.12 cores=0-7
/proc/3774/task/3779/stat : 3779 (java) S 3772 3772 2396 0 -1 1077944384 9522 0 0 0 1398 314 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986009074192 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3780] ppid=3772 vsize=28766288 memory=35644 CPUtime=17.17 cores=0-7
/proc/3774/task/3780/stat : 3780 (java) S 3772 3772 2396 0 -1 1077944384 9149 0 0 0 1409 308 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986008021904 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3781] ppid=3772 vsize=28766288 memory=14056 CPUtime=17.08 cores=0-7
/proc/3774/task/3781/stat : 3781 (java) S 3772 3772 2396 0 -1 1077944384 10033 0 0 0 1390 318 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986006969104 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3782] ppid=3772 vsize=28766288 memory=2116 CPUtime=17.21 cores=0-7
/proc/3774/task/3782/stat : 3782 (java) S 3772 3772 2396 0 -1 1077944384 8680 0 0 0 1425 296 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986005916816 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3783] ppid=3772 vsize=28766288 memory=520 CPUtime=17.18 cores=0-7
/proc/3774/task/3783/stat : 3783 (java) S 3772 3772 2396 0 -1 1077944384 20430 0 0 0 1395 323 0 0 20 0 28 0 511154742 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139986004864016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3784] ppid=3772 vsize=28766288 memory=280147698152752 CPUtime=0.39 cores=0-7
/proc/3774/task/3784/stat : 3784 (java) S 3772 3772 2396 0 -1 1077944384 21352 0 0 0 25 14 0 0 20 0 28 0 511154743 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984337074288 139986092391042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3785] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=0 cores=0-7
/proc/3774/task/3785/stat : 3785 (java) S 3772 3772 2396 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511154744 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984336020320 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3786] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=0 cores=0-7
/proc/3774/task/3786/stat : 3786 (java) S 3772 3772 2396 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 511154744 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984334967936 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3787] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=0 cores=0-7
/proc/3774/task/3787/stat : 3787 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984333916240 139986092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3788] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=1.77 cores=0-7
/proc/3774/task/3788/stat : 3788 (java) R 3772 3772 2396 0 -1 4202560 7534 0 0 0 176 1 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984332850656 139986084669344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3789] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=1.67 cores=0-7
/proc/3774/task/3789/stat : 3789 (java) R 3772 3772 2396 0 -1 4202560 9464 0 0 0 166 1 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984331803800 139986075866266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3790] ppid=3772 vsize=28766288 memory=18384540404458 CPUtime=1.66 cores=0-7
/proc/3774/task/3790/stat : 3790 (java) R 3772 3772 2396 0 -1 4202560 7174 0 0 0 165 1 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984330745840 139986071604926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3791] ppid=3772 vsize=28766288 memory=18384540404202 CPUtime=0.62 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) S 3772 3772 2396 0 -1 1077944384 3917 0 0 0 61 1 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984329704016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28766288 memory=18384540404202 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511154746 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 833 0 0 0 0 1 0 0 20 0 28 0 511154747 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3794] ppid=3772 vsize=28766288 memory=0 CPUtime=4.95 cores=0-7
/proc/3774/task/3794/stat : 3794 (java) R 3772 3772 2396 0 -1 4202560 1520 0 0 0 491 4 0 0 20 0 28 0 511157428 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984201378424 139985692608376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3795] ppid=3772 vsize=28766288 memory=0 CPUtime=5.03 cores=0-7
/proc/3774/task/3795/stat : 3795 (java) R 3772 3772 2396 0 -1 4202560 350 0 0 0 503 0 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984200322920 139985692588031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3796] ppid=3772 vsize=28766288 memory=6944656592455097440 CPUtime=4.81 cores=0-7
/proc/3774/task/3796/stat : 3796 (java) R 3772 3772 2396 0 -1 4202560 1333 0 0 0 471 10 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984199272176 139985692345161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3797] ppid=3772 vsize=28766288 memory=6943526294502006880 CPUtime=4.91 cores=0-7
/proc/3774/task/3797/stat : 3797 (java) R 3772 3772 2396 0 -1 4202560 486 0 0 0 491 0 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984198219216 139985692369365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3798] ppid=3772 vsize=28766288 memory=1448 CPUtime=4.94 cores=0-7
/proc/3774/task/3798/stat : 3798 (java) R 3772 3772 2396 0 -1 4202560 541 0 0 0 487 7 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984197165528 139985692499850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3799] ppid=3772 vsize=28766288 memory=12060308 CPUtime=4.93 cores=0-7
/proc/3774/task/3799/stat : 3799 (java) R 3772 3772 2396 0 -1 1077944384 335 0 0 0 487 6 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984196116464 139986092390101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3800] ppid=3772 vsize=28766288 memory=1448 CPUtime=4.93 cores=0-7
/proc/3774/task/3800/stat : 3800 (java) R 3772 3772 2396 0 -1 4202560 910 0 0 0 490 3 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984195062552 139985692369483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3801] ppid=3772 vsize=28766288 memory=12060080 CPUtime=4.95 cores=0-7
/proc/3774/task/3801/stat : 3801 (java) R 3772 3772 2396 0 -1 4202560 274 0 0 0 495 0 0 0 20 0 28 0 511157429 29456678912 3015455 33554432000 4194304 4196468 140729377704896 139984194010936 139985692369352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 192.03 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12063248 KiB

[startup+32.4011 s]
/proc/loadavg: 6.04 7.68 7.94 13/220 3801
/proc/meminfo: memFree=13576756/32770624 swapFree=66953496/67108860
[pid=3772] ppid=3769 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3772/stat : 3772 (xcsp3-exec) S 3769 3772 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511154740 115843072 362 33554432000 4194304 5098028 140734964125392 140734964123496 140273734206076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15994880 140734964126546 140734964126805 140734964126805 140734964129734 0
/proc/3772/statm: 28282 362 304 221 0 87 0
[pid=3774] ppid=3772 vsize=28766288 memory=12064152 CPUtime=194.97 cores=0-7
/proc/3774/stat : 3774 (java) S 3772 3772 2396 0 -1 1077944320 171808 0 0 0 16978 2519 0 0 20 0 28 0 511154741 29456678912 3016038 33554432000 4194304 4196468 140729377704896 140729377687440 139986092379895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
/proc/3774/statm: 7191572 3016038 3528 1 0 7152672 0
[pid=3774/tid=3775] ppid=3772 vsize=28766288 memory=12060980 CPUtime=8.89 cores=0-7
/proc/3774/task/3775/stat : 3775 (java) S 3772 3772 2396 0 -1 1077944384 14962 0 0 0 875 14 0 0 20 0 28 0 511154741 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986096620672 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3776] ppid=3772 vsize=28766288 memory=111636 CPUtime=17.19 cores=0-7
/proc/3774/task/3776/stat : 3776 (java) S 3772 3772 2396 0 -1 1077944384 8683 0 0 0 1444 275 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986012232080 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3777] ppid=3772 vsize=28766288 memory=808 CPUtime=17.17 cores=0-7
/proc/3774/task/3777/stat : 3777 (java) S 3772 3772 2396 0 -1 1077944384 15508 0 0 0 1410 307 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986011179280 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3778] ppid=3772 vsize=28766288 memory=924 CPUtime=17.23 cores=0-7
/proc/3774/task/3778/stat : 3778 (java) S 3772 3772 2396 0 -1 1077944384 10173 0 0 0 1422 301 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986010126992 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3779] ppid=3772 vsize=28766288 memory=4452 CPUtime=17.12 cores=0-7
/proc/3774/task/3779/stat : 3779 (java) S 3772 3772 2396 0 -1 1077944384 9522 0 0 0 1398 314 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986009074192 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3780] ppid=3772 vsize=28766288 memory=4104 CPUtime=17.17 cores=0-7
/proc/3774/task/3780/stat : 3780 (java) S 3772 3772 2396 0 -1 1077944384 9149 0 0 0 1409 308 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986008021904 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3781] ppid=3772 vsize=28766288 memory=1412 CPUtime=17.08 cores=0-7
/proc/3774/task/3781/stat : 3781 (java) S 3772 3772 2396 0 -1 1077944384 10033 0 0 0 1390 318 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986006969104 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3782] ppid=3772 vsize=28766288 memory=2944 CPUtime=17.21 cores=0-7
/proc/3774/task/3782/stat : 3782 (java) S 3772 3772 2396 0 -1 1077944384 8680 0 0 0 1425 296 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986005916816 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3783] ppid=3772 vsize=28766288 memory=1448 CPUtime=17.18 cores=0-7
/proc/3774/task/3783/stat : 3783 (java) S 3772 3772 2396 0 -1 1077944384 20430 0 0 0 1395 323 0 0 20 0 28 0 511154742 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139986004864016 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3784] ppid=3772 vsize=28766288 memory=8112282956445269571 CPUtime=0.39 cores=0-7
/proc/3774/task/3784/stat : 3784 (java) S 3772 3772 2396 0 -1 1077944384 21384 0 0 0 25 14 0 0 20 0 28 0 511154743 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984337074288 139986092391042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3785] ppid=3772 vsize=28766288 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/3774/task/3785/stat : 3785 (java) S 3772 3772 2396 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511154744 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984336020320 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3786] ppid=3772 vsize=28766288 memory=14698482732632486 CPUtime=0 cores=0-7
/proc/3774/task/3786/stat : 3786 (java) S 3772 3772 2396 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 511154744 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984334967936 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3787] ppid=3772 vsize=28766288 memory=10754 CPUtime=0 cores=0-7
/proc/3774/task/3787/stat : 3787 (java) S 3772 3772 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984333916240 139986092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3788] ppid=3772 vsize=28766288 memory=24210 CPUtime=2.01 cores=0-7
/proc/3774/task/3788/stat : 3788 (java) R 3772 3772 2396 0 -1 4202560 8805 0 0 0 199 2 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984332854496 139986073571720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3789] ppid=3772 vsize=28766288 memory=0 CPUtime=1.96 cores=0-7
/proc/3774/task/3789/stat : 3789 (java) R 3772 3772 2396 0 -1 4202560 11356 0 0 0 194 2 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984331811120 139986092401242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3790] ppid=3772 vsize=28766288 memory=0 CPUtime=1.96 cores=0-7
/proc/3774/task/3790/stat : 3790 (java) R 3772 3772 2396 0 -1 4202560 7865 0 0 0 195 1 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984330745488 139986076777040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3791] ppid=3772 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/3774/task/3791/stat : 3791 (java) R 3772 3772 2396 0 -1 4202560 4688 0 0 0 64 2 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984329702592 139986071335521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3792] ppid=3772 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3774/task/3792/stat : 3792 (java) S 3772 3772 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511154746 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984328653152 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3793] ppid=3772 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/3774/task/3793/stat : 3793 (java) S 3772 3772 2396 0 -1 1077944384 833 0 0 0 0 1 0 0 20 0 28 0 511154747 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984327600432 139986092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3794] ppid=3772 vsize=28766288 memory=6944656592455360604 CPUtime=5.13 cores=0-7
/proc/3774/task/3794/stat : 3794 (java) S 3772 3772 2396 0 -1 1077944384 1580 0 0 0 509 4 0 0 20 0 28 0 511157428 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984201383536 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3795] ppid=3772 vsize=28766288 memory=7306916055891837009 CPUtime=5.29 cores=0-7
/proc/3774/task/3795/stat : 3795 (java) S 3772 3772 2396 0 -1 1077944384 670 0 0 0 529 0 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984200332240 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3796] ppid=3772 vsize=28766288 memory=10748 CPUtime=5.07 cores=0-7
/proc/3774/task/3796/stat : 3796 (java) S 3772 3772 2396 0 -1 1077944384 1426 0 0 0 497 10 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984199279952 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3797] ppid=3772 vsize=28766288 memory=24206 CPUtime=5.2 cores=0-7
/proc/3774/task/3797/stat : 3797 (java) R 3772 3772 2396 0 -1 4202560 1208 0 0 0 520 0 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984198222728 139985684661264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3798] ppid=3772 vsize=28766288 memory=0 CPUtime=5.17 cores=0-7
/proc/3774/task/3798/stat : 3798 (java) S 3772 3772 2396 0 -1 1077944384 582 0 0 0 510 7 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984197174864 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3799] ppid=3772 vsize=28766288 memory=288287792163995819 CPUtime=5.18 cores=0-7
/proc/3774/task/3799/stat : 3799 (java) S 3772 3772 2396 0 -1 1077944384 735 0 0 0 512 6 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984196122064 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3800] ppid=3772 vsize=28766288 memory=8242832241811678803 CPUtime=5.25 cores=0-7
/proc/3774/task/3800/stat : 3800 (java) S 3772 3772 2396 0 -1 1077944384 1666 0 0 0 522 3 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984195068752 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
[pid=3774/tid=3801] ppid=3772 vsize=28766288 memory=8242832241811678803 CPUtime=5.24 cores=0-7
/proc/3774/task/3801/stat : 3801 (java) S 3772 3772 2396 0 -1 1077944384 510 0 0 0 524 0 0 0 20 0 28 0 511157429 29456678912 3016038 33554432000 4194304 4196468 140729377704896 139984194015952 139986092390101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140729377711062 140729377711238 140729377711238 140729377714127 0
Current children cumulated CPU time: 194.97 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12065600 KiB

Child status: 0
Real time (s): 32.4862
CPU time (s): 195.107
CPU user time (s): 169.848
CPU system time (s): 25.2595
CPU usage (%): 600.585
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 12065600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.848
system time used= 25.2595
maximum resident set size= 12064216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173096
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= 9660
involuntary context switches= 3161


# summary of solver processes directly reported to runsolver:
#   pid: 3772
#   total CPU time (s): 195.107
#   total CPU user time (s): 169.848
#   total CPU system time (s): 25.2595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.285175 second user time and 0.386152 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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	0.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4406759

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
