runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4091957-1466078364/watcher-4091957-1466078364 -o /tmp/evaluation-result-4091957-1466078364/solver-4091957-1466078364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466075282-14447 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091957-1466078364.wbo
pid=19713
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: 2.58 2.31 2.77 3/196 19716
/proc/meminfo: memFree=27099824/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19716/stat : 19716 (java) R 19713 19716 10365 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 9882887 9515008 185 33554432000 1073741824 1073778376 140733538127488 140733538110216 229346733351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2323 185 143 9 0 71 0
[startup+0.100113 s]
/proc/loadavg: 2.58 2.31 2.77 3/196 19716
/proc/meminfo: memFree=27099824/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 9882887 9787879424 6040 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2389619 6040 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200269 s]
/proc/loadavg: 2.58 2.31 2.77 3/196 19716
/proc/meminfo: memFree=27099824/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 4718 0 1 0 22 1 0 0 20 0 18 0 9882887 9787879424 6812 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2389619 6812 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.30029 s]
/proc/loadavg: 2.58 2.31 2.77 3/196 19716
/proc/meminfo: memFree=27099824/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 5776 0 1 0 45 1 0 0 20 0 18 0 9882887 9787879424 8469 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2389619 8469 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700244 s]
/proc/loadavg: 2.58 2.31 2.77 3/196 19716
/proc/meminfo: memFree=27099824/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 10424 0 1 0 117 4 0 0 20 0 19 0 9882887 10060525568 12589 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 12589 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732
[startup+1.50082 s]
/proc/loadavg: 2.62 2.32 2.78 3/215 19741
/proc/meminfo: memFree=27028240/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 21862 0 1 0 206 10 0 0 20 0 19 0 9882887 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 21961 2265 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2422 0 1 0 32 1 0 0 20 0 19 0 9882888 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139660025693048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10829 0 0 0 75 2 0 0 20 0 19 0 9882893 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 7266 0 0 0 61 2 0 0 20 0 19 0 9882893 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882922 10060525568 21961 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9824732
[startup+3.10081 s]
/proc/loadavg: 2.62 2.32 2.78 2/215 19747
/proc/meminfo: memFree=27009420/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 22183 0 1 0 232 15 0 0 20 0 19 0 9882887 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 27637 2266 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2425 0 1 0 33 2 0 0 20 0 19 0 9882888 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139660025693048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10869 0 0 0 85 2 0 0 20 0 19 0 9882893 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 7513 0 0 0 71 2 0 0 20 0 19 0 9882893 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882922 10060525568 27637 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=27 pid=1814 uid=0 cmd=
[startup+6.30078 s]
/proc/loadavg: 2.62 2.32 2.78 3/215 19768
/proc/meminfo: memFree=26966584/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 23063 0 1 0 263 19 0 0 20 0 19 0 9882887 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 37096 2271 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2429 0 1 0 35 2 0 0 20 0 19 0 9882888 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139660025693048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9882889 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882890 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10871 0 0 0 90 2 0 0 20 0 19 0 9882893 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 8314 0 0 0 83 2 0 0 20 0 19 0 9882893 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9882893 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9882922 10060525568 37096 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
################
# More data... #
################
[pid=19716/tid=19842] ppid=19713 vsize=9824732 CPUtime=1626.58 cores=1,3,5,7
/proc/19716/task/19842/stat : 19842 (java) R 19713 19716 10365 0 -1 4202560 2515 0 0 0 162598 60 0 0 20 0 21 0 9884891 10060525568 996561 33554432000 1073741824 1073778376 140733538127488 139659367603392 139659871998617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19843] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19843/stat : 19843 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9884893 10060525568 996561 33554432000 1073741824 1073778376 140733538127488 139659370763944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1678.28
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 3.10 3.03 2.73 4/218 20958
/proc/meminfo: memFree=24133328/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=1740 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 46858 0 1 0 173621 379 0 0 20 0 21 0 9882887 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 1015533 2295 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2529 0 1 0 81 31 0 0 20 0 21 0 9882888 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139660025693160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 629 0 0 0 365 25 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=3.66 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 759 0 0 0 345 21 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1127 0 0 0 393 32 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1144 0 0 0 411 29 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=3.97 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 811 0 0 0 368 29 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=3.88 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 782 0 0 0 364 24 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1160 0 0 0 414 30 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 589 0 0 0 399 25 0 0 20 0 21 0 9882889 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=7.61 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 3147 0 0 0 753 8 0 0 20 0 21 0 9882890 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10885 0 0 0 119 2 0 0 20 0 21 0 9882893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 18903 0 0 0 214 4 0 0 20 0 21 0 9882893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 100 0 0 0 23 30 0 0 20 0 21 0 9882893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9882922 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19842] ppid=19713 vsize=9824732 CPUtime=1686 cores=1,3,5,7
/proc/19716/task/19842/stat : 19842 (java) R 19713 19716 10365 0 -1 4202560 2515 0 0 0 168539 61 0 0 20 0 21 0 9884891 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659367603088 139659871999139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19843] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19843/stat : 19843 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9884893 10060525568 1015533 33554432000 1073741824 1073778376 140733538127488 139659370763944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1740
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1781.3 s]
/proc/loadavg: 3.30 3.09 2.76 4/216 20986
/proc/meminfo: memFree=24148452/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 47720 0 1 0 179622 387 0 0 20 0 21 0 9882887 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 1039818 2295 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2532 0 1 0 82 33 0 0 20 0 21 0 9882888 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139660025693160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 643 0 0 0 382 25 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 771 0 0 0 359 21 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1139 0 0 0 411 32 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1161 0 0 0 426 29 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=4.21 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 830 0 0 0 391 30 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 799 0 0 0 391 25 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1171 0 0 0 427 31 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 604 0 0 0 411 26 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=10.21 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 3885 0 0 0 1013 8 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10885 0 0 0 119 2 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 18903 0 0 0 214 4 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 104 0 0 0 24 32 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9882922 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19842] ppid=19713 vsize=9824732 CPUtime=1742.04 cores=1,3,5,7
/proc/19716/task/19842/stat : 19842 (java) R 19713 19716 10365 0 -1 4202560 2515 0 0 0 174142 62 0 0 20 0 21 0 9884891 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659367603024 139659871999690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19843] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19843/stat : 19843 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9884893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659370763944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19716 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1781.3 s]
/proc/loadavg: 3.30 3.09 2.76 4/216 20986
/proc/meminfo: memFree=24148452/32872528 swapFree=1370072/1517240
[pid=19716] ppid=19713 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/19716/stat : 19716 (java) S 19713 19716 10365 0 -1 4202496 47720 0 1 0 179622 387 0 0 20 0 21 0 9882887 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 140733538118624 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19716/statm: 2456183 1039818 2295 9 0 2446860 0
[pid=19716/tid=19718] ppid=19713 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/19716/task/19718/stat : 19718 (java) S 19713 19716 10365 0 -1 4202560 2532 0 1 0 82 33 0 0 20 0 21 0 9882888 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139660025693160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19719] ppid=19713 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/19716/task/19719/stat : 19719 (java) S 19713 19716 10365 0 -1 4202560 643 0 0 0 382 25 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659998145064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19720] ppid=19713 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/19716/task/19720/stat : 19720 (java) S 19713 19716 10365 0 -1 4202560 771 0 0 0 359 21 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659997092264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19721] ppid=19713 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/19716/task/19721/stat : 19721 (java) S 19713 19716 10365 0 -1 4202560 1139 0 0 0 411 32 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659996039464 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19722] ppid=19713 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/19716/task/19722/stat : 19722 (java) S 19713 19716 10365 0 -1 4202560 1161 0 0 0 426 29 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659994986664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19723] ppid=19713 vsize=9824732 CPUtime=4.21 cores=1,3,5,7
/proc/19716/task/19723/stat : 19723 (java) S 19713 19716 10365 0 -1 4202560 830 0 0 0 391 30 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659993934888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19716/tid=19724] ppid=19713 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/19716/task/19724/stat : 19724 (java) S 19713 19716 10365 0 -1 4202560 799 0 0 0 391 25 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659992882088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19725] ppid=19713 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/19716/task/19725/stat : 19725 (java) S 19713 19716 10365 0 -1 4202560 1171 0 0 0 427 31 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659991829288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19726] ppid=19713 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/19716/task/19726/stat : 19726 (java) S 19713 19716 10365 0 -1 4202560 604 0 0 0 411 26 0 0 20 0 21 0 9882889 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659990776488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19727] ppid=19713 vsize=9824732 CPUtime=10.21 cores=1,3,5,7
/proc/19716/task/19727/stat : 19727 (java) S 19713 19716 10365 0 -1 4202560 3885 0 0 0 1013 8 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659379186152 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19728] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19728/stat : 19728 (java) S 19713 19716 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659378132216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19729] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19729/stat : 19729 (java) S 19713 19716 10365 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 9882890 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659377079304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19730] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19730/stat : 19730 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659376027792 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19731] ppid=19713 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19716/task/19731/stat : 19731 (java) S 19713 19716 10365 0 -1 4202560 10885 0 0 0 119 2 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659374975928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19732] ppid=19713 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19716/task/19732/stat : 19732 (java) S 19713 19716 10365 0 -1 4202560 18903 0 0 0 214 4 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659373923128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19733] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19733/stat : 19733 (java) S 19713 19716 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659372870520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19734] ppid=19713 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/19716/task/19734/stat : 19734 (java) S 19713 19716 10365 0 -1 4202560 104 0 0 0 24 32 0 0 20 0 21 0 9882893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659371817928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19716/tid=19737] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19737/stat : 19737 (java) S 19713 19716 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9882922 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659368657832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19716/tid=19842] ppid=19713 vsize=9824732 CPUtime=1742.04 cores=1,3,5,7
/proc/19716/task/19842/stat : 19842 (java) R 19713 19716 10365 0 -1 4202560 2515 0 0 0 174142 62 0 0 20 0 21 0 9884891 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659367603024 139659871999690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19716/tid=19843] ppid=19713 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19716/task/19843/stat : 19843 (java) S 19713 19716 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9884893 10060525568 1039818 33554432000 1073741824 1073778376 140733538127488 139659370763944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1781.35
CPU time (s): 1800.81
CPU user time (s): 1796.44
CPU system time (s): 4.37033
CPU usage (%): 101.092
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 4.37033
maximum resident set size= 4159356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47750
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78402
involuntary context switches= 36823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6029 second user time and 11.4643 second system time
The end