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 (11782 MiB free)
memory of node 1: 16384 MiB (13172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406027-1569412294/watcher-4406027-1569412294 -o /var/tmp/evaluation-result-4406027-1569412294/solver-4406027-1569412294 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569396627-31209 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406027-1569412294.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1709, runsolver pid=1706
[startup+0.102873 s]*
/proc/loadavg: 1.77 1.72 1.70 4/231 1725
/proc/meminfo: memFree=25535636/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15144776 memory=30800 CPUtime=0.12 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 15 0 517491998 15508250624 7700 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3786194 7700 3186 1 0 3748377 0
[pid=1711/tid=1712] ppid=1709 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 3545 0 0 0 8 1 0 0 20 0 15 0 517491999 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022913140384 140022527585779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492001 15508250624 7766 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) R 1709 1709 31177 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0.02 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 7766 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32256 KiB
[startup+0.211202 s]*
/proc/loadavg: 1.77 1.72 1.70 3/231 1725
/proc/meminfo: memFree=25522772/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15144776 memory=42384 CPUtime=0.35 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 9278 0 0 0 31 4 0 0 20 0 15 0 517491998 15508250624 10596 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3786194 10596 3296 1 0 3748377 0
[pid=1711/tid=1712] ppid=1709 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 6526 0 0 0 17 2 0 0 20 0 15 0 517491999 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022913138784 140022908919190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15144776 memory=4297963165 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15144776 memory=140507389476971 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517492001 15508250624 10596 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15144776 memory=140507389449856 CPUtime=0.08 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) R 1709 1709 31177 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021776488688 140022901144382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492004 15508250624 10596 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43840 KiB
[startup+0.311154 s]*
/proc/loadavg: 1.77 1.72 1.70 4/231 1725
/proc/meminfo: memFree=25514756/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15149032 memory=51440 CPUtime=0.53 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 10691 0 0 0 49 4 0 0 20 0 15 0 517491998 15512608768 12860 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787258 12860 3343 1 0 3748377 0
[pid=1711/tid=1712] ppid=1709 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 7720 0 0 0 27 3 0 0 20 0 15 0 517491999 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022913138368 140022892987742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15149032 memory=3761694498073096479 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517492001 15512608768 12860 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15149032 memory=8102582798439690288 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15149032 memory=8104553123260412977 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15149032 memory=7526544028351028869 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15149032 memory=3544649803121111606 CPUtime=0.05 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) R 1709 1709 31177 0 -1 4202560 362 0 0 0 5 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021777531616 140022890451344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15149032 memory=2320955704684938930 CPUtime=0.13 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 987 0 0 0 13 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15149032 memory=3762670625323841204 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492004 15512608768 12860 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52896 KiB
[startup+0.708622 s]
/proc/loadavg: 1.77 1.72 1.70 3/231 1725
/proc/meminfo: memFree=25499412/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15151156 memory=144604 CPUtime=1.66 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 14507 0 0 0 159 7 0 0 20 0 15 0 517491998 15514783744 36151 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787789 36151 3446 1 0 3748889 0
[pid=1711/tid=1712] ppid=1709 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 9172 0 0 0 63 5 0 0 20 0 15 0 517491999 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022913144168 140022531700467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15151156 memory=1 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 36151 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15151156 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) R 1709 1709 31177 0 -1 4202560 1216 0 0 0 27 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021778580320 140022893660140 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 967 0 0 0 31 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15151156 memory=61 CPUtime=0.38 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) R 1709 1709 31177 0 -1 4202560 1862 0 0 0 38 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021776488688 140022888369748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 36151 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 146060 KiB
[startup+1.50084 s]
/proc/loadavg: 1.77 1.72 1.70 5/231 1725
/proc/meminfo: memFree=25412724/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15151156 memory=196612 CPUtime=19.47 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 50021 0 0 0 1935 12 0 0 20 0 15 0 517491998 15514783744 49153 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787789 49153 3476 1 0 3748889 0
[pid=1711/tid=1712] ppid=1709 vsize=15151156 memory=1456 CPUtime=14.37 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 11033 0 0 0 1431 6 0 0 20 0 15 0 517491999 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022913143616 140022533129095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15151156 memory=194564 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15151156 memory=51300 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49153 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15151156 memory=196612 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15151156 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 14975 0 0 0 221 2 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15151156 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 18965 0 0 0 224 2 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15151156 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 3340 0 0 0 57 0 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49153 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 19.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 198068 KiB
[startup+16.0006 s]*
/proc/loadavg: 1.89 1.75 1.71 3/230 1726
/proc/meminfo: memFree=25365824/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15151156 memory=198672 CPUtime=21.08 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 50538 0 0 0 2096 12 0 0 20 0 15 0 517491998 15514783744 49668 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787789 49668 3476 1 0 3748889 0
[pid=1711/tid=1712] ppid=1709 vsize=15151156 memory=6935054825532540783 CPUtime=15.98 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 11198 0 0 0 1592 6 0 0 20 0 15 0 517491999 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022913143616 140022532428711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15151156 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15151156 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15151156 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15151156 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15151156 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15151156 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15151156 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15151156 memory=28708 CPUtime=2.23 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 15183 0 0 0 221 2 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15151156 memory=30916 CPUtime=2.26 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 18967 0 0 0 224 2 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15151156 memory=55 CPUtime=0.57 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 3478 0 0 0 57 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15151156 memory=7811866731913964648 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15151156 memory=7589523409343375470 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 21.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 200128 KiB
[startup+16.4006 s]
/proc/loadavg: 1.89 1.75 1.71 3/230 1726
/proc/meminfo: memFree=25365824/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15151156 memory=198672 CPUtime=21.47 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 50557 0 0 0 2135 12 0 0 20 0 15 0 517491998 15514783744 49668 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787789 49668 3476 1 0 3748889 0
[pid=1711/tid=1712] ppid=1709 vsize=15151156 memory=3848 CPUtime=16.37 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 11217 0 0 0 1631 6 0 0 20 0 15 0 517491999 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022913146024 140022532074028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15151156 memory=2600 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15151156 memory=2600 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15151156 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15151156 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49668 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15151156 memory=196612 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15151156 memory=15539621996005096 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15151156 memory=6944656575208382560 CPUtime=2.23 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 15183 0 0 0 221 2 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15151156 memory=281014475842872 CPUtime=2.26 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 18967 0 0 0 224 2 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15151156 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 3478 0 0 0 57 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 49668 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 21.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 200128 KiB
[startup+16.8007 s]
/proc/loadavg: 1.89 1.75 1.71 3/230 1726
/proc/meminfo: memFree=25365824/32770624 swapFree=66992636/67108860
[pid=1709] ppid=1706 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1709/stat : 1709 (xcsp3-exec) S 1706 1709 31177 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517491998 115843072 364 33554432000 4194304 5098028 140730112878784 140730112876888 139864543199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26136576 140730112881494 140730112881753 140730112881753 140730112884678 0
/proc/1709/statm: 28282 364 305 221 0 87 0
[pid=1711] ppid=1709 vsize=15151156 memory=200720 CPUtime=21.88 cores=1,3,5,7
/proc/1711/stat : 1711 (java) S 1709 1709 31177 0 -1 1077944320 50646 0 0 0 2176 12 0 0 20 0 15 0 517491998 15514783744 50180 33554432000 4194304 4196468 140731801624992 140731801607536 140022908907255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
/proc/1711/statm: 3787789 50180 3476 1 0 3748889 0
[pid=1711/tid=1712] ppid=1709 vsize=15151156 memory=1808 CPUtime=16.77 cores=1,3,5,7
/proc/1711/task/1712/stat : 1712 (java) R 1709 1709 31177 0 -1 4202560 11223 0 0 0 1671 6 0 0 20 0 15 0 517491999 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022913146024 140022533411898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1713] ppid=1709 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1713/stat : 1713 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022861527312 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1714] ppid=1709 vsize=15151156 memory=198672 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1714/stat : 1714 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022860474768 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1715] ppid=1709 vsize=15151156 memory=6436880085421549668 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1715/stat : 1715 (java) S 1709 1709 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022859422224 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1716] ppid=1709 vsize=15151156 memory=20409684595197 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1716/stat : 1716 (java) S 1709 1709 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517492000 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022858369680 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1717] ppid=1709 vsize=15151156 memory=297237803895619903 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1717/stat : 1717 (java) S 1709 1709 31177 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 50180 33554432000 4194304 4196468 140731801624992 140022444669424 140022908918402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1718] ppid=1709 vsize=15151156 memory=14128952872535821 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1718/stat : 1718 (java) S 1709 1709 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517492001 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021781751200 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1719] ppid=1709 vsize=15151156 memory=4639059890892133476 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1719/stat : 1719 (java) S 1709 1709 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517492002 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021780698608 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1720] ppid=1709 vsize=15151156 memory=4639059890892133476 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1720/stat : 1720 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021779647184 140022908925851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1721] ppid=1709 vsize=15151156 memory=4639341365868844132 CPUtime=2.23 cores=1,3,5,7
/proc/1711/task/1721/stat : 1721 (java) S 1709 1709 31177 0 -1 1077944384 15183 0 0 0 221 2 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021778593776 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1722] ppid=1709 vsize=15151156 memory=984 CPUtime=2.26 cores=1,3,5,7
/proc/1711/task/1722/stat : 1722 (java) S 1709 1709 31177 0 -1 1077944384 18967 0 0 0 224 2 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021777541232 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1723] ppid=1709 vsize=15151156 memory=1324 CPUtime=0.57 cores=1,3,5,7
/proc/1711/task/1723/stat : 1723 (java) S 1709 1709 31177 0 -1 1077944384 3561 0 0 0 57 0 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021776488688 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1724] ppid=1709 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1724/stat : 1724 (java) S 1709 1709 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021775436384 140022908917461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
[pid=1711/tid=1725] ppid=1709 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1711/task/1725/stat : 1725 (java) S 1709 1709 31177 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 517492004 15514783744 50180 33554432000 4194304 4196468 140731801624992 140021774383920 140022908918402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14340096 140731801633755 140731801633930 140731801633930 140731801636815 0
Current children cumulated CPU time: 21.88 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 202176 KiB
Child status: 0
Real time (s): 16.873
CPU time (s): 21.9531
CPU user time (s): 21.8202
CPU system time (s): 0.132956
CPU usage (%): 130.108
Max. virtual memory (cumulated for all children) (KiB): 15268408
Max. memory (cumulated for all children) (KiB): 202176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8202
system time used= 0.132956
maximum resident set size= 200928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2727
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 1709
# total CPU time (s): 21.9531
# total CPU user time (s): 21.8202
# total CPU system time (s): 0.132956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123113 second user time and 0.196427 second system time
The end