runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4089726-1466032352/watcher-4089726-1466032352 -o /tmp/evaluation-result-4089726-1466032352/solver-4089726-1466032352 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5945 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089726-1466032352.opb
pid=10875
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.29 2.25 2.19 3/194 10878
/proc/meminfo: memFree=30444816/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (java) D 10875 10878 5929 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 5283862 2560000 46 33554432000 1073741824 1073778376 140735143368880 140735143366008 272877317415 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 2.29 2.25 2.19 3/194 10878
/proc/meminfo: memFree=30444816/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 4453 0 1 0 8 1 0 0 20 0 18 0 5283862 9787879424 5584 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2389619 5584 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 2.29 2.25 2.19 3/194 10878
/proc/meminfo: memFree=30444816/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 6858 0 1 0 27 1 0 0 20 0 19 0 5283862 9856040960 7014 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 7014 2220 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040
[startup+0.300226 s]
/proc/loadavg: 2.29 2.25 2.19 3/194 10878
/proc/meminfo: memFree=30444816/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 8305 0 1 0 54 1 0 0 20 0 19 0 5283862 9856040960 7522 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 7522 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040
[startup+0.70016 s]
/proc/loadavg: 2.29 2.25 2.19 3/194 10878
/proc/meminfo: memFree=30444816/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 9111 0 1 0 107 1 0 0 20 0 19 0 5283862 9856040960 8066 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 8066 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.29 2.25 2.19 3/213 10897
/proc/meminfo: memFree=30419016/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=1.92 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 9126 0 1 0 191 1 0 0 20 0 19 0 5283862 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 9102 2248 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2470 0 1 0 146 0 0 0 20 0 19 0 5283863 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117330792744 140117271107899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5283865 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2991 0 0 0 24 0 0 0 20 0 19 0 5283868 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2394 0 0 0 20 0 0 0 20 0 19 0 5283868 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 9102 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.27 2.25 2.19 3/213 10897
/proc/meminfo: memFree=30414428/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 9132 0 1 0 352 2 0 0 20 0 19 0 5283862 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 10130 2248 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2472 0 1 0 306 0 0 0 20 0 19 0 5283863 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117330783952 140117270960018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5283865 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2394 0 0 0 21 0 0 0 20 0 19 0 5283868 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 10130 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 2.27 2.25 2.19 3/213 10897
/proc/meminfo: memFree=30409340/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=6.74 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 9137 0 1 0 672 2 0 0 20 0 19 0 5283862 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 11339 2249 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2475 0 1 0 624 2 0 0 20 0 19 0 5283863 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117330783952 140117271107899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5283864 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5283865 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2395 0 0 0 21 0 0 0 20 0 19 0 5283868 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 11339 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2531 0 0 0 24 0 0 0 20 0 19 0 5283868 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 96 0 0 0 29 29 0 0 20 0 19 0 5283868 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 73803 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1663.37
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/213 11006
/proc/meminfo: memFree=30154048/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=1723.38 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 10575 0 1 0 172297 41 0 0 20 0 19 0 5283862 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 73840 2263 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=1721.99 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2537 0 1 0 172169 30 0 0 20 0 19 0 5283863 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117330783952 140117271107968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 293 0 0 0 10 3 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 124 0 0 0 4 1 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 145 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 183 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 49 0 0 0 5 0 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 115 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 68 0 0 0 4 2 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 121 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 5283865 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2531 0 0 0 24 0 0 0 20 0 19 0 5283868 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 100 0 0 0 30 31 0 0 20 0 19 0 5283868 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 73840 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1723.38
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/213 11007
/proc/meminfo: memFree=30152368/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=1783.39 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 10579 0 1 0 178297 42 0 0 20 0 19 0 5283862 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 74187 2263 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=1781.99 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2537 0 1 0 178168 31 0 0 20 0 19 0 5283863 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117330783952 140117271107899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 293 0 0 0 10 3 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 124 0 0 0 4 1 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 145 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 183 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 49 0 0 0 5 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 115 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 68 0 0 0 4 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 121 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 5283865 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2531 0 0 0 24 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 104 0 0 0 32 32 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799 s]
/proc/loadavg: 2.19 2.21 2.18 3/213 11007
/proc/meminfo: memFree=30152552/32872528 swapFree=1243664/1390832
[pid=10878] ppid=10875 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/10878/stat : 10878 (java) S 10875 10878 5929 0 -1 4202496 10579 0 1 0 179967 42 0 0 20 0 19 0 5283862 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140735143360016 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10878/statm: 2406260 74187 2263 9 0 2396937 0
[pid=10878/tid=10880] ppid=10875 vsize=9625040 CPUtime=1798.69 cores=0,2,4,6
/proc/10878/task/10880/stat : 10880 (java) R 10875 10878 5929 0 -1 4202560 2537 0 1 0 179838 31 0 0 20 0 19 0 5283863 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117330783952 140117270960898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10881] ppid=10875 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/10878/task/10881/stat : 10881 (java) S 10875 10878 5929 0 -1 4202560 293 0 0 0 10 3 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117269522728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10882] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10882/stat : 10882 (java) S 10875 10878 5929 0 -1 4202560 124 0 0 0 4 1 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117173549224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10883] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10883/stat : 10883 (java) S 10875 10878 5929 0 -1 4202560 145 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117172496936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10884] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10884/stat : 10884 (java) S 10875 10878 5929 0 -1 4202560 183 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117171444136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10885] ppid=10875 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/10878/task/10885/stat : 10885 (java) S 10875 10878 5929 0 -1 4202560 49 0 0 0 5 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117170391848 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10886] ppid=10875 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/10878/task/10886/stat : 10886 (java) S 10875 10878 5929 0 -1 4202560 115 0 0 0 6 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117169339048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10878/tid=10887] ppid=10875 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/10878/task/10887/stat : 10887 (java) S 10875 10878 5929 0 -1 4202560 68 0 0 0 4 2 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117168286760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10888] ppid=10875 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/10878/task/10888/stat : 10888 (java) S 10875 10878 5929 0 -1 4202560 121 0 0 0 4 0 0 0 20 0 19 0 5283864 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117167233960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10878/tid=10889] ppid=10875 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10878/task/10889/stat : 10889 (java) S 10875 10878 5929 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 5283865 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117155035368 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10890] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10890/stat : 10890 (java) S 10875 10878 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117153981432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10891] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10891/stat : 10891 (java) S 10875 10878 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5283866 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117152929032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10892] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10892/stat : 10892 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117151877520 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10893] ppid=10875 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10878/task/10893/stat : 10893 (java) S 10875 10878 5929 0 -1 4202560 2995 0 0 0 25 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117150825144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10894] ppid=10875 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10878/task/10894/stat : 10894 (java) S 10875 10878 5929 0 -1 4202560 2531 0 0 0 24 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117149772344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10895] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10895/stat : 10895 (java) S 10875 10878 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117148720248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10878/tid=10896] ppid=10875 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10878/task/10896/stat : 10896 (java) S 10875 10878 5929 0 -1 4202560 104 0 0 0 32 32 0 0 20 0 19 0 5283868 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117147667656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10878/tid=10897] ppid=10875 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10878/task/10897/stat : 10897 (java) S 10875 10878 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5283877 9856040960 74187 33554432000 1073741824 1073778376 140735143368880 140117146563496 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10878 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1799.04
CPU time (s): 1800.69
CPU user time (s): 1799.82
CPU system time (s): 0.871867
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.871867
maximum resident set size= 296912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10627
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38157
involuntary context switches= 10288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3634 second user time and 13.6019 second system time
The end