runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688312-1337876768/watcher-3688312-1337876768 -o /tmp/evaluation-result-3688312-1337876768/solver-3688312-1337876768 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688312-1337876768.opb
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: 3.68 3.79 3.74 3/197 25015
/proc/meminfo: memFree=27954408/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25015/stat : 25015 (java) D 25013 25015 23801 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253802421 9515008 183 33554432000 1073741824 1073778376 140734007770384 140734007761416 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2323 183 140 9 0 71 0
[startup+0.0339519 s]
/proc/loadavg: 3.68 3.79 3.74 3/197 25015
/proc/meminfo: memFree=27954408/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 2886 0 1 0 1 1 0 0 20 0 11 0 253802421 9310650368 3586 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2273108 3586 1618 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432
[startup+0.100251 s]
/proc/loadavg: 3.68 3.79 3.74 3/197 25015
/proc/meminfo: memFree=27954408/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 4156 0 1 0 8 1 0 0 20 0 18 0 253802421 9787813888 5361 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2389603 5362 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300221 s]
/proc/loadavg: 3.68 3.79 3.74 3/197 25015
/proc/meminfo: memFree=27954408/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 5271 0 1 0 43 1 0 0 20 0 18 0 253802421 9787813888 8246 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2389603 8246 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700243 s]
/proc/loadavg: 3.68 3.79 3.74 3/197 25015
/proc/meminfo: memFree=27954408/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9558412 CPUtime=1.6 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 15511 0 1 0 155 5 0 0 20 0 18 0 253802421 9787813888 35547 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2389603 35547 2233 9 0 2380296 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9558412
[startup+1.50061 s]
/proc/loadavg: 3.68 3.79 3.74 4/215 25033
/proc/meminfo: memFree=27769172/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 15774 0 1 0 334 7 0 0 20 0 22 0 253802421 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2456167 48549 2267 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2522 0 1 0 108 3 0 0 20 0 22 0 253802422 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) S 25013 25015 23801 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655295695016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) S 25013 25015 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655294642472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) S 25013 25015 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655293589928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) S 25013 25015 23801 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655292537384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) S 25013 25015 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655173368488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) S 25013 25015 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655172315944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) S 25013 25015 23801 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655171263400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) S 25013 25015 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253802423 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655170210856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253802424 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139655158012008 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 5986 0 0 0 74 2 0 0 20 0 22 0 253802427 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 5867 0 0 0 75 0 0 0 20 0 22 0 253802427 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 48549 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 9824668
[startup+3.10074 s]
/proc/loadavg: 3.68 3.79 3.74 5/219 25037
/proc/meminfo: memFree=27732456/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9824668 CPUtime=6.88 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 16185 0 1 0 678 10 0 0 20 0 22 0 253802421 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2456167 57596 2268 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2523 0 1 0 108 3 0 0 20 0 22 0 253802422 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) S 25013 25015 23801 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655295695016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) S 25013 25015 23801 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655294642472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) S 25013 25015 23801 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655293589928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) S 25013 25015 23801 0 -1 4202560 107 0 0 0 4 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655292537384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) S 25013 25015 23801 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655173368488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) S 25013 25015 23801 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655172315944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) S 25013 25015 23801 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655171263400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) S 25013 25015 23801 0 -1 4202560 101 0 0 0 4 0 0 0 20 0 22 0 253802423 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655170210856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253802424 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139655158012008 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 5988 0 0 0 85 2 0 0 20 0 22 0 253802427 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 5867 0 0 0 82 0 0 0 20 0 22 0 253802427 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25034] ppid=25013 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/25015/task/25034/stat : 25034 (java) R 25013 25015 23801 0 -1 4202560 26 0 0 0 185 0 0 0 20 0 22 0 253802539 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654545238392 139655174415092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25035] ppid=25013 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25015/task/25035/stat : 25035 (java) R 25013 25015 23801 0 -1 4202560 68 0 0 0 184 0 0 0 20 0 22 0 253802539 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654544185848 139655174382043 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25036] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25036/stat : 25036 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654543135784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25037] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25037/stat : 25037 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 57596 33554432000 1073741824 1073778376 140734786154928 139654542083240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9824668
[startup+6.30075 s]
/proc/loadavg: 3.70 3.79 3.74 5/219 25037
/proc/meminfo: memFree=27726196/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9824668 CPUtime=13.38 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 16191 0 1 0 1328 10 0 0 20 0 22 0 253802421 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2456167 59375 2268 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2523 0 1 0 108 3 0 0 20 0 22 0 253802422 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) S 25013 25015 23801 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655295695016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) S 25013 25015 23801 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655294642472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) S 25013 25015 23801 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655293589928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) S 25013 25015 23801 0 -1 4202560 107 0 0 0 4 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655292537384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) S 25013 25015 23801 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655173368488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) S 25013 25015 23801 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655172315944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) S 25013 25015 23801 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655171263400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) S 25013 25015 23801 0 -1 4202560 101 0 0 0 4 0 0 0 20 0 22 0 253802423 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655170210856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253802424 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139655158012008 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 5988 0 0 0 87 2 0 0 20 0 22 0 253802427 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 5867 0 0 0 90 0 0 0 20 0 22 0 253802427 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25034] ppid=25013 vsize=9824668 CPUtime=5.04 cores=0,2,4,6
/proc/25015/task/25034/stat : 25034 (java) R 25013 25015 23801 0 -1 4202560 29 0 0 0 504 0 0 0 20 0 22 0 253802539 10060460032 59375 33554432000 1073741824 1073778376 140734786154928 139654545238472 139655174414871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
/proc/25015/statm: 2456167 438422 2284 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2526 0 1 0 110 4 0 0 20 0 22 0 253802422 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) R 25013 25015 23801 0 -1 4202560 995 0 0 0 144 21 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655295695192 139655336675059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) R 25013 25015 23801 0 -1 4202560 676 0 0 0 139 20 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655294642352 139655336675059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=1.6 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) R 25013 25015 23801 0 -1 4202560 850 0 0 0 139 21 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655293590104 139655336675059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=1.51 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) R 25013 25015 23801 0 -1 4202560 640 0 0 0 136 15 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655292537560 139655336675059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) R 25013 25015 23801 0 -1 4202560 661 0 0 0 130 16 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655173368664 139655336675059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) R 25013 25015 23801 0 -1 4202560 776 0 0 0 130 22 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655172315968 139655336675059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) R 25013 25015 23801 0 -1 4202560 777 0 0 0 128 16 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655171263576 139655336675059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=1.52 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) R 25013 25015 23801 0 -1 4202560 815 0 0 0 134 18 0 0 20 0 22 0 253802423 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655170210856 139655336675059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 2168 0 0 0 135 20 0 0 20 0 22 0 253802424 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139655158010888 214373020732 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 6000 0 0 0 118 2 0 0 20 0 22 0 253802427 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 7772 0 0 0 133 1 0 0 20 0 22 0 253802427 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 51 0 0 0 12 12 0 0 20 0 22 0 253802427 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25034] ppid=25013 vsize=9824668 CPUtime=873.47 cores=0,2,4,6
/proc/25015/task/25034/stat : 25034 (java) S 25013 25015 23801 0 -1 4202560 2344 0 0 0 87301 46 0 0 20 0 22 0 253802539 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654545238392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25035] ppid=25013 vsize=9824668 CPUtime=873.5 cores=0,2,4,6
/proc/25015/task/25035/stat : 25035 (java) S 25013 25015 23801 0 -1 4202560 652 0 0 0 87330 20 0 0 20 0 22 0 253802539 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654544186136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25036] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25036/stat : 25036 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654543135784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25037] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25037/stat : 25037 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 438422 33554432000 1073741824 1073778376 140734786154928 139654542083240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.23
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.701 s]
/proc/loadavg: 4.01 4.01 3.91 5/219 25116
/proc/meminfo: memFree=26994760/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 29004 0 1 0 179789 227 0 0 20 0 22 0 253802421 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2456167 445895 2284 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2526 0 1 0 110 4 0 0 20 0 22 0 253802422 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) S 25013 25015 23801 0 -1 4202560 1009 0 0 0 148 22 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655295695016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) S 25013 25015 23801 0 -1 4202560 685 0 0 0 143 21 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655294642472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) S 25013 25015 23801 0 -1 4202560 862 0 0 0 142 21 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655293589928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) S 25013 25015 23801 0 -1 4202560 648 0 0 0 140 15 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655292537384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) S 25013 25015 23801 0 -1 4202560 670 0 0 0 132 17 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655173368488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) S 25013 25015 23801 0 -1 4202560 777 0 0 0 132 22 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655172315944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) S 25013 25015 23801 0 -1 4202560 778 0 0 0 130 16 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655171263400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) S 25013 25015 23801 0 -1 4202560 822 0 0 0 137 18 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655170210856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 2217 0 0 0 135 20 0 0 20 0 22 0 253802424 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655158012008 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 6000 0 0 0 118 2 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 7773 0 0 0 134 2 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 51 0 0 0 13 12 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25034] ppid=25013 vsize=9824668 CPUtime=888.74 cores=0,2,4,6
/proc/25015/task/25034/stat : 25034 (java) R 25013 25015 23801 0 -1 4202560 2346 0 0 0 88827 47 0 0 20 0 22 0 253802539 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654545239120 139655174301248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25035] ppid=25013 vsize=9824668 CPUtime=888.78 cores=0,2,4,6
/proc/25015/task/25035/stat : 25035 (java) R 25013 25015 23801 0 -1 4202560 653 0 0 0 88858 20 0 0 20 0 22 0 253802539 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654544185344 139655174653421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25036] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25036/stat : 25036 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654543135784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25037] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25037/stat : 25037 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654542083240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+897.701 s]
/proc/loadavg: 4.01 4.01 3.91 5/219 25116
/proc/meminfo: memFree=26994760/32873844 swapFree=7616/7616
[pid=25015] ppid=25013 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/25015/stat : 25015 (java) S 25013 25015 23801 0 -1 4202496 29004 0 1 0 179789 227 0 0 20 0 22 0 253802421 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 140734786146064 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25015/statm: 2456167 445895 2284 9 0 2446860 0
[pid=25015/tid=25017] ppid=25013 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/25015/task/25017/stat : 25017 (java) S 25013 25015 23801 0 -1 4202560 2526 0 1 0 110 4 0 0 20 0 22 0 253802422 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655334204408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25018] ppid=25013 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/25015/task/25018/stat : 25018 (java) S 25013 25015 23801 0 -1 4202560 1009 0 0 0 148 22 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655295695016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25019] ppid=25013 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/25015/task/25019/stat : 25019 (java) S 25013 25015 23801 0 -1 4202560 685 0 0 0 143 21 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655294642472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25020] ppid=25013 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/25015/task/25020/stat : 25020 (java) S 25013 25015 23801 0 -1 4202560 862 0 0 0 142 21 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655293589928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25021] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25021/stat : 25021 (java) S 25013 25015 23801 0 -1 4202560 648 0 0 0 140 15 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655292537384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25022] ppid=25013 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/25015/task/25022/stat : 25022 (java) S 25013 25015 23801 0 -1 4202560 670 0 0 0 132 17 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655173368488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25023] ppid=25013 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/25015/task/25023/stat : 25023 (java) S 25013 25015 23801 0 -1 4202560 777 0 0 0 132 22 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655172315944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25024] ppid=25013 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25015/task/25024/stat : 25024 (java) S 25013 25015 23801 0 -1 4202560 778 0 0 0 130 16 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655171263400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25025] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25025/stat : 25025 (java) S 25013 25015 23801 0 -1 4202560 822 0 0 0 137 18 0 0 20 0 22 0 253802423 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655170210856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25015/tid=25026] ppid=25013 vsize=9824668 CPUtime=1.55 cores=0,2,4,6
/proc/25015/task/25026/stat : 25026 (java) S 25013 25015 23801 0 -1 4202560 2217 0 0 0 135 20 0 0 20 0 22 0 253802424 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139655158012008 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25027] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25027/stat : 25027 (java) S 25013 25015 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654552609912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25028] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25028/stat : 25028 (java) S 25013 25015 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253802425 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654551557256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25029] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25029/stat : 25029 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654550506000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25030] ppid=25013 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/25015/task/25030/stat : 25030 (java) S 25013 25015 23801 0 -1 4202560 6000 0 0 0 118 2 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654549453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25031] ppid=25013 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/25015/task/25031/stat : 25031 (java) S 25013 25015 23801 0 -1 4202560 7773 0 0 0 134 2 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654548400824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25032] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25032/stat : 25032 (java) S 25013 25015 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654547348472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25033] ppid=25013 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25015/task/25033/stat : 25033 (java) S 25013 25015 23801 0 -1 4202560 51 0 0 0 13 12 0 0 20 0 22 0 253802427 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654546296136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25015/tid=25034] ppid=25013 vsize=9824668 CPUtime=888.74 cores=0,2,4,6
/proc/25015/task/25034/stat : 25034 (java) R 25013 25015 23801 0 -1 4202560 2346 0 0 0 88827 47 0 0 20 0 22 0 253802539 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654545239120 139655174301248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25015/tid=25035] ppid=25013 vsize=9824668 CPUtime=888.78 cores=0,2,4,6
/proc/25015/task/25035/stat : 25035 (java) R 25013 25015 23801 0 -1 4202560 653 0 0 0 88858 20 0 0 20 0 22 0 253802539 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654544185344 139655174653421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25036] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25036/stat : 25036 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654543135784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25015/tid=25037] ppid=25013 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25015/task/25037/stat : 25037 (java) S 25013 25015 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253802542 10060460032 445895 33554432000 1073741824 1073778376 140734786154928 139654542083240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25015 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=160398
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=752581
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.731
CPU time (s): 1800.16
CPU user time (s): 1797.89
CPU system time (s): 2.27
CPU usage (%): 200.523
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 2.75258
maximum resident set size= 2510288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29034
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31848
involuntary context switches= 37818
runsolver used 3.38149 second user time and 7.55285 second system time
The end