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-3739698-1338729635/watcher-3739698-1338729635 -o /tmp/evaluation-result-3739698-1338729635/solver-3739698-1338729635 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739698-1338729635.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21803/stat : 21803 (java) D 21801 21803 12644 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 339088938 9515008 182 33554432000 1073741824 1073778376 140737263171232 140737263162264 270707539637 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/21803/statm: 2323 182 140 9 0 71 0
[startup+0.0822701 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 3957 0 1 0 4 2 0 0 20 0 18 0 339088938 11864465408 12832 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 12832 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.100207 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 4737 0 1 0 7 2 0 0 20 0 18 0 339088938 11864465408 13589 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 13589 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300171 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 6369 0 1 0 45 3 0 0 20 0 18 0 339088938 11864465408 17350 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 17350 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700189 s]
/proc/loadavg: 3.82 3.88 3.53 3/198 21803
/proc/meminfo: memFree=22630164/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11586392 CPUtime=1.28 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 10177 0 1 0 123 5 0 0 20 0 18 0 339088938 11864465408 50616 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2896598 50616 2245 9 0 2887285 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 11586392
[startup+1.50064 s]
/proc/loadavg: 3.82 3.88 3.53 6/216 21821
/proc/meminfo: memFree=22312244/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=3.63 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 19546 0 1 0 354 9 0 0 20 0 22 0 339088938 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 99873 2261 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339088942 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) R 21801 21803 12644 0 -1 4202560 9130 0 0 0 91 1 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036804700200 140037732613317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=0.81 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) R 21801 21803 12644 0 -1 4202560 6099 0 0 0 80 1 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036803647200 140037732920770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 99873 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 11852648
[startup+3.10082 s]
/proc/loadavg: 3.82 3.88 3.53 5/220 21825
/proc/meminfo: memFree=21998676/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=7.31 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 21546 0 1 0 710 21 0 0 20 0 22 0 339088938 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 277057 2265 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339088942 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10776 0 0 0 113 2 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 6104 0 0 0 106 2 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 34 0 0 0 197 0 0 0 20 0 22 0 339089049 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036800486160 140037560769405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=1.98 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 429 0 0 0 185 13 0 0 20 0 22 0 339089049 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036799433736 140037560822230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 277057 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 11852648
[startup+6.30081 s]
/proc/loadavg: 3.83 3.88 3.53 5/220 21825
/proc/meminfo: memFree=21230876/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=13.77 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 21822 0 1 0 1347 30 0 0 20 0 22 0 339088938 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 354241 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3002 0 1 0 101 6 0 0 20 0 22 0 339088939 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339088941 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 50 0 0 0 18 1 0 0 20 0 22 0 339088942 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10786 0 0 0 123 2 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 6106 0 0 0 115 2 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=4.9 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 37 0 0 0 490 0 0 0 20 0 22 0 339089049 12137111552 354241 33554432000 1073741824 1073778376 140737152689520 140036800487976 140037560815914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=742.7 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1560 0 0 0 74211 59 0 0 20 0 22 0 339089049 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036799433712 140037560782528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 955287 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1514.01
Current children cumulated vsize (KiB) 11852648
[startup+822.301 s]
/proc/loadavg: 3.77 3.79 3.68 5/219 23179
/proc/meminfo: memFree=20165172/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1633.04 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27639 0 1 0 163190 114 0 0 20 0 22 0 339088938 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956365 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3024 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 179 0 0 0 113 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 187 0 0 0 101 5 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 203 0 0 0 111 4 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 214 0 0 0 99 6 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 163 0 0 0 113 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 178 0 0 0 96 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 183 0 0 0 97 4 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 176 0 0 0 92 3 0 0 20 0 22 0 339088941 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=17.46 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 188 0 0 0 1739 7 0 0 20 0 22 0 339088942 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 46 0 0 0 13 20 0 0 20 0 22 0 339088945 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=801.24 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 96 0 0 0 80112 12 0 0 20 0 22 0 339089049 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036800488016 140037560815731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=801.29 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1560 0 0 0 80069 60 0 0 20 0 22 0 339089049 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036799433616 140037560758849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956365 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.04
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.95 3.84 3.71 5/219 23182
/proc/meminfo: memFree=20141656/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1752.34 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27764 0 1 0 175118 116 0 0 20 0 22 0 339088938 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956476 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3026 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 180 0 0 0 119 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 199 0 0 0 110 5 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 218 0 0 0 118 4 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 218 0 0 0 107 6 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 186 0 0 0 124 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 198 0 0 0 109 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 189 0 0 0 105 4 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 206 0 0 0 99 3 0 0 20 0 22 0 339088941 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=18.45 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 192 0 0 0 1837 8 0 0 20 0 22 0 339088942 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 339088945 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=860.05 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 98 0 0 0 85992 13 0 0 20 0 22 0 339089049 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036800488016 140037560822235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=860.08 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1562 0 0 0 85947 61 0 0 20 0 22 0 339089049 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036799433712 140037560822230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956476 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.34
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.201 s]
/proc/loadavg: 3.91 3.83 3.71 5/219 23182
/proc/meminfo: memFree=19915888/32873648 swapFree=6864/6864
[pid=21803] ppid=21801 vsize=11852648 CPUtime=1800.2 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21801 21803 12644 0 -1 4202496 27785 0 1 0 179904 116 0 0 20 0 22 0 339088938 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140737152680656 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21803/statm: 2963162 956494 2290 9 0 2953849 0
[pid=21803/tid=21805] ppid=21801 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21801 21803 12644 0 -1 4202560 3026 0 1 0 103 8 0 0 20 0 22 0 339088939 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037730006168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21806] ppid=21801 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21801 21803 12644 0 -1 4202560 180 0 0 0 120 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037684759208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21807] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21801 21803 12644 0 -1 4202560 201 0 0 0 111 5 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037683706664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21808] ppid=21801 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21801 21803 12644 0 -1 4202560 219 0 0 0 120 4 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037682654120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21809] ppid=21801 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21801 21803 12644 0 -1 4202560 233 0 0 0 110 6 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037681601576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21810] ppid=21801 vsize=11852648 CPUtime=1.28 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21801 21803 12644 0 -1 4202560 186 0 0 0 125 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037680548008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21811] ppid=21801 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21801 21803 12644 0 -1 4202560 198 0 0 0 111 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037679495464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21812] ppid=21801 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21801 21803 12644 0 -1 4202560 189 0 0 0 108 4 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037678442920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21813] ppid=21801 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21801 21803 12644 0 -1 4202560 206 0 0 0 99 3 0 0 20 0 22 0 339088941 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037559675432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21814] ppid=21801 vsize=11852648 CPUtime=18.45 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21801 21803 12644 0 -1 4202560 192 0 0 0 1837 8 0 0 20 0 22 0 339088942 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037547477608 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21815] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21801 21803 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037546423928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21816] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21801 21803 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339088943 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037545371272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21817] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140037544320016 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21803/tid=21818] ppid=21801 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/21803/task/21818/stat : 21818 (java) S 21801 21803 12644 0 -1 4202560 10810 0 0 0 137 2 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036804700216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21819] ppid=21801 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21801 21803 12644 0 -1 4202560 9245 0 0 0 177 2 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036803647672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21820] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21820/stat : 21820 (java) S 21801 21803 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036802595320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21821] ppid=21801 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21801 21803 12644 0 -1 4202560 52 0 0 0 15 22 0 0 20 0 22 0 339088945 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036801542984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21803/tid=21822] ppid=21801 vsize=11852648 CPUtime=883.92 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) R 21801 21803 12644 0 -1 4202560 98 0 0 0 88379 13 0 0 20 0 22 0 339089049 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036800487072 140037560822197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21823] ppid=21801 vsize=11852648 CPUtime=883.95 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) R 21801 21803 12644 0 -1 4202560 1563 0 0 0 88334 61 0 0 20 0 22 0 339089049 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036799433616 140037560782840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21803/tid=21824] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21824/stat : 21824 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036798383656 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21803/tid=21825] ppid=21801 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21825/stat : 21825 (java) S 21801 21803 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339089058 12137111552 956494 33554432000 1073741824 1073778376 140737152689520 140036797331112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 906.253
CPU time (s): 1800.75
CPU user time (s): 1799.11
CPU system time (s): 1.64375
CPU usage (%): 198.703
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.64375
maximum resident set size= 3828152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24275
involuntary context switches= 27762
runsolver used 3.34349 second user time and 8.5317 second system time
The end