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-3688478-1337877935/watcher-3688478-1337877935 -o /tmp/evaluation-result-3688478-1337877935/solver-3688478-1337877935 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688478-1337877935.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.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28190/stat : 28190 (java) R 28188 28190 25418 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253917980 9515008 184 33554432000 1073741824 1073778376 140735227614048 140735227605080 212073085159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28190/statm: 2323 185 142 9 0 71 0
[startup+0.083932 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 3621 0 1 0 5 1 0 0 20 0 18 0 253917980 9787813888 4830 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2389603 4832 1931 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100245 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 4312 0 1 0 8 1 0 0 20 0 18 0 253917980 9787813888 5502 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2389603 5502 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300222 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 5118 0 1 0 35 4 0 0 20 0 19 0 253917980 10060460032 7626 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 7626 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 9824668
[startup+0.700205 s]
/proc/loadavg: 3.89 3.95 3.86 4/197 28190
/proc/meminfo: memFree=28765796/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 5118 0 1 0 35 4 0 0 20 0 19 0 253917980 10060460032 7626 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 7626 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 9824668
[startup+1.50073 s]
/proc/loadavg: 3.89 3.95 3.86 3/216 28215
/proc/meminfo: memFree=28735720/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 14812 0 1 0 88 7 0 0 20 0 19 0 253917980 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 15881 2236 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2452 0 1 0 20 2 0 0 20 0 19 0 253917981 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253917982 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253917983 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253917984 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253917984 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 1674 0 0 0 16 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) R 28188 28190 25418 0 -1 4202560 9368 0 0 0 41 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402480900544 140403541874290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253917986 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28215] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28215/stat : 28215 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253918055 10060460032 15881 33554432000 1073741824 1073778376 140733492177616 140402474583720 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.89 3.95 3.86 3/216 28221
/proc/meminfo: memFree=28698776/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=2.74 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 21054 0 1 0 262 12 0 0 20 0 22 0 253917980 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 29964 2253 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2454 0 1 0 20 2 0 0 20 0 22 0 253917981 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253917983 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) R 28188 28190 25418 0 -1 4202560 7750 0 0 0 56 2 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140403354524344 140403542035769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9483 0 0 0 86 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 29964 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9824668
[startup+6.30073 s]
/proc/loadavg: 4.06 3.99 3.87 3/216 28236
/proc/meminfo: memFree=28607532/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=6.75 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 22982 0 1 0 652 23 0 0 20 0 22 0 253917980 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 45851 2280 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2454 0 1 0 21 2 0 0 20 0 22 0 253917981 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253917982 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 253917983 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 9528 0 0 0 81 3 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 98 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 45851 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9824668
[startup+12.7009 s]
################
# More data... #
################
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 174 5 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 880 0 0 0 165 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1024 0 0 0 174 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 983 0 0 0 174 4 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 956 0 0 0 167 5 0 0 20 0 22 0 253917982 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=79.38 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2270 0 0 0 7912 26 0 0 20 0 22 0 253917983 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 51 0 0 0 10 17 0 0 20 0 22 0 253917986 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=756.96 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 85 0 0 0 75683 13 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402477740256 140403371326256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=756.85 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 410 0 0 0 75662 23 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402474579760 140403371338352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 422258 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.06
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+941.701 s]
/proc/loadavg: 3.92 3.89 3.89 5/220 28363
/proc/meminfo: memFree=24385080/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 36097 0 1 0 179884 126 0 0 20 0 22 0 253917980 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 427432 2282 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2576 0 1 0 23 4 0 0 20 0 22 0 253917981 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=1.8 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 864 0 0 0 175 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1111 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 895 0 0 0 161 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 182 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 884 0 0 0 172 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1028 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 987 0 0 0 181 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 958 0 0 0 173 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=82.36 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2289 0 0 0 8210 26 0 0 20 0 22 0 253917983 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 55 0 0 0 11 17 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=813.1 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 87 0 0 0 81296 14 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402477740544 140403370700221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=812.97 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 411 0 0 0 81273 24 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402474580752 140403370832884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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+941.701 s]
/proc/loadavg: 3.92 3.89 3.89 5/220 28363
/proc/meminfo: memFree=24385080/32873648 swapFree=6596/6596
[pid=28190] ppid=28188 vsize=9824668 CPUtime=1800.1 cores=1,3,5,7
/proc/28190/stat : 28190 (java) S 28188 28190 25418 0 -1 4202496 36097 0 1 0 179884 126 0 0 20 0 22 0 253917980 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140733492168752 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28190/statm: 2456167 427432 2282 9 0 2446860 0
[pid=28190/tid=28192] ppid=28188 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/28190/task/28192/stat : 28192 (java) S 28188 28190 25418 0 -1 4202560 2576 0 1 0 23 4 0 0 20 0 22 0 253917981 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403535062008 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28193] ppid=28188 vsize=9824668 CPUtime=1.8 cores=1,3,5,7
/proc/28190/task/28193/stat : 28193 (java) S 28188 28190 25418 0 -1 4202560 864 0 0 0 175 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403496552744 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28194] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28194/stat : 28194 (java) S 28188 28190 25418 0 -1 4202560 1111 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403495499944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28195] ppid=28188 vsize=9824668 CPUtime=1.66 cores=1,3,5,7
/proc/28190/task/28195/stat : 28195 (java) S 28188 28190 25418 0 -1 4202560 895 0 0 0 161 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403494447656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28196] ppid=28188 vsize=9824668 CPUtime=1.87 cores=1,3,5,7
/proc/28190/task/28196/stat : 28196 (java) S 28188 28190 25418 0 -1 4202560 948 0 0 0 182 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403493394856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28197] ppid=28188 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/28190/task/28197/stat : 28197 (java) S 28188 28190 25418 0 -1 4202560 884 0 0 0 172 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403492342568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28198] ppid=28188 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/28190/task/28198/stat : 28198 (java) S 28188 28190 25418 0 -1 4202560 1028 0 0 0 178 4 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403491289768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28190/tid=28199] ppid=28188 vsize=9824668 CPUtime=1.86 cores=1,3,5,7
/proc/28190/task/28199/stat : 28199 (java) S 28188 28190 25418 0 -1 4202560 987 0 0 0 181 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403490237480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28200] ppid=28188 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/28190/task/28200/stat : 28200 (java) S 28188 28190 25418 0 -1 4202560 958 0 0 0 173 5 0 0 20 0 22 0 253917982 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403489184680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28201] ppid=28188 vsize=9824668 CPUtime=82.36 cores=1,3,5,7
/proc/28190/task/28201/stat : 28201 (java) S 28188 28190 25418 0 -1 4202560 2289 0 0 0 8210 26 0 0 20 0 22 0 253917983 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403358734568 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28202] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28202/stat : 28202 (java) S 28188 28190 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403357680632 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28203] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28203/stat : 28203 (java) S 28188 28190 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253917984 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403356628232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28204] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28204/stat : 28204 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403355576720 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28205] ppid=28188 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/28190/task/28205/stat : 28205 (java) S 28188 28190 25418 0 -1 4202560 11881 0 0 0 103 3 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140403354524344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28190/tid=28206] ppid=28188 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/28190/task/28206/stat : 28206 (java) S 28188 28190 25418 0 -1 4202560 9488 0 0 0 99 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402480900664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28207] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28207/stat : 28207 (java) S 28188 28190 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402479848568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28208] ppid=28188 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/28190/task/28208/stat : 28208 (java) S 28188 28190 25418 0 -1 4202560 55 0 0 0 11 17 0 0 20 0 22 0 253917986 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402478795976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28221] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28221/stat : 28221 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253918156 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402476688808 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28249] ppid=28188 vsize=9824668 CPUtime=813.1 cores=1,3,5,7
/proc/28190/task/28249/stat : 28249 (java) R 28188 28190 25418 0 -1 4202560 87 0 0 0 81296 14 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402477740544 140403370700221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28190/tid=28250] ppid=28188 vsize=9824668 CPUtime=812.97 cores=1,3,5,7
/proc/28190/task/28250/stat : 28250 (java) R 28188 28190 25418 0 -1 4202560 411 0 0 0 81273 24 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402474580752 140403370832884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28190/tid=28251] ppid=28188 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28190/task/28251/stat : 28251 (java) S 28188 28190 25418 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253922711 10060460032 427432 33554432000 1073741824 1073778376 140733492177616 140402475635880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28190 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=499194
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=672745
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 7.62939e-06
# lost CPU user time (s): 0.0300064
# lost CPU system time (s): -0.03
Real time (s): 941.729
CPU time (s): 1800.1
CPU user time (s): 1798.87
CPU system time (s): 1.23
CPU usage (%): 191.148
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.67274
maximum resident set size= 1709840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36125
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30052
involuntary context switches= 40653
runsolver used 3.2715 second user time and 8.85465 second system time
The end