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-3689852-1337885577/watcher-3689852-1337885577 -o /tmp/evaluation-result-3689852-1337885577/solver-3689852-1337885577 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689852-1337885577.opb
running on 4 cores: 1,3,5,7
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.79 3.83 3.81 4/197 28987
/proc/meminfo: memFree=26184344/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28987/stat : 28987 (java) D 28985 28987 25404 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254682110 9515008 183 33554432000 1073741824 1073778376 140736852517904 140736852508936 251044642485 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28987/statm: 2323 183 140 9 0 71 0
[startup+0.0846311 s]
/proc/loadavg: 3.79 3.83 3.81 4/197 28987
/proc/meminfo: memFree=26184344/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 3308 0 1 0 6 0 0 0 20 0 18 0 254682110 9787813888 4517 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 4517 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100345 s]
/proc/loadavg: 3.79 3.83 3.81 4/197 28987
/proc/meminfo: memFree=26184344/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 4199 0 1 0 8 1 0 0 20 0 18 0 254682110 9787813888 5387 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 5387 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300309 s]
/proc/loadavg: 3.79 3.83 3.81 4/197 28987
/proc/meminfo: memFree=26184344/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 5743 0 1 0 45 2 0 0 20 0 18 0 254682110 9787813888 16052 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 16052 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.70032 s]
/proc/loadavg: 3.79 3.83 3.81 4/197 28987
/proc/meminfo: memFree=26184344/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=1.5 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 14292 0 1 0 141 9 0 0 20 0 18 0 254682110 9787813888 52038 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 52038 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9558412
[startup+1.50081 s]
/proc/loadavg: 3.79 3.83 3.81 4/215 29005
/proc/meminfo: memFree=25919936/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=2.79 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 15642 0 1 0 252 27 0 0 20 0 18 0 254682110 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 157532 2248 9 0 2380296 0
[pid=28987/tid=28989] ppid=28985 vsize=9558412 CPUtime=1.26 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) R 28985 28987 25404 0 -1 4202560 2854 0 1 0 117 9 0 0 20 0 18 0 254682111 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114082834968 140113930051463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 57 0 0 0 7 2 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 93 0 0 0 5 1 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 110 0 0 0 6 2 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 118 0 0 0 9 3 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 59 0 0 0 6 3 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 69 0 0 0 5 1 0 0 20 0 18 0 254682112 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4768 0 0 0 35 0 0 0 20 0 18 0 254682117 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 5685 0 0 0 36 1 0 0 20 0 18 0 254682117 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 157532 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 9558412
[startup+3.1009 s]
/proc/loadavg: 3.79 3.83 3.81 4/215 29005
/proc/meminfo: memFree=25491848/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=4.75 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 16137 0 1 0 437 38 0 0 20 0 18 0 254682110 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 174804 2248 9 0 2380296 0
[pid=28987/tid=28989] ppid=28985 vsize=9558412 CPUtime=2.73 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) R 28985 28987 25404 0 -1 4202560 2855 0 1 0 264 9 0 0 20 0 18 0 254682111 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114082828272 140113930061876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 236 0 0 0 10 4 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 275 0 0 0 9 3 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 184 0 0 0 12 3 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 30 0 0 0 6 2 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9558412 CPUtime=0.2 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 149 0 0 0 15 5 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 131 0 0 0 12 4 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 81 0 0 0 11 4 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 85 0 0 0 10 3 0 0 20 0 18 0 254682112 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4768 0 0 0 35 0 0 0 20 0 18 0 254682117 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 5685 0 0 0 36 1 0 0 20 0 18 0 254682117 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 174804 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 9558412
[startup+6.30104 s]
/proc/loadavg: 3.73 3.82 3.81 4/215 29005
/proc/meminfo: memFree=24223960/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9558412 CPUtime=9.78 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 20035 0 1 0 873 105 0 0 20 0 18 0 254682110 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2389603 590870 2248 9 0 2380296 0
[pid=28987/tid=28989] ppid=28985 vsize=9558412 CPUtime=5.29 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) R 28985 28987 25404 0 -1 4202560 4019 0 1 0 490 39 0 0 20 0 18 0 254682111 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114082828192 251048027405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 392 0 0 0 41 9 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 378 0 0 0 38 8 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 437 0 0 0 42 8 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 601 0 0 0 21 4 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 526 0 0 0 38 8 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 394 0 0 0 37 8 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 181 0 0 0 35 9 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 216 0 0 0 44 8 0 0 20 0 18 0 254682112 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 1264 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254682114 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4768 0 0 0 35 0 0 0 20 0 18 0 254682117 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 5685 0 0 0 36 1 0 0 20 0 18 0 254682117 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254682117 9787813888 590870 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.78
Current children cumulated vsize (KiB) 9558412
[startup+12.701 s]
/proc/loadavg: 3.67 3.80 3.80 5/219 29009
/proc/meminfo: memFree=23385348/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9824668 CPUtime=21.74 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 21002 0 1 0 2055 119 0 0 20 0 22 0 254682110 10060460032 700276 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2456167 700276 2269 9 0 2446860 0
[pid=28987/tid=28989] ppid=28985 vsize=9824668 CPUtime=7.82 cores=1,3,5,7
################
# More data... #
################
/proc/28987/statm: 2456167 756223 2283 9 0 2446860 0
[pid=28987/tid=28989] ppid=28985 vsize=9824668 CPUtime=7.88 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) S 28985 28987 25404 0 -1 4202560 4229 0 1 0 741 47 0 0 20 0 22 0 254682111 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114082837496 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 421 0 0 0 52 11 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 397 0 0 0 44 9 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 516 0 0 0 49 10 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 630 0 0 0 34 6 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 545 0 0 0 47 9 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 461 0 0 0 46 10 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 219 0 0 0 44 10 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 260 0 0 0 51 9 0 0 20 0 22 0 254682112 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9824668 CPUtime=7.94 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 1518 0 0 0 791 3 0 0 20 0 22 0 254682114 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4820 0 0 0 135 2 0 0 20 0 22 0 254682117 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 6106 0 0 0 125 2 0 0 20 0 22 0 254682117 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 47 0 0 0 24 24 0 0 20 0 22 0 254682117 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29006] ppid=28985 vsize=9824668 CPUtime=803.23 cores=1,3,5,7
/proc/28987/task/29006/stat : 29006 (java) R 28985 28987 25404 0 -1 4202560 31 0 0 0 80311 12 0 0 20 0 22 0 254683010 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113427231328 140113930602441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29007] ppid=28985 vsize=9824668 CPUtime=803.05 cores=1,3,5,7
/proc/28987/task/29007/stat : 29007 (java) R 28985 28987 25404 0 -1 4202560 72 0 0 0 80293 12 0 0 20 0 22 0 254683010 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113426178520 140113930725721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29008] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29008/stat : 29008 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113425126952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29009] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29009/stat : 29009 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756223 33554432000 1073741824 1073778376 140733894256928 140113424074408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1633.46
Current children cumulated vsize (KiB) 9824668
[startup+882.308 s]
/proc/loadavg: 4.02 3.99 3.90 5/219 29118
/proc/meminfo: memFree=22959428/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9824668 CPUtime=1752.5 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 21470 0 1 0 175108 142 0 0 20 0 22 0 254682110 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2456167 756224 2283 9 0 2446860 0
[pid=28987/tid=28989] ppid=28985 vsize=9824668 CPUtime=7.89 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) S 28985 28987 25404 0 -1 4202560 4230 0 1 0 741 48 0 0 20 0 22 0 254682111 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114082837496 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 421 0 0 0 52 11 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 397 0 0 0 44 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 516 0 0 0 49 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 630 0 0 0 34 6 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 545 0 0 0 47 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 461 0 0 0 46 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 219 0 0 0 44 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 260 0 0 0 51 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9824668 CPUtime=8.94 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 1520 0 0 0 891 3 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4824 0 0 0 139 2 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 6106 0 0 0 125 2 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 51 0 0 0 25 26 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29006] ppid=28985 vsize=9824668 CPUtime=862.08 cores=1,3,5,7
/proc/28987/task/29006/stat : 29006 (java) R 28985 28987 25404 0 -1 4202560 31 0 0 0 86195 13 0 0 20 0 22 0 254683010 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113427231328 140113930534105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29007] ppid=28985 vsize=9824668 CPUtime=861.89 cores=1,3,5,7
/proc/28987/task/29007/stat : 29007 (java) R 28985 28987 25404 0 -1 4202560 72 0 0 0 86176 13 0 0 20 0 22 0 254683010 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113426178416 140113930725388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29008] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29008/stat : 29008 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113425126952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29009] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29009/stat : 29009 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113424074408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1752.5
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.101 s]
/proc/loadavg: 3.94 3.97 3.90 5/219 29121
/proc/meminfo: memFree=22959428/32873844 swapFree=7612/7612
[pid=28987] ppid=28985 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/28987/stat : 28987 (java) S 28985 28987 25404 0 -1 4202496 21472 0 1 0 179867 143 0 0 20 0 22 0 254682110 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140733894248064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28987/statm: 2456167 756224 2283 9 0 2446860 0
[pid=28987/tid=28989] ppid=28985 vsize=9824668 CPUtime=7.89 cores=1,3,5,7
/proc/28987/task/28989/stat : 28989 (java) S 28985 28987 25404 0 -1 4202560 4230 0 1 0 741 48 0 0 20 0 22 0 254682111 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114082837496 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28990] ppid=28985 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/28987/task/28990/stat : 28990 (java) S 28985 28987 25404 0 -1 4202560 421 0 0 0 52 11 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114055289512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28991] ppid=28985 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/28987/task/28991/stat : 28991 (java) S 28985 28987 25404 0 -1 4202560 397 0 0 0 44 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114054236968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28992] ppid=28985 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/28987/task/28992/stat : 28992 (java) S 28985 28987 25404 0 -1 4202560 516 0 0 0 49 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114053184424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28993] ppid=28985 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/28987/task/28993/stat : 28993 (java) S 28985 28987 25404 0 -1 4202560 630 0 0 0 34 6 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114052131880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28994] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28994/stat : 28994 (java) S 28985 28987 25404 0 -1 4202560 545 0 0 0 47 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114051078312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=28995] ppid=28985 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28987/task/28995/stat : 28995 (java) S 28985 28987 25404 0 -1 4202560 461 0 0 0 46 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114050025768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28996] ppid=28985 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/28987/task/28996/stat : 28996 (java) S 28985 28987 25404 0 -1 4202560 219 0 0 0 44 10 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140114048973224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=28997] ppid=28985 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/28987/task/28997/stat : 28997 (java) S 28985 28987 25404 0 -1 4202560 260 0 0 0 51 9 0 0 20 0 22 0 254682112 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113918601768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=28998] ppid=28985 vsize=9824668 CPUtime=8.94 cores=1,3,5,7
/proc/28987/task/28998/stat : 28998 (java) S 28985 28987 25404 0 -1 4202560 1520 0 0 0 891 3 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113435654760 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=28999] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/28999/stat : 28999 (java) S 28985 28987 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113434601080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29000] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29000/stat : 29000 (java) S 28985 28987 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254682114 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113433548424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29001] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29001/stat : 29001 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113432497168 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29002] ppid=28985 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/28987/task/29002/stat : 29002 (java) S 28985 28987 25404 0 -1 4202560 4824 0 0 0 139 2 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113431443512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28987/tid=29003] ppid=28985 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/28987/task/29003/stat : 29003 (java) S 28985 28987 25404 0 -1 4202560 6106 0 0 0 125 2 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113430390968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28987/tid=29004] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29004/stat : 29004 (java) S 28985 28987 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113429338616 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29005] ppid=28985 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/28987/task/29005/stat : 29005 (java) S 28985 28987 25404 0 -1 4202560 53 0 0 0 26 26 0 0 20 0 22 0 254682117 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113428286280 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29006] ppid=28985 vsize=9824668 CPUtime=885.82 cores=1,3,5,7
/proc/28987/task/29006/stat : 29006 (java) R 28985 28987 25404 0 -1 4202560 31 0 0 0 88569 13 0 0 20 0 22 0 254683010 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113427231328 140113930489444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28987/tid=29007] ppid=28985 vsize=9824668 CPUtime=885.62 cores=1,3,5,7
/proc/28987/task/29007/stat : 29007 (java) R 28985 28987 25404 0 -1 4202560 72 0 0 0 88549 13 0 0 20 0 22 0 254683010 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113426178416 140113930372789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29008] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29008/stat : 29008 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113425126952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28987/tid=29009] ppid=28985 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29009/stat : 29009 (java) S 28985 28987 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254683018 10060460032 756224 33554432000 1073741824 1073778376 140733894256928 140113424074408 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28987 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=261230
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=970700
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 906.152
CPU time (s): 1800.1
CPU user time (s): 1798.67
CPU system time (s): 1.43
CPU usage (%): 198.653
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 1.9707
maximum resident set size= 3025020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21507
page faults= 1
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22351
involuntary context switches= 11078
runsolver used 3.83042 second user time and 8.76367 second system time
The end