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 (15049 MiB free)
memory of node 1: 16384 MiB (14918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394079-1568331953/watcher-4394079-1568331953 -o /tmp/evaluation-result-4394079-1568331953/solver-4394079-1568331953 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1507104271 HOME/instance-4394079-1568331953.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8012, runsolver pid=8009
[startup+0.100058 s]*
/proc/loadavg: 7.64 7.42 7.39 7/233 8028
/proc/meminfo: memFree=30669404/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15144768 memory=30064 CPUtime=0.12 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 15 0 409466777 15508242432 7516 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3786192 7516 3117 1 0 3748377 0
[pid=8014/tid=8015] ppid=8012 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) R 8012 8012 25300 0 -1 4202560 3386 0 0 0 8 1 0 0 20 0 15 0 409466777 15508242432 7582 33554432000 4194304 4196468 140726761469024 139647079552272 139647075341469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 7582 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15144768 memory=140605180835456 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15144768 memory=140605180835456 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646542476576 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646541424240 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) R 8012 8012 25300 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) R 8012 8012 25300 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646538266704 139647052914409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15144768 memory=140605180835456 CPUtime=0.02 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15144768 memory=140605180835456 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 7582 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31512 KiB
[startup+0.211599 s]*
/proc/loadavg: 7.64 7.42 7.39 8/233 8028
/proc/meminfo: memFree=30656856/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15144768 memory=41132 CPUtime=0.34 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 9014 0 0 0 32 2 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3786192 10283 3265 1 0 3748377 0
[pid=8014/tid=8015] ppid=8012 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) R 8012 8012 25300 0 -1 4202560 6208 0 0 0 18 2 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 139647079554528 139647059363173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15144768 memory=140605184008414 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409466777 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646542476576 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15144768 memory=140605180835456 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409466779 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646541424240 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) S 8012 8012 25300 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) S 8012 8012 25300 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646538266608 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466782 15508242432 10283 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42580 KiB
[startup+0.318273 s]*
/proc/loadavg: 7.64 7.42 7.39 7/233 8028
/proc/meminfo: memFree=30649816/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15149024 memory=50544 CPUtime=0.53 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 10444 0 0 0 50 3 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3787256 12636 3348 1 0 3748377 0
[pid=8014/tid=8015] ppid=8012 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) R 8012 8012 25300 0 -1 4202560 7458 0 0 0 28 2 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 139647079549312 139647059400030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409466777 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409466779 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409466779 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646542476576 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409466779 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646541424240 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15149024 memory=-1751206678989134939 CPUtime=0.03 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) S 8012 8012 25300 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15149024 memory=7680491646476169235 CPUtime=0.05 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) S 8012 8012 25300 0 -1 1077944384 488 0 0 0 5 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646538266608 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15149024 memory=7088771780547993696 CPUtime=0.12 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409466782 15512600576 12636 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51992 KiB
[startup+0.702607 s]
/proc/loadavg: 7.64 7.42 7.39 6/237 8084
/proc/meminfo: memFree=30539100/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15617096 memory=186956 CPUtime=1.62 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 18769 0 0 0 153 9 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3904274 46739 3480 1 0 3865376 0
[pid=8014/tid=8015] ppid=8012 vsize=15617096 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) S 8012 8012 25300 0 -1 1077944384 8580 0 0 0 42 3 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 139647079560320 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15617096 memory=56 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646542476640 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646541424256 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15617096 memory=70 CPUtime=0.25 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) R 8012 8012 25300 0 -1 1077944384 1050 0 0 0 25 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646539309328 139647075329749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15617096 memory=1 CPUtime=0.24 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) R 8012 8012 25300 0 -1 4202560 951 0 0 0 24 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646538259800 139647060203952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15617096 memory=1548 CPUtime=0.29 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) R 8012 8012 25300 0 -1 4202560 1663 0 0 0 29 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646537208896 139647075331478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15617096 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15617096 memory=744 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 46739 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 188404 KiB
[startup+1.50627 s]
/proc/loadavg: 7.64 7.42 7.39 6/238 8397
/proc/meminfo: memFree=30496412/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8014/task/8024/stat : 8024 (java) R 8012 8012 25300 0 -1 4202560 3833 0 0 0 89 0 0 0 20 0 19 0 409466782 15993581568 53421 33554432000 4194304 4196468 140726761469024 139646539305288 139647056864208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15618732 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) R 8012 8012 25300 0 -1 4202560 3179 0 0 0 92 0 0 0 20 0 19 0 409466782 15993581568 53421 33554432000 4194304 4196468 140726761469024 139646538253176 139647056864765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15618732 memory=-7384994778349281184 CPUtime=0.39 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) R 8012 8012 25300 0 -1 1077944384 2271 0 0 0 38 1 0 0 20 0 19 0 409466782 15993581568 53421 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15618732 memory=6944656592452807316 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15993581568 53421 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15618732 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409466782 15993581568 53421 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 15731860 KiB
Current children cumulated memory: 215132 KiB
[startup+2.40627 s]
/proc/loadavg: 7.83 7.46 7.40 12/237 8424
/proc/meminfo: memFree=30482908/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15617096 memory=303916 CPUtime=8.28 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 27763 0 0 0 815 13 0 0 20 0 19 0 409466777 15991906304 75979 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3904274 75979 3497 1 0 3865376 0
[pid=8014/tid=8015] ppid=8012 vsize=15617096 memory=6944656592455360608 CPUtime=0.46 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) S 8012 8012 25300 0 -1 1077944384 8580 0 0 0 43 3 0 0 20 0 19 0 409466777 15991906304 76491 33554432000 4194304 4196468 140726761469024 139647079560320 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15617096 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 76491 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15617096 memory=6944656592455350634 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15617096 memory=6944656591801717918 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15617096 memory=6944656592452807316 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15617096 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15617096 memory=208776 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646542476640 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646541424256 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15617096 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15617096 memory=6944656592455360604 CPUtime=1.23 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) S 8012 8012 25300 0 -1 1077944384 4981 0 0 0 123 0 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15617096 memory=6944656592455359580 CPUtime=1.22 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) S 8012 8012 25300 0 -1 1077944384 3283 0 0 0 121 1 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646538266608 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15617096 memory=6944656592385698452 CPUtime=0.43 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 2455 0 0 0 42 1 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15617096 memory=7084820200048181348 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15617096 memory=4137300178079553923 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8421] ppid=8012 vsize=15617096 memory=-7737605721172012177 CPUtime=0.77 cores=0,2,4,6
/proc/8014/task/8421/stat : 8421 (java) R 8012 8012 25300 0 -1 4202560 19 0 0 0 77 0 0 0 20 0 19 0 409466912 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646522978232 139646714785501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8422] ppid=8012 vsize=15617096 memory=7310591848004340645 CPUtime=0.7 cores=0,2,4,6
/proc/8014/task/8422/stat : 8422 (java) R 8012 8012 25300 0 -1 4202560 45 0 0 0 69 1 0 0 20 0 19 0 409466912 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646519821096 139647061387536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8423] ppid=8012 vsize=15617096 memory=-7812800578125854346 CPUtime=0.82 cores=0,2,4,6
/proc/8014/task/8423/stat : 8423 (java) R 8012 8012 25300 0 -1 4202560 20 0 0 0 82 0 0 0 20 0 19 0 409466912 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646521925784 139647068140429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8424] ppid=8012 vsize=15617096 memory=6524452987429333579 CPUtime=0.85 cores=0,2,4,6
/proc/8014/task/8424/stat : 8424 (java) R 8012 8012 25300 0 -1 4202560 37 0 0 0 85 0 0 0 20 0 19 0 409466912 15991906304 76491 33554432000 4194304 4196468 140726761469024 139646525083368 139646714580086 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 305364 KiB
[startup+2.60127 s]
/proc/loadavg: 7.83 7.46 7.40 12/237 8424
/proc/meminfo: memFree=30482908/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15617096 memory=341344 CPUtime=9.06 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 27926 0 0 0 892 14 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3904274 85336 3497 1 0 3865376 0
[pid=8014/tid=8015] ppid=8012 vsize=15617096 memory=8401352418782109792 CPUtime=0.46 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) S 8012 8012 25300 0 -1 1077944384 8580 0 0 0 43 3 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 139647079560320 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15617096 memory=-9001675468920469297 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15617096 memory=6944657691966988345 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15617096 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15617096 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15617096 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15617096 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646542476640 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15617096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646541424256 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15617096 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15617096 memory=-8412652152092201843 CPUtime=1.29 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) S 8012 8012 25300 0 -1 1077944384 4989 0 0 0 129 0 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15617096 memory=4426639978525455914 CPUtime=1.23 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) S 8012 8012 25300 0 -1 1077944384 3289 0 0 0 122 1 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646538266608 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15617096 memory=7380367795984819822 CPUtime=0.44 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 2469 0 0 0 43 1 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15617096 memory=7162531440177276259 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15617096 memory=8081744957049092402 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8421] ppid=8012 vsize=15617096 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/8014/task/8421/stat : 8421 (java) R 8012 8012 25300 0 -1 4202560 20 0 0 0 92 0 0 0 20 0 19 0 409466912 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646522977800 139647056725818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8422] ppid=8012 vsize=15617096 memory=56 CPUtime=0.85 cores=0,2,4,6
/proc/8014/task/8422/stat : 8422 (java) R 8012 8012 25300 0 -1 4202560 49 0 0 0 84 1 0 0 20 0 19 0 409466912 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646519823336 139646716530742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8423] ppid=8012 vsize=15617096 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/8014/task/8423/stat : 8423 (java) R 8012 8012 25300 0 -1 4202560 20 0 0 0 101 0 0 0 20 0 19 0 409466912 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646521928152 139646714785482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8424] ppid=8012 vsize=15617096 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/8014/task/8424/stat : 8424 (java) R 8012 8012 25300 0 -1 4202560 49 0 0 0 103 0 0 0 20 0 19 0 409466912 15991906304 85336 33554432000 4194304 4196468 140726761469024 139646525084224 139646715603113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 342792 KiB
[startup+2.70222 s]
/proc/loadavg: 7.83 7.46 7.40 12/237 8424
/proc/meminfo: memFree=30482908/32770624 swapFree=66933688/67108860
[pid=8012] ppid=8009 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8012/stat : 8012 (xcsp3-exec) S 8009 8012 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409466776 115843072 362 33554432000 4194304 5098028 140736934574816 140736934572920 140719666070140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23592960 140736934577018 140736934577261 140736934577261 140736934580170 0
/proc/8012/statm: 28282 362 304 221 0 87 0
[pid=8014] ppid=8012 vsize=15617096 memory=341412 CPUtime=9.46 cores=0,2,4,6
/proc/8014/stat : 8014 (java) S 8012 8012 25300 0 -1 1077944320 27962 0 0 0 932 14 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 140726761451568 139647075319543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
/proc/8014/statm: 3904274 85353 3497 1 0 3865376 0
[pid=8014/tid=8015] ppid=8012 vsize=15617096 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/8014/task/8015/stat : 8015 (java) S 8012 8012 25300 0 -1 1077944384 8580 0 0 0 43 3 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 139647079560320 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8016] ppid=8012 vsize=15617096 memory=266924 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8016/stat : 8016 (java) S 8012 8012 25300 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 139647038425488 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8017] ppid=8012 vsize=15617096 memory=297237773746962458 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8017/stat : 8017 (java) S 8012 8012 25300 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646666201360 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8018] ppid=8012 vsize=15617096 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8018/stat : 8018 (java) S 8012 8012 25300 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646665149072 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8019] ppid=8012 vsize=15617096 memory=7588684481886776682 CPUtime=0.01 cores=0,2,4,6
/proc/8014/task/8019/stat : 8019 (java) S 8012 8012 25300 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 19 0 409466777 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646664096272 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8020] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8020/stat : 8020 (java) S 8012 8012 25300 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646543530608 139647075330690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8021] ppid=8012 vsize=15617096 memory=72 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8021/stat : 8021 (java) S 8012 8012 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646542476640 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8022] ppid=8012 vsize=15617096 memory=67 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8022/stat : 8022 (java) S 8012 8012 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409466779 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646541424256 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8023] ppid=8012 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8023/stat : 8023 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646540372560 139647075338139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8024] ppid=8012 vsize=15617096 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/8014/task/8024/stat : 8024 (java) S 8012 8012 25300 0 -1 1077944384 4989 0 0 0 129 0 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646539319408 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8025] ppid=8012 vsize=15617096 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/8014/task/8025/stat : 8025 (java) R 8012 8012 25300 0 -1 1077944384 3289 0 0 0 122 1 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646538266608 139647075330690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8026] ppid=8012 vsize=15617096 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/8014/task/8026/stat : 8026 (java) S 8012 8012 25300 0 -1 1077944384 2470 0 0 0 43 1 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646537214320 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8027] ppid=8012 vsize=15617096 memory=140605085942768 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8027/stat : 8027 (java) S 8012 8012 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646536161760 139647075329749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8028] ppid=8012 vsize=15617096 memory=140605085949035 CPUtime=0 cores=0,2,4,6
/proc/8014/task/8028/stat : 8028 (java) S 8012 8012 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409466782 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646535109552 139647075330690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8421] ppid=8012 vsize=15617096 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/8014/task/8421/stat : 8421 (java) R 8012 8012 25300 0 -1 4202560 23 0 0 0 102 0 0 0 20 0 19 0 409466912 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646522977800 139647060529502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8422] ppid=8012 vsize=15617096 memory=4134930498285298233 CPUtime=0.95 cores=0,2,4,6
/proc/8014/task/8422/stat : 8422 (java) R 8012 8012 25300 0 -1 4202560 62 0 0 0 94 1 0 0 20 0 19 0 409466912 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646519820712 139646715560233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8423] ppid=8012 vsize=15617096 memory=-7165351541977658656 CPUtime=1.11 cores=0,2,4,6
/proc/8014/task/8423/stat : 8423 (java) R 8012 8012 25300 0 -1 4202560 22 0 0 0 111 0 0 0 20 0 19 0 409466912 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646521928152 139646712255852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
[pid=8014/tid=8424] ppid=8012 vsize=15617096 memory=7811892003551209827 CPUtime=1.13 cores=0,2,4,6
/proc/8014/task/8424/stat : 8424 (java) R 8012 8012 25300 0 -1 4202560 66 0 0 0 113 0 0 0 20 0 19 0 409466912 15991906304 85353 33554432000 4194304 4196468 140726761469024 139646525083288 139647059696656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18784256 140726761477103 140726761477274 140726761477274 140726761480143 0
Current children cumulated CPU time: 9.46 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 342860 KiB
Child status: 0
Real time (s): 2.75962
CPU time (s): 9.68203
CPU user time (s): 9.53306
CPU system time (s): 0.148963
CPU usage (%): 350.846
Max. virtual memory (cumulated for all children) (KiB): 15732164
Max. memory (cumulated for all children) (KiB): 342860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.53306
system time used= 0.148963
maximum resident set size= 342464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4330
involuntary context switches= 459
# summary of solver processes directly reported to runsolver:
# pid: 8012
# total CPU time (s): 9.68203
# total CPU user time (s): 9.53306
# total CPU system time (s): 0.148963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033256 second user time and 0.081063 second system time
The end