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 (4586 MiB free)
  memory of node 1: 16384 MiB (6936 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404708-1569005213/watcher-4404708-1569005213 -o /var/tmp/evaluation-result-4404708-1569005213/solver-4404708-1569005213 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 323710532 HOME/instance-4404708-1569005213.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=13775, runsolver pid=13772
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 7.99 8.19 8.19 2/211 13796
/proc/meminfo: memFree=11784004/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28227396 memory=27804 CPUtime=0.12 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 5906 0 0 0 11 1 0 0 20 0 20 0 476759909 28904853504 6951 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7056849 6951 3150 1 0 7019032 0
[pid=13777/tid=13778] ppid=13775 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) R 13775 13775 13731 0 -1 4202560 3778 0 0 0 8 0 0 0 20 0 20 0 476759909 28904853504 6951 33554432000 4194304 4196468 140730704290016 140515261552432 140514895214399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28227396 memory=140446097843840 CPUtime=0 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13782] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13782/stat : 13782 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514806057872 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13783] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13783/stat : 13783 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514805004816 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13784] ppid=13775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13784/stat : 13784 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514803952272 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13785] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13785/stat : 13785 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514802899216 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13786] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13786/stat : 13786 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514801846672 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13787] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13787/stat : 13787 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514758425328 140515257330306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13788] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13788/stat : 13788 (java) S 13775 13775 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514757371552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13789] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13789/stat : 13789 (java) S 13775 13775 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514756318448 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13790] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13790/stat : 13790 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514755267024 140515257337755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13791] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13791/stat : 13791 (java) S 13775 13775 13731 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514369333488 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13792] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13792/stat : 13792 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514368280944 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13793] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13793/stat : 13793 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514367227888 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13794] ppid=13775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) R 13775 13775 13731 0 -1 4202560 392 0 0 0 1 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514366175344 140515257331094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 6951 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29252 KiB

[startup+0.210379 s]*
/proc/loadavg: 7.99 8.19 8.19 3/211 13796
/proc/meminfo: memFree=11772220/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28227396 memory=39304 CPUtime=0.33 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 9611 0 0 0 30 3 0 0 20 0 20 0 476759909 28904853504 9826 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7056849 9826 3306 1 0 7019032 0
[pid=13777/tid=13778] ppid=13775 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) R 13775 13775 13731 0 -1 4202560 6714 0 0 0 18 2 0 0 20 0 20 0 476759909 28904853504 9826 33554432000 4194304 4196468 140730704290016 140515261548880 140515257341085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28227396 memory=140446101396099 CPUtime=0 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13782] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13782/stat : 13782 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514806057872 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13783] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13783/stat : 13783 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514805004816 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13784] ppid=13775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13784/stat : 13784 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514803952272 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13785] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13785/stat : 13785 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514802899216 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13786] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13786/stat : 13786 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514801846672 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13787] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13787/stat : 13787 (java) S 13775 13775 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514758425328 140515257330306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13788] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13788/stat : 13788 (java) S 13775 13775 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514757371552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13789] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13789/stat : 13789 (java) S 13775 13775 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476759912 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514756318448 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13790] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13790/stat : 13790 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514755267024 140515257337755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13791] ppid=13775 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13777/task/13791/stat : 13791 (java) S 13775 13775 13731 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514369333488 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13792] ppid=13775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13777/task/13792/stat : 13792 (java) S 13775 13775 13731 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514368280944 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13793] ppid=13775 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13777/task/13793/stat : 13793 (java) S 13775 13775 13731 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514367227888 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13794] ppid=13775 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) S 13775 13775 13731 0 -1 1077944384 914 0 0 0 7 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514366175344 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28904853504 9826 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40752 KiB

[startup+0.310176 s]*
/proc/loadavg: 7.99 8.19 8.19 3/211 13796
/proc/meminfo: memFree=11766516/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28231652 memory=48532 CPUtime=0.52 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 11033 0 0 0 48 4 0 0 20 0 20 0 476759909 28909211648 12133 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7057913 12133 3359 1 0 7019032 0
[pid=13777/tid=13778] ppid=13775 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) R 13775 13775 13731 0 -1 4202560 7809 0 0 0 27 2 0 0 20 0 20 0 476759909 28909211648 12199 33554432000 4194304 4196468 140730704290016 140515261550272 140515241399646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13782] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13782/stat : 13782 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514806057872 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13783] ppid=13775 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13777/task/13783/stat : 13783 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514805004816 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13784] ppid=13775 vsize=28231652 memory=140445967545263 CPUtime=0 cores=0-7
/proc/13777/task/13784/stat : 13784 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514803952272 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13785] ppid=13775 vsize=28231652 memory=140445967547568 CPUtime=0 cores=0-7
/proc/13777/task/13785/stat : 13785 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514802899216 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13786] ppid=13775 vsize=28231652 memory=140445967549872 CPUtime=0 cores=0-7
/proc/13777/task/13786/stat : 13786 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514801846672 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13787] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13787/stat : 13787 (java) S 13775 13775 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476759912 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514758425328 140515257330306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13788] ppid=13775 vsize=28231652 memory=280891935106704 CPUtime=0 cores=0-7
/proc/13777/task/13788/stat : 13788 (java) S 13775 13775 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476759912 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514757371552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13789] ppid=13775 vsize=28231652 memory=280891935113616 CPUtime=0 cores=0-7
/proc/13777/task/13789/stat : 13789 (java) S 13775 13775 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476759912 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514756318448 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13790] ppid=13775 vsize=28231652 memory=280891935054768 CPUtime=0 cores=0-7
/proc/13777/task/13790/stat : 13790 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514755267024 140515257337755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13791] ppid=13775 vsize=28231652 memory=280891935127440 CPUtime=0.03 cores=0-7
/proc/13777/task/13791/stat : 13791 (java) S 13775 13775 13731 0 -1 1077944384 603 0 0 0 3 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514369333488 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13792] ppid=13775 vsize=28231652 memory=280891935134352 CPUtime=0.02 cores=0-7
/proc/13777/task/13792/stat : 13792 (java) S 13775 13775 13731 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514368280944 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13793] ppid=13775 vsize=28231652 memory=280891935132048 CPUtime=0.02 cores=0-7
/proc/13777/task/13793/stat : 13793 (java) R 13775 13775 13731 0 -1 4202560 152 0 0 0 2 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514367218272 140515238019456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13794] ppid=13775 vsize=28231652 memory=280891935148208 CPUtime=0.12 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) S 13775 13775 13731 0 -1 1077944384 1151 0 0 0 12 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514366175344 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759915 28909211648 12199 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49980 KiB

[startup+0.700992 s]
/proc/loadavg: 7.99 8.19 8.19 3/211 13796
/proc/meminfo: memFree=11744736/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28233776 memory=110232 CPUtime=1.93 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 16713 0 0 0 188 5 0 0 20 0 20 0 476759909 28911386624 27558 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7058444 27558 3454 1 0 7019544 0
[pid=13777/tid=13778] ppid=13775 vsize=28233776 memory=280891935506096 CPUtime=0.67 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) R 13775 13775 13731 0 -1 4202560 8573 0 0 0 64 3 0 0 20 0 20 0 476759909 28911386624 27558 33554432000 4194304 4196468 140730704290016 140515261554960 140515237590670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28233776 memory=140445967754096 CPUtime=0 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476759910 28911386624 27558 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476759910 28911386624 27558 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476759910 28911386624 27558 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0

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

[pid=13777/tid=13794] ppid=13775 vsize=28768336 memory=6791534058613427641 CPUtime=0.93 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) S 13775 13775 13731 0 -1 1077944384 11503 0 0 0 90 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514366175344 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28768336 memory=1808 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28768336 memory=924 CPUtime=0.06 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 2371 0 0 0 3 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13810] ppid=13775 vsize=28768336 memory=3904 CPUtime=78.78 cores=0-7
/proc/13777/task/13810/stat : 13810 (java) R 13775 13775 13731 0 -1 4202560 950 0 0 0 7878 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513359400328 140514901867267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13811] ppid=13775 vsize=28768336 memory=1412 CPUtime=78.77 cores=0-7
/proc/13777/task/13811/stat : 13811 (java) R 13775 13775 13731 0 -1 4202560 964 0 0 0 7877 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513358348336 140514903378367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13812] ppid=13775 vsize=28768336 memory=3528 CPUtime=77.54 cores=0-7
/proc/13777/task/13812/stat : 13812 (java) R 13775 13775 13731 0 -1 4202560 766 0 0 0 7754 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513360453688 140514901866451 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13813] ppid=13775 vsize=28768336 memory=1448 CPUtime=78.79 cores=0-7
/proc/13777/task/13813/stat : 13813 (java) R 13775 13775 13731 0 -1 4202560 10185 0 0 0 7865 14 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514352618208 140514895179175 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13814] ppid=13775 vsize=28768336 memory=2142420 CPUtime=78.28 cores=0-7
/proc/13777/task/13814/stat : 13814 (java) R 13775 13775 13731 0 -1 4202560 5489 0 0 0 7825 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513357295192 140514897802903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13815] ppid=13775 vsize=28768336 memory=12040 CPUtime=78.69 cores=0-7
/proc/13777/task/13815/stat : 13815 (java) R 13775 13775 13731 0 -1 4202560 1020 0 0 0 7866 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513362558696 140514901335181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13816] ppid=13775 vsize=28768336 memory=1448 CPUtime=78.81 cores=0-7
/proc/13777/task/13816/stat : 13816 (java) R 13775 13775 13731 0 -1 4202560 1530 0 0 0 7881 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513361506504 140514901867288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13817] ppid=13775 vsize=28768336 memory=532 CPUtime=78.29 cores=0-7
/proc/13777/task/13817/stat : 13817 (java) R 13775 13775 13731 0 -1 4202560 1040 0 0 0 7827 2 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513363612312 140514901867330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 1335.21 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2143868 KiB

[startup+168.602 s]
/proc/loadavg: 8.03 8.08 8.14 9/219 13822
/proc/meminfo: memFree=9666328/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28768336 memory=2142420 CPUtime=1336.81 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 146315 0 0 0 133539 142 0 0 20 0 28 0 476759909 29458776064 535605 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7192084 535605 3545 1 0 7153184 0
[pid=13777/tid=13778] ppid=13775 vsize=28768336 memory=1976 CPUtime=1.67 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) S 13775 13775 13731 0 -1 1077944384 9962 0 0 0 161 6 0 0 20 0 28 0 476759909 29458776064 535605 33554432000 4194304 4196468 140730704290016 140515261559936 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28768336 memory=2432 CPUtime=0.16 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 1170 0 0 0 11 5 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28768336 memory=1436 CPUtime=0.15 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1019 0 0 0 11 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28768336 memory=808 CPUtime=0.15 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 642 0 0 0 11 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13782] ppid=13775 vsize=28768336 memory=1764 CPUtime=0.17 cores=0-7
/proc/13777/task/13782/stat : 13782 (java) S 13775 13775 13731 0 -1 1077944384 799 0 0 0 11 6 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514806057872 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13783] ppid=13775 vsize=28768336 memory=111628 CPUtime=0.14 cores=0-7
/proc/13777/task/13783/stat : 13783 (java) S 13775 13775 13731 0 -1 1077944384 1785 0 0 0 10 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514805004816 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13784] ppid=13775 vsize=28768336 memory=800 CPUtime=0.14 cores=0-7
/proc/13777/task/13784/stat : 13784 (java) S 13775 13775 13731 0 -1 1077944384 1755 0 0 0 10 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514803952272 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13785] ppid=13775 vsize=28768336 memory=1448 CPUtime=0.15 cores=0-7
/proc/13777/task/13785/stat : 13785 (java) S 13775 13775 13731 0 -1 1077944384 916 0 0 0 10 5 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514802899216 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13786] ppid=13775 vsize=28768336 memory=6791534058613427641 CPUtime=0.13 cores=0-7
/proc/13777/task/13786/stat : 13786 (java) S 13775 13775 13731 0 -1 1077944384 1774 0 0 0 9 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514801846672 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13787] ppid=13775 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7
/proc/13777/task/13787/stat : 13787 (java) S 13775 13775 13731 0 -1 1077944384 3779 0 0 0 3 1 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514758425328 140515257330306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13788] ppid=13775 vsize=28768336 memory=2142420 CPUtime=0 cores=0-7
/proc/13777/task/13788/stat : 13788 (java) S 13775 13775 13731 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514757371616 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13789] ppid=13775 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/13777/task/13789/stat : 13789 (java) S 13775 13775 13731 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514756318464 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13790] ppid=13775 vsize=28768336 memory=1088 CPUtime=0 cores=0-7
/proc/13777/task/13790/stat : 13790 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514755267024 140515257337755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13791] ppid=13775 vsize=28768336 memory=988 CPUtime=3.39 cores=0-7
/proc/13777/task/13791/stat : 13791 (java) S 13775 13775 13731 0 -1 1077944384 23176 0 0 0 336 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514369333488 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13792] ppid=13775 vsize=28768336 memory=780 CPUtime=3.47 cores=0-7
/proc/13777/task/13792/stat : 13792 (java) S 13775 13775 13731 0 -1 1077944384 23621 0 0 0 343 4 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514368280944 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13793] ppid=13775 vsize=28768336 memory=6032 CPUtime=2.9 cores=0-7
/proc/13777/task/13793/stat : 13793 (java) S 13775 13775 13731 0 -1 1077944384 21748 0 0 0 287 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514367227888 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13794] ppid=13775 vsize=28768336 memory=624 CPUtime=0.93 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) S 13775 13775 13731 0 -1 1077944384 11503 0 0 0 90 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514366175344 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28768336 memory=3636 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28768336 memory=2832 CPUtime=0.06 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 2371 0 0 0 3 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13810] ppid=13775 vsize=28768336 memory=14012 CPUtime=78.98 cores=0-7
/proc/13777/task/13810/stat : 13810 (java) R 13775 13775 13731 0 -1 4202560 950 0 0 0 7898 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513359400328 140514902582239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13811] ppid=13775 vsize=28768336 memory=2112 CPUtime=78.97 cores=0-7
/proc/13777/task/13811/stat : 13811 (java) R 13775 13775 13731 0 -1 4202560 964 0 0 0 7897 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513358348336 140514901768903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13812] ppid=13775 vsize=28768336 memory=12040 CPUtime=77.74 cores=0-7
/proc/13777/task/13812/stat : 13812 (java) R 13775 13775 13731 0 -1 4202560 766 0 0 0 7774 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513360453688 140514901866803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13813] ppid=13775 vsize=28768336 memory=32032 CPUtime=78.99 cores=0-7
/proc/13777/task/13813/stat : 13813 (java) R 13775 13775 13731 0 -1 4202560 10189 0 0 0 7885 14 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514352618208 140514901867437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13814] ppid=13775 vsize=28768336 memory=1556 CPUtime=78.48 cores=0-7
/proc/13777/task/13814/stat : 13814 (java) R 13775 13775 13731 0 -1 4202560 5489 0 0 0 7845 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513357295192 140514899185886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13815] ppid=13775 vsize=28768336 memory=532 CPUtime=78.89 cores=0-7
/proc/13777/task/13815/stat : 13815 (java) R 13775 13775 13731 0 -1 4202560 1020 0 0 0 7886 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513362558696 140514901865981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13816] ppid=13775 vsize=28768336 memory=928 CPUtime=79.01 cores=0-7
/proc/13777/task/13816/stat : 13816 (java) R 13775 13775 13731 0 -1 4202560 1531 0 0 0 7901 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513361506504 140514901867020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13817] ppid=13775 vsize=28768336 memory=1448 CPUtime=78.49 cores=0-7
/proc/13777/task/13817/stat : 13817 (java) R 13775 13775 13731 0 -1 4202560 1041 0 0 0 7847 2 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513363612312 140514901335339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 1336.81 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2143868 KiB

[startup+168.702 s]
/proc/loadavg: 8.03 8.08 8.14 9/219 13822
/proc/meminfo: memFree=9666328/32770624 swapFree=66956720/67108860
[pid=13775] ppid=13772 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13775/stat : 13775 (xcsp3-exec) S 13772 13775 13731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476759909 115843072 362 33554432000 4194304 5098028 140736680103328 140736680101432 140459414487676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34353152 140736680104786 140736680105045 140736680105045 140736680107974 0
/proc/13775/statm: 28282 362 304 221 0 87 0
[pid=13777] ppid=13775 vsize=28768336 memory=2142420 CPUtime=1337.61 cores=0-7
/proc/13777/stat : 13777 (java) S 13775 13775 13731 0 -1 1077944320 146318 0 0 0 133619 142 0 0 20 0 28 0 476759909 29458776064 535605 33554432000 4194304 4196468 140730704290016 140730704272560 140515257319159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
/proc/13777/statm: 7192084 535605 3545 1 0 7153184 0
[pid=13777/tid=13778] ppid=13775 vsize=28768336 memory=1448 CPUtime=1.67 cores=0-7
/proc/13777/task/13778/stat : 13778 (java) S 13775 13775 13731 0 -1 1077944384 9962 0 0 0 161 6 0 0 20 0 28 0 476759909 29458776064 535605 33554432000 4194304 4196468 140730704290016 140515261559936 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13779] ppid=13775 vsize=28768336 memory=2142420 CPUtime=0.16 cores=0-7
/proc/13777/task/13779/stat : 13779 (java) S 13775 13775 13731 0 -1 1077944384 1170 0 0 0 11 5 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140515224878096 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13780] ppid=13775 vsize=28768336 memory=1448 CPUtime=0.15 cores=0-7
/proc/13777/task/13780/stat : 13780 (java) S 13775 13775 13731 0 -1 1077944384 1019 0 0 0 11 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514808163472 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13781] ppid=13775 vsize=28768336 memory=2142420 CPUtime=0.15 cores=0-7
/proc/13777/task/13781/stat : 13781 (java) S 13775 13775 13731 0 -1 1077944384 642 0 0 0 11 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514807110416 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13782] ppid=13775 vsize=28768336 memory=1448 CPUtime=0.17 cores=0-7
/proc/13777/task/13782/stat : 13782 (java) S 13775 13775 13731 0 -1 1077944384 799 0 0 0 11 6 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514806057872 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13783] ppid=13775 vsize=28768336 memory=2148616 CPUtime=0.14 cores=0-7
/proc/13777/task/13783/stat : 13783 (java) S 13775 13775 13731 0 -1 1077944384 1785 0 0 0 10 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514805004816 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13784] ppid=13775 vsize=28768336 memory=0 CPUtime=0.14 cores=0-7
/proc/13777/task/13784/stat : 13784 (java) S 13775 13775 13731 0 -1 1077944384 1755 0 0 0 10 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514803952272 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13785] ppid=13775 vsize=28768336 memory=117481065702921 CPUtime=0.15 cores=0-7
/proc/13777/task/13785/stat : 13785 (java) S 13775 13775 13731 0 -1 1077944384 916 0 0 0 10 5 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514802899216 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13786] ppid=13775 vsize=28768336 memory=3636 CPUtime=0.13 cores=0-7
/proc/13777/task/13786/stat : 13786 (java) S 13775 13775 13731 0 -1 1077944384 1774 0 0 0 9 4 0 0 20 0 28 0 476759910 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514801846672 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13787] ppid=13775 vsize=28768336 memory=118652766546920 CPUtime=0.04 cores=0-7
/proc/13777/task/13787/stat : 13787 (java) S 13775 13775 13731 0 -1 1077944384 3779 0 0 0 3 1 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514758425328 140515257330306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13788] ppid=13775 vsize=28768336 memory=280891936701248 CPUtime=0 cores=0-7
/proc/13777/task/13788/stat : 13788 (java) S 13775 13775 13731 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514757371616 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13789] ppid=13775 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/13777/task/13789/stat : 13789 (java) S 13775 13775 13731 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476759912 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514756318464 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13790] ppid=13775 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/13777/task/13790/stat : 13790 (java) S 13775 13775 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514755267024 140515257337755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13791] ppid=13775 vsize=28768336 memory=1448 CPUtime=3.39 cores=0-7
/proc/13777/task/13791/stat : 13791 (java) S 13775 13775 13731 0 -1 1077944384 23176 0 0 0 336 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514369333488 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13792] ppid=13775 vsize=28768336 memory=2170136 CPUtime=3.47 cores=0-7
/proc/13777/task/13792/stat : 13792 (java) S 13775 13775 13731 0 -1 1077944384 23621 0 0 0 343 4 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514368280944 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13793] ppid=13775 vsize=28768336 memory=624 CPUtime=2.9 cores=0-7
/proc/13777/task/13793/stat : 13793 (java) S 13775 13775 13731 0 -1 1077944384 21748 0 0 0 287 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514367227888 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13794] ppid=13775 vsize=28768336 memory=3636 CPUtime=0.93 cores=0-7
/proc/13777/task/13794/stat : 13794 (java) S 13775 13775 13731 0 -1 1077944384 11503 0 0 0 90 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514366175344 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13795] ppid=13775 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/13777/task/13795/stat : 13795 (java) S 13775 13775 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514365123552 140515257329365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13796] ppid=13775 vsize=28768336 memory=1448 CPUtime=0.06 cores=0-7
/proc/13777/task/13796/stat : 13796 (java) S 13775 13775 13731 0 -1 1077944384 2371 0 0 0 3 3 0 0 20 0 28 0 476759915 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514364071088 140515257330306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13810] ppid=13775 vsize=28768336 memory=3620 CPUtime=79.08 cores=0-7
/proc/13777/task/13810/stat : 13810 (java) R 13775 13775 13731 0 -1 4202560 950 0 0 0 7908 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513359400328 140514900869800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13811] ppid=13775 vsize=28768336 memory=54936 CPUtime=79.07 cores=0-7
/proc/13777/task/13811/stat : 13811 (java) R 13775 13775 13731 0 -1 4202560 964 0 0 0 7907 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513358348336 140514904428284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13812] ppid=13775 vsize=28768336 memory=1448 CPUtime=77.84 cores=0-7
/proc/13777/task/13812/stat : 13812 (java) R 13775 13775 13731 0 -1 4202560 766 0 0 0 7784 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513360453688 140514902121136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13813] ppid=13775 vsize=28768336 memory=2170136 CPUtime=79.09 cores=0-7
/proc/13777/task/13813/stat : 13813 (java) R 13775 13775 13731 0 -1 4202560 10191 0 0 0 7895 14 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140514352618208 140514902194208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13814] ppid=13775 vsize=28768336 memory=1448 CPUtime=78.58 cores=0-7
/proc/13777/task/13814/stat : 13814 (java) R 13775 13775 13731 0 -1 4202560 5489 0 0 0 7855 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513357295192 140514900094512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13815] ppid=13775 vsize=28768336 memory=2170136 CPUtime=78.99 cores=0-7
/proc/13777/task/13815/stat : 13815 (java) R 13775 13775 13731 0 -1 4202560 1021 0 0 0 7896 3 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513362558696 140514901334913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13816] ppid=13775 vsize=28768336 memory=288230574492221466 CPUtime=79.11 cores=0-7
/proc/13777/task/13816/stat : 13816 (java) R 13775 13775 13731 0 -1 4202560 1531 0 0 0 7911 0 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513361506504 140514901334795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
[pid=13777/tid=13817] ppid=13775 vsize=28768336 memory=288230583166042426 CPUtime=78.59 cores=0-7
/proc/13777/task/13817/stat : 13817 (java) R 13775 13775 13731 0 -1 4202560 1041 0 0 0 7857 2 0 0 20 0 28 0 476768839 29458776064 535605 33554432000 4194304 4196468 140730704290016 140513363612312 140514901867272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27017216 140730704294870 140730704295046 140730704295046 140730704297935 0
Current children cumulated CPU time: 1337.61 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2143868 KiB

Child status: 0
Real time (s): 168.739
CPU time (s): 1337.75
CPU user time (s): 1336.31
CPU system time (s): 1.44271
CPU usage (%): 792.792
Max. virtual memory (cumulated for all children) (KiB): 28882136
Max. memory (cumulated for all children) (KiB): 2171584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1336.31
system time used= 1.44271
maximum resident set size= 2172184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9603
involuntary context switches= 16859


# summary of solver processes directly reported to runsolver:
#   pid: 13775
#   total CPU time (s): 1337.75
#   total CPU user time (s): 1336.31
#   total CPU system time (s): 1.44271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72866 second user time and 1.72548 second system time

The end