runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733071-1338741374/watcher-3733071-1338741374 -o /tmp/evaluation-result-3733071-1338741374/solver-3733071-1338741374 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733071-1338741374.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.73 3.81 3.64 4/197 14914
/proc/meminfo: memFree=28260060/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/14914/stat : 14914 (java6) D 14912 14914 13986 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 340261751 2560000 47 33554432000 1073741824 1073778376 140734030868032 140734030865160 239228513575 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/14914/statm: 625 47 37 9 0 29 0
[startup+0.0889881 s]
/proc/loadavg: 3.73 3.81 3.64 4/197 14914
/proc/meminfo: memFree=28260060/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 3910 0 1 0 5 0 0 0 20 0 18 0 340261751 2764726272 5118 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 674982 5118 1759 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100301 s]
/proc/loadavg: 3.73 3.81 3.64 4/197 14914
/proc/meminfo: memFree=28260060/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 3950 0 1 0 6 0 0 0 20 0 18 0 340261751 2764726272 5158 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 674982 5158 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.300223 s]
/proc/loadavg: 3.73 3.81 3.64 4/197 14914
/proc/meminfo: memFree=28260060/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2699928 CPUtime=0.42 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 5813 0 1 0 41 1 0 0 20 0 18 0 340261751 2764726272 8221 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 674982 8221 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2699928
[startup+0.700333 s]
/proc/loadavg: 3.73 3.81 3.64 4/197 14914
/proc/meminfo: memFree=28260060/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=1.27 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 12876 0 1 0 120 7 0 0 20 0 20 0 340261751 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 34362 2246 9 0 732240 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2966184
[startup+1.50072 s]
/proc/loadavg: 3.73 3.81 3.64 3/217 14936
/proc/meminfo: memFree=28131340/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=1.27 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 12876 0 1 0 120 7 0 0 20 0 20 0 340261751 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 34362 2246 9 0 732240 0
[pid=14914/tid=14916] ppid=14912 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (java) S 14912 14914 13986 0 -1 4202560 2886 0 1 0 56 3 0 0 20 0 20 0 340261753 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824481453208 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14917] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824348117800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14918] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14918/stat : 14918 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824347065000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14919] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14919/stat : 14919 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824346012712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340261754 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340261756 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340261756 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340261756 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261759 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) S 14912 14914 13986 0 -1 4202560 3660 0 0 0 28 0 0 0 20 0 20 0 340261759 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823853971640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) S 14912 14914 13986 0 -1 4202560 5083 0 0 0 28 1 0 0 20 0 20 0 340261759 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823852918840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261759 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340261759 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340261817 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14936] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14936/stat : 14936 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340261818 3037372416 34362 33554432000 1073741824 1073778376 140737232208080 139823846602280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 3.73 3.81 3.64 3/217 14938
/proc/meminfo: memFree=28124560/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=3.33 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 19886 0 1 0 322 11 0 0 20 0 22 0 340261751 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 47209 2257 9 0 732240 0
[pid=14914/tid=14916] ppid=14912 vsize=2966184 CPUtime=0.6 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (java) S 14912 14914 13986 0 -1 4202560 2887 0 1 0 57 3 0 0 20 0 22 0 340261753 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824481453208 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14917] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824348117800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14918] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14918/stat : 14918 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824347065000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14919] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14919/stat : 14919 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824346012712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340261754 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) R 14912 14914 13986 0 -1 4202560 8663 0 0 0 78 2 0 0 20 0 22 0 340261759 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823853958880 139824485391756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=0.83 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) R 14912 14914 13986 0 -1 4202560 7000 0 0 0 81 2 0 0 20 0 22 0 340261759 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823852906128 139824484832250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340261817 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14936] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14936/stat : 14936 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340261818 3037372416 47209 33554432000 1073741824 1073778376 140737232208080 139823846602280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 2966184
[startup+6.30076 s]
/proc/loadavg: 3.91 3.84 3.65 5/219 14940
/proc/meminfo: memFree=27786896/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=10.08 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 20293 0 1 0 985 23 0 0 20 0 22 0 340261751 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 124652 2287 9 0 732240 0
[pid=14914/tid=14916] ppid=14912 vsize=2966184 CPUtime=0.6 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (java) S 14912 14914 13986 0 -1 4202560 2887 0 1 0 57 3 0 0 20 0 22 0 340261753 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824481453208 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14917] ppid=14912 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (java) S 14912 14914 13986 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824348117800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14918] ppid=14912 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/14914/task/14918/stat : 14918 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824347065000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14919] ppid=14912 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/14914/task/14919/stat : 14919 (java) S 14912 14914 13986 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824346012712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 31 0 0 0 2 1 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 340261754 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=0.25 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 65 0 0 0 24 1 0 0 20 0 22 0 340261756 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) S 14912 14914 13986 0 -1 4202560 8711 0 0 0 102 2 0 0 20 0 22 0 340261759 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823853971640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=1.09 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) S 14912 14914 13986 0 -1 4202560 7053 0 0 0 107 2 0 0 20 0 22 0 340261759 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823852918840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340261817 3037372416 124652 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=5.64 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 393 0 0 0 554 10 0 0 20 0 22 0 340261754 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=6.17 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 422 0 0 0 606 11 0 0 20 0 22 0 340261754 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=5.82 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 409 0 0 0 572 10 0 0 20 0 22 0 340261754 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=5.48 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 416 0 0 0 538 10 0 0 20 0 22 0 340261754 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=5.71 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 420 0 0 0 560 11 0 0 20 0 22 0 340261754 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=33.29 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 173 0 0 0 3307 22 0 0 20 0 22 0 340261756 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=1.4 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) S 14912 14914 13986 0 -1 4202560 8747 0 0 0 137 3 0 0 20 0 22 0 340261759 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823853971640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=1.84 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) S 14912 14914 13986 0 -1 4202560 7686 0 0 0 182 2 0 0 20 0 22 0 340261759 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823852918840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 340261759 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340261817 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14936] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14936/stat : 14936 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340261818 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823846602280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14946] ppid=14912 vsize=2966184 CPUtime=629.4 cores=0,2,4,6
/proc/14914/task/14946/stat : 14946 (java) R 14912 14914 13986 0 -1 4202560 72 0 0 0 62930 10 0 0 20 0 22 0 340283460 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823848706080 139824354509513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14947] ppid=14912 vsize=2966184 CPUtime=629.36 cores=0,2,4,6
/proc/14914/task/14947/stat : 14947 (java) R 14912 14914 13986 0 -1 4202560 133 0 0 0 62926 10 0 0 20 0 22 0 340283460 3037372416 355163 33554432000 1073741824 1073778376 140737232208080 139823849757776 139824354481338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1744.69
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+909.301 s]
/proc/loadavg: 4.29 3.98 3.81 5/219 15027
/proc/meminfo: memFree=26637944/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=1799.41 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 24630 0 1 0 179781 160 0 0 20 0 22 0 340261751 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 355174 2288 9 0 732240 0
[pid=14914/tid=14916] ppid=14912 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (java) S 14912 14914 13986 0 -1 4202560 2922 0 1 0 59 4 0 0 20 0 22 0 340261753 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824481453208 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14917] ppid=14912 vsize=2966184 CPUtime=6.08 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (java) S 14912 14914 13986 0 -1 4202560 417 0 0 0 597 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824348117800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14918] ppid=14912 vsize=2966184 CPUtime=5.92 cores=0,2,4,6
/proc/14914/task/14918/stat : 14918 (java) S 14912 14914 13986 0 -1 4202560 389 0 0 0 582 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824347065000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14919] ppid=14912 vsize=2966184 CPUtime=6.34 cores=0,2,4,6
/proc/14914/task/14919/stat : 14919 (java) S 14912 14914 13986 0 -1 4202560 434 0 0 0 622 12 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824346012712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=6.04 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 404 0 0 0 594 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=6.58 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 422 0 0 0 647 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=6.25 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 409 0 0 0 615 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=5.94 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 416 0 0 0 584 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=6.18 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 420 0 0 0 607 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=34.21 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 175 0 0 0 3398 23 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=1.4 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) S 14912 14914 13986 0 -1 4202560 8747 0 0 0 137 3 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823853971640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=1.84 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) S 14912 14914 13986 0 -1 4202560 7686 0 0 0 182 2 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823852918840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 53 0 0 0 18 21 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340261817 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14936] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14936/stat : 14936 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340261818 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823846602280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14946] ppid=14912 vsize=2966184 CPUtime=654.53 cores=0,2,4,6
/proc/14914/task/14946/stat : 14946 (java) R 14912 14914 13986 0 -1 4202560 78 0 0 0 65443 10 0 0 20 0 22 0 340283460 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823848706080 139824354586527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14947] ppid=14912 vsize=2966184 CPUtime=654.5 cores=0,2,4,6
/proc/14914/task/14947/stat : 14947 (java) R 14912 14914 13986 0 -1 4202560 141 0 0 0 65440 10 0 0 20 0 22 0 340283460 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823849757776 139824354577549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+909.301 s]
/proc/loadavg: 4.29 3.98 3.81 5/219 15027
/proc/meminfo: memFree=26637944/32873844 swapFree=7644/7644
[pid=14914] ppid=14912 vsize=2966184 CPUtime=1799.41 cores=0,2,4,6
/proc/14914/stat : 14914 (java) S 14912 14914 13986 0 -1 4202496 24630 0 1 0 179781 160 0 0 20 0 22 0 340261751 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 140737232199216 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 741546 355174 2288 9 0 732240 0
[pid=14914/tid=14916] ppid=14912 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/14914/task/14916/stat : 14916 (java) S 14912 14914 13986 0 -1 4202560 2922 0 1 0 59 4 0 0 20 0 22 0 340261753 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824481453208 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14917] ppid=14912 vsize=2966184 CPUtime=6.08 cores=0,2,4,6
/proc/14914/task/14917/stat : 14917 (java) S 14912 14914 13986 0 -1 4202560 417 0 0 0 597 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824348117800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14918] ppid=14912 vsize=2966184 CPUtime=5.92 cores=0,2,4,6
/proc/14914/task/14918/stat : 14918 (java) S 14912 14914 13986 0 -1 4202560 389 0 0 0 582 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824347065000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14919] ppid=14912 vsize=2966184 CPUtime=6.34 cores=0,2,4,6
/proc/14914/task/14919/stat : 14919 (java) S 14912 14914 13986 0 -1 4202560 434 0 0 0 622 12 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824346012712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14920] ppid=14912 vsize=2966184 CPUtime=6.04 cores=0,2,4,6
/proc/14914/task/14920/stat : 14920 (java) S 14912 14914 13986 0 -1 4202560 404 0 0 0 594 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824344959912 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14921] ppid=14912 vsize=2966184 CPUtime=6.58 cores=0,2,4,6
/proc/14914/task/14921/stat : 14921 (java) S 14912 14914 13986 0 -1 4202560 422 0 0 0 647 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824343906600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14922] ppid=14912 vsize=2966184 CPUtime=6.25 cores=0,2,4,6
/proc/14914/task/14922/stat : 14922 (java) S 14912 14914 13986 0 -1 4202560 409 0 0 0 615 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824342853800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14923] ppid=14912 vsize=2966184 CPUtime=5.94 cores=0,2,4,6
/proc/14914/task/14923/stat : 14923 (java) S 14912 14914 13986 0 -1 4202560 416 0 0 0 584 10 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824341801512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14924] ppid=14912 vsize=2966184 CPUtime=6.18 cores=0,2,4,6
/proc/14914/task/14924/stat : 14924 (java) S 14912 14914 13986 0 -1 4202560 420 0 0 0 607 11 0 0 20 0 22 0 340261754 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139824340748712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14925] ppid=14912 vsize=2966184 CPUtime=34.21 cores=0,2,4,6
/proc/14914/task/14925/stat : 14925 (java) S 14912 14914 13986 0 -1 4202560 175 0 0 0 3398 23 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823858182888 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14926] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14926/stat : 14926 (java) S 14912 14914 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823857128952 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14927] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14927/stat : 14927 (java) S 14912 14914 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340261756 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823856076552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14928] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14928/stat : 14928 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823855025040 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14929] ppid=14912 vsize=2966184 CPUtime=1.4 cores=0,2,4,6
/proc/14914/task/14929/stat : 14929 (java) S 14912 14914 13986 0 -1 4202560 8747 0 0 0 137 3 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823853971640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14914/tid=14930] ppid=14912 vsize=2966184 CPUtime=1.84 cores=0,2,4,6
/proc/14914/task/14930/stat : 14930 (java) S 14912 14914 13986 0 -1 4202560 7686 0 0 0 182 2 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823852918840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14931] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14931/stat : 14931 (java) S 14912 14914 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823851866744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14932] ppid=14912 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/14914/task/14932/stat : 14932 (java) S 14912 14914 13986 0 -1 4202560 53 0 0 0 18 21 0 0 20 0 22 0 340261759 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823850814152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14935] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14935/stat : 14935 (java) S 14912 14914 13986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340261817 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823847655080 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14914/tid=14936] ppid=14912 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14914/task/14936/stat : 14936 (java) S 14912 14914 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340261818 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823846602280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14914/tid=14946] ppid=14912 vsize=2966184 CPUtime=654.53 cores=0,2,4,6
/proc/14914/task/14946/stat : 14946 (java) R 14912 14914 13986 0 -1 4202560 78 0 0 0 65443 10 0 0 20 0 22 0 340283460 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823848706080 139824354586527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14914/tid=14947] ppid=14912 vsize=2966184 CPUtime=654.5 cores=0,2,4,6
/proc/14914/task/14947/stat : 14947 (java) R 14912 14914 13986 0 -1 4202560 141 0 0 0 65440 10 0 0 20 0 22 0 340283460 3037372416 355174 33554432000 1073741824 1073778376 140737232208080 139823849757776 139824354577549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14914 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=498194
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=891712
# CPU time returned by wait4() is 1796.39
# while last known CPU time is 1799.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.669983
# lost CPU user time (s): 0.720001
# lost CPU system time (s): -0.05
Real time (s): 909.353
CPU time (s): 1800.08
CPU user time (s): 1798.53
CPU system time (s): 1.55
CPU usage (%): 197.952
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.89171
maximum resident set size= 1420820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24662
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29965
involuntary context switches= 80491
runsolver used 3.47047 second user time and 8.20475 second system time
The end