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-3688176-1337875772/watcher-3688176-1337875772 -o /tmp/evaluation-result-3688176-1337875772/solver-3688176-1337875772 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688176-1337875772.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26875/stat : 26875 (java) D 26873 26875 25404 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253701541 9515008 182 33554432000 1073741824 1073778376 140733568305440 140733568296472 251044642485 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2323 182 140 9 0 71 0
[startup+0.093085 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 3368 0 1 0 6 1 0 0 20 0 18 0 253701541 9787813888 4577 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 4577 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100303 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 3998 0 1 0 7 1 0 0 20 0 18 0 253701541 9787813888 5194 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 5194 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300252 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 5845 0 1 0 47 1 0 0 20 0 18 0 253701541 9787813888 8483 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 8483 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700279 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9759132 CPUtime=0.68 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 8075 0 1 0 65 3 0 0 20 0 19 0 253701541 9993351168 10718 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2439783 10718 2233 9 0 2430476 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9759132
[startup+1.50073 s]
/proc/loadavg: 3.94 3.92 3.77 6/219 26900
/proc/meminfo: memFree=28510084/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 15169 0 1 0 242 7 0 0 20 0 19 0 253701541 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 19127 2246 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2495 0 1 0 27 1 0 0 20 0 19 0 253701542 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 2524 0 0 0 36 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) R 26873 26875 25404 0 -1 4202560 8821 0 0 0 71 1 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417647480888 140418705385840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701624 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9824668
[startup+3.10065 s]
/proc/loadavg: 3.94 3.92 3.77 3/216 26903
/proc/meminfo: memFree=28475804/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=4.59 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 16320 0 1 0 448 11 0 0 20 0 22 0 253701541 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 26495 2277 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2496 0 1 0 28 2 0 0 20 0 22 0 253701542 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 3176 0 0 0 55 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9235 0 0 0 101 2 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9824668
[startup+6.30062 s]
/proc/loadavg: 3.94 3.92 3.77 5/219 26909
/proc/meminfo: memFree=28459888/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=10.99 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 16510 0 1 0 1084 15 0 0 20 0 22 0 253701541 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 35167 2277 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2496 0 1 0 28 2 0 0 20 0 22 0 253701542 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 3308 0 0 0 66 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9236 0 0 0 106 2 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
################
# More data... #
################
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.55 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1171 0 0 0 250 5 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 247 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 851 0 0 0 248 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.78 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 272 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 242 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=180.09 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3524 0 0 0 17976 33 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 55 0 0 0 13 14 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=566.99 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 56691 8 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537358221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=567.07 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 56698 9 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417642236592 140418537971616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1707.2
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+991.107 s]
/proc/loadavg: 4.08 3.92 3.79 5/219 27116
/proc/meminfo: memFree=26583328/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=1799.8 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 29024 0 1 0 179856 124 0 0 20 0 22 0 253701541 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 394169 2279 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2632 0 1 0 32 3 0 0 20 0 22 0 253701542 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=2.47 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 693 0 0 0 243 4 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 497 0 0 0 256 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 374 0 0 0 270 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1202 0 0 0 252 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 868 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 276 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 244 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=185.23 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3591 0 0 0 18488 35 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 57 0 0 0 13 15 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=610.48 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 61039 9 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537328416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=610.57 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 61047 10 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417642236384 140418537972065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
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+991.107 s]
/proc/loadavg: 4.08 3.92 3.79 5/219 27116
/proc/meminfo: memFree=26583328/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=1799.8 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 29024 0 1 0 179856 124 0 0 20 0 22 0 253701541 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 394169 2279 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2632 0 1 0 32 3 0 0 20 0 22 0 253701542 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=2.47 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 693 0 0 0 243 4 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 497 0 0 0 256 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 374 0 0 0 270 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1202 0 0 0 252 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 868 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 276 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 244 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=185.23 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3591 0 0 0 18488 35 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 57 0 0 0 13 15 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=610.48 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 61039 9 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537328416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=610.57 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 61047 10 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417642236384 140418537972065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26875 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=928129
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=632751
# CPU time returned by wait4() is 1796.56
# while last known CPU time is 1799.8
#
# 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): 0.26004
# lost CPU user time (s): 0.320038
# lost CPU system time (s): -0.06
Real time (s): 991.138
CPU time (s): 1800.06
CPU user time (s): 1798.88
CPU system time (s): 1.18
CPU usage (%): 181.615
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.63275
maximum resident set size= 1576796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30595
involuntary context switches= 45284
runsolver used 3.51247 second user time and 8.50371 second system time
The end