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-4100762-1466211021/watcher-4100762-1466211021 -o /tmp/evaluation-result-4100762-1466211021/solver-4100762-1466211021 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100762-1466211021.opb
pid=12812
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: 4.24 4.27 4.23 4/198 12815
/proc/meminfo: memFree=26765264/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12815/stat : 12815 (java) D 12812 12815 8337 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23147885 9515008 175 33554432000 1073741824 1073778376 140737462430768 140737462413496 225444709264 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 2323 175 133 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.24 4.27 4.23 4/198 12815
/proc/meminfo: memFree=26765264/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 4373 0 1 0 7 1 0 0 20 0 18 0 23147885 9787879424 5496 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2389619 5496 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200219 s]
/proc/loadavg: 4.24 4.27 4.23 4/198 12815
/proc/meminfo: memFree=26765264/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 4990 0 1 0 25 1 0 0 20 0 18 0 23147885 9787879424 7370 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2389619 7370 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300223 s]
/proc/loadavg: 4.24 4.27 4.23 4/198 12815
/proc/meminfo: memFree=26765264/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 5962 0 1 0 47 1 0 0 20 0 18 0 23147885 9787879424 10385 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2389619 10385 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700186 s]
/proc/loadavg: 4.24 4.27 4.23 4/198 12815
/proc/meminfo: memFree=26765264/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 14494 0 1 0 134 4 0 0 20 0 18 0 23147885 9787879424 43167 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2389619 43167 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9558476
[startup+1.50073 s]
/proc/loadavg: 4.24 4.27 4.23 4/216 12833
/proc/meminfo: memFree=26504372/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 15260 0 1 0 285 16 0 0 20 0 22 0 23147885 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 67304 2273 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2497 0 1 0 113 3 0 0 20 0 22 0 23147887 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 111 0 0 0 3 1 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 140 0 0 0 8 2 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 49 0 0 0 4 1 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 106 0 0 0 3 1 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 22 0 23147888 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23147889 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) R 12812 12815 8337 0 -1 4202560 5516 0 0 0 50 0 0 0 20 0 22 0 23147892 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470064724536 140470252088987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) R 12812 12815 8337 0 -1 4202560 5291 0 0 0 50 0 0 0 20 0 22 0 23147892 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470063671992 140470246683259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 67304 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.24 4.27 4.23 5/220 12837
/proc/meminfo: memFree=26340564/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=7.12 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 16994 0 1 0 687 25 0 0 20 0 22 0 23147885 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 107997 2279 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2497 0 1 0 113 3 0 0 20 0 22 0 23147887 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 34 0 0 0 3 1 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 133 0 0 0 5 3 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 169 0 0 0 13 5 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 64 0 0 0 7 2 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 142 0 0 0 9 3 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 113 0 0 0 3 1 0 0 20 0 22 0 23147888 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23147889 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) S 12812 12815 8337 0 -1 4202560 5554 0 0 0 80 0 0 0 20 0 22 0 23147892 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470064724536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) S 12812 12815 8337 0 -1 4202560 6645 0 0 0 101 2 0 0 20 0 22 0 23147892 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470063671992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12834] ppid=12812 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/12815/task/12834/stat : 12834 (java) R 12812 12815 8337 0 -1 4202560 33 0 0 0 164 0 0 0 20 0 22 0 23148018 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140469052889408 140470077120303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12835] ppid=12812 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/12815/task/12835/stat : 12835 (java) R 12812 12815 8337 0 -1 4202560 68 0 0 0 165 2 0 0 20 0 22 0 23148018 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140469051838568 140470077385030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12836] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12836/stat : 12836 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148030 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140469050786856 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12837] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12837/stat : 12837 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148031 10060525568 107997 33554432000 1073741824 1073778376 140736346988864 140469049734312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.22 4.27 4.22 5/220 12837
/proc/meminfo: memFree=26028992/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=13.93 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 17743 0 1 0 1357 36 0 0 20 0 22 0 23147885 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 176417 2283 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2497 0 1 0 113 3 0 0 20 0 22 0 23147887 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 161 0 0 0 11 4 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 47 0 0 0 7 3 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 199 0 0 0 18 5 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 76 0 0 0 9 2 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 151 0 0 0 12 3 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 73 0 0 0 7 2 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 150 0 0 0 11 3 0 0 20 0 22 0 23147888 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 490 0 0 0 0 0 0 0 20 0 22 0 23147889 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) S 12812 12815 8337 0 -1 4202560 5559 0 0 0 95 0 0 0 20 0 22 0 23147892 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470064724536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) S 12812 12815 8337 0 -1 4202560 6649 0 0 0 113 2 0 0 20 0 22 0 23147892 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470063671992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 176417 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12834] ppid=12812 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.33 4.31 4.27 5/220 13084
/proc/meminfo: memFree=23341880/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=1658.22 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 29321 0 1 0 165595 227 0 0 20 0 22 0 23147885 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 1029559 2292 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2511 0 1 0 115 4 0 0 20 0 22 0 23147887 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=5.74 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 747 0 0 0 554 20 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=5.96 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 716 0 0 0 573 23 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 619 0 0 0 507 21 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=5.51 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 700 0 0 0 529 22 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 646 0 0 0 583 23 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=5.48 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 864 0 0 0 528 20 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=4.9 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 558 0 0 0 474 16 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=6.24 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 659 0 0 0 602 22 0 0 20 0 22 0 23147888 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=9.35 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 3947 0 0 0 925 10 0 0 20 0 22 0 23147889 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) S 12812 12815 8337 0 -1 4202560 7547 0 0 0 134 2 0 0 20 0 22 0 23147892 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470064724536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) S 12812 12815 8337 0 -1 4202560 6667 0 0 0 155 2 0 0 20 0 22 0 23147892 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470063671992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 48 0 0 0 14 14 0 0 20 0 22 0 23147892 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12834] ppid=12812 vsize=9824732 CPUtime=799.79 cores=0,2,4,6
/proc/12815/task/12834/stat : 12834 (java) R 12812 12815 8337 0 -1 4202560 248 0 0 0 79959 20 0 0 20 0 22 0 23148018 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140469052890240 140470077120365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12835] ppid=12812 vsize=9824732 CPUtime=799.78 cores=0,2,4,6
/proc/12815/task/12835/stat : 12835 (java) R 12812 12815 8337 0 -1 4202560 1580 0 0 0 79940 38 0 0 20 0 22 0 23148018 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140469051836864 140470077384763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12836] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12836/stat : 12836 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148030 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140469050786856 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12837] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12837/stat : 12837 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148031 10060525568 1029559 33554432000 1073741824 1073778376 140736346988864 140469049734312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1658.22
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.41 4.34 4.28 5/220 13085
/proc/meminfo: memFree=23397916/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=1779.87 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 29447 0 1 0 177757 230 0 0 20 0 22 0 23147885 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 1043959 2292 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2513 0 1 0 115 5 0 0 20 0 22 0 23147887 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 750 0 0 0 580 20 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=6.25 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 720 0 0 0 602 23 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=5.64 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 627 0 0 0 542 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=5.85 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 719 0 0 0 563 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=6.79 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 661 0 0 0 656 23 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=5.86 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 873 0 0 0 566 20 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 563 0 0 0 512 16 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=6.93 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 708 0 0 0 671 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=9.35 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 3953 0 0 0 925 10 0 0 20 0 22 0 23147889 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) S 12812 12815 8337 0 -1 4202560 7547 0 0 0 134 2 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470064724536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) S 12812 12815 8337 0 -1 4202560 6667 0 0 0 155 2 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470063671992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 52 0 0 0 15 15 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12834] ppid=12812 vsize=9824732 CPUtime=858.94 cores=0,2,4,6
/proc/12815/task/12834/stat : 12834 (java) R 12812 12815 8337 0 -1 4202560 248 0 0 0 85873 21 0 0 20 0 22 0 23148018 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469052890240 140470077119833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12835] ppid=12812 vsize=9824732 CPUtime=858.88 cores=0,2,4,6
/proc/12815/task/12835/stat : 12835 (java) R 12812 12815 8337 0 -1 4202560 1582 0 0 0 85849 39 0 0 20 0 22 0 23148018 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469051836576 140470077139592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12836] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12836/stat : 12836 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148030 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469050786856 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12837] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12837/stat : 12837 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148031 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469049734312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1779.87
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+892.401 s]
/proc/loadavg: 4.35 4.33 4.28 6/220 13085
/proc/meminfo: memFree=23397608/32872528 swapFree=1499884/1696108
[pid=12815] ppid=12812 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/12815/stat : 12815 (java) S 12812 12815 8337 0 -1 4202496 29447 0 1 0 179775 230 0 0 20 0 22 0 23147885 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140736346980000 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12815/statm: 2456183 1043959 2292 9 0 2446860 0
[pid=12815/tid=12817] ppid=12812 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/12815/task/12817/stat : 12817 (java) S 12812 12815 8337 0 -1 4202560 2513 0 1 0 115 5 0 0 20 0 22 0 23147887 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470245114744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12818] ppid=12812 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/12815/task/12818/stat : 12818 (java) S 12812 12815 8337 0 -1 4202560 750 0 0 0 580 20 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470206605480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12819] ppid=12812 vsize=9824732 CPUtime=6.25 cores=0,2,4,6
/proc/12815/task/12819/stat : 12819 (java) S 12812 12815 8337 0 -1 4202560 720 0 0 0 602 23 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470205552936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12820] ppid=12812 vsize=9824732 CPUtime=5.64 cores=0,2,4,6
/proc/12815/task/12820/stat : 12820 (java) S 12812 12815 8337 0 -1 4202560 627 0 0 0 542 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470204500392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12821] ppid=12812 vsize=9824732 CPUtime=5.85 cores=0,2,4,6
/proc/12815/task/12821/stat : 12821 (java) S 12812 12815 8337 0 -1 4202560 719 0 0 0 563 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470203447848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12822] ppid=12812 vsize=9824732 CPUtime=6.79 cores=0,2,4,6
/proc/12815/task/12822/stat : 12822 (java) S 12812 12815 8337 0 -1 4202560 661 0 0 0 656 23 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470202395304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12815/tid=12823] ppid=12812 vsize=9824732 CPUtime=5.86 cores=0,2,4,6
/proc/12815/task/12823/stat : 12823 (java) S 12812 12815 8337 0 -1 4202560 873 0 0 0 566 20 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470201342760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12824] ppid=12812 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/12815/task/12824/stat : 12824 (java) S 12812 12815 8337 0 -1 4202560 563 0 0 0 512 16 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470200290216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12825] ppid=12812 vsize=9824732 CPUtime=6.93 cores=0,2,4,6
/proc/12815/task/12825/stat : 12825 (java) S 12812 12815 8337 0 -1 4202560 708 0 0 0 671 22 0 0 20 0 22 0 23147888 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470199237672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12826] ppid=12812 vsize=9824732 CPUtime=9.35 cores=0,2,4,6
/proc/12815/task/12826/stat : 12826 (java) S 12812 12815 8337 0 -1 4202560 3953 0 0 0 925 10 0 0 20 0 22 0 23147889 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470068934760 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12827] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12827/stat : 12827 (java) S 12812 12815 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470067881080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12828] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12828/stat : 12828 (java) S 12812 12815 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23147890 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470066828424 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12829] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12829/stat : 12829 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470065777168 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12830] ppid=12812 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/12815/task/12830/stat : 12830 (java) S 12812 12815 8337 0 -1 4202560 7547 0 0 0 134 2 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470064724536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12831] ppid=12812 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/12815/task/12831/stat : 12831 (java) S 12812 12815 8337 0 -1 4202560 6667 0 0 0 155 2 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470063671992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12832] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12832/stat : 12832 (java) S 12812 12815 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470062619640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12833] ppid=12812 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/12815/task/12833/stat : 12833 (java) S 12812 12815 8337 0 -1 4202560 52 0 0 0 15 16 0 0 20 0 22 0 23147892 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140470061567304 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12815/tid=12834] ppid=12812 vsize=9824732 CPUtime=869.03 cores=0,2,4,6
/proc/12815/task/12834/stat : 12834 (java) R 12812 12815 8337 0 -1 4202560 248 0 0 0 86882 21 0 0 20 0 22 0 23148018 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469052890240 140470077314325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12835] ppid=12812 vsize=9824732 CPUtime=868.97 cores=0,2,4,6
/proc/12815/task/12835/stat : 12835 (java) R 12812 12815 8337 0 -1 4202560 1582 0 0 0 86858 39 0 0 20 0 22 0 23148018 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469051836576 140470077389454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12815/tid=12836] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12836/stat : 12836 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148030 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469050786856 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12815/tid=12837] ppid=12812 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12815/task/12837/stat : 12837 (java) S 12812 12815 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23148031 10060525568 1043959 33554432000 1073741824 1073778376 140736346988864 140469049734312 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732
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 12815 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 892.468
CPU time (s): 1800.83
CPU user time (s): 1798.02
CPU system time (s): 2.81357
CPU usage (%): 201.781
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.81357
maximum resident set size= 4175964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23610
involuntary context switches= 31382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51386 second user time and 5.43317 second system time
The end