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 (5597 MiB free)
memory of node 1: 16384 MiB (3572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402779-1568979292/watcher-4402779-1568979292 -o /var/tmp/evaluation-result-4402779-1568979292/solver-4402779-1568979292 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29899 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2094713575 HOME/instance-4402779-1568979292.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1945, runsolver pid=1942
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.24 1.33 1.43 4/216 1993
/proc/meminfo: memFree=9388352/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=141188 memory=5408 CPUtime=0.07 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 2571 13406 0 0 0 0 5 2 20 0 2 0 473867614 144576512 1352 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 35297 1352 1021 1 0 24747 0
[pid=1945/tid=1998] ppid=1942 vsize=392944 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) S 1942 1945 29867 0 -1 1077944384 485 13406 0 0 0 0 5 2 20 0 2 0 473867624 402374656 1404 33554432000 4194304 4196468 140724148427040 140417962600864 140417990769282 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 141188 KiB
Current children cumulated memory: 5408 KiB
[startup+0.210006 s]*
/proc/loadavg: 1.24 1.33 1.43 5/228 2012
/proc/meminfo: memFree=9363320/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10819716 memory=39864 CPUtime=0.24 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 7258 13406 0 0 15 2 5 2 20 0 15 0 473867614 11079389184 9966 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2704929 9966 3197 1 0 2667149 0
[pid=1945/tid=1998] ppid=1942 vsize=10819716 memory=8389772277269004345 CPUtime=0.17 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 3771 13406 0 0 9 1 5 2 20 0 15 0 473867624 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417962572976 140417974801765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10819716 memory=4294967641 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10819716 memory=140597916895341 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10819716 memory=140597913441920 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 13 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417446175904 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079389184 9966 33554432000 4194304 4196468 140724148427040 140416842195696 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10819716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) S 1942 1945 29867 0 -1 1077944384 480 13406 0 0 1 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417516378864 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) S 1942 1945 29867 0 -1 1077944384 182 13406 0 0 1 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417515326320 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10819716 memory=140597913441920 CPUtime=0.09 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) R 1942 1945 29867 0 -1 4202560 602 13406 0 0 2 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417412618736 140417990770070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10819716 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10819716 memory=140597913441920 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079389184 9966 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 39864 KiB
[startup+0.310467 s]*
/proc/loadavg: 1.24 1.33 1.43 4/228 2012
/proc/meminfo: memFree=9350872/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10820196 memory=50776 CPUtime=0.37 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 10892 13406 0 0 27 3 5 2 20 0 15 0 473867614 11079880704 12694 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2705049 12694 3326 1 0 2667149 0
[pid=1945/tid=1998] ppid=1942 vsize=10820196 memory=7019607685774856069 CPUtime=0.26 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 7374 13406 0 0 17 2 5 2 20 0 15 0 473867624 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417962567056 140417990780061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10820196 memory=140597913441920 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10820196 memory=140597913441920 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 13 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417446175904 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10820196 memory=140597913441920 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11079880704 12694 33554432000 4194304 4196468 140724148427040 140416842195696 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) S 1942 1945 29867 0 -1 1077944384 489 13406 0 0 2 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417516378864 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) S 1942 1945 29867 0 -1 1077944384 183 13406 0 0 2 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417515326320 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 611 13406 0 0 5 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867630 11079880704 12694 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50776 KiB
[startup+0.700716 s]
/proc/loadavg: 1.24 1.33 1.43 3/228 2012
/proc/meminfo: memFree=9337888/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10824364 memory=81656 CPUtime=1.13 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 15168 13406 0 0 101 5 5 2 20 0 15 0 473867614 11084148736 20414 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2706091 20414 3507 1 0 2668173 0
[pid=1945/tid=1998] ppid=1942 vsize=10824364 memory=140597767872700 CPUtime=0.65 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 10516 13406 0 0 54 4 5 2 20 0 15 0 473867624 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417962587680 140417982999525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10824364 memory=281195535672384 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867625 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10824364 memory=281195535672576 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10824364 memory=281195535672768 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10824364 memory=281195535672960 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 2 13406 0 0 0 0 5 2 20 0 15 0 473867625 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10824364 memory=281195535673152 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 5 13406 0 0 0 0 5 2 20 0 15 0 473867627 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10824364 memory=281195535673344 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 13 13406 0 0 0 0 5 2 20 0 15 0 473867627 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417446175904 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10824364 memory=281195535673536 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11084148736 20414 33554432000 4194304 4196468 140724148427040 140416842195696 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10824364 memory=281195535673728 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10824364 memory=281195535673920 CPUtime=0.23 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) S 1942 1945 29867 0 -1 1077944384 1052 13406 0 0 16 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417516378864 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10824364 memory=281195535679248 CPUtime=0.19 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) S 1942 1945 29867 0 -1 1077944384 601 13406 0 0 12 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417515326320 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10824364 memory=281195535470788 CPUtime=0.23 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 760 13406 0 0 16 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10824364 memory=281195535674352 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10824364 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867630 11084148736 20414 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81656 KiB
[startup+1.50076 s]
/proc/loadavg: 1.24 1.33 1.43 3/228 2012
/proc/meminfo: memFree=9296012/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10834680 memory=171468 CPUtime=2.46 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 21922 13406 0 0 230 9 5 2 20 0 15 0 473867614 11094712320 42867 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2708670 42867 3576 1 0 2670733 0
[pid=1945/tid=1998] ppid=1942 vsize=10834680 memory=7 CPUtime=1.41 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 15477 13406 0 0 129 5 5 2 20 0 15 0 473867624 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417962567840 140417976441279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10834680 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 309 13406 0 0 1 0 5 2 20 0 15 0 473867625 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10834680 memory=2305 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 30 13406 0 0 0 0 5 2 20 0 15 0 473867625 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 81 13406 0 0 1 0 5 2 20 0 15 0 473867625 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 58 13406 0 0 1 0 5 2 20 0 15 0 473867625 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10834680 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 133 13406 0 0 1 0 5 2 20 0 15 0 473867627 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10834680 memory=281195535740464 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 14 13406 0 0 0 0 5 2 20 0 15 0 473867627 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417446175904 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10834680 memory=281195535540968 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11094712320 42867 33554432000 4194304 4196468 140724148427040 140416842195696 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10834680 memory=6944656575208382560 CPUtime=0.35 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) S 1942 1945 29867 0 -1 1077944384 1252 13406 0 0 28 0 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417516378864 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10834680 memory=6944656592455359580 CPUtime=0.31 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) S 1942 1945 29867 0 -1 1077944384 891 13406 0 0 24 0 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417515326320 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10834680 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) R 1942 1945 29867 0 -1 4202560 1463 13406 0 0 40 1 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417412618736 140417970106275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867630 11094712320 42867 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 171468 KiB
[startup+3.11127 s]
/proc/loadavg: 1.54 1.39 1.45 6/228 2012
/proc/meminfo: memFree=9176336/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10844940 memory=240420 CPUtime=6.17 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 35514 13406 0 0 595 15 5 2 20 0 15 0 473867614 11105218560 60105 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2711235 60105 3613 1 0 2673293 0
################
# More data... #
################
[pid=1945/tid=2003] ppid=1942 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 1532 13406 0 0 3 0 5 2 20 0 15 0 473867627 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10844940 memory=8315178269886021805 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 14 13406 0 0 0 0 5 2 20 0 15 0 473867627 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417446175968 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10844940 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11105218560 60105 33554432000 4194304 4196468 140724148427040 140416842195712 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10844940 memory=54252 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10844940 memory=0 CPUtime=1 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) R 1942 1945 29867 0 -1 4202560 3364 13406 0 0 92 1 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417516358952 140417974254919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10844940 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) R 1942 1945 29867 0 -1 4202560 2056 13406 0 0 76 1 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417515311104 140417971934024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10844940 memory=1424 CPUtime=1.34 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 5378 13406 0 0 125 2 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10844940 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10844940 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60105 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 240420 KiB
[startup+4.91533 s]
# the end of solver process 1945 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.7337 s, system=0.2293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 1.54 1.39 1.45 6/228 2012
/proc/meminfo: memFree=9176336/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10844940 memory=243396 CPUtime=6.48 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 38817 13406 0 0 626 15 5 2 20 0 15 0 473867614 11105218560 60849 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2711235 60849 3613 1 0 2673293 0
[pid=1945/tid=1998] ppid=1942 vsize=10844940 memory=7737861911372458082 CPUtime=3.05 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 21054 13406 0 0 291 7 5 2 20 0 15 0 473867624 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417962589744 140417607339961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10844940 memory=6656426216303648864 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 337 13406 0 0 3 0 5 2 20 0 15 0 473867625 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10844940 memory=7589798372982022760 CPUtime=0.09 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 43 13406 0 0 2 0 5 2 20 0 15 0 473867625 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10844940 memory=7091033424427246190 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 97 13406 0 0 3 0 5 2 20 0 15 0 473867625 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10844940 memory=7737861911372458082 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 77 13406 0 0 3 0 5 2 20 0 15 0 473867625 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10844940 memory=7737861911372458082 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 1532 13406 0 0 3 0 5 2 20 0 15 0 473867627 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10844940 memory=7091033424427246190 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 14 13406 0 0 0 0 5 2 20 0 15 0 473867627 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417446175968 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 1 13406 0 0 0 0 5 2 20 0 15 0 473867627 11105218560 60849 33554432000 4194304 4196468 140724148427040 140416842195712 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10844940 memory=140597767911728 CPUtime=1.09 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) R 1942 1945 29867 0 -1 4202560 4310 13406 0 0 101 1 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417516358952 140417968775104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10844940 memory=1377 CPUtime=0.93 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) R 1942 1945 29867 0 -1 4202560 2639 13406 0 0 85 1 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417515313168 140417968733517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10844940 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 6494 13406 0 0 129 2 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 8 13406 0 0 0 0 5 2 20 0 15 0 473867630 11105218560 60849 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 6.48 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 243396 KiB
[startup+4.0007 s]*
/proc/loadavg: 1.54 1.39 1.45 4/228 2012
/proc/meminfo: memFree=9084700/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10846988 memory=319008 CPUtime=8.96 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 50268 13406 0 0 871 18 5 2 20 0 15 0 473867614 11107315712 79752 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2711747 79752 3623 1 0 2673805 0
[pid=1945/tid=1998] ppid=1942 vsize=10846988 memory=4026531863 CPUtime=3.86 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 23089 13406 0 0 370 9 5 2 20 0 15 0 473867624 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417962591096 140417608145157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10846988 memory=302585824174931991 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 342 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10846988 memory=14271766989100696 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 210 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10846988 memory=7089903122262814048 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 121 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10846988 memory=3834029156139802675 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 105 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10846988 memory=3761544807703383219 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 1654 13406 0 0 3 0 5 2 20 0 15 0 473867627 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10846988 memory=3473177157876064303 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 19 13406 0 0 0 0 5 2 20 0 15 0 473867627 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417446175968 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10846988 memory=180 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 12 13406 0 0 0 0 5 2 20 0 15 0 473867627 11107315712 79752 33554432000 4194304 4196468 140724148427040 140416842195712 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10846988 memory=6441643246783652457 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10846988 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) R 1942 1945 29867 0 -1 1077944384 10077 13406 0 0 172 1 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417516378864 140417990769282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10846988 memory=3472328296227418159 CPUtime=1.65 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) S 1942 1945 29867 0 -1 1077944384 4438 13406 0 0 157 1 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417515326320 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10846988 memory=8392726473670740193 CPUtime=1.61 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 7978 13406 0 0 151 3 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10846988 memory=140597767700599 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10846988 memory=3690049076959053492 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 10 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 79752 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 319008 KiB
[startup+4.80074 s]
/proc/loadavg: 1.54 1.39 1.45 4/228 2012
/proc/meminfo: memFree=9084700/32770624 swapFree=66997160/67108860
[pid=1945] ppid=1942 vsize=10846988 memory=328884 CPUtime=10.75 cores=1,3,5,7
/proc/1945/stat : 1945 (java) S 1942 1945 29867 0 -1 1077944320 50883 13406 0 0 1050 18 5 2 20 0 15 0 473867614 11107315712 82221 33554432000 4194304 4196468 140724148427040 140724148409584 140417990758135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
/proc/1945/statm: 2711747 82221 3626 1 0 2673805 0
[pid=1945/tid=1998] ppid=1942 vsize=10846988 memory=7445127905544264048 CPUtime=4.65 cores=1,3,5,7
/proc/1945/task/1998/stat : 1998 (java) R 1942 1945 29867 0 -1 4202560 23115 13406 0 0 449 9 5 2 20 0 15 0 473867624 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417962594288 140417990770070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=1999] ppid=1942 vsize=10846988 memory=7084271440833897024 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/1999/stat : 1999 (java) S 1942 1945 29867 0 -1 1077944384 345 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417995000848 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2000] ppid=1942 vsize=10846988 memory=7595975407846903893 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2000/stat : 2000 (java) S 1942 1945 29867 0 -1 1077944384 212 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417564486800 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2001] ppid=1942 vsize=10846988 memory=3055200184375328873 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2001/stat : 2001 (java) S 1942 1945 29867 0 -1 1077944384 123 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417563433744 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2002] ppid=1942 vsize=10846988 memory=3054355815262863461 CPUtime=0.1 cores=1,3,5,7
/proc/1945/task/2002/stat : 2002 (java) S 1942 1945 29867 0 -1 1077944384 106 13406 0 0 3 0 5 2 20 0 15 0 473867625 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417562381200 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2003] ppid=1942 vsize=10846988 memory=3053811428141715792 CPUtime=0.11 cores=1,3,5,7
/proc/1945/task/2003/stat : 2003 (java) S 1942 1945 29867 0 -1 1077944384 1670 13406 0 0 4 0 5 2 20 0 15 0 473867627 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417517431024 140417990769282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2004] ppid=1942 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2004/stat : 2004 (java) S 1942 1945 29867 0 -1 1077944384 19 13406 0 0 0 0 5 2 20 0 15 0 473867627 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417446175968 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2005] ppid=1942 vsize=10846988 memory=264444 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2005/stat : 2005 (java) S 1942 1945 29867 0 -1 1077944384 12 13406 0 0 0 0 5 2 20 0 15 0 473867627 11107315712 82221 33554432000 4194304 4196468 140724148427040 140416842195712 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2006] ppid=1942 vsize=10846988 memory=281195535521392 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2006/stat : 2006 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140416534796240 140417990776731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2007] ppid=1942 vsize=10846988 memory=10528978111210 CPUtime=2.31 cores=1,3,5,7
/proc/1945/task/2007/stat : 2007 (java) R 1942 1945 29867 0 -1 4202560 10196 13406 0 0 223 1 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417516378864 140417990770070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2008] ppid=1942 vsize=10846988 memory=10528978111210 CPUtime=2.09 cores=1,3,5,7
/proc/1945/task/2008/stat : 2008 (java) R 1942 1945 29867 0 -1 4202560 4827 13406 0 0 201 1 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417515326320 140417975514512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2009] ppid=1942 vsize=10846988 memory=10528978111210 CPUtime=1.65 cores=1,3,5,7
/proc/1945/task/2009/stat : 2009 (java) S 1942 1945 29867 0 -1 1077944384 8034 13406 0 0 155 3 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417412618736 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2010] ppid=1942 vsize=10846988 memory=10528978111210 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2010/stat : 2010 (java) S 1942 1945 29867 0 -1 1077944384 3 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140416501238624 140417990768341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
[pid=1945/tid=2012] ppid=1942 vsize=10846988 memory=10528978111210 CPUtime=0.07 cores=1,3,5,7
/proc/1945/task/2012/stat : 2012 (java) S 1942 1945 29867 0 -1 1077944384 11 13406 0 0 0 0 5 2 20 0 15 0 473867630 11107315712 82221 33554432000 4194304 4196468 140724148427040 140417411566128 140417990769282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140724148435555 140724148438197 140724148438197 140724148441039 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 328884 KiB
[startup+5.20014 s]
/proc/loadavg: 1.54 1.39 1.45 2/213 2013
/proc/meminfo: memFree=9372240/32770624 swapFree=66997160/67108860
Current cumulated CPU time of completed processes: 10.963 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.30015 s]
/proc/loadavg: 1.54 1.39 1.45 2/213 2013
/proc/meminfo: memFree=9372240/32770624 swapFree=66997160/67108860
Current cumulated CPU time of completed processes: 10.963 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 5.38126
CPU time (s): 10.963
CPU user time (s): 10.7337
CPU system time (s): 0.2293
CPU usage (%): 203.725
Max. virtual memory (cumulated for all children) (KiB): 10911496
Max. memory (cumulated for all children) (KiB): 329008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7337
system time used= 0.2293
maximum resident set size= 331012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64464
page faults= 0
swaps= 0
block input operations= 8
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7555
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 1945
# total CPU time (s): 10.963
# total CPU user time (s): 10.7337
# total CPU system time (s): 0.2293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063401 second user time and 0.075477 second system time
The end