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 (8570 MiB free)
memory of node 1: 16384 MiB (12288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292821-1532294157/watcher-4292821-1532294157 -o /tmp/evaluation-result-4292821-1532294157/solver-4292821-1532294157 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1065398819 -superng HOME/instance-4292821-1532294157.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=6768, runsolver pid=6764
[startup+0.100162 s]*
/proc/loadavg: 0.85 0.80 1.20 3/212 6845
/proc/meminfo: memFree=21331100/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/6768/stat : 6768 (bash) S 6764 6768 6708 0 -1 4202496 881 5673 0 1 0 0 0 1 20 0 1 0 46978917 115974144 403 33554432000 4194304 5098028 140728186988832 140728186982840 140008136768512 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 29827072 140728186991765 140728186991912 140728186991912 140728186994670 0
/proc/6768/statm: 28314 403 319 221 0 119 0
[pid=6825] ppid=6768 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/6825/stat : 6825 (bash) S 6768 6768 6708 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 46978922 115974144 179 33554432000 4194304 5098028 140728186988832 140728186981512 140008136594044 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29827072 140728186991765 140728186991912 140728186991912 140728186994670 0
/proc/6825/statm: 28314 179 95 221 0 119 0
[pid=6828] ppid=6825 vsize=10659708 memory=25380 CPUtime=0.05 cores=1,3,5,7
/proc/6828/stat : 6828 (java) S 6825 6768 6708 0 -1 1077944320 4655 0 0 0 4 1 0 0 20 0 15 0 46978922 10915540992 6345 33554432000 4194304 4196468 140727651509408 140727651491952 140172121153271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12374016 140727651513635 140727651513649 140727651513649 140727651516367 0
/proc/6828/statm: 2664927 6345 2625 1 0 2627468 0
[pid=6828/tid=6834] ppid=6825 vsize=0 memory=-8412660965432852124 CPUtime=0 cores=1,3,5,7
/proc/6828/task/6834/stat : 6834 (java) R 6825 6768 6708 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 46978923 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=6829] ppid=6825 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/6829/stat : 6829 (awk) S 6825 6768 6708 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 46978922 116215808 308 33554432000 4194304 4609284 140729492583120 140729492582296 140421420112896 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 31883264 140729492587859 140729492587889 140729492587889 140729492590575 0
/proc/6829/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 28940 KiB
[startup+0.210616 s]*
/proc/loadavg: 0.85 0.80 1.20 7/218 6903
/proc/meminfo: memFree=21314780/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10818856 memory=37256 CPUtime=0.22 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 6505 13047 0 1 13 1 5 3 20 0 15 0 46978917 11078508544 9314 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2704714 9314 2961 1 0 2667149 0
[pid=6768/tid=6877] ppid=6764 vsize=10818856 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 3075 13047 0 1 8 1 5 3 20 0 15 0 46978929 11078508544 9314 33554432000 4194304 4196468 140736723694720 140199443186080 140199455434078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10818856 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11078508544 9314 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10818856 memory=140350605210101 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11078508544 9314 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11078508544 9314 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 2 13047 0 1 0 0 5 3 20 0 15 0 46978930 11078508544 9314 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10818856 memory=140350605203072 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 2 13047 0 1 0 0 5 3 20 0 15 0 46978932 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 33 13047 0 1 0 0 5 3 20 0 15 0 46978932 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198929835040 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198335734640 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 536 13047 0 1 1 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 58 13047 0 1 0 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10818856 memory=140350605203072 CPUtime=0.11 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 606 13047 0 1 3 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10818856 memory=140350605203072 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978935 11078508544 9314 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 37256 KiB
[startup+0.310823 s]*
/proc/loadavg: 0.85 0.80 1.20 4/218 6903
/proc/meminfo: memFree=21283496/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10819384 memory=48304 CPUtime=0.35 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 9639 13047 0 1 25 2 5 3 20 0 15 0 46978917 11079049216 12076 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2704838 12076 3092 1 0 2667149 0
[pid=6768/tid=6877] ppid=6764 vsize=10819352 memory=4427769280818027911 CPUtime=0.26 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 6158 13047 0 1 17 1 5 3 20 0 15 0 46978929 11079016448 12076 33554432000 4194304 4196468 140736723694720 140199443164144 140199471375517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10819352 memory=3691042058319900680 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 12076 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10819352 memory=140350605203072 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 12076 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10819352 memory=140350471659440 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 12076 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 2 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 12076 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10819352 memory=140350605203072 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 2 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10819352 memory=140350471668623 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 33 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198929835040 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198335734640 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 541 13047 0 1 2 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 60 13047 0 1 1 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10819352 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 646 13047 0 1 4 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10819352 memory=140350605203072 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 12076 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10819384 KiB
Current children cumulated memory: 48304 KiB
[startup+0.70069 s]
/proc/loadavg: 0.85 0.80 1.20 4/218 6903
/proc/meminfo: memFree=21256700/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10819352 memory=86164 CPUtime=0.96 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 16688 13047 0 1 84 4 5 3 20 0 15 0 46978917 11079016448 21541 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2704838 21541 3246 1 0 2667149 0
[pid=6768/tid=6877] ppid=6764 vsize=10819352 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 12140 13047 0 1 53 2 5 3 20 0 15 0 46978929 11079016448 21541 33554432000 4194304 4196468 140736723694720 140199443176528 140199471367478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 21541 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 21541 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10819352 memory=6756 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 21541 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10819352 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 2 13047 0 1 0 0 5 3 20 0 15 0 46978930 11079016448 21541 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10819352 memory=11684 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 5 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10819352 memory=1700 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 33 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198929835040 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10819352 memory=1800 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198335734640 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10819352 memory=920 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10819352 memory=3800 CPUtime=0.15 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 799 13047 0 1 7 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10819352 memory=2300 CPUtime=0.17 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 707 13047 0 1 9 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10819352 memory=2300 CPUtime=0.21 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 800 13047 0 1 13 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10819352 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10819352 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978935 11079016448 21541 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86164 KiB
[startup+1.50076 s]
/proc/loadavg: 0.85 0.80 1.20 3/218 6903
/proc/meminfo: memFree=21169988/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10834252 memory=177712 CPUtime=2.23 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 24130 13047 0 1 206 9 5 3 20 0 15 0 46978917 11094274048 44428 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2708563 44428 3466 1 0 2670221 0
[pid=6768/tid=6877] ppid=6764 vsize=10834252 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 17598 13047 0 1 127 4 5 3 20 0 15 0 46978929 11094274048 44428 33554432000 4194304 4196468 140736723694720 140199443179536 140199457033744 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10834252 memory=4872558142750483265 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 28 13047 0 1 1 0 5 3 20 0 15 0 46978930 11094274048 44428 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10834252 memory=4872558142750483777 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 53 13047 0 1 1 0 5 3 20 0 15 0 46978930 11094274048 44428 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10834252 memory=140350605213089 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 199 13047 0 1 1 0 5 3 20 0 15 0 46978930 11094274048 44428 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10834252 memory=140350605210881 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 38 13047 0 1 0 0 5 3 20 0 15 0 46978930 11094274048 44428 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10834252 memory=5787213848606435153 CPUtime=0.09 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 309 13047 0 1 1 0 5 3 20 0 15 0 46978932 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10834252 memory=5787217125581284434 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 34 13047 0 1 0 0 5 3 20 0 15 0 46978932 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198929835104 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10834252 memory=57 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198335734640 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10834252 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 913 13047 0 1 18 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10834252 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 1167 13047 0 1 22 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10834252 memory=2209 CPUtime=0.38 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 1592 13047 0 1 30 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10834252 memory=11204 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978935 11094274048 44428 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 2.23 s
################
# More data... #
################
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 70517 13047 0 1 237403 22 5 3 20 0 15 0 46978929 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199443187248 140199082937755 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10914144 memory=8112282956445269571 CPUtime=3.87 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 8393 13047 0 1 357 22 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10914144 memory=288230583166042426 CPUtime=3.87 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 6331 13047 0 1 355 24 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10914144 memory=14413717810973266 CPUtime=3.89 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 9883 13047 0 1 358 23 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10914144 memory=1960 CPUtime=3.89 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 11950 13047 0 1 356 25 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10914144 memory=5380 CPUtime=3.3 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 9977 13047 0 1 303 19 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 38 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198929835168 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10914144 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198335734656 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10914144 memory=11964 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10914144 memory=1708 CPUtime=4.21 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 22656 13047 0 1 409 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10914144 memory=8384 CPUtime=3.06 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 12685 13047 0 1 294 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10914144 memory=1012 CPUtime=1.7 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 20932 13047 0 1 158 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10914144 memory=1444 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10914144 memory=1200 CPUtime=1.29 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 819 13047 0 1 51 70 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 2402.8 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 473136 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.40 1.39 3/215 6991
/proc/meminfo: memFree=20431748/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10914144 memory=473136 CPUtime=2463.08 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 177080 13047 0 1 246114 186 5 3 20 0 15 0 46978917 11176083456 118284 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2728536 118284 3525 1 0 2690189 0
[pid=6768/tid=6877] ppid=6764 vsize=10914144 memory=291045332933148986 CPUtime=2434.13 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 70846 13047 0 1 243383 22 5 3 20 0 15 0 46978929 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199443188000 140199082937654 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10914144 memory=14413717810973266 CPUtime=3.96 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 8404 13047 0 1 366 22 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10914144 memory=4426639978525455914 CPUtime=3.96 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 6345 13047 0 1 364 24 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10914144 memory=3047711553219693942 CPUtime=3.98 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 9990 13047 0 1 367 23 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10914144 memory=4572164749098055210 CPUtime=3.98 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 11976 13047 0 1 365 25 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10914144 memory=8328453600958622283 CPUtime=3.38 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 10167 13047 0 1 311 19 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10914144 memory=-8412652160765825907 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 38 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198929835168 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10914144 memory=-8634980985311628903 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198335734656 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10914144 memory=7100839878645619564 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10914144 memory=7897517683652307531 CPUtime=4.21 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 22658 13047 0 1 409 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10914144 memory=8514726395715349656 CPUtime=3.06 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 12687 13047 0 1 294 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10914144 memory=3047711553320166262 CPUtime=1.7 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 20934 13047 0 1 158 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10914144 memory=8514701219730523551 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10914144 memory=474476 CPUtime=1.32 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 837 13047 0 1 53 71 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 2463.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 473136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499 s]
/proc/loadavg: 1.48 1.41 1.40 5/215 7120
/proc/meminfo: memFree=20719000/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10914144 memory=473136 CPUtime=2520.05 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 178070 13047 0 1 251807 190 5 3 20 0 15 0 46978917 11176083456 118284 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2728536 118284 3525 1 0 2690189 0
[pid=6768/tid=6877] ppid=6764 vsize=10914144 memory=473136 CPUtime=2490.63 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 71213 13047 0 1 249033 22 5 3 20 0 15 0 46978929 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199443187248 140199079634420 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.05 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 8416 13047 0 1 375 22 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.05 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 6411 13047 0 1 372 25 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.07 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 10293 13047 0 1 376 23 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.07 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 11999 13047 0 1 373 26 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10914144 memory=473136 CPUtime=3.45 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 10372 13047 0 1 317 20 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 38 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198929835168 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198335734656 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.21 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 22660 13047 0 1 409 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10914144 memory=16436 CPUtime=3.06 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 12689 13047 0 1 294 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10914144 memory=4048 CPUtime=1.7 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 20936 13047 0 1 158 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10914144 memory=473136 CPUtime=1.35 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 845 13047 0 1 54 73 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 473136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.02 s]
# the end of solver process 6768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.14 s, system=1.94366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499 s]
/proc/loadavg: 1.48 1.41 1.40 5/215 7120
/proc/meminfo: memFree=20719000/32770624 swapFree=67108860/67108860
[pid=6768] ppid=6764 vsize=10914144 memory=473136 CPUtime=2520.05 cores=1,3,5,7
/proc/6768/stat : 6768 (java) S 6764 6768 6708 0 -1 1077944320 178070 13047 0 1 251807 190 5 3 20 0 15 0 46978917 11176083456 118284 33554432000 4194304 4196468 140736723694720 140736723677264 140199471353591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
/proc/6768/statm: 2728536 118284 3525 1 0 2690189 0
[pid=6768/tid=6877] ppid=6764 vsize=10914144 memory=473136 CPUtime=2490.63 cores=1,3,5,7
/proc/6768/task/6877/stat : 6877 (java) R 6764 6768 6708 0 -1 4202560 71213 13047 0 1 249033 22 5 3 20 0 15 0 46978929 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199443187248 140199079634420 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6878] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.05 cores=1,3,5,7
/proc/6768/task/6878/stat : 6878 (java) S 6764 6768 6708 0 -1 1077944384 8416 13047 0 1 375 22 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199475596432 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6879] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.05 cores=1,3,5,7
/proc/6768/task/6879/stat : 6879 (java) S 6764 6768 6708 0 -1 1077944384 6411 13047 0 1 372 25 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199044942864 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6880] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.07 cores=1,3,5,7
/proc/6768/task/6880/stat : 6880 (java) S 6764 6768 6708 0 -1 1077944384 10293 13047 0 1 376 23 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199043890064 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6881] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.07 cores=1,3,5,7
/proc/6768/task/6881/stat : 6881 (java) S 6764 6768 6708 0 -1 1077944384 11999 13047 0 1 373 26 5 3 20 0 15 0 46978930 11176083456 118284 33554432000 4194304 4196468 140736723694720 140199042837264 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6886] ppid=6764 vsize=10914144 memory=473136 CPUtime=3.45 cores=1,3,5,7
/proc/6768/task/6886/stat : 6886 (java) S 6764 6768 6708 0 -1 1077944384 10372 13047 0 1 317 20 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198930889072 140199471364738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6888] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6888/stat : 6888 (java) S 6764 6768 6708 0 -1 1077944384 38 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198929835168 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6890] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6890/stat : 6890 (java) S 6764 6768 6708 0 -1 1077944384 1 13047 0 1 0 0 5 3 20 0 15 0 46978932 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198335734656 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6892] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6892/stat : 6892 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198028334928 140199471372187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6893] ppid=6764 vsize=10914144 memory=473136 CPUtime=4.21 cores=1,3,5,7
/proc/6768/task/6893/stat : 6893 (java) S 6764 6768 6708 0 -1 1077944384 22660 13047 0 1 409 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198896278384 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6894] ppid=6764 vsize=10914144 memory=16436 CPUtime=3.06 cores=1,3,5,7
/proc/6768/task/6894/stat : 6894 (java) S 6764 6768 6708 0 -1 1077944384 12689 13047 0 1 294 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198895225584 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6895] ppid=6764 vsize=10914144 memory=4048 CPUtime=1.7 cores=1,3,5,7
/proc/6768/task/6895/stat : 6895 (java) S 6764 6768 6708 0 -1 1077944384 20936 13047 0 1 158 4 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198894172784 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6900] ppid=6764 vsize=10914144 memory=473136 CPUtime=0.08 cores=1,3,5,7
/proc/6768/task/6900/stat : 6900 (java) S 6764 6768 6708 0 -1 1077944384 3 13047 0 1 0 0 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140197994777312 140199471363797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
[pid=6768/tid=6902] ppid=6764 vsize=10914144 memory=473136 CPUtime=1.35 cores=1,3,5,7
/proc/6768/task/6902/stat : 6902 (java) S 6764 6768 6708 0 -1 1077944384 845 13047 0 1 54 73 5 3 20 0 15 0 46978935 11176083456 118284 33554432000 4194304 4196468 140736723694720 140198893120176 140199471364738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140736723699883 140736723703132 140736723703132 140736723705807 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 473136 KiB
Child status: 143
Real time (s): 2499.02
CPU time (s): 2520.08
CPU user time (s): 2518.14
CPU system time (s): 1.94366
CPU usage (%): 100.843
Max. virtual memory (cumulated for all children) (KiB): 10999712
Max. memory (cumulated for all children) (KiB): 707496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.14
system time used= 1.94366
maximum resident set size= 709328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191994
page faults= 1
swaps= 0
block input operations= 2032
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129769
involuntary context switches= 3757
# summary of solver processes directly reported to runsolver:
# pid: 6768
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.14
# total CPU system time (s): 1.94366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4912 second user time and 25.0994 second system time
The end