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-4117637-1467213859/watcher-4117637-1467213859 -o /tmp/evaluation-result-4117637-1467213859/solver-4117637-1467213859 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117637-1467213859.opb
pid=6933
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.23 4.11 3.19 4/197 6936
/proc/meminfo: memFree=25599616/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/6936/stat : 6936 (java) D 6933 6936 5962 0 -1 4202496 158 0 0 0 0 0 0 0 20 0 1 0 2337145 278528 33 33554432000 1073741824 1073778376 140736646849584 140736646846760 225435544871 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/6936/statm: 68 33 25 9 0 25 0
[startup+0.100143 s]
/proc/loadavg: 4.23 4.11 3.19 4/197 6936
/proc/meminfo: memFree=25599616/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 3082 0 1 0 2 0 0 0 20 0 13 0 2337145 9446973440 3701 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2306390 3709 1691 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.200308 s]
/proc/loadavg: 4.23 4.11 3.19 4/197 6936
/proc/meminfo: memFree=25599616/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 4528 0 1 0 14 1 0 0 20 0 18 0 2337145 9787879424 6128 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2389619 6128 2169 9 0 2380296 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9558476
[startup+0.30021 s]
/proc/loadavg: 4.23 4.11 3.19 4/197 6936
/proc/meminfo: memFree=25599616/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 6781 0 1 0 38 2 0 0 20 0 22 0 2337145 10060525568 9233 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 9233 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9824732
[startup+0.7002 s]
/proc/loadavg: 4.23 4.11 3.19 4/197 6936
/proc/meminfo: memFree=25599616/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 16539 0 1 0 192 6 0 0 20 0 19 0 2337145 10060525568 19162 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 19162 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 4.23 4.11 3.19 7/219 6961
/proc/meminfo: memFree=25455056/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=4.83 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 24456 0 1 0 474 9 0 0 20 0 22 0 2337145 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 46762 2285 9 0 2446860 0
[pid=6936/tid=6938] ppid=6933 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2419 0 1 0 15 1 0 0 20 0 22 0 2337152 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337154 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504871566312 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6950] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6950/stat : 6950 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504868407952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/6936/task/6951/stat : 6951 (java) R 6933 6936 5962 0 -1 4202560 12610 0 0 0 108 3 0 0 20 0 22 0 2337157 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504867354944 140505121335491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6952] ppid=6933 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/6936/task/6952/stat : 6952 (java) S 6933 6936 5962 0 -1 4202560 7992 0 0 0 115 2 0 0 20 0 22 0 2337157 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504866302264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6953] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6953/stat : 6953 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504865249656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6954] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6954/stat : 6954 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504864197064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6957] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6957/stat : 6957 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337171 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504861037992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6959] ppid=6933 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/6936/task/6959/stat : 6959 (java) R 6933 6936 5962 0 -1 4202560 5 0 0 0 71 0 0 0 20 0 22 0 2337221 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504862089664 140504973379923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 58 0 0 0 69 1 0 0 20 0 22 0 2337221 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504863140984 140504973575843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6961] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6961/stat : 6961 (java) S 6933 6936 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2337221 10060525568 46762 33554432000 1073741824 1073778376 140734855938480 140504859984808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 9824732
[startup+3.101 s]
/proc/loadavg: 4.23 4.11 3.19 5/219 6961
/proc/meminfo: memFree=25397340/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=8.23 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 24730 0 1 0 810 13 0 0 20 0 22 0 2337145 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 72941 2285 9 0 2446860 0
[pid=6936/tid=6938] ppid=6933 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 22 0 2337152 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 2337153 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) S 6933 6936 5962 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 2337154 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504871566312 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6950] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6950/stat : 6950 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504868407952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/6936/task/6951/stat : 6951 (java) S 6933 6936 5962 0 -1 4202560 12714 0 0 0 116 3 0 0 20 0 22 0 2337157 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504867355064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6952] ppid=6933 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/6936/task/6952/stat : 6952 (java) S 6933 6936 5962 0 -1 4202560 7992 0 0 0 118 2 0 0 20 0 22 0 2337157 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504866302264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6953] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6953/stat : 6953 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504865249656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6954] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6954/stat : 6954 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504864197064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6957] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6957/stat : 6957 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337171 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504861037992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6959] ppid=6933 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/6936/task/6959/stat : 6959 (java) R 6933 6936 5962 0 -1 4202560 7 0 0 0 224 0 0 0 20 0 22 0 2337221 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504862089784 140504973395375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 89 0 0 0 222 2 0 0 20 0 22 0 2337221 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504863141216 140504973538896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6961] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6961/stat : 6961 (java) S 6933 6936 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2337221 10060525568 72941 33554432000 1073741824 1073778376 140734855938480 140504859984808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 9824732
[startup+6.30102 s]
/proc/loadavg: 4.29 4.13 3.20 3/193 6971
/proc/meminfo: memFree=27936212/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=14.85 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 25554 0 1 0 1460 25 0 0 20 0 22 0 2337145 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 156166 2285 9 0 2446860 0
[pid=6936/tid=6938] ppid=6933 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 22 0 2337152 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 46 0 0 0 8 2 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 54 0 0 0 6 1 0 0 20 0 22 0 2337153 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) S 6933 6936 5962 0 -1 4202560 452 0 0 0 0 0 0 0 20 0 22 0 2337154 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504871566312 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6950] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6950/stat : 6950 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 156166 33554432000 1073741824 1073778376 140734855938480 140504868407952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
################
# More data... #
################
[pid=6936/tid=6957] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6957/stat : 6957 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337171 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504861037992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6959] ppid=6933 vsize=9824732 CPUtime=820.2 cores=1,3,5,7
/proc/6936/task/6959/stat : 6959 (java) R 6933 6936 5962 0 -1 4202560 52 0 0 0 82005 15 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504862080992 140504973458143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9824732 CPUtime=820.09 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 1141 0 0 0 81957 52 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504863141232 140504973669944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6961] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6961/stat : 6961 (java) S 6933 6936 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504859984808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1647.81
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.12 4.21 3.82 5/219 7125
/proc/meminfo: memFree=23620888/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=1767.83 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 37287 0 1 0 176661 122 0 0 20 0 22 0 2337145 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 714708 2294 9 0 2446860 0
[pid=6936/tid=6938] ppid=6933 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2422 0 1 0 17 2 0 0 20 0 22 0 2337152 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 1667 0 0 0 38 7 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 1236 0 0 0 36 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 1298 0 0 0 27 7 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 1042 0 0 0 29 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 1326 0 0 0 32 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 955 0 0 0 35 8 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 1095 0 0 0 41 10 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 1449 0 0 0 41 9 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) S 6933 6936 5962 0 -1 4202560 1386 0 0 0 31 3 0 0 20 0 22 0 2337154 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504871566312 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6950] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6950/stat : 6950 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504868407952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/6936/task/6951/stat : 6951 (java) S 6933 6936 5962 0 -1 4202560 12849 0 0 0 132 3 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504867355064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6952] ppid=6933 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/6936/task/6952/stat : 6952 (java) S 6933 6936 5962 0 -1 4202560 7992 0 0 0 119 2 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504866302264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6953] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6953/stat : 6953 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504865249656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6954] ppid=6933 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6954/stat : 6954 (java) S 6933 6936 5962 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504864197064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6957] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6957/stat : 6957 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337171 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504861037992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6959] ppid=6933 vsize=9824732 CPUtime=880.21 cores=1,3,5,7
/proc/6936/task/6959/stat : 6959 (java) R 6933 6936 5962 0 -1 4202560 52 0 0 0 88005 16 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504862080992 140504973473634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9824732 CPUtime=880.09 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 1141 0 0 0 87956 53 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504863141232 140504973670022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6961] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6961/stat : 6961 (java) S 6933 6936 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504859984808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1767.83
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.401 s]
/proc/loadavg: 4.17 4.22 3.83 5/219 7125
/proc/meminfo: memFree=23622748/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 37289 0 1 0 179879 122 0 0 20 0 22 0 2337145 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2456183 714708 2294 9 0 2446860 0
[pid=6936/tid=6938] ppid=6933 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2422 0 1 0 17 2 0 0 20 0 22 0 2337152 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 1667 0 0 0 38 7 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 1236 0 0 0 36 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 1298 0 0 0 27 7 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 1042 0 0 0 29 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 1326 0 0 0 32 6 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 955 0 0 0 35 8 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 1095 0 0 0 41 10 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 1449 0 0 0 41 9 0 0 20 0 22 0 2337153 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) S 6933 6936 5962 0 -1 4202560 1386 0 0 0 31 3 0 0 20 0 22 0 2337154 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504871566312 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2337155 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6950] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6950/stat : 6950 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504868407952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/6936/task/6951/stat : 6951 (java) S 6933 6936 5962 0 -1 4202560 12849 0 0 0 132 3 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504867355064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6952] ppid=6933 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/6936/task/6952/stat : 6952 (java) S 6933 6936 5962 0 -1 4202560 7992 0 0 0 119 2 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504866302264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6953] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6953/stat : 6953 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504865249656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6954] ppid=6933 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/6936/task/6954/stat : 6954 (java) S 6933 6936 5962 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 2337157 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504864197064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6957] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6957/stat : 6957 (java) S 6933 6936 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2337171 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504861037992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6959] ppid=6933 vsize=9824732 CPUtime=896.3 cores=1,3,5,7
/proc/6936/task/6959/stat : 6959 (java) R 6933 6936 5962 0 -1 4202560 52 0 0 0 89614 16 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504862080992 140504973458143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9824732 CPUtime=896.18 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 1141 0 0 0 89565 53 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504863141232 140504973669923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6961] ppid=6933 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6961/stat : 6961 (java) S 6933 6936 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2337221 10060525568 714708 33554432000 1073741824 1073778376 140734855938480 140504859984808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 6936 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+898.506 s]
/proc/loadavg: 4.17 4.22 3.83 5/219 7125
/proc/meminfo: memFree=23622748/32872528 swapFree=1499084/1695308
[pid=6936] ppid=6933 vsize=9957860 CPUtime=1800.5 cores=1,3,5,7
/proc/6936/stat : 6936 (java) S 6933 6936 5962 0 -1 4202496 37334 0 1 0 179898 152 0 0 20 0 18 0 2337145 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140734855929616 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6936/statm: 2489465 714737 2302 9 0 2480142 0
[pid=6936/tid=6938] ppid=6933 vsize=9957860 CPUtime=0.19 cores=1,3,5,7
/proc/6936/task/6938/stat : 6938 (java) S 6933 6936 5962 0 -1 4202560 2422 0 1 0 17 2 0 0 20 0 18 0 2337152 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140505115378552 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=9957860 CPUtime=0.45 cores=1,3,5,7
/proc/6936/task/6939/stat : 6939 (java) S 6933 6936 5962 0 -1 4202560 1667 0 0 0 38 7 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140505093479464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6940] ppid=6933 vsize=9957860 CPUtime=0.42 cores=1,3,5,7
/proc/6936/task/6940/stat : 6940 (java) S 6933 6936 5962 0 -1 4202560 1236 0 0 0 36 6 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140505092426664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6941] ppid=6933 vsize=9957860 CPUtime=0.34 cores=1,3,5,7
/proc/6936/task/6941/stat : 6941 (java) S 6933 6936 5962 0 -1 4202560 1298 0 0 0 27 7 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504889027368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6942] ppid=6933 vsize=9957860 CPUtime=0.35 cores=1,3,5,7
/proc/6936/task/6942/stat : 6942 (java) S 6933 6936 5962 0 -1 4202560 1042 0 0 0 29 6 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504887974568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6943] ppid=6933 vsize=9957860 CPUtime=0.38 cores=1,3,5,7
/proc/6936/task/6943/stat : 6943 (java) S 6933 6936 5962 0 -1 4202560 1326 0 0 0 32 6 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504886921768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6944] ppid=6933 vsize=9957860 CPUtime=0.43 cores=1,3,5,7
/proc/6936/task/6944/stat : 6944 (java) S 6933 6936 5962 0 -1 4202560 955 0 0 0 35 8 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504885868968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6945] ppid=6933 vsize=9957860 CPUtime=0.51 cores=1,3,5,7
/proc/6936/task/6945/stat : 6945 (java) S 6933 6936 5962 0 -1 4202560 1095 0 0 0 41 10 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504884816168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6946] ppid=6933 vsize=9957860 CPUtime=0.5 cores=1,3,5,7
/proc/6936/task/6946/stat : 6946 (java) S 6933 6936 5962 0 -1 4202560 1449 0 0 0 41 9 0 0 20 0 18 0 2337153 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504883763368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6947] ppid=6933 vsize=9957860 CPUtime=0.4 cores=1,3,5,7
/proc/6936/task/6947/stat : 6947 (java) R 6933 6936 5962 0 -1 4202560 1387 0 0 0 33 7 0 0 20 0 18 0 2337154 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504871566424 225444662407 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6948] ppid=6933 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6948/stat : 6948 (java) S 6933 6936 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 2337155 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504870512376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6949] ppid=6933 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6949/stat : 6949 (java) S 6933 6936 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 2337155 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504869459464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6936/tid=6951] ppid=6933 vsize=9957860 CPUtime=1.35 cores=1,3,5,7
/proc/6936/task/6951/stat : 6951 (java) S 6933 6936 5962 0 -1 4202560 12851 0 0 0 132 3 0 0 20 0 18 0 2337157 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504867355064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6952] ppid=6933 vsize=9957860 CPUtime=1.23 cores=1,3,5,7
/proc/6936/task/6952/stat : 6952 (java) S 6933 6936 5962 0 -1 4202560 7999 0 0 0 121 2 0 0 20 0 18 0 2337157 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504866276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6936/tid=6953] ppid=6933 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/6936/task/6953/stat : 6953 (java) S 6933 6936 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2337157 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504865249656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6936/tid=6960] ppid=6933 vsize=9957860 CPUtime=896.29 cores=1,3,5,7
/proc/6936/task/6960/stat : 6960 (java) R 6933 6936 5962 0 -1 4202560 1141 0 0 0 89576 53 0 0 20 0 18 0 2337221 10196848640 714737 33554432000 1073741824 1073778376 140734855938480 140504863141232 140504973669944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 9957860
Child status: 143
Real time (s): 898.598
CPU time (s): 1800.87
CPU user time (s): 1798.99
CPU system time (s): 1.88071
CPU usage (%): 200.409
Max. virtual memory (cumulated for all children) (KiB): 9957860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.88071
maximum resident set size= 2950052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37334
page faults= 1
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22126
involuntary context switches= 14895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96409 second user time and 7.36388 second system time
The end