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 (15051 MiB free)
memory of node 1: 16384 MiB (15320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394354-1568329942/watcher-4394354-1568329942 -o /tmp/evaluation-result-4394354-1568329942/solver-4394354-1568329942 -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 903046863 HOME/instance-4394354-1568329942.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
solver pid=2006, runsolver pid=2003
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 8.11 7.44 7.55 7/235 2022
/proc/meminfo: memFree=31088088/32770624 swapFree=66933668/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15144768 memory=27548 CPUtime=0.13 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 5770 0 0 0 12 1 0 0 20 0 15 0 409265637 15508242432 6887 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3786192 6887 3154 1 0 3748377 0
[pid=2008/tid=2009] ppid=2006 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) R 2006 2006 25300 0 -1 4202560 3640 0 0 0 9 0 0 0 20 0 15 0 409265637 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667941710080 139667937492374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15144768 memory=139917238949504 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15144768 memory=139917238949504 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265639 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409265640 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667404514336 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409265640 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667400305392 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15144768 memory=139917238949504 CPUtime=0.02 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) R 2006 2006 25300 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 409265642 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667399252592 139667929717566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15144768 memory=139917238949504 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265643 15508242432 6887 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29000 KiB
[startup+0.211024 s]*
/proc/loadavg: 8.11 7.44 7.55 8/235 2022
/proc/meminfo: memFree=31072836/32770624 swapFree=66933668/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15144768 memory=39336 CPUtime=0.34 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 9573 0 0 0 31 3 0 0 20 0 15 0 409265637 15508242432 9834 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3786192 9834 3288 1 0 3748377 0
[pid=2008/tid=2009] ppid=2006 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) R 2006 2006 25300 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 15 0 409265637 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667941717488 139667937502365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15144768 memory=288370293390661248 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409265639 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409265640 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667404514336 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15144768 memory=139917238949504 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409265640 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 409265642 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) S 2006 2006 25300 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 409265642 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667400305392 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) S 2006 2006 25300 0 -1 1077944384 962 0 0 0 8 0 0 0 20 0 15 0 409265642 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667399252592 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265643 15508242432 9834 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40788 KiB
[startup+0.312251 s]*
/proc/loadavg: 8.11 7.44 7.55 8/235 2022
/proc/meminfo: memFree=31065900/32770624 swapFree=66933668/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15149024 memory=49368 CPUtime=0.53 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 11117 0 0 0 49 4 0 0 20 0 15 0 409265637 15512600576 12342 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3787256 12342 3370 1 0 3748377 0
[pid=2008/tid=2009] ppid=2006 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) R 2006 2006 25300 0 -1 4202560 7833 0 0 0 27 3 0 0 20 0 15 0 409265637 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667941707056 139667921560926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15149024 memory=5787495302022849088 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15149024 memory=7451013514046887255 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265638 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15149024 memory=3904964140115047455 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15149024 memory=7086240636112360802 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409265639 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15149024 memory=8242475861831399472 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409265640 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667404514336 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15149024 memory=3472732100500883104 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409265640 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15149024 memory=7526403521046067248 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 409265642 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15149024 memory=2320532704480276787 CPUtime=0.05 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) R 2006 2006 25300 0 -1 4202560 219 0 0 0 5 0 0 0 20 0 15 0 409265642 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667400286408 139667921037104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15149024 memory=6083064957213364322 CPUtime=0.12 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) S 2006 2006 25300 0 -1 1077944384 1196 0 0 0 12 0 0 0 20 0 15 0 409265642 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667399252592 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15149024 memory=6300372504266105706 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15149024 memory=7163626574882166122 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265643 15512600576 12342 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50820 KiB
[startup+0.701441 s]
/proc/loadavg: 8.11 7.44 7.55 9/235 2022
/proc/meminfo: memFree=31037020/32770624 swapFree=66933668/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15151148 memory=119140 CPUtime=1.75 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 15321 0 0 0 169 6 0 0 20 0 15 0 409265637 15514775552 29785 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3787787 29785 3445 1 0 3748889 0
[pid=2008/tid=2009] ppid=2006 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) R 2006 2006 25300 0 -1 4202560 8584 0 0 0 64 4 0 0 20 0 15 0 409265637 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667941707776 139667937502365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265638 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409265638 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409265639 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409265640 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667404514336 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409265640 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15151148 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) R 2006 2006 25300 0 -1 4202560 1314 0 0 0 32 0 0 0 20 0 15 0 409265642 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667401351384 139667921770608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15151148 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) R 2006 2006 25300 0 -1 4202560 1882 0 0 0 38 0 0 0 20 0 15 0 409265642 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667400284976 139667919024673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15151148 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) R 2006 2006 25300 0 -1 4202560 2232 0 0 0 34 0 0 0 20 0 15 0 409265642 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667399252688 139667937492374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15151148 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409265642 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409265643 15514775552 29785 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 120592 KiB
[startup+1.50081 s]
/proc/loadavg: 8.11 7.44 7.55 8/235 2022
/proc/meminfo: memFree=30944752/32770624 swapFree=66933668/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 88374 0 0 0 207580 70 0 0 20 0 19 0 409265637 15787421696 310470 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3854351 310470 3531 1 0 3815453 0
[pid=2008/tid=2009] ppid=2006 vsize=15417404 memory=1241880 CPUtime=1.44 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) S 2006 2006 25300 0 -1 1077944384 10542 0 0 0 139 5 0 0 20 0 19 0 409265637 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667941721216 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15417404 memory=1241880 CPUtime=0.28 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 1085 0 0 0 22 6 0 0 20 0 19 0 409265638 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15417404 memory=48759 CPUtime=0.27 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 1249 0 0 0 21 6 0 0 20 0 19 0 409265638 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15417404 memory=279834166120800 CPUtime=0.25 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1164 0 0 0 19 6 0 0 20 0 19 0 409265638 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15417404 memory=1241880 CPUtime=0.28 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 1276 0 0 0 21 7 0 0 20 0 19 0 409265638 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15417404 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 2563 0 0 0 2 2 0 0 20 0 19 0 409265639 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15417404 memory=1241880 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667404514400 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15417404 memory=1241880 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15417404 memory=85 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15417404 memory=1452 CPUtime=2.64 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 18635 0 0 0 262 2 0 0 20 0 19 0 409265642 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15417404 memory=1241880 CPUtime=2.85 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) S 2006 2006 25300 0 -1 1077944384 21292 0 0 0 283 2 0 0 20 0 19 0 409265642 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667400305392 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15417404 memory=1452 CPUtime=0.85 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) S 2006 2006 25300 0 -1 1077944384 12960 0 0 0 84 1 0 0 20 0 19 0 409265642 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667399252592 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15417404 memory=1452 CPUtime=0.22 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1218 0 0 0 22 0 0 0 20 0 19 0 409265643 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2023] ppid=2006 vsize=15417404 memory=3620 CPUtime=517.33 cores=0,2,4,6
/proc/2008/task/2023/stat : 2023 (java) R 2006 2006 25300 0 -1 4202560 1761 0 0 0 51730 3 0 0 20 0 19 0 409265795 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667388172816 139667581059834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2024] ppid=2006 vsize=15417404 memory=1452 CPUtime=517.4 cores=0,2,4,6
/proc/2008/task/2024/stat : 2024 (java) R 2006 2006 25300 0 -1 4202560 8830 0 0 0 51718 22 0 0 20 0 19 0 409265795 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667387121288 139667574376028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2025] ppid=2006 vsize=15417404 memory=1241880 CPUtime=515.43 cores=0,2,4,6
/proc/2008/task/2025/stat : 2025 (java) R 2006 2006 25300 0 -1 4202560 2136 0 0 0 51542 1 0 0 20 0 19 0 409265795 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667386068664 139667581059810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2026] ppid=2006 vsize=15417404 memory=1452 CPUtime=517.08 cores=0,2,4,6
/proc/2008/task/2026/stat : 2026 (java) R 2006 2006 25300 0 -1 4202560 2307 0 0 0 51707 1 0 0 20 0 19 0 409265795 15787421696 310470 33554432000 4194304 4196468 140726909375856 139667385016968 139667581059834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 2076.5 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1243332 KiB
[startup+582.301 s]
/proc/loadavg: 8.12 8.25 8.01 9/238 2172
/proc/meminfo: memFree=29157012/32770624 swapFree=66933676/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15417404 memory=1252120 CPUtime=2315.28 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 90708 0 0 0 231456 72 0 0 20 0 19 0 409265637 15787421696 313030 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3854351 313030 3531 1 0 3815453 0
[pid=2008/tid=2009] ppid=2006 vsize=15417404 memory=1241880 CPUtime=1.44 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) S 2006 2006 25300 0 -1 1077944384 10542 0 0 0 139 5 0 0 20 0 19 0 409265637 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667941721216 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0.3 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 1121 0 0 0 23 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0.29 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 1288 0 0 0 22 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0.26 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1665 0 0 0 20 6 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0.29 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 1336 0 0 0 22 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15417404 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 2811 0 0 0 2 2 0 0 20 0 19 0 409265639 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667404514400 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15417404 memory=85 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15417404 memory=1252120 CPUtime=2.64 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 18639 0 0 0 262 2 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15417404 memory=1252120 CPUtime=2.86 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) S 2006 2006 25300 0 -1 1077944384 21423 0 0 0 284 2 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667400305392 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15417404 memory=1452 CPUtime=0.85 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) S 2006 2006 25300 0 -1 1077944384 12969 0 0 0 84 1 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667399252592 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15417404 memory=3620 CPUtime=0.25 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1247 0 0 0 25 0 0 0 20 0 19 0 409265643 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2023] ppid=2006 vsize=15417404 memory=20332 CPUtime=576.3 cores=0,2,4,6
/proc/2008/task/2023/stat : 2023 (java) R 2006 2006 25300 0 -1 4202560 1817 0 0 0 57627 3 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667388173144 139667581059834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2024] ppid=2006 vsize=15417404 memory=1452 CPUtime=577.37 cores=0,2,4,6
/proc/2008/task/2024/stat : 2024 (java) R 2006 2006 25300 0 -1 4202560 9685 0 0 0 57714 23 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667387123936 139667574376028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2025] ppid=2006 vsize=15417404 memory=1241880 CPUtime=575.22 cores=0,2,4,6
/proc/2008/task/2025/stat : 2025 (java) R 2006 2006 25300 0 -1 4202560 2187 0 0 0 57521 1 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667386068336 139667574527879 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2026] ppid=2006 vsize=15417404 memory=1241880 CPUtime=577.04 cores=0,2,4,6
/proc/2008/task/2026/stat : 2026 (java) R 2006 2006 25300 0 -1 4202560 2622 0 0 0 57703 1 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667385016888 139667580602568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 2315.28 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1253572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.601 s]
/proc/loadavg: 8.08 8.23 8.01 9/238 2173
/proc/meminfo: memFree=29161152/32770624 swapFree=66933676/67108860
[pid=2006] ppid=2003 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2006/stat : 2006 (xcsp3-exec) S 2003 2006 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409265636 115843072 363 33554432000 4194304 5098028 140735391028608 140735391026712 140132704432764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17993728 140735391036283 140735391036525 140735391036525 140735391039434 0
/proc/2006/statm: 28282 363 304 221 0 87 0
[pid=2008] ppid=2006 vsize=15417404 memory=1252120 CPUtime=2400.05 cores=0,2,4,6
/proc/2008/stat : 2008 (java) S 2006 2006 25300 0 -1 1077944320 90926 0 0 0 239933 72 0 0 20 0 19 0 409265637 15787421696 313030 33554432000 4194304 4196468 140726909375856 140726909358400 139667937480439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
/proc/2008/statm: 3854351 313030 3531 1 0 3815453 0
[pid=2008/tid=2009] ppid=2006 vsize=15417404 memory=8112282956445269571 CPUtime=1.44 cores=0,2,4,6
/proc/2008/task/2009/stat : 2009 (java) S 2006 2006 25300 0 -1 1077944384 10542 0 0 0 139 5 0 0 20 0 19 0 409265637 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667941721216 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2010] ppid=2006 vsize=15417404 memory=1252120 CPUtime=0.3 cores=0,2,4,6
/proc/2008/task/2010/stat : 2010 (java) S 2006 2006 25300 0 -1 1077944384 1121 0 0 0 23 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667909323920 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2011] ppid=2006 vsize=15417404 memory=1412 CPUtime=0.29 cores=0,2,4,6
/proc/2008/task/2011/stat : 2011 (java) S 2006 2006 25300 0 -1 1077944384 1288 0 0 0 22 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667528322064 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2012] ppid=2006 vsize=15417404 memory=3412 CPUtime=0.26 cores=0,2,4,6
/proc/2008/task/2012/stat : 2012 (java) S 2006 2006 25300 0 -1 1077944384 1665 0 0 0 20 6 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667527269264 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2013] ppid=2006 vsize=15417404 memory=1448 CPUtime=0.29 cores=0,2,4,6
/proc/2008/task/2013/stat : 2013 (java) S 2006 2006 25300 0 -1 1077944384 1336 0 0 0 22 7 0 0 20 0 19 0 409265638 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667526216464 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2014] ppid=2006 vsize=15417404 memory=873732 CPUtime=0.04 cores=0,2,4,6
/proc/2008/task/2014/stat : 2014 (java) S 2006 2006 25300 0 -1 1077944384 2811 0 0 0 2 2 0 0 20 0 19 0 409265639 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667405568368 139667937491586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2015] ppid=2006 vsize=15417404 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2015/stat : 2015 (java) S 2006 2006 25300 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667404514400 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2016] ppid=2006 vsize=15417404 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2016/stat : 2016 (java) S 2006 2006 25300 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 409265640 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667403461488 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2017] ppid=2006 vsize=15417404 memory=804 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2017/stat : 2017 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667402409808 139667937499035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2018] ppid=2006 vsize=15417404 memory=1656 CPUtime=2.64 cores=0,2,4,6
/proc/2008/task/2018/stat : 2018 (java) S 2006 2006 25300 0 -1 1077944384 18639 0 0 0 262 2 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667401358192 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2019] ppid=2006 vsize=15417404 memory=1804 CPUtime=2.86 cores=0,2,4,6
/proc/2008/task/2019/stat : 2019 (java) S 2006 2006 25300 0 -1 1077944384 21423 0 0 0 284 2 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667400305392 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2020] ppid=2006 vsize=15417404 memory=916 CPUtime=0.85 cores=0,2,4,6
/proc/2008/task/2020/stat : 2020 (java) S 2006 2006 25300 0 -1 1077944384 12969 0 0 0 84 1 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667399252592 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2021] ppid=2006 vsize=15417404 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/2008/task/2021/stat : 2021 (java) S 2006 2006 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409265642 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667398200032 139667937490645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2022] ppid=2006 vsize=15417404 memory=2936 CPUtime=0.26 cores=0,2,4,6
/proc/2008/task/2022/stat : 2022 (java) S 2006 2006 25300 0 -1 1077944384 1249 0 0 0 26 0 0 0 20 0 19 0 409265643 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667397147312 139667937491586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2023] ppid=2006 vsize=15417404 memory=2628 CPUtime=597.6 cores=0,2,4,6
/proc/2008/task/2023/stat : 2023 (java) R 2006 2006 25300 0 -1 4202560 1818 0 0 0 59757 3 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667388173144 139667581363790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2024] ppid=2006 vsize=15417404 memory=4096 CPUtime=598.66 cores=0,2,4,6
/proc/2008/task/2024/stat : 2024 (java) R 2006 2006 25300 0 -1 4202560 9896 0 0 0 59843 23 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667387123936 139667574376028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2025] ppid=2006 vsize=15417404 memory=1398720917958146503 CPUtime=596.1 cores=0,2,4,6
/proc/2008/task/2025/stat : 2025 (java) R 2006 2006 25300 0 -1 4202560 2188 0 0 0 59609 1 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667386068336 139667581615301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
[pid=2008/tid=2026] ppid=2006 vsize=15417404 memory=4126316290023845779 CPUtime=598.33 cores=0,2,4,6
/proc/2008/task/2026/stat : 2026 (java) R 2006 2006 25300 0 -1 4202560 2625 0 0 0 59832 1 0 0 20 0 19 0 409265795 15787421696 313030 33554432000 4194304 4196468 140726909375856 139667385016888 139667581059834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19542016 140726909379567 140726909379738 140726909379738 140726909382607 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1253572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.635 s]
# the end of solver process 2006 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001121 s, system=0.001121 s
[startup+603.697 s]
# the end of solver process 2008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.68 s, system=0.732458 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 603.697
CPU time (s): 2400.41
CPU user time (s): 2399.68
CPU system time (s): 0.732458
CPU usage (%): 397.619
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1253572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.732458
maximum resident set size= 1252712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16592
involuntary context switches= 40495
# summary of solver processes directly reported to runsolver:
# pid: 2006,2008
# total CPU time (s): 2400.41
# total CPU user time (s): 2399.68
# total CPU system time (s): 0.732458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25239 second user time and 7.68593 second system time
The end