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 (8547 MiB free)
memory of node 1: 16384 MiB (9557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293629-1532320410/watcher-4293629-1532320410 -o /tmp/evaluation-result-4293629-1532320410/solver-4293629-1532320410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6739 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=831012680 -superng HOME/instance-4293629-1532320410.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11731, runsolver pid=11728
Current StackSize limit: 8192 KiB
[startup+0.103089 s]*
/proc/loadavg: 1.72 1.64 1.60 2/207 11788
/proc/meminfo: memFree=18531448/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=9972712 memory=16428 CPUtime=0.09 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 4257 13067 0 0 1 0 5 3 20 0 6 0 49604181 10212057088 4107 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2493178 4107 1930 1 0 2481616 0
[pid=11731/tid=11784] ppid=11728 vsize=9972712 memory=4279135704047190413 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 2078 13067 0 0 0 0 5 3 20 0 6 0 49604191 10212057088 4107 33554432000 4194304 4196468 140727246182128 139781692576336 139781720761501 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 49604191 10212057088 4107 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=9972712 memory=139778168919680 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 6 0 49604191 10212057088 4107 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 6 0 49604191 10212057088 4107 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 6 0 49604191 10212057088 4107 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16428 KiB
[startup+0.210008 s]*
/proc/loadavg: 1.72 1.64 1.60 2/216 11797
/proc/meminfo: memFree=18512356/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10818856 memory=39056 CPUtime=0.25 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 6999 13067 0 0 15 2 5 3 20 0 15 0 49604181 11078508544 9764 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2704714 9764 2967 1 0 2667149 0
[pid=11731/tid=11784] ppid=11728 vsize=10818856 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 1077944384 3556 13067 0 0 9 1 5 3 20 0 15 0 49604191 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781692537232 139781713418797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10818856 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10818856 memory=139778168919680 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10818856 memory=139778168919680 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604193 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 49604194 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781178614688 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604194 11078508544 9764 33554432000 4194304 4196468 140727246182128 139780583056368 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11078508544 9764 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 497 13067 0 0 1 0 5 3 20 0 15 0 49604196 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10818856 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 101 13067 0 0 1 0 5 3 20 0 15 0 49604196 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10818856 memory=139778168919680 CPUtime=0.11 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 609 13067 0 0 3 0 5 3 20 0 15 0 49604196 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11078508544 9764 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10818856 memory=139778168919680 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604197 11078508544 9764 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39056 KiB
[startup+0.316696 s]*
/proc/loadavg: 1.72 1.64 1.60 4/216 11797
/proc/meminfo: memFree=18501440/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10819352 memory=50340 CPUtime=0.38 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 9707 13067 0 0 26 4 5 3 20 0 15 0 49604181 11079016448 12585 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2704838 12585 3098 1 0 2667149 0
[pid=11731/tid=11784] ppid=11728 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 6233 13067 0 0 17 3 5 3 20 0 15 0 49604191 11079016448 12585 33554432000 4194304 4196468 140727246182128 139781692536520 139781712976702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10819352 memory=5793416258071318609 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 12585 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 12585 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604193 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 49604194 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781178614688 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604194 11079016448 12649 33554432000 4194304 4196468 140727246182128 139780583056368 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11079016448 12649 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 502 13067 0 0 1 0 5 3 20 0 15 0 49604196 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 105 13067 0 0 1 0 5 3 20 0 15 0 49604196 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 639 13067 0 0 5 0 5 3 20 0 15 0 49604196 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11079016448 12649 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604197 11079016448 12649 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50340 KiB
[startup+0.70078 s]
/proc/loadavg: 1.72 1.64 1.60 3/216 11797
/proc/meminfo: memFree=18480348/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10819352 memory=86480 CPUtime=0.97 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 16717 13067 0 0 84 5 5 3 20 0 15 0 49604181 11079016448 21620 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2704838 21620 3249 1 0 2667149 0
[pid=11731/tid=11784] ppid=11728 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 12144 13067 0 0 53 4 5 3 20 0 15 0 49604191 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781692543528 139781703926384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 2 13067 0 0 0 0 5 3 20 0 15 0 49604191 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 6 13067 0 0 0 0 5 3 20 0 15 0 49604193 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 49604194 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781178614688 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604194 11079016448 21620 33554432000 4194304 4196468 140727246182128 139780583056368 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11079016448 21620 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 1128 13067 0 0 9 0 5 3 20 0 15 0 49604196 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 406 13067 0 0 7 0 5 3 20 0 15 0 49604196 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 799 13067 0 0 13 0 5 3 20 0 15 0 49604196 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11079016448 21620 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604197 11079016448 21620 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86480 KiB
[startup+1.50588 s]
/proc/loadavg: 1.72 1.64 1.60 3/216 11797
/proc/meminfo: memFree=18434264/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10832204 memory=197512 CPUtime=2.77 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 24368 13067 0 0 259 10 5 3 20 0 15 0 49604181 11092176896 49378 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2708051 49378 3449 1 0 2669709 0
[pid=11731/tid=11784] ppid=11728 vsize=10832204 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) S 11728 11731 6708 0 -1 1077944384 16727 13067 0 0 127 6 5 3 20 0 15 0 49604191 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781692554832 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10832204 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 61 13067 0 0 1 0 5 3 20 0 15 0 49604191 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10832204 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 11 13067 0 0 1 0 5 3 20 0 15 0 49604191 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781294394272 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10832204 memory=3611949788955226161 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) R 11728 11731 6708 0 -1 4202560 35 13067 0 0 1 0 5 3 20 0 15 0 49604191 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781293341832 139781713367783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10832204 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 174 13067 0 0 1 0 5 3 20 0 15 0 49604191 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10832204 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 48 13067 0 0 1 0 5 3 20 0 15 0 49604193 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781179666976 139781720749781 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10832204 memory=279556065929472 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 33 13067 0 0 0 0 5 3 20 0 15 0 49604194 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781178614688 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604194 11092176896 49378 33554432000 4194304 4196468 140727246182128 139780583056368 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10832204 memory=5380 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11092176896 49378 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10832204 memory=4616 CPUtime=0.44 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 1559 13067 0 0 36 0 5 3 20 0 15 0 49604196 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10832204 memory=1232 CPUtime=0.52 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 1864 13067 0 0 44 0 5 3 20 0 15 0 49604196 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10832204 memory=11964 CPUtime=0.5 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 1661 13067 0 0 42 0 5 3 20 0 15 0 49604196 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10832204 memory=1708 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11092176896 49378 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10832204 memory=8388 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 1 13067 0 0 0 0 5 3 20 0 15 0 49604197 11092176896 49378 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 306237 13067 0 0 229791 72 5 3 20 0 15 0 49604191 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781692571760 139781336539840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10916192 memory=5198800 CPUtime=22.23 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 47394 13067 0 0 2129 86 5 3 20 0 15 0 49604191 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10916192 memory=5198800 CPUtime=22.19 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 63002 13067 0 0 2127 84 5 3 20 0 15 0 49604191 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10916192 memory=5198800 CPUtime=22.27 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 48844 13067 0 0 2136 83 5 3 20 0 15 0 49604191 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10916192 memory=5198800 CPUtime=22.24 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 48152 13067 0 0 2133 83 5 3 20 0 15 0 49604191 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10916192 memory=5198800 CPUtime=0.84 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 50673 13067 0 0 67 9 5 3 20 0 15 0 49604193 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10916192 memory=5198800 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 50 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781178614752 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10916192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 16 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139780583056384 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10916192 memory=1444 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10916192 memory=1200 CPUtime=9.01 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 70611 13067 0 0 888 5 5 3 20 0 15 0 49604196 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10916192 memory=6791534058613427641 CPUtime=9.35 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 75854 13067 0 0 919 8 5 3 20 0 15 0 49604196 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10916192 memory=10616 CPUtime=3.31 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 57254 13067 0 0 316 7 5 3 20 0 15 0 49604196 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10916192 memory=5198800 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10916192 memory=5198800 CPUtime=1.53 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 2034 13067 0 0 72 73 5 3 20 0 15 0 49604197 11178180608 1299700 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 2411.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 5198800 KiB
[startup+2382.31 s]
/proc/loadavg: 2.08 1.72 1.58 3/216 12023
/proc/meminfo: memFree=14097544/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10916192 memory=5200880 CPUtime=2471.54 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 792028 13067 0 0 246652 494 5 3 20 0 15 0 49604181 11178180608 1300220 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2729048 1300220 3536 1 0 2690701 0
[pid=11731/tid=11784] ppid=11728 vsize=10916192 memory=5200880 CPUtime=2358.58 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 316696 13067 0 0 235777 73 5 3 20 0 15 0 49604191 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781692574648 139781326024464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10916192 memory=5200880 CPUtime=22.35 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 48636 13067 0 0 2141 86 5 3 20 0 15 0 49604191 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10916192 memory=5200880 CPUtime=22.31 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 64370 13067 0 0 2139 84 5 3 20 0 15 0 49604191 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10916192 memory=0 CPUtime=22.39 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 49988 13067 0 0 2147 84 5 3 20 0 15 0 49604191 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10916192 memory=5200880 CPUtime=22.36 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 50344 13067 0 0 2145 83 5 3 20 0 15 0 49604191 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10916192 memory=5200880 CPUtime=0.85 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 51011 13067 0 0 68 9 5 3 20 0 15 0 49604193 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10916192 memory=5200880 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 50 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781178614752 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10916192 memory=5200880 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 16 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139780583056384 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10916192 memory=139778033838353 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10916192 memory=2340 CPUtime=9.05 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 71435 13067 0 0 892 5 5 3 20 0 15 0 49604196 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10916192 memory=5200880 CPUtime=9.38 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 77566 13067 0 0 922 8 5 3 20 0 15 0 49604196 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10916192 memory=5198832 CPUtime=3.32 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 57569 13067 0 0 317 7 5 3 20 0 15 0 49604196 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10916192 memory=5200880 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10916192 memory=4140 CPUtime=1.56 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 2154 13067 0 0 74 74 5 3 20 0 15 0 49604197 11178180608 1300220 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 2471.54 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 5200880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2430.2 s]*
/proc/loadavg: 2.01 1.75 1.60 3/216 12024
/proc/meminfo: memFree=13683476/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=10916192 memory=5259916 CPUtime=2520.04 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 812033 13067 0 0 251493 503 5 3 20 0 15 0 49604181 11178180608 1314979 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2729048 1314979 3536 1 0 2690701 0
[pid=11731/tid=11784] ppid=11728 vsize=10916192 memory=1398720917958146503 CPUtime=2406.3 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 326071 13067 0 0 240548 74 5 3 20 0 15 0 49604191 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781692574648 139781347632528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=10916192 memory=4126316290023845779 CPUtime=22.53 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 50097 13067 0 0 2157 88 5 3 20 0 15 0 49604191 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=10916192 memory=5259916 CPUtime=22.49 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 67527 13067 0 0 2155 86 5 3 20 0 15 0 49604191 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=10916192 memory=288230583166042426 CPUtime=22.56 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 51096 13067 0 0 2163 85 5 3 20 0 15 0 49604191 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=10916192 memory=14413717810973266 CPUtime=22.54 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 51766 13067 0 0 2161 85 5 3 20 0 15 0 49604191 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=10916192 memory=4048 CPUtime=0.85 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 51313 13067 0 0 68 9 5 3 20 0 15 0 49604193 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=10916192 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 50 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781178614752 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=10916192 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 16 13067 0 0 0 0 5 3 20 0 15 0 49604194 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139780583056384 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=10916192 memory=960 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604196 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=10916192 memory=3047711553219693942 CPUtime=9.06 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 73201 13067 0 0 893 5 5 3 20 0 15 0 49604196 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=10916192 memory=4572164749098055210 CPUtime=9.41 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 78332 13067 0 0 924 9 5 3 20 0 15 0 49604196 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=10916192 memory=8328453600958622283 CPUtime=3.34 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 58179 13067 0 0 318 8 5 3 20 0 15 0 49604196 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=10916192 memory=-8412652160765825907 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 15 0 49604197 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=10916192 memory=2244 CPUtime=1.59 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 2192 13067 0 0 76 75 5 3 20 0 15 0 49604197 11178180608 1314979 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 5259916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2430.39 s]
# the end of solver process 11731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.14 s, system=5.1116 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2430.31 s]
/proc/loadavg: 2.01 1.75 1.60 3/216 12024
/proc/meminfo: memFree=13683476/32770624 swapFree=67108860/67108860
[pid=11731] ppid=11728 vsize=11112808 memory=5264112 CPUtime=2520.15 cores=0,2,4,6
/proc/11731/stat : 11731 (java) S 11728 11731 6708 0 -1 1077944320 812445 13067 0 0 251504 503 5 3 20 0 17 0 49604181 11379515392 1316028 33554432000 4194304 4196468 140727246182128 140727246164672 139781720739575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
/proc/11731/statm: 2778202 1316028 3537 1 0 2739855 0
[pid=11731/tid=11784] ppid=11728 vsize=11112808 memory=5259188 CPUtime=2406.4 cores=0,2,4,6
/proc/11731/task/11784/stat : 11784 (java) R 11728 11731 6708 0 -1 4202560 326071 13067 0 0 240558 74 5 3 20 0 17 0 49604191 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781692574648 139781345613945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11785] ppid=11728 vsize=11112808 memory=5259916 CPUtime=22.53 cores=0,2,4,6
/proc/11731/task/11785/stat : 11785 (java) S 11728 11731 6708 0 -1 1077944384 50097 13067 0 0 2157 88 5 3 20 0 17 0 49604191 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781724982032 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11786] ppid=11728 vsize=11112808 memory=5259916 CPUtime=22.49 cores=0,2,4,6
/proc/11731/task/11786/stat : 11786 (java) S 11728 11731 6708 0 -1 1077944384 67527 13067 0 0 2155 86 5 3 20 0 17 0 49604191 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781294394256 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11787] ppid=11728 vsize=11112808 memory=5259916 CPUtime=22.56 cores=0,2,4,6
/proc/11731/task/11787/stat : 11787 (java) S 11728 11731 6708 0 -1 1077944384 51096 13067 0 0 2163 85 5 3 20 0 17 0 49604191 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781293341712 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11788] ppid=11728 vsize=11112808 memory=5259916 CPUtime=22.54 cores=0,2,4,6
/proc/11731/task/11788/stat : 11788 (java) S 11728 11731 6708 0 -1 1077944384 51766 13067 0 0 2161 85 5 3 20 0 17 0 49604191 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781292289168 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11789] ppid=11728 vsize=11112808 memory=5259188 CPUtime=0.85 cores=0,2,4,6
/proc/11731/task/11789/stat : 11789 (java) S 11728 11731 6708 0 -1 1077944384 51313 13067 0 0 68 9 5 3 20 0 17 0 49604193 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781179668464 139781720750722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11790] ppid=11728 vsize=11112808 memory=5259188 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11790/stat : 11790 (java) S 11728 11731 6708 0 -1 1077944384 50 13067 0 0 0 0 5 3 20 0 17 0 49604194 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781178614752 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11791] ppid=11728 vsize=11112808 memory=5259188 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11791/stat : 11791 (java) S 11728 11731 6708 0 -1 1077944384 16 13067 0 0 0 0 5 3 20 0 17 0 49604194 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139780583056384 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11792] ppid=11728 vsize=11112808 memory=5200896 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11792/stat : 11792 (java) S 11728 11731 6708 0 -1 1077944384 150 13067 0 0 0 0 5 3 20 0 17 0 49604196 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139780275656912 139781720758171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11793] ppid=11728 vsize=11112808 memory=5257140 CPUtime=9.06 cores=0,2,4,6
/proc/11731/task/11793/stat : 11793 (java) S 11728 11731 6708 0 -1 1077944384 73201 13067 0 0 893 5 5 3 20 0 17 0 49604196 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781145057776 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11794] ppid=11728 vsize=11112808 memory=5259916 CPUtime=9.41 cores=0,2,4,6
/proc/11731/task/11794/stat : 11794 (java) S 11728 11731 6708 0 -1 1077944384 78332 13067 0 0 924 9 5 3 20 0 17 0 49604196 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781144005232 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11795] ppid=11728 vsize=11112808 memory=5259916 CPUtime=3.34 cores=0,2,4,6
/proc/11731/task/11795/stat : 11795 (java) S 11728 11731 6708 0 -1 1077944384 58179 13067 0 0 318 8 5 3 20 0 17 0 49604196 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781142952688 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11796] ppid=11728 vsize=11112808 memory=5259188 CPUtime=0.08 cores=0,2,4,6
/proc/11731/task/11796/stat : 11796 (java) S 11728 11731 6708 0 -1 1077944384 3 13067 0 0 0 0 5 3 20 0 17 0 49604197 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139780242099296 139781720749781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
[pid=11731/tid=11797] ppid=11728 vsize=11112808 memory=4140 CPUtime=1.59 cores=0,2,4,6
/proc/11731/task/11797/stat : 11797 (java) S 11728 11731 6708 0 -1 1077944384 2192 13067 0 0 76 75 5 3 20 0 17 0 49604197 11379515392 1316028 33554432000 4194304 4196468 140727246182128 139781141899568 139781720750722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15204352 140727246186668 140727246189916 140727246189916 140727246192591 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 5264112 KiB
Child status: 143
Real time (s): 2430.39
CPU time (s): 2520.25
CPU user time (s): 2515.14
CPU system time (s): 5.1116
CPU usage (%): 103.697
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 5264112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.14
system time used= 5.1116
maximum resident set size= 5264148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72234
involuntary context switches= 4555
# summary of solver processes directly reported to runsolver:
# pid: 11731
# total CPU time (s): 2520.25
# total CPU user time (s): 2515.14
# total CPU system time (s): 5.1116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9217 second user time and 20.1584 second system time
The end