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-3743258-1338791231/watcher-3743258-1338791231 -o /tmp/evaluation-result-3743258-1338791231/solver-3743258-1338791231 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743258-1338791231.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.88 3.94 3.87 4/198 19979
/proc/meminfo: memFree=28536844/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19979/stat : 19979 (java6) D 19977 19979 17860 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345248679 9515008 182 33554432000 1073741824 1073778376 140733835206336 140733835197368 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19979/statm: 2323 182 140 9 0 71 0
[startup+0.0988059 s]
/proc/loadavg: 3.88 3.94 3.87 4/198 19979
/proc/meminfo: memFree=28536844/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 4733 0 1 0 8 1 0 0 20 0 18 0 345248679 2764726272 6410 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 6410 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100254 s]
/proc/loadavg: 3.88 3.94 3.87 4/198 19979
/proc/meminfo: memFree=28536844/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 4750 0 1 0 8 1 0 0 20 0 18 0 345248679 2764726272 6427 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 6428 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300183 s]
/proc/loadavg: 3.88 3.94 3.87 4/198 19979
/proc/meminfo: memFree=28536844/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=0.51 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 6443 0 1 0 50 1 0 0 20 0 18 0 345248679 2764726272 16429 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 16429 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2699928
[startup+0.700257 s]
/proc/loadavg: 3.88 3.94 3.87 4/198 19979
/proc/meminfo: memFree=28536844/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=1.21 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 11486 0 1 0 116 5 0 0 20 0 18 0 345248679 2764726272 59836 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 59836 2230 9 0 665676 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2699928
[startup+1.5007 s]
/proc/loadavg: 3.88 3.94 3.87 4/216 19997
/proc/meminfo: memFree=28111312/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=2.53 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 11826 0 1 0 234 19 0 0 20 0 18 0 345248679 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 126452 2248 9 0 665676 0
[pid=19979/tid=19981] ppid=19977 vsize=2699928 CPUtime=1.3 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) R 19977 19979 17860 0 -1 4202560 2957 0 1 0 124 6 0 0 20 0 18 0 345248680 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678148824408 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 38 0 0 0 4 1 0 0 20 0 18 0 345248681 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 18 0 345248681 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 18 0 345248681 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 18 0 345248681 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 18 0 345248682 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 50 0 0 0 10 2 0 0 20 0 18 0 345248682 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 18 0 345248682 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 33 0 0 0 6 2 0 0 20 0 18 0 345248682 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2699928 CPUtime=0.29 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) S 19977 19979 17860 0 -1 4202560 3598 0 0 0 29 0 0 0 20 0 18 0 345248685 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678109116472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2699928 CPUtime=0.24 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) S 19977 19979 17860 0 -1 4202560 3832 0 0 0 24 0 0 0 20 0 18 0 345248685 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678108063928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 126452 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 2699928
[startup+3.1007 s]
/proc/loadavg: 3.88 3.94 3.87 11/216 19997
/proc/meminfo: memFree=27991040/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2699928 CPUtime=4.89 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 12340 0 1 0 458 31 0 0 20 0 18 0 345248679 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 674982 156429 2248 9 0 665676 0
[pid=19979/tid=19981] ppid=19977 vsize=2699928 CPUtime=2.63 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) R 19977 19979 17860 0 -1 4202560 2959 0 1 0 256 7 0 0 20 0 18 0 345248680 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678148824568 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2699928 CPUtime=0.24 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 96 0 0 0 21 3 0 0 20 0 18 0 345248681 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2699928 CPUtime=0.2 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 69 0 0 0 17 3 0 0 20 0 18 0 345248681 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2699928 CPUtime=0.15 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 18 0 345248681 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2699928 CPUtime=0.16 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 66 0 0 0 13 3 0 0 20 0 18 0 345248681 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 95 0 0 0 24 3 0 0 20 0 18 0 345248682 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2699928 CPUtime=0.23 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 80 0 0 0 20 3 0 0 20 0 18 0 345248682 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2699928 CPUtime=0.14 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 252 0 0 0 12 2 0 0 20 0 18 0 345248682 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2699928 CPUtime=0.17 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 58 0 0 0 14 3 0 0 20 0 18 0 345248682 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345248683 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2699928 CPUtime=0.29 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) S 19977 19979 17860 0 -1 4202560 3598 0 0 0 29 0 0 0 20 0 18 0 345248685 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678109116472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2699928 CPUtime=0.24 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) S 19977 19979 17860 0 -1 4202560 3832 0 0 0 24 0 0 0 20 0 18 0 345248685 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678108063928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345248685 2764726272 156429 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 2699928
[startup+6.30064 s]
/proc/loadavg: 3.81 3.93 3.87 4/216 19997
/proc/meminfo: memFree=27803832/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2966184 CPUtime=10.3 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 13720 0 1 0 987 43 0 0 20 0 22 0 345248679 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 741546 185519 2261 9 0 732240 0
[pid=19979/tid=19981] ppid=19977 vsize=2966184 CPUtime=5.01 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) S 19977 19979 17860 0 -1 4202560 2998 0 1 0 493 8 0 0 20 0 22 0 345248680 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678148826264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2966184 CPUtime=0.54 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 195 0 0 0 49 5 0 0 20 0 22 0 345248681 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 370 0 0 0 45 5 0 0 20 0 22 0 345248681 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 352 0 0 0 43 4 0 0 20 0 22 0 345248681 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 126 0 0 0 42 4 0 0 20 0 22 0 345248681 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 170 0 0 0 53 5 0 0 20 0 22 0 345248682 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 388 0 0 0 56 5 0 0 20 0 22 0 345248682 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 277 0 0 0 41 4 0 0 20 0 22 0 345248682 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 125 0 0 0 38 4 0 0 20 0 22 0 345248682 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) R 19977 19979 17860 0 -1 4202560 3606 0 0 0 41 0 0 0 20 0 22 0 345248685 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678109116472 140678155621104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) R 19977 19979 17860 0 -1 4202560 3860 0 0 0 40 1 0 0 20 0 22 0 345248685 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678108063928 140678155644203 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 185519 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.3
Current children cumulated vsize (KiB) 2966184
[startup+12.7008 s]
/proc/loadavg: 3.83 3.93 3.87 5/220 20001
/proc/meminfo: memFree=27801068/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2966184 CPUtime=23.59 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 13785 0 1 0 2316 43 0 0 20 0 22 0 345248679 3037372416 185556 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 741546 185556 2265 9 0 732240 0
[pid=19979/tid=19981] ppid=19977 vsize=2966184 CPUtime=5.01 cores=1,3,5,7
################
# More data... #
################
[pid=19979/tid=19999] ppid=19977 vsize=2966184 CPUtime=804.93 cores=1,3,5,7
/proc/19979/task/19999/stat : 19999 (java) R 19977 19979 17860 0 -1 4202560 416 0 0 0 80479 14 0 0 20 0 22 0 345249293 3037372416 231996 33554432000 1073741824 1073778376 140733739492192 140678103849424 140677980202968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=20000] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20000/stat : 20000 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 231996 33554432000 1073741824 1073778376 140733739492192 140678102799912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=20001] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20001/stat : 20001 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 231996 33554432000 1073741824 1073778376 140733739492192 140678101747368 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1645.11
Current children cumulated vsize (KiB) 2966184
[startup+882.307 s]
/proc/loadavg: 3.96 4.00 3.93 5/219 20074
/proc/meminfo: memFree=27592300/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2966184 CPUtime=1764 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 99826 0 1 0 176264 136 0 0 20 0 22 0 345248679 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 741546 234045 2284 9 0 732240 0
[pid=19979/tid=19981] ppid=19977 vsize=2966184 CPUtime=5.02 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) S 19977 19979 17860 0 -1 4202560 3009 0 1 0 494 8 0 0 20 0 22 0 345248680 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678148826264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2966184 CPUtime=2.7 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 241 0 0 0 261 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2966184 CPUtime=2.64 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 401 0 0 0 255 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 381 0 0 0 241 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2966184 CPUtime=2.58 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 178 0 0 0 251 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2966184 CPUtime=2.8 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 220 0 0 0 272 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2966184 CPUtime=2.77 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 433 0 0 0 268 9 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2966184 CPUtime=2.57 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 301 0 0 0 250 7 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 190 0 0 0 271 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2966184 CPUtime=7.19 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 73859 0 0 0 682 37 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2966184 CPUtime=1.65 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) S 19977 19979 17860 0 -1 4202560 14666 0 0 0 162 3 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678109116472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) S 19977 19979 17860 0 -1 4202560 4150 0 0 0 106 2 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678108063928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 49 0 0 0 15 22 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19998] ppid=19977 vsize=2966184 CPUtime=863.64 cores=1,3,5,7
/proc/19979/task/19998/stat : 19998 (java) R 19977 19979 17860 0 -1 4202560 143 0 0 0 86348 16 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678104904256 140677980448985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19999] ppid=19977 vsize=2966184 CPUtime=863.72 cores=1,3,5,7
/proc/19979/task/19999/stat : 19999 (java) R 19977 19979 17860 0 -1 4202560 416 0 0 0 86357 15 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678103849664 140677980168911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=20000] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20000/stat : 20000 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678102799912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=20001] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20001/stat : 20001 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678101747368 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.401 s]
/proc/loadavg: 3.97 4.00 3.93 5/219 20074
/proc/meminfo: memFree=27592428/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2966184 CPUtime=1800.21 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 99828 0 1 0 179884 137 0 0 20 0 22 0 345248679 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 741546 234045 2284 9 0 732240 0
[pid=19979/tid=19981] ppid=19977 vsize=2966184 CPUtime=5.02 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) S 19977 19979 17860 0 -1 4202560 3009 0 1 0 494 8 0 0 20 0 22 0 345248680 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678148826264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2966184 CPUtime=2.7 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 241 0 0 0 261 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2966184 CPUtime=2.64 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 401 0 0 0 255 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 381 0 0 0 241 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2966184 CPUtime=2.58 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 178 0 0 0 251 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2966184 CPUtime=2.8 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 220 0 0 0 272 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2966184 CPUtime=2.77 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 433 0 0 0 268 9 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2966184 CPUtime=2.57 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 301 0 0 0 250 7 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 190 0 0 0 271 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2966184 CPUtime=7.19 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 73859 0 0 0 682 37 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2966184 CPUtime=1.65 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) S 19977 19979 17860 0 -1 4202560 14666 0 0 0 162 3 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678109116472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) S 19977 19979 17860 0 -1 4202560 4150 0 0 0 106 2 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678108063928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19998] ppid=19977 vsize=2966184 CPUtime=881.74 cores=1,3,5,7
/proc/19979/task/19998/stat : 19998 (java) R 19977 19979 17860 0 -1 4202560 143 0 0 0 88158 16 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678104904256 140677980474166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19999] ppid=19977 vsize=2966184 CPUtime=881.82 cores=1,3,5,7
/proc/19979/task/19999/stat : 19999 (java) R 19977 19979 17860 0 -1 4202560 416 0 0 0 88167 15 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678103849664 140677980429727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=20000] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20000/stat : 20000 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678102799912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=20001] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20001/stat : 20001 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678101747368 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
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+900.401 s]
/proc/loadavg: 3.97 4.00 3.93 5/219 20074
/proc/meminfo: memFree=27592428/32873648 swapFree=7116/7116
[pid=19979] ppid=19977 vsize=2966184 CPUtime=1800.21 cores=1,3,5,7
/proc/19979/stat : 19979 (java) S 19977 19979 17860 0 -1 4202496 99828 0 1 0 179884 137 0 0 20 0 22 0 345248679 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140733739483328 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19979/statm: 741546 234045 2284 9 0 732240 0
[pid=19979/tid=19981] ppid=19977 vsize=2966184 CPUtime=5.02 cores=1,3,5,7
/proc/19979/task/19981/stat : 19981 (java) S 19977 19979 17860 0 -1 4202560 3009 0 1 0 494 8 0 0 20 0 22 0 345248680 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678148826264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19982] ppid=19977 vsize=2966184 CPUtime=2.7 cores=1,3,5,7
/proc/19979/task/19982/stat : 19982 (java) S 19977 19979 17860 0 -1 4202560 241 0 0 0 261 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678133107368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19983] ppid=19977 vsize=2966184 CPUtime=2.64 cores=1,3,5,7
/proc/19979/task/19983/stat : 19983 (java) S 19977 19979 17860 0 -1 4202560 401 0 0 0 255 9 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678132054824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19984] ppid=19977 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/19979/task/19984/stat : 19984 (java) S 19977 19979 17860 0 -1 4202560 381 0 0 0 241 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678131002280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19985] ppid=19977 vsize=2966184 CPUtime=2.58 cores=1,3,5,7
/proc/19979/task/19985/stat : 19985 (java) S 19977 19979 17860 0 -1 4202560 178 0 0 0 251 7 0 0 20 0 22 0 345248681 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678129949736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19986] ppid=19977 vsize=2966184 CPUtime=2.8 cores=1,3,5,7
/proc/19979/task/19986/stat : 19986 (java) S 19977 19979 17860 0 -1 4202560 220 0 0 0 272 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678128896168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19987] ppid=19977 vsize=2966184 CPUtime=2.77 cores=1,3,5,7
/proc/19979/task/19987/stat : 19987 (java) S 19977 19979 17860 0 -1 4202560 433 0 0 0 268 9 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678127843624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19988] ppid=19977 vsize=2966184 CPUtime=2.57 cores=1,3,5,7
/proc/19979/task/19988/stat : 19988 (java) S 19977 19979 17860 0 -1 4202560 301 0 0 0 250 7 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678126791080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19989] ppid=19977 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/19979/task/19989/stat : 19989 (java) S 19977 19979 17860 0 -1 4202560 190 0 0 0 271 8 0 0 20 0 22 0 345248682 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678125738536 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19990] ppid=19977 vsize=2966184 CPUtime=7.19 cores=1,3,5,7
/proc/19979/task/19990/stat : 19990 (java) S 19977 19979 17860 0 -1 4202560 73859 0 0 0 682 37 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678113327720 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19991] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19991/stat : 19991 (java) S 19977 19979 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678112274040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19992] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19992/stat : 19992 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345248683 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678111221384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19993] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19993/stat : 19993 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678110170128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=19994] ppid=19977 vsize=2966184 CPUtime=1.65 cores=1,3,5,7
/proc/19979/task/19994/stat : 19994 (java) S 19977 19979 17860 0 -1 4202560 14666 0 0 0 162 3 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678109116472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19995] ppid=19977 vsize=2966184 CPUtime=1.08 cores=1,3,5,7
/proc/19979/task/19995/stat : 19995 (java) S 19977 19979 17860 0 -1 4202560 4150 0 0 0 106 2 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678108063928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=19996] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/19996/stat : 19996 (java) S 19977 19979 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678107011576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19997] ppid=19977 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/19979/task/19997/stat : 19997 (java) S 19977 19979 17860 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 345248685 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678105959240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19979/tid=19998] ppid=19977 vsize=2966184 CPUtime=881.74 cores=1,3,5,7
/proc/19979/task/19998/stat : 19998 (java) R 19977 19979 17860 0 -1 4202560 143 0 0 0 88158 16 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678104904256 140677980474166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19979/tid=19999] ppid=19977 vsize=2966184 CPUtime=881.82 cores=1,3,5,7
/proc/19979/task/19999/stat : 19999 (java) R 19977 19979 17860 0 -1 4202560 416 0 0 0 88167 15 0 0 20 0 22 0 345249293 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678103849664 140677980429727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19979/tid=20000] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20000/stat : 20000 (java) S 19977 19979 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678102799912 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19979/tid=20001] ppid=19977 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/19979/task/20001/stat : 20001 (java) S 19977 19979 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345249302 3037372416 234045 33554432000 1073741824 1073778376 140733739492192 140678101747368 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 900.431
CPU time (s): 1800.56
CPU user time (s): 1798.74
CPU system time (s): 1.82372
CPU usage (%): 199.967
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.82372
maximum resident set size= 980860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35488
involuntary context switches= 56110
runsolver used 3.64345 second user time and 7.8708 second system time
The end