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-4109689-1466343630/watcher-4109689-1466343630 -o /tmp/evaluation-result-4109689-1466343630/solver-4109689-1466343630 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466341822-29691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109689-1466343630.wbo
pid=4053
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.27 1.83 3/197 4056
/proc/meminfo: memFree=28405944/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/4056/stat : 4056 (java) R 4053 4056 29675 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 36411949 278528 33 33554432000 1073741824 1073778376 140737121199200 140737121196376 271778409767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 68 33 25 9 0 25 0
[startup+0.100111 s]
/proc/loadavg: 2.24 2.27 1.83 3/197 4056
/proc/meminfo: memFree=28405944/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 4400 0 1 0 8 0 0 0 20 0 18 0 36411949 9787879424 5511 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2389619 5512 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.20029 s]
/proc/loadavg: 2.24 2.27 1.83 3/197 4056
/proc/meminfo: memFree=28405944/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 4703 0 1 0 21 1 0 0 20 0 18 0 36411949 9787879424 6799 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2389619 6799 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300292 s]
/proc/loadavg: 2.24 2.27 1.83 3/197 4056
/proc/meminfo: memFree=28405944/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 5564 0 1 0 44 1 0 0 20 0 18 0 36411949 9787879424 8361 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2389619 8361 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700338 s]
/proc/loadavg: 2.24 2.27 1.83 3/197 4056
/proc/meminfo: memFree=28405944/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 9885 0 1 0 117 4 0 0 20 0 19 0 36411949 10060525568 12575 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 12575 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 2.24 2.27 1.83 3/216 4081
/proc/meminfo: memFree=28344884/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 16506 0 1 0 175 9 0 0 20 0 19 0 36411949 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 19150 2264 9 0 2446860 0
[pid=4056/tid=4058] ppid=4053 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2427 0 1 0 35 0 0 0 20 0 19 0 36411950 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374590681976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7514 0 0 0 57 1 0 0 20 0 19 0 36411956 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 5222 0 0 0 51 2 0 0 20 0 19 0 36411956 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411987 10060525568 19150 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 2.24 2.27 1.83 2/216 4087
/proc/meminfo: memFree=28329424/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 16601 0 1 0 193 11 0 0 20 0 19 0 36411949 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 24335 2264 9 0 2446860 0
[pid=4056/tid=4058] ppid=4053 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2431 0 1 0 36 1 0 0 20 0 19 0 36411950 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374590681976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7517 0 0 0 66 1 0 0 20 0 19 0 36411956 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 5283 0 0 0 55 2 0 0 20 0 19 0 36411956 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411987 10060525568 24335 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=21 pid=1814 uid=0 cmd=
[startup+6.30088 s]
/proc/loadavg: 2.14 2.25 1.82 2/216 4108
/proc/meminfo: memFree=28257808/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 20751 0 1 0 323 19 0 0 20 0 19 0 36411949 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 44902 2282 9 0 2446860 0
[pid=4056/tid=4058] ppid=4053 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2434 0 1 0 37 2 0 0 20 0 19 0 36411950 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374590681976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36411952 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 36411953 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7526 0 0 0 84 1 0 0 20 0 19 0 36411956 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 9292 0 0 0 82 2 0 0 20 0 19 0 36411956 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36411956 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36411987 10060525568 44902 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.42
################
# More data... #
################
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2563 0 1 0 114 32 0 0 20 0 21 0 36411950 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374590682040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 585 0 0 0 453 15 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=4.85 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 612 0 0 0 472 13 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=4.94 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 615 0 0 0 482 12 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=4.74 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 489 0 0 0 461 13 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=4.82 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 676 0 0 0 470 12 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 641 0 0 0 457 11 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=4.75 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 531 0 0 0 464 11 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=5.11 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 588 0 0 0 499 12 0 0 20 0 21 0 36411952 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 2475 0 0 0 424 12 0 0 20 0 21 0 36411953 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7534 0 0 0 110 1 0 0 20 0 21 0 36411956 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 18250 0 0 0 189 4 0 0 20 0 21 0 36411956 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 96 0 0 0 31 31 0 0 20 0 21 0 36411956 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36411987 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4221] ppid=4053 vsize=9824732 CPUtime=1616.19 cores=0,2,4,6
/proc/4056/task/4221/stat : 4221 (java) R 4053 4056 29675 0 -1 4202560 4756 0 0 0 161564 55 0 0 20 0 21 0 36414627 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374204288832 140374446782879 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4222] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4222/stat : 4222 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36414629 10060525568 699886 33554432000 1073741824 1073778376 140733766803808 140374203237672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1680.37
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.26 2.19 2.10 3/217 4688
/proc/meminfo: memFree=23949984/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=1741.34 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 42830 0 1 0 173848 286 0 0 20 0 21 0 36411949 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 704467 2295 9 0 2446860 0
[pid=4056/tid=4058] ppid=4053 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2570 0 1 0 116 33 0 0 20 0 21 0 36411950 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374590682040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=4.85 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 586 0 0 0 470 15 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=4.99 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 618 0 0 0 486 13 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=5.09 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 621 0 0 0 496 13 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 497 0 0 0 483 13 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 683 0 0 0 484 12 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=4.81 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 647 0 0 0 470 11 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=4.89 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 539 0 0 0 477 12 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=5.29 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 593 0 0 0 517 12 0 0 20 0 21 0 36411952 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 2479 0 0 0 424 13 0 0 20 0 21 0 36411953 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7534 0 0 0 110 1 0 0 20 0 21 0 36411956 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 18250 0 0 0 189 4 0 0 20 0 21 0 36411956 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 98 0 0 0 32 33 0 0 20 0 21 0 36411956 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36411987 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4221] ppid=4053 vsize=9824732 CPUtime=1675.7 cores=0,2,4,6
/proc/4056/task/4221/stat : 4221 (java) R 4053 4056 29675 0 -1 4202560 4758 0 0 0 167514 56 0 0 20 0 21 0 36414627 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374204288528 140374446771919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4222] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4222/stat : 4222 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36414629 10060525568 704467 33554432000 1073741824 1073778376 140733766803808 140374203237672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1741.34
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780 s]
/proc/loadavg: 2.22 2.19 2.10 4/218 4692
/proc/meminfo: memFree=23851772/32872528 swapFree=1103996/1183712
[pid=4056] ppid=4053 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6
/proc/4056/stat : 4056 (java) S 4053 4056 29675 0 -1 4202496 42868 0 1 0 179713 288 0 0 20 0 21 0 36411949 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140733766794944 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4056/statm: 2456183 703160 2295 9 0 2446860 0
[pid=4056/tid=4058] ppid=4053 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/4056/task/4058/stat : 4058 (java) S 4053 4056 29675 0 -1 4202560 2576 0 1 0 117 35 0 0 20 0 21 0 36411950 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374590682040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4059] ppid=4053 vsize=9824732 CPUtime=5.01 cores=0,2,4,6
/proc/4056/task/4059/stat : 4059 (java) S 4053 4056 29675 0 -1 4202560 589 0 0 0 486 15 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374568782888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4060] ppid=4053 vsize=9824732 CPUtime=5.18 cores=0,2,4,6
/proc/4056/task/4060/stat : 4060 (java) S 4053 4056 29675 0 -1 4202560 621 0 0 0 505 13 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374567730088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4061] ppid=4053 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/4056/task/4061/stat : 4061 (java) S 4053 4056 29675 0 -1 4202560 624 0 0 0 515 13 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374566677288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4062] ppid=4053 vsize=9824732 CPUtime=5.13 cores=0,2,4,6
/proc/4056/task/4062/stat : 4062 (java) S 4053 4056 29675 0 -1 4202560 500 0 0 0 500 13 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374565624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4063] ppid=4053 vsize=9824732 CPUtime=5.12 cores=0,2,4,6
/proc/4056/task/4063/stat : 4063 (java) S 4053 4056 29675 0 -1 4202560 685 0 0 0 499 13 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374228068904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4064] ppid=4053 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/4056/task/4064/stat : 4064 (java) S 4053 4056 29675 0 -1 4202560 649 0 0 0 487 11 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374227016104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4065] ppid=4053 vsize=9824732 CPUtime=5.03 cores=0,2,4,6
/proc/4056/task/4065/stat : 4065 (java) S 4053 4056 29675 0 -1 4202560 542 0 0 0 491 12 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374225963304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4066] ppid=4053 vsize=9824732 CPUtime=5.41 cores=0,2,4,6
/proc/4056/task/4066/stat : 4066 (java) S 4053 4056 29675 0 -1 4202560 594 0 0 0 528 13 0 0 20 0 21 0 36411952 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374224910504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4067] ppid=4053 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/4056/task/4067/stat : 4067 (java) S 4053 4056 29675 0 -1 4202560 2483 0 0 0 424 13 0 0 20 0 21 0 36411953 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374212713448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4068] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4068/stat : 4068 (java) S 4053 4056 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374211659512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4069] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4069/stat : 4069 (java) S 4053 4056 29675 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 21 0 36411953 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374210606600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4070] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4070/stat : 4070 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374209555088 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4056/tid=4071] ppid=4053 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/4056/task/4071/stat : 4071 (java) S 4053 4056 29675 0 -1 4202560 7534 0 0 0 110 1 0 0 20 0 21 0 36411956 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374208502200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4056/tid=4072] ppid=4053 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/4056/task/4072/stat : 4072 (java) S 4053 4056 29675 0 -1 4202560 18250 0 0 0 189 4 0 0 20 0 21 0 36411956 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374207449400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4073] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4073/stat : 4073 (java) S 4053 4056 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36411956 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374206396792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4056/tid=4074] ppid=4053 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/4056/task/4074/stat : 4074 (java) S 4053 4056 29675 0 -1 4202560 102 0 0 0 34 33 0 0 20 0 21 0 36411956 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374205344200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4078] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4078/stat : 4078 (java) S 4053 4056 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36411987 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374201132328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4221] ppid=4053 vsize=9824732 CPUtime=1732.89 cores=0,2,4,6
/proc/4056/task/4221/stat : 4221 (java) R 4053 4056 29675 0 -1 4202560 4762 0 0 0 173232 57 0 0 20 0 21 0 36414627 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374204288832 140374446987538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4056/tid=4222] ppid=4053 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/4056/task/4222/stat : 4222 (java) S 4053 4056 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36414629 10060525568 703160 33554432000 1073741824 1073778376 140733766803808 140374203237672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 4056 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4056 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=839446
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=440476
# CPU time returned by wait4() is 1796.28
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1780.05
CPU time (s): 1800.01
CPU user time (s): 1797.13
CPU system time (s): 2.88
CPU usage (%): 101.121
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.84
system time used= 3.44048
maximum resident set size= 2821460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42899
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85857
involuntary context switches= 77964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7544 second user time and 14.4608 second system time
The end