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-3688762-1337879569/watcher-3688762-1337879569 -o /tmp/evaluation-result-3688762-1337879569/solver-3688762-1337879569 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688762-1337879569.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.91 3.95 3.86 4/197 25087
/proc/meminfo: memFree=26702556/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25087/stat : 25087 (java) D 25085 25087 22184 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 254082857 9515008 184 33554432000 1073741824 1073778376 140733714106336 140733714097560 226084154807 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25087/statm: 2323 184 142 9 0 71 0
[startup+0.091472 s]
/proc/loadavg: 3.91 3.95 3.86 4/197 25087
/proc/meminfo: memFree=26702556/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 4276 0 1 0 8 0 0 0 20 0 18 0 254082857 9787813888 5466 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2389603 5466 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100241 s]
/proc/loadavg: 3.91 3.95 3.86 4/197 25087
/proc/meminfo: memFree=26702556/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 4354 0 1 0 9 0 0 0 20 0 18 0 254082857 9787813888 5544 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2389603 5545 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300174 s]
/proc/loadavg: 3.91 3.95 3.86 4/197 25087
/proc/meminfo: memFree=26702556/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 5749 0 1 0 46 1 0 0 20 0 18 0 254082857 9787813888 8652 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2389603 8652 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700192 s]
/proc/loadavg: 3.91 3.95 3.86 4/197 25087
/proc/meminfo: memFree=26702556/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9558412 CPUtime=1.57 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 24398 0 1 0 152 5 0 0 20 0 18 0 254082857 9787813888 39257 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2389603 39289 2243 9 0 2380296 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9558412
[startup+1.50064 s]
/proc/loadavg: 3.91 3.95 3.86 11/215 25105
/proc/meminfo: memFree=26454992/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=3.99 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 28368 0 1 0 381 18 0 0 20 0 22 0 254082857 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 107628 2266 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2595 0 1 0 111 5 0 0 20 0 22 0 254082858 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 79 0 0 0 7 2 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 114 0 0 0 3 2 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 114 0 0 0 5 2 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 153 0 0 0 4 1 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 132 0 0 0 6 2 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 22 0 254082859 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254082860 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) R 25085 25087 22184 0 -1 4202560 9832 0 0 0 92 2 0 0 20 0 22 0 254082863 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949792356496 139949974430752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) R 25085 25087 22184 0 -1 4202560 13744 0 0 0 96 3 0 0 20 0 22 0 254082863 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949791307688 139949975246942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 107628 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9824668
[startup+3.10073 s]
/proc/loadavg: 3.91 3.95 3.86 3/216 25109
/proc/meminfo: memFree=26280208/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=7.13 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 28579 0 1 0 687 26 0 0 20 0 19 0 254082857 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 149720 2271 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2595 0 1 0 112 5 0 0 20 0 19 0 254082858 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 79 0 0 0 7 2 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 114 0 0 0 3 2 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 114 0 0 0 5 2 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 153 0 0 0 4 1 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 132 0 0 0 6 2 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 19 0 254082859 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 254082860 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254082861 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254082861 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) S 25085 25087 22184 0 -1 4202560 9837 0 0 0 127 2 0 0 20 0 19 0 254082863 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949792369208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) S 25085 25087 22184 0 -1 4202560 13860 0 0 0 128 3 0 0 20 0 19 0 254082863 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949791316664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25109] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25109/stat : 25109 (java) S 25085 25087 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254082996 10060460032 149720 33554432000 1073741824 1073778376 140734164300400 139949784999080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9824668
[startup+6.30063 s]
/proc/loadavg: 3.91 3.95 3.86 5/219 25124
/proc/meminfo: memFree=26061132/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=10.96 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 29146 0 1 0 1059 37 0 0 20 0 19 0 254082857 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 165411 2276 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2596 0 1 0 113 5 0 0 20 0 19 0 254082858 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 57 0 0 0 5 2 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 84 0 0 0 9 2 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 126 0 0 0 5 3 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 121 0 0 0 7 2 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 160 0 0 0 5 2 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 136 0 0 0 7 2 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 58 0 0 0 5 1 0 0 20 0 19 0 254082859 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 19 0 254082860 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254082861 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254082861 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) S 25085 25087 22184 0 -1 4202560 9840 0 0 0 133 2 0 0 20 0 19 0 254082863 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949792369208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) S 25085 25087 22184 0 -1 4202560 13862 0 0 0 145 3 0 0 20 0 19 0 254082863 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949791316664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254082863 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25109] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25109/stat : 25109 (java) S 25085 25087 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254082996 10060460032 165411 33554432000 1073741824 1073778376 140734164300400 139949784999080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
/proc/loadavg: 3.92 3.95 3.86 5/219 25151
/proc/meminfo: memFree=25521224/32873648 swapFree=6864/6864
################
# More data... #
################
[pid=25087/tid=25247] ppid=25085 vsize=9824668 CPUtime=658 cores=1,3,5,7
/proc/25087/task/25247/stat : 25247 (java) R 25085 25087 22184 0 -1 4202560 17 0 0 0 65790 10 0 0 20 0 22 0 254097336 10060460032 844883 33554432000 1073741824 1073778376 140734164300400 139949786050352 139949845362099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25248] ppid=25085 vsize=9824668 CPUtime=657.85 cores=1,3,5,7
/proc/25087/task/25248/stat : 25248 (java) R 25085 25087 22184 0 -1 4202560 1285 0 0 0 65773 12 0 0 20 0 22 0 254097336 10060460032 844883 33554432000 1073741824 1073778376 140734164300400 139949788157024 139949845340631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25249] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25249/stat : 25249 (java) S 25085 25087 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254097337 10060460032 844883 33554432000 1073741824 1073778376 140734164300400 139949784999592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1632.2
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.92 4.02 3.95 5/220 25259
/proc/meminfo: memFree=24272760/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=1752.99 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 41590 0 1 0 175070 229 0 0 20 0 22 0 254082857 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 844885 2287 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2605 0 1 0 117 6 0 0 20 0 22 0 254082858 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 493 0 0 0 322 13 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 798 0 0 0 328 13 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 860 0 0 0 301 16 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 563 0 0 0 307 14 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 851 0 0 0 313 14 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 591 0 0 0 332 14 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=3.43 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 859 0 0 0 329 14 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 604 0 0 0 291 12 0 0 20 0 22 0 254082859 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=16.34 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 3232 0 0 0 1619 15 0 0 20 0 22 0 254082860 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) S 25085 25087 22184 0 -1 4202560 11675 0 0 0 228 2 0 0 20 0 22 0 254082863 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949792369208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) S 25085 25087 22184 0 -1 4202560 13888 0 0 0 165 3 0 0 20 0 22 0 254082863 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949791316664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 254082863 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25166] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25166/stat : 25166 (java) S 25085 25087 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254084398 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949787104552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25247] ppid=25085 vsize=9824668 CPUtime=717.56 cores=1,3,5,7
/proc/25087/task/25247/stat : 25247 (java) R 25085 25087 22184 0 -1 4202560 17 0 0 0 71746 10 0 0 20 0 22 0 254097336 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949786050352 139949845362099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25248] ppid=25085 vsize=9824668 CPUtime=717.42 cores=1,3,5,7
/proc/25087/task/25248/stat : 25248 (java) R 25085 25087 22184 0 -1 4202560 1293 0 0 0 71729 13 0 0 20 0 22 0 254097336 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949788156880 139949845526399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25249] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25249/stat : 25249 (java) S 25085 25087 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254097337 10060460032 844885 33554432000 1073741824 1073778376 140734164300400 139949784999592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.99
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.301 s]
/proc/loadavg: 3.87 4.01 3.94 5/219 25259
/proc/meminfo: memFree=24122768/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=1800.16 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 41872 0 1 0 179785 231 0 0 20 0 22 0 254082857 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 854869 2287 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2606 0 1 0 117 6 0 0 20 0 22 0 254082858 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 493 0 0 0 334 13 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 798 0 0 0 335 13 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 860 0 0 0 305 16 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 563 0 0 0 313 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 851 0 0 0 318 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=3.53 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 591 0 0 0 339 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 859 0 0 0 338 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=3.08 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 604 0 0 0 296 12 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=17.45 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 3509 0 0 0 1729 16 0 0 20 0 22 0 254082860 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) S 25085 25087 22184 0 -1 4202560 11675 0 0 0 228 2 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949792369208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) S 25085 25087 22184 0 -1 4202560 13888 0 0 0 165 3 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949791316664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 53 0 0 0 13 22 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25166] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25166/stat : 25166 (java) S 25085 25087 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254084398 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949787104552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25247] ppid=25085 vsize=9824668 CPUtime=740.32 cores=1,3,5,7
/proc/25087/task/25247/stat : 25247 (java) R 25085 25087 22184 0 -1 4202560 17 0 0 0 74021 11 0 0 20 0 22 0 254097336 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949786050336 139949845361897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25248] ppid=25085 vsize=9824668 CPUtime=740.17 cores=1,3,5,7
/proc/25087/task/25248/stat : 25248 (java) R 25085 25087 22184 0 -1 4202560 1295 0 0 0 74002 15 0 0 20 0 22 0 254097336 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949788157024 139949845488800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25249] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25249/stat : 25249 (java) S 25085 25087 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254097337 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949784999592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 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+906.301 s]
/proc/loadavg: 3.87 4.01 3.94 5/219 25259
/proc/meminfo: memFree=24122768/32873648 swapFree=6864/6864
[pid=25087] ppid=25085 vsize=9824668 CPUtime=1800.16 cores=1,3,5,7
/proc/25087/stat : 25087 (java) S 25085 25087 22184 0 -1 4202496 41872 0 1 0 179785 231 0 0 20 0 22 0 254082857 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 140734164291536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25087/statm: 2456167 854869 2287 9 0 2446860 0
[pid=25087/tid=25089] ppid=25085 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/25087/task/25089/stat : 25089 (java) S 25085 25087 22184 0 -1 4202560 2606 0 1 0 117 6 0 0 20 0 22 0 254082858 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949972341752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25090] ppid=25085 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/25087/task/25090/stat : 25090 (java) S 25085 25087 22184 0 -1 4202560 493 0 0 0 334 13 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949816359080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25091] ppid=25085 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/25087/task/25091/stat : 25091 (java) S 25085 25087 22184 0 -1 4202560 798 0 0 0 335 13 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949815306536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25092] ppid=25085 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/25087/task/25092/stat : 25092 (java) S 25085 25087 22184 0 -1 4202560 860 0 0 0 305 16 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949814253992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25093] ppid=25085 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/25087/task/25093/stat : 25093 (java) S 25085 25087 22184 0 -1 4202560 563 0 0 0 313 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949813201448 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25094] ppid=25085 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/25087/task/25094/stat : 25094 (java) S 25085 25087 22184 0 -1 4202560 851 0 0 0 318 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949812148904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25095] ppid=25085 vsize=9824668 CPUtime=3.53 cores=1,3,5,7
/proc/25087/task/25095/stat : 25095 (java) S 25085 25087 22184 0 -1 4202560 591 0 0 0 339 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949811096360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25096] ppid=25085 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/25087/task/25096/stat : 25096 (java) S 25085 25087 22184 0 -1 4202560 859 0 0 0 338 14 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949810043816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25097] ppid=25085 vsize=9824668 CPUtime=3.08 cores=1,3,5,7
/proc/25087/task/25097/stat : 25097 (java) S 25085 25087 22184 0 -1 4202560 604 0 0 0 296 12 0 0 20 0 22 0 254082859 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949808991272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25098] ppid=25085 vsize=9824668 CPUtime=17.45 cores=1,3,5,7
/proc/25087/task/25098/stat : 25098 (java) S 25085 25087 22184 0 -1 4202560 3509 0 0 0 1729 16 0 0 20 0 22 0 254082860 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949796579432 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25099] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25099/stat : 25099 (java) S 25085 25087 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949795525752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25100] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25100/stat : 25100 (java) S 25085 25087 22184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 254082861 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949794473096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25101] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25101/stat : 25101 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949793421840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25102] ppid=25085 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/25087/task/25102/stat : 25102 (java) S 25085 25087 22184 0 -1 4202560 11675 0 0 0 228 2 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949792369208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25087/tid=25103] ppid=25085 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/25087/task/25103/stat : 25103 (java) S 25085 25087 22184 0 -1 4202560 13888 0 0 0 165 3 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949791316664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25104] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25104/stat : 25104 (java) S 25085 25087 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949790264312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25105] ppid=25085 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/25087/task/25105/stat : 25105 (java) S 25085 25087 22184 0 -1 4202560 53 0 0 0 13 22 0 0 20 0 22 0 254082863 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949789211976 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25166] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25166/stat : 25166 (java) S 25085 25087 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254084398 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949787104552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25087/tid=25247] ppid=25085 vsize=9824668 CPUtime=740.32 cores=1,3,5,7
/proc/25087/task/25247/stat : 25247 (java) R 25085 25087 22184 0 -1 4202560 17 0 0 0 74021 11 0 0 20 0 22 0 254097336 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949786050336 139949845361897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25087/tid=25248] ppid=25085 vsize=9824668 CPUtime=740.17 cores=1,3,5,7
/proc/25087/task/25248/stat : 25248 (java) R 25085 25087 22184 0 -1 4202560 1295 0 0 0 74002 15 0 0 20 0 22 0 254097336 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949788157024 139949845488800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25087/tid=25249] ppid=25085 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25087/task/25249/stat : 25249 (java) S 25085 25087 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254097337 10060460032 854869 33554432000 1073741824 1073778376 140734164300400 139949784999592 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 906.367
CPU time (s): 1800.64
CPU user time (s): 1797.88
CPU system time (s): 2.76058
CPU usage (%): 198.666
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 2.76058
maximum resident set size= 3419596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41904
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26526
involuntary context switches= 42986
runsolver used 3.49147 second user time and 8.46371 second system time
The end