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-3736305-1338715682/watcher-3736305-1338715682 -o /tmp/evaluation-result-3736305-1338715682/solver-3736305-1338715682 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736305-1338715682.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: 2.00 1.99 1.76 3/192 7649
/proc/meminfo: memFree=28401164/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7649/stat : 7649 (java) D 7647 7649 7296 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 337696598 9515008 185 33554432000 1073741824 1073778376 140736610711120 140736610700184 226320543015 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 2323 185 143 9 0 71 0
[startup+0.103739 s]
/proc/loadavg: 2.00 1.99 1.76 3/192 7649
/proc/meminfo: memFree=28401164/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 4931 0 1 0 9 1 0 0 20 0 18 0 337696598 3028844544 6635 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 739464 6635 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.200279 s]
/proc/loadavg: 2.00 1.99 1.76 3/192 7649
/proc/meminfo: memFree=28401164/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=2957856 CPUtime=0.26 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 5416 0 1 0 25 1 0 0 20 0 18 0 337696598 3028844544 8061 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 739464 8061 2216 9 0 729885 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2957856
[startup+0.300297 s]
/proc/loadavg: 2.00 1.99 1.76 3/192 7649
/proc/meminfo: memFree=28401164/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 6095 0 1 0 45 1 0 0 20 0 18 0 337696598 3028844544 9492 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 739464 9492 2249 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700251 s]
/proc/loadavg: 2.00 1.99 1.76 3/192 7649
/proc/meminfo: memFree=28401164/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 13919 0 1 0 131 3 0 0 20 0 19 0 337696598 3097006080 13253 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 13253 2265 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.5006 s]
/proc/loadavg: 2.00 1.99 1.76 3/211 7670
/proc/meminfo: memFree=28356964/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 14345 0 1 0 217 3 0 0 20 0 19 0 337696598 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 13769 2268 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3050 0 1 0 145 2 0 0 20 0 19 0 337696599 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409895574120 140409745989731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696601 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6305 0 0 0 31 0 0 0 20 0 19 0 337696605 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3790 0 0 0 38 0 0 0 20 0 19 0 337696605 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 13769 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420
[startup+3.1006 s]
/proc/loadavg: 2.00 1.99 1.76 3/211 7670
/proc/meminfo: memFree=28354420/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=3.82 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 14347 0 1 0 379 3 0 0 20 0 19 0 337696598 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 14281 2268 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=3.07 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3052 0 1 0 305 2 0 0 20 0 19 0 337696599 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409895573936 140409745989722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696601 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6305 0 0 0 32 0 0 0 20 0 19 0 337696605 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3790 0 0 0 39 0 0 0 20 0 19 0 337696605 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 14281 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 3024420
[startup+6.30068 s]
/proc/loadavg: 2.00 1.99 1.76 3/211 7670
/proc/meminfo: memFree=28346104/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 14353 0 1 0 700 3 0 0 20 0 19 0 337696598 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 16229 2269 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3057 0 1 0 624 2 0 0 20 0 19 0 337696599 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409895575944 140409746046111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696600 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337696601 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6305 0 0 0 32 0 0 0 20 0 19 0 337696605 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3790 0 0 0 40 0 0 0 20 0 19 0 337696605 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 16229 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6311 0 1 0 33 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3801 0 1 0 47 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 100 0 0 0 41 33 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.94
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/211 7686
/proc/meminfo: memFree=26337220/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=1787.97 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 19027 0 3 0 178607 190 0 0 20 0 19 0 337696598 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 414520 2297 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=1774.11 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3250 0 1 0 177374 37 0 0 20 0 19 0 337696599 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409895575992 140409746240384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 395 0 0 0 56 15 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 625 0 0 0 60 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 726 0 0 0 61 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 461 0 0 0 54 19 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 362 0 0 0 52 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 504 0 0 0 60 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 626 0 0 0 54 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 605 0 0 0 47 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=1.88 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 68 0 0 0 184 4 0 0 20 0 19 0 337696601 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6311 0 1 0 33 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3801 0 1 0 47 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 104 0 0 0 42 36 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.97
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/211 7922
/proc/meminfo: memFree=26708160/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 19027 0 3 0 179817 192 0 0 20 0 19 0 337696598 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 414520 2297 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=1786.19 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3250 0 1 0 178580 39 0 0 20 0 19 0 337696599 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409895575992 140409746240384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 395 0 0 0 56 15 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 625 0 0 0 60 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 726 0 0 0 61 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 461 0 0 0 54 19 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 362 0 0 0 52 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 504 0 0 0 60 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 626 0 0 0 54 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 605 0 0 0 47 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=1.88 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 68 0 0 0 184 4 0 0 20 0 19 0 337696601 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6311 0 1 0 33 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3801 0 1 0 47 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 104 0 0 0 43 36 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/211 7922
/proc/meminfo: memFree=26708160/32873844 swapFree=6088/6088
[pid=7649] ppid=7647 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/7649/stat : 7649 (java) S 7647 7649 7296 0 -1 4202496 19027 0 3 0 179817 192 0 0 20 0 19 0 337696598 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140736610702256 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7649/statm: 756105 414520 2297 9 0 746526 0
[pid=7649/tid=7651] ppid=7647 vsize=3024420 CPUtime=1786.19 cores=1,3,5,7
/proc/7649/task/7651/stat : 7651 (java) R 7647 7649 7296 0 -1 4202560 3250 0 1 0 178580 39 0 0 20 0 19 0 337696599 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409895575992 140409746240384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7652] ppid=7647 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/7649/task/7652/stat : 7652 (java) S 7647 7649 7296 0 -1 4202560 395 0 0 0 56 15 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409879002024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7653] ppid=7647 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/7649/task/7653/stat : 7653 (java) S 7647 7649 7296 0 -1 4202560 625 0 0 0 60 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409877949480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7654] ppid=7647 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/7649/task/7654/stat : 7654 (java) S 7647 7649 7296 0 -1 4202560 726 0 0 0 61 20 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409876896424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7655] ppid=7647 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/7649/task/7655/stat : 7655 (java) S 7647 7649 7296 0 -1 4202560 461 0 0 0 54 19 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409875843880 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7656] ppid=7647 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/7649/task/7656/stat : 7656 (java) S 7647 7649 7296 0 -1 4202560 362 0 0 0 52 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409874790824 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7657] ppid=7647 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/7649/task/7657/stat : 7657 (java) S 7647 7649 7296 0 -1 4202560 504 0 0 0 60 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409873738280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7658] ppid=7647 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/7649/task/7658/stat : 7658 (java) S 7647 7649 7296 0 -1 4202560 626 0 0 0 54 16 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409872685224 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7659] ppid=7647 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/7649/task/7659/stat : 7659 (java) S 7647 7649 7296 0 -1 4202560 605 0 0 0 47 14 0 0 20 0 19 0 337696600 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409871632680 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7660] ppid=7647 vsize=3024420 CPUtime=1.88 cores=1,3,5,7
/proc/7649/task/7660/stat : 7660 (java) S 7647 7649 7296 0 -1 4202560 68 0 0 0 184 4 0 0 20 0 19 0 337696601 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409741224808 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7661] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7661/stat : 7661 (java) S 7647 7649 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409740171128 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7662] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7662/stat : 7662 (java) S 7647 7649 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337696602 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409739117960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7649/tid=7663] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7663/stat : 7663 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409738066704 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7664] ppid=7647 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/7649/task/7664/stat : 7664 (java) S 7647 7649 7296 0 -1 4202560 6311 0 1 0 33 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409737013560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7649/tid=7665] ppid=7647 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/7649/task/7665/stat : 7665 (java) S 7647 7649 7296 0 -1 4202560 3801 0 1 0 47 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409735961016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7666] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7666/stat : 7666 (java) S 7647 7649 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409734908152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7649/tid=7667] ppid=7647 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/7649/task/7667/stat : 7667 (java) S 7647 7649 7296 0 -1 4202560 104 0 0 0 43 36 0 0 20 0 19 0 337696605 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409733855816 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7649/tid=7670] ppid=7647 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7649/task/7670/stat : 7670 (java) S 7647 7649 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337696635 3097006080 414520 33554432000 1073741824 1073778376 140736610711120 140409731724584 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7649 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=459352
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=260656
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.43
CPU time (s): 1800.09
CPU user time (s): 1798.17
CPU system time (s): 1.92
CPU usage (%): 100.315
Max. virtual memory (cumulated for all children) (KiB): 3025052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.46
system time used= 2.26066
maximum resident set size= 1658192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19058
page faults= 3
swaps= 0
block input operations= 312
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38986
involuntary context switches= 20449
runsolver used 6.48201 second user time and 14.6808 second system time
The end