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 (12353 MiB free)
memory of node 1: 16384 MiB (14407 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304581-1534111849/watcher-4304581-1534111849 -o /tmp/evaluation-result-4304581-1534111849/solver-4304581-1534111849 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=886838263 HOME/instance-4304581-1534111849.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
Current StackSize limit: 8192 KiB
solver pid=4724, runsolver pid=4721
[startup+0.100138 s]*
/proc/loadavg: 1.27 1.27 1.30 2/206 4781
/proc/meminfo: memFree=27393172/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=10005480 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 4253 12896 0 0 1 0 5 2 20 0 6 0 228748086 10245611520 4582 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2501370 4582 1930 1 0 2489808 0
[pid=4724/tid=4777] ppid=4721 vsize=10005480 memory=-8889949278721851327 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 2083 12896 0 0 1 0 5 2 20 0 6 0 228748095 10245611520 4648 33554432000 4194304 4196468 140737065317408 139723463094864 139723474604581 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 6 0 228748096 10245611520 4648 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=10005480 memory=140342872589952 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 6 0 228748096 10245611520 4648 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 6 0 228748096 10245611520 4648 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 6 0 228748096 10245611520 4648 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209978 s]*
/proc/loadavg: 1.27 1.27 1.30 3/215 4790
/proc/meminfo: memFree=27372012/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=10982744 memory=46256 CPUtime=0.25 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 7792 12896 0 0 17 1 5 2 20 0 15 0 228748086 11246329856 11564 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2745686 11564 2941 1 0 2708109 0
[pid=4724/tid=4777] ppid=4721 vsize=10983736 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 4571 12896 0 0 10 1 5 2 20 0 15 0 228748095 11247345664 11828 33554432000 4194304 4196468 140737065317408 139723463082912 139723483937821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=10983736 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11247345664 11828 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=10983736 memory=140342872589952 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11247345664 11828 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11249012736 11828 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 15 0 228748096 11249012736 11828 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=10985364 memory=140342872589952 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 15 0 228748097 11249012736 11894 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 13 12896 0 0 0 0 5 2 20 0 15 0 228748098 11249012736 11894 33554432000 4194304 4196468 140737065317408 139722279085600 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11249012736 11894 33554432000 4194304 4196468 140737065317408 139722131236208 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11249012736 11894 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 480 12896 0 0 1 0 5 2 20 0 15 0 228748101 11249012736 11960 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 131 12896 0 0 0 0 5 2 20 0 15 0 228748101 11249012736 11960 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=10985364 memory=140342872589952 CPUtime=0.1 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 617 12896 0 0 3 0 5 2 20 0 15 0 228748101 11249012736 11960 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11249012736 11960 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=10985364 memory=140342872589952 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748101 11249012736 12026 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46256 KiB
[startup+0.310296 s]*
/proc/loadavg: 1.27 1.27 1.30 4/215 4790
/proc/meminfo: memFree=27359608/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=10983192 memory=56956 CPUtime=0.38 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 10297 12896 0 0 28 3 5 2 20 0 15 0 228748086 11246788608 14239 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2745798 14239 3060 1 0 2708109 0
[pid=4724/tid=4777] ppid=4721 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 6860 12896 0 0 19 2 5 2 20 0 15 0 228748095 11246788608 14239 33554432000 4194304 4196468 140737065317408 139723463070112 139723475338590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=10983192 memory=7302420023850717264 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 14239 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 14239 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 14239 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 14239 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 15 0 228748097 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 13 12896 0 0 0 0 5 2 20 0 15 0 228748098 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722279085600 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722131236208 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 481 12896 0 0 2 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 131 12896 0 0 1 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) R 4721 4724 1929 0 -1 4202560 623 12896 0 0 4 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722913417328 139723469867696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 14239 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56956 KiB
[startup+0.700787 s]
/proc/loadavg: 1.27 1.27 1.30 3/215 4790
/proc/meminfo: memFree=27349312/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=10983192 memory=89408 CPUtime=0.98 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 16395 12896 0 0 87 4 5 2 20 0 15 0 228748086 11246788608 22352 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2745798 22352 3238 1 0 2708109 0
[pid=4724/tid=4777] ppid=4721 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 11871 12896 0 0 55 3 5 2 20 0 15 0 228748095 11246788608 22352 33554432000 4194304 4196468 140737065317408 139723463078928 139723472821663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 22352 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 22352 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 22352 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 2 12896 0 0 0 0 5 2 20 0 15 0 228748096 11246788608 22352 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 5 12896 0 0 0 0 5 2 20 0 15 0 228748097 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 13 12896 0 0 0 0 5 2 20 0 15 0 228748098 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722279085600 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722131236208 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 1078 12896 0 0 10 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=10983192 memory=15460 CPUtime=0.13 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 551 12896 0 0 6 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 671 12896 0 0 13 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748101 11246788608 22352 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89408 KiB
[startup+1.50849 s]
/proc/loadavg: 1.27 1.27 1.30 3/215 4790
/proc/meminfo: memFree=27303776/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=10998092 memory=187584 CPUtime=2.58 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 24488 12896 0 0 241 10 5 2 20 0 15 0 228748086 11262046208 46896 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2749523 46896 3470 1 0 2711181 0
[pid=4724/tid=4777] ppid=4721 vsize=10998092 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 17308 12896 0 0 130 6 5 2 20 0 15 0 228748095 11262046208 46896 33554432000 4194304 4196468 140737065317408 139723463065032 139723472631653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 20 12896 0 0 1 0 5 2 20 0 15 0 228748096 11262046208 46896 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 22 12896 0 0 1 0 5 2 20 0 15 0 228748096 11262046208 46896 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 166 12896 0 0 1 0 5 2 20 0 15 0 228748096 11262046208 46896 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 65 12896 0 0 1 0 5 2 20 0 15 0 228748096 11262046208 46896 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 49 12896 0 0 1 0 5 2 20 0 15 0 228748097 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=10998092 memory=280685508110592 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 14 12896 0 0 0 0 5 2 20 0 15 0 228748098 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722279085664 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722131236224 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=10998092 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=10998092 memory=1600 CPUtime=0.4 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 1635 12896 0 0 33 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=10998092 memory=7952 CPUtime=0.38 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 1563 12896 0 0 31 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=10998092 memory=4088 CPUtime=0.46 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 1445 12896 0 0 39 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=10998092 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=10998092 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748101 11262046208 46896 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 104937 12896 0 0 235601 57 5 2 20 0 15 0 228748095 11348049920 278728 33554432000 4194304 4196468 140737065317408 139723463093760 139723041164374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=11082080 memory=1114912 CPUtime=13.28 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 19326 12896 0 0 1270 51 5 2 20 0 15 0 228748096 11348049920 278728 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=11082080 memory=1114912 CPUtime=13.3 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 23712 12896 0 0 1274 49 5 2 20 0 15 0 228748096 11348049920 278728 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=11082080 memory=1114912 CPUtime=13.28 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 21281 12896 0 0 1272 49 5 2 20 0 15 0 228748096 11348049920 278728 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=11082080 memory=1114912 CPUtime=13.32 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 17049 12896 0 0 1271 54 5 2 20 0 15 0 228748096 11348049920 278728 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=11082080 memory=0 CPUtime=10.47 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 24295 12896 0 0 986 54 5 2 20 0 15 0 228748097 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=11082080 memory=2257 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 14 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722279085664 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=11082080 memory=1114912 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722131236224 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=11082080 memory=1114912 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 42389 12896 0 0 768 7 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=11082080 memory=1114912 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 44253 12896 0 0 769 6 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=11082080 memory=1168 CPUtime=3.87 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 31362 12896 0 0 373 7 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=11082080 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=11082080 memory=3708 CPUtime=1.43 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1273 12896 0 0 61 75 5 2 20 0 15 0 228748101 11348049920 278728 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 2440.71 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1114912 KiB
[startup+2442.3 s]
/proc/loadavg: 1.68 1.56 1.49 3/216 5123
/proc/meminfo: memFree=24929172/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2501.77 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 333192 12896 0 0 249805 365 5 2 20 0 15 0 228748086 11348049920 279240 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2770520 279240 3530 1 0 2732173 0
[pid=4724/tid=4777] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2415.99 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 105594 12896 0 0 241534 58 5 2 20 0 15 0 228748095 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723463093520 139723041311840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.63 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 19345 12896 0 0 1303 53 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.64 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 23721 12896 0 0 1307 50 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=11082080 memory=1114912 CPUtime=13.63 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 21446 12896 0 0 1305 51 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=11082080 memory=7952 CPUtime=13.68 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 17061 12896 0 0 1305 56 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=11082080 memory=1114912 CPUtime=10.74 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 24521 12896 0 0 1012 55 5 2 20 0 15 0 228748097 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=11082080 memory=1114912 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 14 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722279085664 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=11082080 memory=1114912 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722131236224 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=11082080 memory=1114912 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=11082080 memory=1114912 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 42391 12896 0 0 768 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=11082080 memory=1116960 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 44255 12896 0 0 769 6 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=11082080 memory=1116960 CPUtime=3.87 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 31364 12896 0 0 373 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=11082080 memory=1116960 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=11082080 memory=1116960 CPUtime=1.46 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1280 12896 0 0 63 76 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 2501.77 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.3 s]
/proc/loadavg: 1.63 1.56 1.49 3/216 5123
/proc/meminfo: memFree=24929084/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2520.07 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 333433 12896 0 0 251632 368 5 2 20 0 15 0 228748086 11348049920 279240 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2770520 279240 3530 1 0 2732173 0
[pid=4724/tid=4777] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2433.8 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 105761 12896 0 0 243315 58 5 2 20 0 15 0 228748095 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723463093648 139723041999958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.73 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 19345 12896 0 0 1313 53 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.75 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 23725 12896 0 0 1317 51 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.74 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 21446 12896 0 0 1315 52 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=11082080 memory=164 CPUtime=13.78 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 17110 12896 0 0 1315 56 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=11082080 memory=0 CPUtime=10.82 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 24542 12896 0 0 1019 56 5 2 20 0 15 0 228748097 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 14 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722279085664 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=11082080 memory=2176 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722131236224 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=11082080 memory=1116960 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=11082080 memory=7233736994252652628 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 42391 12896 0 0 768 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=11082080 memory=1036 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 44255 12896 0 0 769 6 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=11082080 memory=1736 CPUtime=3.87 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 31364 12896 0 0 373 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=11082080 memory=1116960 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=11082080 memory=3708 CPUtime=1.47 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1280 12896 0 0 63 77 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.33 s]
# the end of solver process 4724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.4 s, system=3.71617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.3 s]
/proc/loadavg: 1.63 1.56 1.49 3/216 5123
/proc/meminfo: memFree=24929084/32770624 swapFree=67108804/67108860
[pid=4724] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2520.07 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4721 4724 1929 0 -1 1077944320 333433 12896 0 0 251632 368 5 2 20 0 15 0 228748086 11348049920 279240 33554432000 4194304 4196468 140737065317408 140737065299952 139723491258103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
/proc/4724/statm: 2770520 279240 3530 1 0 2732173 0
[pid=4724/tid=4777] ppid=4721 vsize=11082080 memory=1116960 CPUtime=2433.8 cores=1,3,5,7
/proc/4724/task/4777/stat : 4777 (java) R 4721 4724 1929 0 -1 4202560 105761 12896 0 0 243315 58 5 2 20 0 15 0 228748095 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723463093648 139723041999958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4778] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.73 cores=1,3,5,7
/proc/4724/task/4778/stat : 4778 (java) S 4721 4724 1929 0 -1 1077944384 19345 12896 0 0 1313 53 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723495500432 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4779] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.75 cores=1,3,5,7
/proc/4724/task/4779/stat : 4779 (java) S 4721 4724 1929 0 -1 1077944384 23725 12896 0 0 1317 51 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723350219280 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4780] ppid=4721 vsize=11082080 memory=1116960 CPUtime=13.74 cores=1,3,5,7
/proc/4724/task/4780/stat : 4780 (java) S 4721 4724 1929 0 -1 1077944384 21446 12896 0 0 1315 52 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723349166480 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4781] ppid=4721 vsize=11082080 memory=164 CPUtime=13.78 cores=1,3,5,7
/proc/4724/task/4781/stat : 4781 (java) S 4721 4724 1929 0 -1 1077944384 17110 12896 0 0 1315 56 5 2 20 0 15 0 228748096 11348049920 279240 33554432000 4194304 4196468 140737065317408 139723348113680 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4782] ppid=4721 vsize=11082080 memory=0 CPUtime=10.82 cores=1,3,5,7
/proc/4724/task/4782/stat : 4782 (java) S 4721 4724 1929 0 -1 1077944384 24542 12896 0 0 1019 56 5 2 20 0 15 0 228748097 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722916576112 139723491269250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4783] ppid=4721 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4783/stat : 4783 (java) S 4721 4724 1929 0 -1 1077944384 14 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722279085664 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4784] ppid=4721 vsize=11082080 memory=2176 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4784/stat : 4784 (java) S 4721 4724 1929 0 -1 1077944384 1 12896 0 0 0 0 5 2 20 0 15 0 228748098 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722131236224 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4785] ppid=4721 vsize=11082080 memory=1116960 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4785/stat : 4785 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721823836496 139723491276699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4786] ppid=4721 vsize=11082080 memory=7233736994252652628 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4786/stat : 4786 (java) S 4721 4724 1929 0 -1 1077944384 42391 12896 0 0 768 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722915522928 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4787] ppid=4721 vsize=11082080 memory=1036 CPUtime=7.82 cores=1,3,5,7
/proc/4724/task/4787/stat : 4787 (java) S 4721 4724 1929 0 -1 1077944384 44255 12896 0 0 769 6 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722914470128 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4788] ppid=4721 vsize=11082080 memory=1736 CPUtime=3.87 cores=1,3,5,7
/proc/4724/task/4788/stat : 4788 (java) S 4721 4724 1929 0 -1 1077944384 31364 12896 0 0 373 7 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722913417328 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4789] ppid=4721 vsize=11082080 memory=1116960 CPUtime=0.07 cores=1,3,5,7
/proc/4724/task/4789/stat : 4789 (java) S 4721 4724 1929 0 -1 1077944384 3 12896 0 0 0 0 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139721393039584 139723491268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
[pid=4724/tid=4790] ppid=4721 vsize=11082080 memory=3708 CPUtime=1.47 cores=1,3,5,7
/proc/4724/task/4790/stat : 4790 (java) S 4721 4724 1929 0 -1 1077944384 1280 12896 0 0 63 77 5 2 20 0 15 0 228748101 11348049920 279240 33554432000 4194304 4196468 140737065317408 139722912365744 139723491269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140737065323117 140737065325916 140737065325916 140737065328591 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116960 KiB
Child status: 143
Real time (s): 2460.33
CPU time (s): 2520.11
CPU user time (s): 2516.4
CPU system time (s): 3.71617
CPU usage (%): 102.43
Max. virtual memory (cumulated for all children) (KiB): 11082744
Max. memory (cumulated for all children) (KiB): 1116960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.71617
maximum resident set size= 1119328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282706
involuntary context switches= 5803
# summary of solver processes directly reported to runsolver:
# pid: 4724
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.4
# total CPU system time (s): 3.71617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1606 second user time and 23.6897 second system time
The end