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 (15146 MiB free)
memory of node 1: 16384 MiB (15289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272890-1502859336/watcher-4272890-1502859336 -o /tmp/evaluation-result-4272890-1502859336/solver-4272890-1502859336 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502842139-30798 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1725388359 HOME/instance-4272890-1502859336.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
Current StackSize limit: 8192 KiB
solver pid=2003, runsolver pid=2000
[startup+0.10009 s]*
/proc/loadavg: 1.48 1.75 1.89 6/218 2019
/proc/meminfo: memFree=31148256/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13978596 memory=28860 CPUtime=0.12 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 5003 0 0 0 11 1 0 0 20 0 15 0 119021757 14314082304 7215 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3494649 7215 2897 1 0 3482966 0
[pid=2005/tid=2006] ppid=2003 vsize=13978596 memory=3047711591739990150 CPUtime=0.09 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 3014 0 0 0 8 1 0 0 20 0 15 0 119021757 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944472516400 139944468295062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13978596 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13978596 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021759 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119021760 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944008619680 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119021760 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944007566576 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13978596 memory=139794343298688 CPUtime=0.01 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) R 2003 2003 30767 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944003356656 139944449520688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13978596 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021763 14314082304 7215 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30244 KiB
[startup+0.210744 s]*
/proc/loadavg: 1.48 1.75 1.89 4/218 2019
/proc/meminfo: memFree=31138268/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13982852 memory=40400 CPUtime=0.34 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 7601 0 0 0 31 3 0 0 20 0 15 0 119021757 14318440448 10100 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3495721 10100 3074 1 0 3482974 0
[pid=2005/tid=2006] ppid=2003 vsize=13982852 memory=3047711591739990150 CPUtime=0.2 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) D 2003 2003 30767 0 -1 1077944384 4932 0 0 0 18 2 0 0 20 0 15 0 119021757 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944472493024 139944460962349 0 4 0 16800975 18446744072101555748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13982852 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14318473216 10100 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14318473216 10100 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119021759 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119021760 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944008619680 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119021760 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944007566576 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) R 2003 2003 30767 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0.07 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) R 2003 2003 30767 0 -1 4202560 689 0 0 0 7 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944003356656 139944468304474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 10100 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41784 KiB
[startup+0.313887 s]*
/proc/loadavg: 1.48 1.75 1.89 4/218 2019
/proc/meminfo: memFree=31131692/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13982852 memory=47764 CPUtime=0.52 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 8612 0 0 0 49 3 0 0 20 0 15 0 119021757 14318440448 11941 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3495713 11941 3115 1 0 3482966 0
[pid=2005/tid=2006] ppid=2003 vsize=13982852 memory=7721456969746559539 CPUtime=0.3 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 5465 0 0 0 28 2 0 0 20 0 15 0 119021757 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944472517184 139944468305053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021758 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119021759 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119021760 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944008619680 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13982852 memory=139794343298688 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119021760 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944007566576 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13982852 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) R 2003 2003 30767 0 -1 4202560 498 0 0 0 3 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944005462256 139944449827664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13982852 memory=9736191 CPUtime=0.06 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) R 2003 2003 30767 0 -1 4202560 524 0 0 0 6 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944004409712 139944447716213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13982852 memory=93310054 CPUtime=0.12 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13982852 memory=229318844 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13982852 memory=279588412609412 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021763 14318440448 11941 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49148 KiB
[startup+0.700848 s]
/proc/loadavg: 1.76 1.81 1.91 5/218 2019
/proc/meminfo: memFree=31069440/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13982928 memory=209144 CPUtime=1.52 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 11175 0 0 0 144 8 0 0 20 0 15 0 119021757 14318518272 52286 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3495732 52286 3203 1 0 3482966 0
[pid=2005/tid=2006] ppid=2003 vsize=13982928 memory=1296 CPUtime=0.66 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 5812 0 0 0 61 5 0 0 20 0 15 0 119021757 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944472520200 139944080116882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13982928 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 119021758 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13982928 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 119021758 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 119021758 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13982928 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 119021758 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13982928 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 119021759 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13982928 memory=7450453974481136230 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119021760 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944008619680 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13982928 memory=5793970325998817361 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 119021760 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944007566576 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13982928 memory=5450916479880885802 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13982928 memory=-5942888427914360000 CPUtime=0.28 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 1437 0 0 0 28 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13982928 memory=-7385037593950845031 CPUtime=0.29 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 1352 0 0 0 29 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13982928 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 1134 0 0 0 21 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13982928 memory=33 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119021763 14318518272 52286 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 210528 KiB
[startup+1.50081 s]
/proc/loadavg: 1.76 1.81 1.91 3/218 2019
/proc/meminfo: memFree=30937132/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944007566592 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13984976 memory=1384 CPUtime=3.28 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 17868 0 0 0 326 2 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13984976 memory=600212 CPUtime=3.61 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 17384 0 0 0 359 2 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13984976 memory=33248 CPUtime=0.73 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 9359 0 0 0 71 2 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13984976 memory=1384 CPUtime=1.35 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1199 0 0 0 66 69 0 0 20 0 15 0 119021763 14320615424 162411 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 2444.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 651028 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.60 1.55 3/217 2266
/proc/meminfo: memFree=30573060/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13984976 memory=602936 CPUtime=2506.22 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 226496 0 0 0 250181 441 0 0 20 0 15 0 119021757 14320615424 150734 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3496244 150734 3279 1 0 3483478 0
[pid=2005/tid=2006] ppid=2003 vsize=13984976 memory=612172 CPUtime=2421.76 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 67033 0 0 0 242149 27 0 0 20 0 15 0 119021757 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944472522688 139944082242634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13984976 memory=1384 CPUtime=18.5 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 18836 0 0 0 1766 84 0 0 20 0 15 0 119021758 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13984976 memory=609092 CPUtime=18.56 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 18390 0 0 0 1770 86 0 0 20 0 15 0 119021758 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13984976 memory=606528 CPUtime=18.5 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 21078 0 0 0 1766 84 0 0 20 0 15 0 119021758 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13984976 memory=602936 CPUtime=18.47 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 19256 0 0 0 1766 81 0 0 20 0 15 0 119021758 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13984976 memory=602936 CPUtime=1.28 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 34508 0 0 0 108 20 0 0 20 0 15 0 119021759 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944008619744 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944007566592 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13984976 memory=602936 CPUtime=3.31 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 18007 0 0 0 329 2 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13984976 memory=8112282956445269571 CPUtime=3.61 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 17434 0 0 0 359 2 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13984976 memory=8564 CPUtime=0.73 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 9384 0 0 0 71 2 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13984976 memory=1696 CPUtime=1.38 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1218 0 0 0 67 71 0 0 20 0 15 0 119021763 14320615424 150734 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 2506.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 604320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.9 s]
/proc/loadavg: 1.89 1.61 1.55 3/217 2266
/proc/meminfo: memFree=30586680/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13984976 memory=589084 CPUtime=2520.07 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 226505 0 0 0 251565 442 0 0 20 0 15 0 119021757 14320615424 147271 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3496244 147271 3279 1 0 3483478 0
[pid=2005/tid=2006] ppid=2003 vsize=13984976 memory=597808 CPUtime=2435.27 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 67039 0 0 0 243500 27 0 0 20 0 15 0 119021757 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944472522672 139944082557461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13984976 memory=1384 CPUtime=18.58 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 18836 0 0 0 1774 84 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13984976 memory=606528 CPUtime=18.64 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 18390 0 0 0 1778 86 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13984976 memory=602936 CPUtime=18.58 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 21079 0 0 0 1774 84 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13984976 memory=590112 CPUtime=18.55 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 19256 0 0 0 1774 81 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13984976 memory=600372 CPUtime=1.28 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 34508 0 0 0 108 20 0 0 20 0 15 0 119021759 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13984976 memory=590112 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944008619744 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13984976 memory=590112 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944007566592 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13984976 memory=1384 CPUtime=3.31 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 18007 0 0 0 329 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13984976 memory=589084 CPUtime=3.61 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 17434 0 0 0 359 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13984976 memory=1384 CPUtime=0.73 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 9384 0 0 0 71 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13984976 memory=589084 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13984976 memory=1384 CPUtime=1.4 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1220 0 0 0 68 72 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 590468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.91 s]
# the end of solver process 2003 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000975 s, system=0.000975 s
[startup+2455.91 s]
# the end of solver process 2005 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.67 s, system=4.42718 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
[startup+2455.9 s]
/proc/loadavg: 1.89 1.61 1.55 3/217 2266
/proc/meminfo: memFree=30586680/32770624 swapFree=67108860/67108860
[pid=2003] ppid=2000 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2003/stat : 2003 (xcsp3-exec) S 2000 2003 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119021757 9740288 346 33554432000 4194304 5098028 140723799171728 140723799169832 140180236513916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12136448 140723799180398 140723799180603 140723799180603 140723799183339 0
/proc/2003/statm: 2378 346 289 221 0 87 0
[pid=2005] ppid=2003 vsize=13984976 memory=589084 CPUtime=2520.07 cores=0,2,4,6
/proc/2005/stat : 2005 (java) S 2003 2003 30767 0 -1 1077944320 226505 0 0 0 251565 442 0 0 20 0 15 0 119021757 14320615424 147271 33554432000 4194304 4196468 140734349505344 140734349487888 139944468283127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
/proc/2005/statm: 3496244 147271 3279 1 0 3483478 0
[pid=2005/tid=2006] ppid=2003 vsize=13984976 memory=597808 CPUtime=2435.27 cores=0,2,4,6
/proc/2005/task/2006/stat : 2006 (java) R 2003 2003 30767 0 -1 4202560 67039 0 0 0 243500 27 0 0 20 0 15 0 119021757 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944472522672 139944082557461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2007] ppid=2003 vsize=13984976 memory=1384 CPUtime=18.58 cores=0,2,4,6
/proc/2005/task/2007/stat : 2007 (java) S 2003 2003 30767 0 -1 1077944384 18836 0 0 0 1774 84 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944398371344 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2008] ppid=2003 vsize=13984976 memory=606528 CPUtime=18.64 cores=0,2,4,6
/proc/2005/task/2008/stat : 2008 (java) S 2003 2003 30767 0 -1 1077944384 18390 0 0 0 1778 86 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944397318800 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2009] ppid=2003 vsize=13984976 memory=602936 CPUtime=18.58 cores=0,2,4,6
/proc/2005/task/2009/stat : 2009 (java) S 2003 2003 30767 0 -1 1077944384 21079 0 0 0 1774 84 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944062007568 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2010] ppid=2003 vsize=13984976 memory=590112 CPUtime=18.55 cores=0,2,4,6
/proc/2005/task/2010/stat : 2010 (java) S 2003 2003 30767 0 -1 1077944384 19256 0 0 0 1774 81 0 0 20 0 15 0 119021758 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944060955024 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2011] ppid=2003 vsize=13984976 memory=600372 CPUtime=1.28 cores=0,2,4,6
/proc/2005/task/2011/stat : 2011 (java) S 2003 2003 30767 0 -1 1077944384 34508 0 0 0 108 20 0 0 20 0 15 0 119021759 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944009673456 139944468294274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2012] ppid=2003 vsize=13984976 memory=590112 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2012/stat : 2012 (java) S 2003 2003 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944008619744 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2013] ppid=2003 vsize=13984976 memory=590112 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2013/stat : 2013 (java) S 2003 2003 30767 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 119021760 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944007566592 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2014] ppid=2003 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2014/stat : 2014 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944006515152 139944468301723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2015] ppid=2003 vsize=13984976 memory=1384 CPUtime=3.31 cores=0,2,4,6
/proc/2005/task/2015/stat : 2015 (java) S 2003 2003 30767 0 -1 1077944384 18007 0 0 0 329 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944005462256 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2016] ppid=2003 vsize=13984976 memory=589084 CPUtime=3.61 cores=0,2,4,6
/proc/2005/task/2016/stat : 2016 (java) S 2003 2003 30767 0 -1 1077944384 17434 0 0 0 359 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944004409712 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2017] ppid=2003 vsize=13984976 memory=1384 CPUtime=0.73 cores=0,2,4,6
/proc/2005/task/2017/stat : 2017 (java) S 2003 2003 30767 0 -1 1077944384 9384 0 0 0 71 2 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944003356656 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2018] ppid=2003 vsize=13984976 memory=589084 CPUtime=0 cores=0,2,4,6
/proc/2005/task/2018/stat : 2018 (java) S 2003 2003 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944002304352 139944468293333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
[pid=2005/tid=2019] ppid=2003 vsize=13984976 memory=1384 CPUtime=1.4 cores=0,2,4,6
/proc/2005/task/2019/stat : 2019 (java) S 2003 2003 30767 0 -1 1077944384 1220 0 0 0 68 72 0 0 20 0 15 0 119021763 14320615424 147271 33554432000 4194304 4196468 140734349505344 139944001252400 139944468294274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 9949184 140734349509783 140734349509959 140734349509959 140734349512655 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 590468 KiB
Child status: 143
Real time (s): 2455.91
CPU time (s): 2520.1
CPU user time (s): 2515.67
CPU system time (s): 4.42718
CPU usage (%): 102.613
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1526620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.67
system time used= 4.42718
maximum resident set size= 1530384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72204
involuntary context switches= 4598
# summary of solver processes directly reported to runsolver:
# pid: 2003,2005
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.67
# total CPU system time (s): 4.42718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5636 second user time and 22.9341 second system time
The end