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 (12261 MiB free)
memory of node 1: 16384 MiB (621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393145-1568350448/watcher-4393145-1568350448 -o /tmp/evaluation-result-4393145-1568350448/solver-4393145-1568350448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 187235468 HOME/instance-4393145-1568350448.xml
running on 4 cores: 0,2,4,6
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
solver pid=11748, runsolver pid=11745
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 7.22 6.40 6.21 3/230 11764
/proc/meminfo: memFree=13175452/32770624 swapFree=66959216/67108860
[pid=11748] ppid=11745 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11748/stat : 11748 (xcsp3-exec) S 11745 11748 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410984969 115843072 362 33554432000 4194304 5098028 140736776642016 140736776640120 139843515036284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21897216 140736776647547 140736776647789 140736776647789 140736776650698 0
/proc/11748/statm: 28282 362 304 221 0 87 0
[pid=11750] ppid=11748 vsize=15144768 memory=29628 CPUtime=0.13 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11748 11748 3331 0 -1 1077944320 5804 0 0 0 12 1 0 0 20 0 15 0 410984969 15508242432 7407 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3786192 7407 3151 1 0 3748377 0
[pid=11750/tid=11751] ppid=11748 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) R 11748 11748 3331 0 -1 4202560 3721 0 0 0 9 0 0 0 20 0 15 0 410984969 15508242432 7407 33554432000 4194304 4196468 140728561533072 139950777287472 139950773063062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11748 vsize=15144768 memory=3472468803648722128 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 7407 33554432000 4194304 4196468 140728561533072 139950709287312 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 7407 33554432000 4194304 4196468 140728561533072 139950708234512 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 7407 33554432000 4194304 4196468 140728561533072 139950707182224 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 7407 33554432000 4194304 4196468 140728561533072 139950706129424 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984971 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949848406640 139950773062274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11748 11748 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410984972 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949847352608 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11748 11748 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410984972 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949846300272 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949845248592 139950773069723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11748 11748 3331 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0.02 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) R 11748 11748 3331 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949842090352 139950765288254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 7407 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31076 KiB
[startup+0.210975 s]*
/proc/loadavg: 7.22 6.40 6.21 3/230 11764
/proc/meminfo: memFree=13162684/32770624 swapFree=66959216/67108860
[pid=11748] ppid=11745 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11748/stat : 11748 (xcsp3-exec) S 11745 11748 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410984969 115843072 362 33554432000 4194304 5098028 140736776642016 140736776640120 139843515036284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21897216 140736776647547 140736776647789 140736776647789 140736776650698 0
/proc/11748/statm: 28282 362 304 221 0 87 0
[pid=11750] ppid=11748 vsize=15144768 memory=40372 CPUtime=0.34 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11748 11748 3331 0 -1 1077944320 9336 0 0 0 31 3 0 0 20 0 15 0 410984969 15508242432 10093 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3786192 10093 3308 1 0 3748377 0
[pid=11750/tid=11751] ppid=11748 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) R 11748 11748 3331 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 410984969 15508242432 10093 33554432000 4194304 4196468 140728561533072 139950777284304 139950773063062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11748 vsize=15144768 memory=3472468803648722128 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 10093 33554432000 4194304 4196468 140728561533072 139950709287312 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 10093 33554432000 4194304 4196468 140728561533072 139950708234512 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 10093 33554432000 4194304 4196468 140728561533072 139950707182224 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15508242432 10093 33554432000 4194304 4196468 140728561533072 139950706129424 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11748 11748 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410984971 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949848406640 139950773062274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11748 11748 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410984972 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949847352608 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11748 11748 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410984972 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949846300272 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11748 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949845248592 139950773069723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11748 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11748 11748 3331 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11748 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11748 11748 3331 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0.08 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) R 11748 11748 3331 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949842090352 139950751616013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11748 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11748 vsize=15144768 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984975 15508242432 10093 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41820 KiB
[startup+0.311733 s]*
/proc/loadavg: 7.22 6.40 6.21 4/230 11764
/proc/meminfo: memFree=13155928/32770624 swapFree=66959216/67108860
[pid=11748] ppid=11745 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11748/stat : 11748 (xcsp3-exec) S 11745 11748 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410984969 115843072 362 33554432000 4194304 5098028 140736776642016 140736776640120 139843515036284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21897216 140736776647547 140736776647789 140736776647789 140736776650698 0
/proc/11748/statm: 28282 362 304 221 0 87 0
[pid=11750] ppid=11748 vsize=15149024 memory=49848 CPUtime=0.53 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11748 11748 3331 0 -1 1077944320 10760 0 0 0 49 4 0 0 20 0 15 0 410984969 15512600576 12462 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787256 12462 3370 1 0 3748377 0
[pid=11750/tid=11751] ppid=11748 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) R 11748 11748 3331 0 -1 4202560 7751 0 0 0 27 3 0 0 20 0 15 0 410984969 15512600576 12462 33554432000 4194304 4196468 140728561533072 139950777277744 139950757131614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11748 vsize=15149024 memory=3472468803648722128 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15512600576 12462 33554432000 4194304 4196468 140728561533072 139950709287312 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11748 vsize=15149024 memory=140674753570432 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15512600576 12462 33554432000 4194304 4196468 140728561533072 139950708234512 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11748 vsize=15149024 memory=8 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15512600576 12462 33554432000 4194304 4196468 140728561533072 139950707182224 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11748 vsize=15149024 memory=140674607491103 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15512600576 12462 33554432000 4194304 4196468 140728561533072 139950706129424 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11748 vsize=15149024 memory=281349214942976 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11748 11748 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410984971 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949848406640 139950773062274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11748 vsize=15149024 memory=140674607468047 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11748 11748 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410984972 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949847352608 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11748 vsize=15149024 memory=281349361047648 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11748 11748 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410984972 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949846300272 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11748 vsize=15149024 memory=140674607472655 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949845248592 139950773069723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11748 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11748 11748 3331 0 -1 1077944384 546 0 0 0 4 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11748 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) R 11748 11748 3331 0 -1 4202560 249 0 0 0 4 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949843123656 139950758177562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11748 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11748 11748 3331 0 -1 1077944384 913 0 0 0 12 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11748 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11748 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984975 15512600576 12462 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51296 KiB
[startup+0.700799 s]
/proc/loadavg: 7.22 6.40 6.21 9/230 11764
/proc/meminfo: memFree=13133424/32770624 swapFree=66959216/67108860
[pid=11748] ppid=11745 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11748/stat : 11748 (xcsp3-exec) S 11745 11748 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410984969 115843072 362 33554432000 4194304 5098028 140736776642016 140736776640120 139843515036284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21897216 140736776647547 140736776647789 140736776647789 140736776650698 0
/proc/11748/statm: 28282 362 304 221 0 87 0
[pid=11750] ppid=11748 vsize=15151148 memory=115620 CPUtime=1.73 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11748 11748 3331 0 -1 1077944320 13911 0 0 0 168 5 0 0 20 0 15 0 410984969 15514775552 28905 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787787 28905 3436 1 0 3748889 0
[pid=11750/tid=11751] ppid=11748 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) R 11748 11748 3331 0 -1 4202560 8306 0 0 0 64 4 0 0 20 0 15 0 410984969 15514775552 28905 33554432000 4194304 4196468 140728561533072 139950777286288 139950388951864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11748 vsize=15151148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15514775552 28905 33554432000 4194304 4196468 140728561533072 139950709287312 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11748 vsize=15151148 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) S 11748 11748 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410984970 15514775552 28905 33554432000 4194304 4196468 140728561533072 139950708234512 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11748 vsize=15151148 memory=7012755875661107284 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15514775552 28905 33554432000 4194304 4196468 140728561533072 139950707182224 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11748 vsize=15151148 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984970 15514775552 28905 33554432000 4194304 4196468 140728561533072 139950706129424 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11748 vsize=15151148 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11748 11748 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410984971 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949848406640 139950773062274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11748 vsize=15151148 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11748 11748 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949847352608 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11748 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11748 11748 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949846300272 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11748 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949845248592 139950773069723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11748 vsize=15151148 memory=5964 CPUtime=0.36 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) R 11748 11748 3331 0 -1 4202560 1471 0 0 0 36 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949844177792 139950757444076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11748 vsize=15151148 memory=1060 CPUtime=0.37 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) R 11748 11748 3331 0 -1 4202560 1031 0 0 0 37 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949843142768 139950756461942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11748 vsize=15151148 memory=2828 CPUtime=0.3 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11748 11748 3331 0 -1 1077944384 1796 0 0 0 30 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11748 vsize=15151148 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11748 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11748 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11748 11748 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 28905 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 117068 KiB
[startup+1.50083 s]
/proc/loadavg: 7.22 6.40 6.21 5/230 11764
/proc/meminfo: memFree=13067608/32770624 swapFree=66959216/67108860
[pid=11748] ppid=11745 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11748/stat : 11748 (xcsp3-exec) S 11745 11748 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410984969 115843072 362 33554432000 4194304 5098028 140736776642016 140736776640120 139843515036284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21897216 140736776647547 140736776647789 140736776647789 140736776650698 0
/proc/11748/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+808.002 s]*
/proc/loadavg: 3.62 5.20 5.90 6/206 12068
/proc/meminfo: memFree=13300604/32770624 swapFree=66959216/67108860
[pid=11750] ppid=11745 vsize=15151148 memory=12580088 CPUtime=2521.79 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11745 11748 3331 0 -1 1077944320 588604 0 0 0 251412 767 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787787 3145022 3509 1 0 3748889 0
[pid=11750/tid=11751] ppid=11745 vsize=15151148 memory=6791534058613427641 CPUtime=163.58 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) S 11745 11748 3331 0 -1 1077944384 32209 0 0 0 16308 50 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950777289264 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11745 vsize=15151148 memory=-7003737579269690708 CPUtime=571.69 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) R 11745 11748 3331 0 -1 4202560 111116 0 0 0 56981 188 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950709287512 139950758001842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11745 vsize=15151148 memory=2124 CPUtime=570.54 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) R 11745 11748 3331 0 -1 4202560 125407 0 0 0 56877 177 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950708234712 139950757748766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11745 vsize=15151148 memory=500 CPUtime=571.05 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) R 11745 11748 3331 0 -1 4202560 76607 0 0 0 56923 182 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950707182112 139950757748902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11745 vsize=15151148 memory=1556 CPUtime=571.46 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) R 11745 11748 3331 0 -1 4202560 91022 0 0 0 56998 148 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950706129624 139950757748902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11745 vsize=15151148 memory=6791534058613427641 CPUtime=69.32 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11745 11748 3331 0 -1 1077944384 130924 0 0 0 6921 11 0 0 20 0 15 0 410984971 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949848404960 139950773061333 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11745 vsize=15151148 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11745 11748 3331 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949847352672 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11745 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11745 11748 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949846300288 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11745 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11745 11748 3331 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949845248240 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11745 vsize=15151148 memory=38812 CPUtime=1.45 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11745 11748 3331 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11745 vsize=15151148 memory=988 CPUtime=1.51 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11745 11748 3331 0 -1 1077944384 6677 0 0 0 150 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11745 vsize=15151148 memory=2008 CPUtime=0.59 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11745 11748 3331 0 -1 1077944384 7353 0 0 0 59 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11745 vsize=15151148 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11745 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11745 vsize=15151148 memory=1564 CPUtime=0.5 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11745 11748 3331 0 -1 1077944384 553 0 0 0 31 19 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current cumulated CPU time of completed processes: 0.002186 s
Current children cumulated CPU time: 2521.79 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12580088 KiB
[startup+808.802 s]
/proc/loadavg: 3.62 5.20 5.90 6/206 12068
/proc/meminfo: memFree=13300604/32770624 swapFree=66959216/67108860
[pid=11750] ppid=11745 vsize=15151148 memory=12580088 CPUtime=2524.95 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11745 11748 3331 0 -1 1077944320 588604 0 0 0 251728 767 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787787 3145022 3509 1 0 3748889 0
[pid=11750/tid=11751] ppid=11745 vsize=15151148 memory=12580088 CPUtime=163.58 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) S 11745 11748 3331 0 -1 1077944384 32209 0 0 0 16308 50 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950777289264 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11745 vsize=15151148 memory=10604 CPUtime=572.48 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) R 11745 11748 3331 0 -1 4202560 111116 0 0 0 57060 188 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950709287512 139950757748737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11745 vsize=15151148 memory=6791534058613427641 CPUtime=571.33 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) R 11745 11748 3331 0 -1 4202560 125407 0 0 0 56956 177 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950708234712 139950758004642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11745 vsize=15151148 memory=4112 CPUtime=571.84 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) R 11745 11748 3331 0 -1 4202560 76607 0 0 0 57002 182 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950707182112 139950757748719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11745 vsize=15151148 memory=1412 CPUtime=572.25 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) R 11745 11748 3331 0 -1 4202560 91022 0 0 0 57077 148 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950706129624 139950758001732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11745 vsize=15151148 memory=3152 CPUtime=69.32 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11745 11748 3331 0 -1 1077944384 130924 0 0 0 6921 11 0 0 20 0 15 0 410984971 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949848404960 139950773061333 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11745 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11745 11748 3331 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949847352672 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11745 vsize=15151148 memory=3152 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11745 11748 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949846300288 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11745 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11745 11748 3331 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949845248240 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11745 vsize=15151148 memory=12580088 CPUtime=1.45 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11745 11748 3331 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11745 vsize=15151148 memory=12580088 CPUtime=1.51 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11745 11748 3331 0 -1 1077944384 6677 0 0 0 150 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11745 vsize=15151148 memory=1060 CPUtime=0.59 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11745 11748 3331 0 -1 1077944384 7353 0 0 0 59 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11745 vsize=15151148 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11745 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11745 vsize=15151148 memory=1216 CPUtime=0.5 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11745 11748 3331 0 -1 1077944384 553 0 0 0 31 19 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current cumulated CPU time of completed processes: 0.002186 s
Current children cumulated CPU time: 2524.95 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12580088 KiB
[startup+809.201 s]
/proc/loadavg: 3.62 5.20 5.90 6/206 12068
/proc/meminfo: memFree=13300852/32770624 swapFree=66959216/67108860
[pid=11750] ppid=11745 vsize=15151148 memory=12580088 CPUtime=2526.54 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11745 11748 3331 0 -1 1077944320 588604 0 0 0 251887 767 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787787 3145022 3509 1 0 3748889 0
[pid=11750/tid=11751] ppid=11745 vsize=15151148 memory=832 CPUtime=163.58 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) S 11745 11748 3331 0 -1 1077944384 32209 0 0 0 16308 50 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950777289264 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11745 vsize=15151148 memory=1436 CPUtime=572.88 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) R 11745 11748 3331 0 -1 4202560 111116 0 0 0 57100 188 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950709287512 139950758001732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11745 vsize=15151148 memory=1984 CPUtime=571.73 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) R 11745 11748 3331 0 -1 4202560 125407 0 0 0 56996 177 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950708234712 139950757748766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11745 vsize=15151148 memory=2580 CPUtime=572.24 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) R 11745 11748 3331 0 -1 4202560 76607 0 0 0 57042 182 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950707182112 139950758036423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11745 vsize=15151148 memory=1760 CPUtime=572.64 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) R 11745 11748 3331 0 -1 4202560 91022 0 0 0 57116 148 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950706129624 139950758001842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11745 vsize=15151148 memory=-8341965534556230502 CPUtime=69.32 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11745 11748 3331 0 -1 1077944384 130924 0 0 0 6921 11 0 0 20 0 15 0 410984971 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949848404960 139950773061333 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11745 vsize=15151148 memory=-8707038579349950309 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11745 11748 3331 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949847352672 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11745 vsize=15151148 memory=7822038051842261661 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11745 11748 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949846300288 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11745 vsize=15151148 memory=5861545314529864804 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11745 11748 3331 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949845248240 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11745 vsize=15151148 memory=7522250953879741544 CPUtime=1.45 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11745 11748 3331 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11745 vsize=15151148 memory=6369330549171709031 CPUtime=1.51 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11745 11748 3331 0 -1 1077944384 6677 0 0 0 150 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11745 vsize=15151148 memory=7809895234835736683 CPUtime=0.59 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11745 11748 3331 0 -1 1077944384 7353 0 0 0 59 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11745 vsize=15151148 memory=7440056984007045732 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11745 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11745 vsize=15151148 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11745 11748 3331 0 -1 1077944384 553 0 0 0 31 19 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current cumulated CPU time of completed processes: 0.002186 s
Current children cumulated CPU time: 2526.54 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12580088 KiB
[startup+809.602 s]
/proc/loadavg: 3.62 5.20 5.90 6/206 12068
/proc/meminfo: memFree=13300852/32770624 swapFree=66959216/67108860
[pid=11750] ppid=11745 vsize=15151148 memory=12580088 CPUtime=2528.13 cores=0,2,4,6
/proc/11750/stat : 11750 (java) S 11745 11748 3331 0 -1 1077944320 588685 0 0 0 252046 767 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 140728561515616 139950773051127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
/proc/11750/statm: 3787787 3145022 3509 1 0 3748889 0
[pid=11750/tid=11751] ppid=11745 vsize=15151148 memory=1448 CPUtime=163.58 cores=0,2,4,6
/proc/11750/task/11751/stat : 11751 (java) S 11745 11748 3331 0 -1 1077944384 32209 0 0 0 16308 50 0 0 20 0 15 0 410984969 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950777289264 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11752] ppid=11745 vsize=15151148 memory=3620 CPUtime=573.28 cores=0,2,4,6
/proc/11750/task/11752/stat : 11752 (java) R 11745 11748 3331 0 -1 4202560 111141 0 0 0 57140 188 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950709287512 139950757748902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11753] ppid=11745 vsize=15151148 memory=1660 CPUtime=572.13 cores=0,2,4,6
/proc/11750/task/11753/stat : 11753 (java) R 11745 11748 3331 0 -1 4202560 125436 0 0 0 57036 177 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950708234712 139950757748752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11754] ppid=11745 vsize=15151148 memory=1448 CPUtime=572.64 cores=0,2,4,6
/proc/11750/task/11754/stat : 11754 (java) R 11745 11748 3331 0 -1 4202560 76634 0 0 0 57082 182 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950707182112 139950758036423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11755] ppid=11745 vsize=15151148 memory=12580084 CPUtime=573.03 cores=0,2,4,6
/proc/11750/task/11755/stat : 11755 (java) R 11745 11748 3331 0 -1 4202560 91022 0 0 0 57155 148 0 0 20 0 15 0 410984970 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139950706129624 139950758036423 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11756] ppid=11745 vsize=15151148 memory=12580088 CPUtime=69.32 cores=0,2,4,6
/proc/11750/task/11756/stat : 11756 (java) S 11745 11748 3331 0 -1 1077944384 130924 0 0 0 6921 11 0 0 20 0 15 0 410984971 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949848404960 139950773061333 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11757] ppid=11745 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11757/stat : 11757 (java) S 11745 11748 3331 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949847352672 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11758] ppid=11745 vsize=15151148 memory=12580076 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11758/stat : 11758 (java) S 11745 11748 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410984972 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949846300288 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11759] ppid=11745 vsize=15151148 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11759/stat : 11759 (java) S 11745 11748 3331 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949845248240 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11760] ppid=11745 vsize=15151148 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/11750/task/11760/stat : 11760 (java) S 11745 11748 3331 0 -1 1077944384 5432 0 0 0 144 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949844195440 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11761] ppid=11745 vsize=15151148 memory=1720 CPUtime=1.51 cores=0,2,4,6
/proc/11750/task/11761/stat : 11761 (java) S 11745 11748 3331 0 -1 1077944384 6677 0 0 0 150 1 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949843142640 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11762] ppid=11745 vsize=15151148 memory=10604 CPUtime=0.59 cores=0,2,4,6
/proc/11750/task/11762/stat : 11762 (java) S 11745 11748 3331 0 -1 1077944384 7353 0 0 0 59 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949842090352 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11763] ppid=11745 vsize=15151148 memory=12580088 CPUtime=0 cores=0,2,4,6
/proc/11750/task/11763/stat : 11763 (java) S 11745 11748 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949841037792 139950773061333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
[pid=11750/tid=11764] ppid=11745 vsize=15151148 memory=8026650869813564775 CPUtime=0.5 cores=0,2,4,6
/proc/11750/task/11764/stat : 11764 (java) S 11745 11748 3331 0 -1 1077944384 553 0 0 0 31 19 0 0 20 0 15 0 410984975 15514775552 3145022 33554432000 4194304 4196468 140728561533072 139949839985584 139950773062274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 12341248 140728561538031 140728561538202 140728561538202 140728561541071 0
Current cumulated CPU time of completed processes: 0.002186 s
Current children cumulated CPU time: 2528.13 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12580088 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 809.676
CPU time (s): 2528.25
CPU user time (s): 2520.51
CPU system time (s): 7.73398
CPU usage (%): 312.254
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12581536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.51
system time used= 7.73398
maximum resident set size= 12580416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26928
involuntary context switches= 45974
# summary of solver processes directly reported to runsolver:
# pid: 11748,11750
# total CPU time (s): 2528.25
# total CPU user time (s): 2520.51
# total CPU system time (s): 7.73398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8916 second user time and 8.73078 second system time
The end