runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10912 MiB free)
memory of node 1: 16384 MiB (15316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396202-1568393383/watcher-4396202-1568393383 -o /tmp/evaluation-result-4396202-1568393383/solver-4396202-1568393383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568389165-4776 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=414350991 HOME/instance-4396202-1568393383.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4801, runsolver pid=4797
[startup+0.100116 s]*
/proc/loadavg: 1.17 1.21 1.56 1/202 4896
/proc/meminfo: memFree=26856144/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=113256 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/4801/stat : 4801 (bash) S 4797 4801 2180 0 -1 4202496 923 11262 1 0 0 0 5 2 20 0 1 0 415595568 115974144 404 33554432000 4194304 5098028 140722024392352 140722024385576 139679847275520 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 1 0 0 7196144 7232144 27713536 140722024395797 140722024395921 140722024395921 140722024398830 0
/proc/4801/statm: 28314 404 320 221 0 119 0
[pid=4891] ppid=4801 vsize=113256 memory=704 CPUtime=0 cores=1,3,5,7
/proc/4891/stat : 4891 (bash) S 4801 4801 2180 0 -1 4202560 153 153 0 0 0 0 0 0 20 0 1 0 415595577 115974144 176 33554432000 4194304 5098028 140722024392352 140722024384248 139679847101052 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27713536 140722024395797 140722024395921 140722024395921 140722024398830 0
/proc/4891/statm: 28314 176 92 221 0 119 0
[pid=4895] ppid=4891 vsize=113256 memory=524 CPUtime=0 cores=1,3,5,7
/proc/4895/stat : 4895 (bash) D 4891 4801 2180 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 1 0 415595577 115974144 131 33554432000 4194304 5098028 140722024392352 140722024384312 139679847102967 0 0 4096 0 18446744071580419588 0 0 17 3 0 0 0 0 0 7196144 7232144 27713536 140722024395797 140722024395921 140722024395921 140722024398830 0
/proc/4895/statm: 28314 131 47 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 339768 KiB
Current children cumulated memory: 2844 KiB
[startup+0.210324 s]*
/proc/loadavg: 1.17 1.21 1.56 4/226 4936
/proc/meminfo: memFree=26821824/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10819664 memory=36068 CPUtime=0.2 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 6863 13298 1 0 11 1 5 3 20 0 15 0 415595568 11079335936 9017 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2704916 9017 3102 1 0 2667149 0
[pid=4801/tid=4909] ppid=4797 vsize=10819664 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 3531 13298 0 0 8 0 5 3 20 0 15 0 415595580 11079335936 9083 33554432000 4194304 4196468 140723352392192 140141095175736 140141123358102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10819664 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079335936 9083 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10819664 memory=140554089255703 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079335936 9083 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079335936 9083 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079335936 9083 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10819664 memory=140554089240192 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595582 11079335936 9083 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 13 13298 0 0 0 0 5 3 20 0 15 0 415595582 11079335936 9149 33554432000 4194304 4196468 140723352392192 140140152349856 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595583 11079335936 9149 33554432000 4194304 4196468 140723352392192 140139883913968 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079335936 9149 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) R 4797 4801 2180 0 -1 1077944384 417 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079335936 9149 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) R 4797 4801 2180 0 -1 4202560 164 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079335936 9149 33554432000 4194304 4196468 140723352392192 140140580686704 140141104703184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10819664 memory=140554089240192 CPUtime=0.09 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) R 4797 4801 2180 0 -1 4202560 596 13298 0 0 1 0 5 3 20 0 15 0 415595585 11079335936 9149 33554432000 4194304 4196468 140723352392192 140140579629592 140141115300376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079335936 9149 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10819664 memory=140554089240192 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595586 11079335936 9149 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 36068 KiB
[startup+0.310843 s]*
/proc/loadavg: 1.17 1.21 1.56 3/226 4936
/proc/meminfo: memFree=26787448/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10820148 memory=50348 CPUtime=0.37 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 10403 13298 1 0 26 3 5 3 20 0 15 0 415595568 11079831552 12587 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2705037 12587 3281 1 0 2667149 0
[pid=4801/tid=4909] ppid=4797 vsize=10820148 memory=7100839852556125036 CPUtime=0.27 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 7132 13298 0 0 17 2 5 3 20 0 15 0 415595580 11079831552 12587 33554432000 4194304 4196468 140723352392192 140141095149232 140141107426654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10820148 memory=140553945735087 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079831552 12587 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10820148 memory=140554089323520 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079831552 12587 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10820148 memory=85700 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595581 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595582 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 13 13298 0 0 0 0 5 3 20 0 15 0 415595582 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140152349856 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595583 11079831552 12587 33554432000 4194304 4196468 140723352392192 140139883913968 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079831552 12587 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 454 13298 0 0 1 0 5 3 20 0 15 0 415595585 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 212 13298 0 0 1 0 5 3 20 0 15 0 415595585 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10820148 memory=140554089240192 CPUtime=0.12 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 618 13298 0 0 4 0 5 3 20 0 15 0 415595585 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11079831552 12587 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10820148 memory=140554089240192 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595586 11079831552 12587 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50348 KiB
[startup+0.700774 s]
/proc/loadavg: 1.24 1.22 1.56 3/226 4936
/proc/meminfo: memFree=26758016/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10822312 memory=80960 CPUtime=1.09 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 14977 13298 1 0 95 6 5 3 20 0 15 0 415595568 11082047488 20240 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2705578 20240 3506 1 0 2667661 0
[pid=4801/tid=4909] ppid=4797 vsize=10822312 memory=2308 CPUtime=0.64 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 10208 13298 0 0 53 3 5 3 20 0 15 0 415595580 11082047488 20240 33554432000 4194304 4196468 140723352392192 140141095177056 140141107426654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10822312 memory=2308 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11082047488 20240 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10822312 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11082047488 20240 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10822312 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595581 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10822312 memory=2420 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595581 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10822312 memory=2420 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 5 13298 0 0 0 0 5 3 20 0 15 0 415595582 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10822312 memory=65344 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 13 13298 0 0 0 0 5 3 20 0 15 0 415595582 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140152349856 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10822312 memory=62264 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595583 11082047488 20240 33554432000 4194304 4196468 140723352392192 140139883913968 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10822312 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11082047488 20240 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10822312 memory=532 CPUtime=0.22 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) R 4797 4801 2180 0 -1 4202560 1068 13298 0 0 14 0 5 3 20 0 15 0 415595585 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140581728240 140141108245533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10822312 memory=1564 CPUtime=0.19 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) R 4797 4801 2180 0 -1 4202560 615 13298 0 0 11 0 5 3 20 0 15 0 415595585 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140580678032 140141106757225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10822312 memory=924 CPUtime=0.24 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 849 13298 0 0 16 0 5 3 20 0 15 0 415595585 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10822312 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11082047488 20240 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10822312 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595586 11082047488 20240 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 80960 KiB
[startup+1.50076 s]
/proc/loadavg: 1.24 1.22 1.56 4/226 4936
/proc/meminfo: memFree=26678892/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10834676 memory=170928 CPUtime=2.41 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 21756 13298 1 0 223 10 5 3 20 0 15 0 415595568 11094708224 42732 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2708669 42732 3577 1 0 2670733 0
[pid=4801/tid=4909] ppid=4797 vsize=10834676 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 15210 13298 0 0 127 5 5 3 20 0 15 0 415595580 11094708224 42732 33554432000 4194304 4196468 140723352392192 140141095152832 140140706140228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10834676 memory=81 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 347 13298 0 0 0 0 5 3 20 0 15 0 415595581 11094708224 42732 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 68 13298 0 0 0 0 5 3 20 0 15 0 415595581 11094708224 42732 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10834676 memory=3041 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 75 13298 0 0 0 0 5 3 20 0 15 0 415595581 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 32 13298 0 0 1 0 5 3 20 0 15 0 415595581 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10834676 memory=281107891257920 CPUtime=0.09 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 129 13298 0 0 1 0 5 3 20 0 15 0 415595582 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10834676 memory=16273 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 13 13298 0 0 0 0 5 3 20 0 15 0 415595582 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140152349920 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 2 13298 0 0 0 0 5 3 20 0 15 0 415595583 11094708224 42732 33554432000 4194304 4196468 140723352392192 140139883913984 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11094708224 42732 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10834676 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 1238 13298 0 0 26 1 5 3 20 0 15 0 415595585 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10834676 memory=33 CPUtime=0.3 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 784 13298 0 0 22 0 5 3 20 0 15 0 415595585 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10834676 memory=9123026954224263383 CPUtime=0.47 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) R 4797 4801 2180 0 -1 4202560 1646 13298 0 0 39 0 5 3 20 0 15 0 415595585 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140579633648 140141115583294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10834676 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11094708224 42732 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10834676 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1 13298 0 0 0 0 5 3 20 0 15 0 415595586 11094708224 42732 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 170928 KiB
[startup+3.11122 s]
/proc/loadavg: 1.24 1.22 1.56 9/226 4936
################
# More data... #
################
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 55252 13298 0 0 236043 38 5 3 20 0 15 0 415595580 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141095182288 140140721200296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10849032 memory=759436 CPUtime=9.89 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 6143 13298 0 0 935 46 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10849032 memory=759436 CPUtime=9.85 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 4641 13298 0 0 928 49 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10849032 memory=281107892004032 CPUtime=9.89 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 10031 13298 0 0 929 52 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10849032 memory=40164 CPUtime=9.86 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 9003 13298 0 0 927 51 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10849032 memory=988 CPUtime=9.11 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 8950 13298 0 0 856 47 5 3 20 0 15 0 415595582 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10849032 memory=916 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 15 13298 0 0 0 0 5 3 20 0 15 0 415595582 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140152349920 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10849032 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 10 13298 0 0 0 0 5 3 20 0 15 0 415595583 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139883913984 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10849032 memory=2308 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10849032 memory=1412 CPUtime=3.87 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 23817 13298 0 0 375 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10849032 memory=3616 CPUtime=3.79 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 24093 13298 0 0 367 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10849032 memory=40164 CPUtime=2.04 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 19839 13298 0 0 192 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10849032 memory=759436 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10849032 memory=3616 CPUtime=1.42 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1520 13298 0 0 64 70 5 3 20 0 15 0 415595586 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 2420 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 759436 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.35 1.34 3/227 5192
/proc/meminfo: memFree=25438800/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10849032 memory=759436 CPUtime=2480.77 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 166089 13298 1 0 247751 318 5 3 20 0 15 0 415595568 11109408768 189859 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2712258 189859 3627 1 0 2674317 0
[pid=4801/tid=4909] ppid=4797 vsize=10849032 memory=759436 CPUtime=2420.37 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 55643 13298 0 0 241990 39 5 3 20 0 15 0 415595580 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141095182240 140140721202201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.15 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 6185 13298 0 0 959 48 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.11 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 4662 13298 0 0 952 51 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.14 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 10058 13298 0 0 953 53 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.12 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 9030 13298 0 0 952 52 5 3 20 0 15 0 415595581 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10849032 memory=759436 CPUtime=9.34 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 8988 13298 0 0 878 48 5 3 20 0 15 0 415595582 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10849032 memory=759436 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 15 13298 0 0 0 0 5 3 20 0 15 0 415595582 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140152349920 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10849032 memory=759436 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 10 13298 0 0 0 0 5 3 20 0 15 0 415595583 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139883913984 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10849032 memory=759436 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10849032 memory=759436 CPUtime=3.87 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 23817 13298 0 0 375 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10849032 memory=1084 CPUtime=3.79 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 24093 13298 0 0 367 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10849032 memory=2832 CPUtime=2.04 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 19839 13298 0 0 192 4 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10849032 memory=759436 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 189859 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10849032 memory=759436 CPUtime=1.45 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1535 13298 0 0 66 71 5 3 20 0 15 0 415595586 11109408768 189859 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 2480.77 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 759436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.11 s]
/proc/loadavg: 1.32 1.32 1.33 3/227 5196
/proc/meminfo: memFree=25434872/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10849032 memory=761484 CPUtime=2520.08 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 167401 13298 1 0 251678 322 5 3 20 0 15 0 415595568 11109408768 190371 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2712258 190371 3627 1 0 2674317 0
[pid=4801/tid=4909] ppid=4797 vsize=10849032 memory=761484 CPUtime=2458.85 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 56092 13298 0 0 245837 40 5 3 20 0 15 0 415595580 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141095181888 140140723113173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.3 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 6204 13298 0 0 974 48 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.28 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 4982 13298 0 0 968 52 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.31 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 10097 13298 0 0 969 54 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.27 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 9045 13298 0 0 967 52 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10849032 memory=761484 CPUtime=9.5 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 9178 13298 0 0 893 49 5 3 20 0 15 0 415595582 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10849032 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 15 13298 0 0 0 0 5 3 20 0 15 0 415595582 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140152349920 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10849032 memory=761484 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 10 13298 0 0 0 0 5 3 20 0 15 0 415595583 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139883913984 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10849032 memory=761484 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10849032 memory=761484 CPUtime=3.87 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 23819 13298 0 0 375 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10849032 memory=761484 CPUtime=3.79 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 24341 13298 0 0 367 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10849032 memory=301741373374332954 CPUtime=2.04 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 19841 13298 0 0 192 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10849032 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10849032 memory=14697383221004701 CPUtime=1.47 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1563 13298 0 0 67 72 5 3 20 0 15 0 415595586 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 761484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.14 s]
# the end of solver process 4801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.86 s, system=3.26383 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.11 s]
/proc/loadavg: 1.32 1.32 1.33 3/227 5196
/proc/meminfo: memFree=25434872/32770624 swapFree=66977616/67108860
[pid=4801] ppid=4797 vsize=10849032 memory=761484 CPUtime=2520.08 cores=1,3,5,7
/proc/4801/stat : 4801 (java) S 4797 4801 2180 0 -1 1077944320 167401 13298 1 0 251678 322 5 3 20 0 15 0 415595568 11109408768 190371 33554432000 4194304 4196468 140723352392192 140723352374736 140141123346167 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
/proc/4801/statm: 2712258 190371 3627 1 0 2674317 0
[pid=4801/tid=4909] ppid=4797 vsize=10849032 memory=761484 CPUtime=2458.85 cores=1,3,5,7
/proc/4801/task/4909/stat : 4909 (java) R 4797 4801 2180 0 -1 4202560 56092 13298 0 0 245837 40 5 3 20 0 15 0 415595580 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141095181888 140140723113173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4914] ppid=4797 vsize=10849032 memory=759436 CPUtime=10.3 cores=1,3,5,7
/proc/4801/task/4914/stat : 4914 (java) S 4797 4801 2180 0 -1 1077944384 6204 13298 0 0 974 48 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141127588880 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4916] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.28 cores=1,3,5,7
/proc/4801/task/4916/stat : 4916 (java) S 4797 4801 2180 0 -1 1077944384 4982 13298 0 0 968 52 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140141026479248 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4917] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.31 cores=1,3,5,7
/proc/4801/task/4917/stat : 4917 (java) S 4797 4801 2180 0 -1 1077944384 10097 13298 0 0 969 54 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140695382800 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4918] ppid=4797 vsize=10849032 memory=761484 CPUtime=10.27 cores=1,3,5,7
/proc/4801/task/4918/stat : 4918 (java) S 4797 4801 2180 0 -1 1077944384 9045 13298 0 0 967 52 5 3 20 0 15 0 415595581 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140694330256 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4920] ppid=4797 vsize=10849032 memory=761484 CPUtime=9.5 cores=1,3,5,7
/proc/4801/task/4920/stat : 4920 (java) S 4797 4801 2180 0 -1 1077944384 9178 13298 0 0 893 49 5 3 20 0 15 0 415595582 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140582791408 140141123357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4922] ppid=4797 vsize=10849032 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4922/stat : 4922 (java) S 4797 4801 2180 0 -1 1077944384 15 13298 0 0 0 0 5 3 20 0 15 0 415595582 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140152349920 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4924] ppid=4797 vsize=10849032 memory=761484 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4924/stat : 4924 (java) S 4797 4801 2180 0 -1 1077944384 10 13298 0 0 0 0 5 3 20 0 15 0 415595583 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139883913984 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4925] ppid=4797 vsize=10849032 memory=761484 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4925/stat : 4925 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139643623376 140141123364763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4926] ppid=4797 vsize=10849032 memory=761484 CPUtime=3.87 cores=1,3,5,7
/proc/4801/task/4926/stat : 4926 (java) S 4797 4801 2180 0 -1 1077944384 23819 13298 0 0 375 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140581739248 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4928] ppid=4797 vsize=10849032 memory=761484 CPUtime=3.79 cores=1,3,5,7
/proc/4801/task/4928/stat : 4928 (java) S 4797 4801 2180 0 -1 1077944384 24341 13298 0 0 367 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140580686704 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4930] ppid=4797 vsize=10849032 memory=301741373374332954 CPUtime=2.04 cores=1,3,5,7
/proc/4801/task/4930/stat : 4930 (java) S 4797 4801 2180 0 -1 1077944384 19841 13298 0 0 192 4 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140579633648 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4933] ppid=4797 vsize=10849032 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/4801/task/4933/stat : 4933 (java) S 4797 4801 2180 0 -1 1077944384 3 13298 0 0 0 0 5 3 20 0 15 0 415595585 11109408768 190371 33554432000 4194304 4196468 140723352392192 140139610065760 140141123356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
[pid=4801/tid=4936] ppid=4797 vsize=10849032 memory=14697383221004701 CPUtime=1.47 cores=1,3,5,7
/proc/4801/task/4936/stat : 4936 (java) S 4797 4801 2180 0 -1 1077944384 1563 13298 0 0 67 72 5 3 20 0 15 0 415595586 11109408768 190371 33554432000 4194304 4196468 140723352392192 140140578581040 140141123357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29503488 140723352394480 140723352396997 140723352396997 140723352399823 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 761484 KiB
Child status: 143
Real time (s): 2481.14
CPU time (s): 2520.12
CPU user time (s): 2516.86
CPU system time (s): 3.26383
CPU usage (%): 101.571
Max. virtual memory (cumulated for all children) (KiB): 10852272
Max. memory (cumulated for all children) (KiB): 761484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.86
system time used= 3.26383
maximum resident set size= 765688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181783
page faults= 1
swaps= 0
block input operations= 48
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253462
involuntary context switches= 8221
# summary of solver processes directly reported to runsolver:
# pid: 4801
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.86
# total CPU system time (s): 3.26383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4316 second user time and 24.7636 second system time
The end